本文主要是介绍数据库系统概念第十二章 事务,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
事务(Transaction)
事务是作为单个逻辑工作单元执行的一系列数据库操作,这些操作可能会修改多个表中的多个元组
事务正常执行的结构是:
begin;
SQL execution 1
SQL execution 2
...
SQL execution N
commit;
begin标志开始一个事务,多个SQL语句就是事务逻辑工作单元,commit(提交)是结束当前事务并提交事务内数据变更,让其生效
数据库一致性在事务上表现的比较特殊,具体来说:事务执行的过程中可以让数据库处于不一致状态,但一旦提交(commit)数据库必须回到一致的状态(一致性是指广义上的一致性,即真实世界的数据一致性,如A和B转帐他们的总账户余额不变等)。
ACID性质
- Atomicity:原子性,一个事务要么所有操作被执行,要么全部都不被执行
- Consistency:一致性,独立地看待一个事务,它必须保证数据库一致性
- Isolation:独立性,多个事务允许并发的执行,但是必须保证事务之间不会互相干扰,并且一个事务执行过程对其他事务应该是透明的
- Durability:持久性,当事务成功完成时,它对数据库的更改必须持久化
银行转账是介绍事务时最喜欢用的例子,账户A向账户B转账M元,表达成事务(抽象,非SQL,把update分成多步)就是:
read(A)
A = A - M
write(A)
read(B)
B = B + M
write(B)
这个转账过程是银行数据库经常需要完成的业务逻辑,我们可以把这样经常调用的事务封装成存储过程以供频繁调用(见存储过程一章)
ACID性质具体体现在这个存储过程上就是:
- A:要么转账过程的6个步骤全被完成要么全部不被完成,若A的账户不足M元,第三步write写失败(完整性约束),必须保证之前的操作对数据库均不产生影响
- C:A和B之和必须保证不变
- I:其他和A、B相关的并发转账事务或其他事务对当前转账不产生影响
- D:一旦A和B这两个账户持有者收到了转账成功的信息,那么该事务必须永久性生效,即使系统故障(权责划分明确,转账无误,即使故障不可恢复也应该由银行系统负责)
事务管理
了解事务管理之前必须了解一个事务在执行过程中可能处于状态:
- Active:事务初始状态,执行时保持该状态
- Partially committed:最后一个操作被执行后的状态(还未commit)
- Failed:发现错误,停止执行
- Aborted:事务被回滚(rollback)数据库恢复到事务执行前的状态, - Aborted后有两个选择:重新执行(如果事务内部没有逻辑错误)、kill该事务
- Committed:事务成功执行完成后的状态
事务状态转换关系如下图:
从ACID性质以及上面的事务状态关系可以看出,数据库事务管理主要处理两件事情:
- 错误/失败:事务执行失败(逻辑错误、系统崩溃、断电等等异常)时恢复处理
- 并发执行:多个事务能够并发执行(并发的意义在于提高CPU和磁盘利用率,提高吞吐率,以及降低平均响应时间),并且防止并发事务间互相影响对数据库一致性的破坏
并发调度
冲突可串行化(Conflict Serialisability)
调度不同,事务执行结果也不同。我们必须有一个标准来判断某种调度是否正确。这个标准就是事务串行——先执行事务1的所有指令,再执行事务2的所有指令——后的结果。如果调度结果与串行结果相同,则调度正确;反之则错误。此概念与操作系统中多线程的执行类似。
优先图判断是否是冲突可串行化:
- 先画出每个 transaction(T1 T2 T3…)
- 找到所有的 读写操作,按照先后顺序,将 read—>write, write—>read, write—>write 连起来,都是前指向后,这些读写都是不同 transaction之间,相同的 transaction 内部不管,如果是相同路径的线段重复多条,只画一条。
- 如果画完了有环,则是非冲突可串行化,就是有冲突,但是不能串行化的。
画完图,拓扑排序后得到
这篇关于数据库系统概念第十二章 事务的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!