原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第6章分布式事务管理
第六章分布式事务管理;;基本概念;基本概念;基本概念;Termination Conditions of Transactions
A transaction may be terminate by command of
-commit, i.e. successfully completed, or
-rollback, i.e. aborted, or
-other reasons
Commit makes DB operations effect permanent and the result is visible to other transactions.
Rollback undoes all DB operations and restores the DB to the state before the execution of the transaction.;基本概念;;订票事务内的具体操作 ：;事务具体操作描述，可得到事务的偏序集T：
A
T={B，R1，R2 ， W1，W2，W3，W4，W5，W6，C}
或描述为： A
T={B，O1，O2， O3，O4，O5，O6，O7，O8，C}
其中：
B：事务开始；
R：读操作；
W：写操作；
A：事务中断或事务夭折；
C：事务提交或事务完成；
O：（读/写）操作。
一个事务是一系列对数据库的操作组成的操作集，事务提交意味该事务正常操作完成，否则事务操作失败。
;Characterization of Transactions ;Formalization of the Transaction Concept ;Formalization of the Transaction Concept ;Formalization of the Transaction Concept ;事务的基本性质
事务是对数据库的一个操作序列，更确切地说，事务是保证数据库正确的最小运行单位。应具有以下四个特性：
原子性（Atomicity）
一致性（Consistency）
隔离性（Isolation）
耐久性（Durability）
原子性体现为：
事务所包含的操作要么全部完成，要么什么也没做；
如果事务由于故障中断执行，则部分结果必须被反做（UNDO）。也就是说，事务的原子性保证数据库的状态总是从一个一致的状态变化到另一个一致的状态，不会出现不一致的中间状态。
由于输入错误、系统过载、死锁等导致的事务废弃，而需要进行的原子性维护处理，称为事务恢复。
由于系统崩溃（死机、掉电）而导致事务废弃或提交结果的丢失，而进行的原子性维护处理，称为故障恢复。对提交结果的处理，称为重做（REDO）。;一致性体现为：
在一致性数据库上执行事务后，数据库仍需保持为一致性的状态；
事务的操作不违反数据库的完整性约束；
事务是语义正确性的程序。
The property to be guaranteed by concurrency control. Four levels of consistency can be defined on the basis of dirty data concept.
Dirty data – the data value that have been changed by a transaction prior to its commitment.;一致性体现为：
Consistency degree 3
1.? A transaction T does not overwrite dirty data of other transactions.
2.?A transaction T does not commit any writes until it completes all writes, i.e. until the end of T.
3. T does not read dirty data from other transactions.
4.? Other transactions do not dirty any data read by T before T completes.
Degree 2: 1st to 3rd of above 4
Degree 1: 1st to 2nd of above 4
Degree 0: 1st of above 4 ;隔离性体现为：
保证可串行性，即并发执行的事务的结果与它们单个串行执行的结果相同；
没有结束的事务在提交之前不允许将其结果暴露给其它事务，防止级联废弃。
如：T1：R1（X）， R2（Y）， W1（X）
文档评论（0）