引子
最近看一些文章的时候,看到 事务 的概念,只记得在很早的时候接触过,想不起来有什么用,查问了材料后发现还是挺有用的。
- Origin
- My GitHub
介绍
事务处理(Transaction processing)是计算机科学中的信息处理,它被分成单个不可分割的操作,称为事务(transaction)。每个事务作为一个残缺的单元必须胜利或者失败,绝不可能局部实现。事务处理通过确保零碎上相互依赖的操作,全副胜利实现或者全副胜利勾销,在已知的统一状态上维持零碎的完整性。
举个例子,一个典型的银行交易:将 100 从客户的储蓄账户转移到客户的支票账户。这个交易波及至多 2 个独立的操作:借记储蓄帐户 100,记入支票账户 100。如果一个操作胜利,另外一个操作失败,银行的账簿最初会不均衡。这里必须要有一个形式去保障所有操作都胜利或都失败,这样在银行的整个数据库中才不会前后矛盾。
在事务中链接了多个操作时,确保所有的操作没有谬误的实现,或者都失败。如果其中的一些操作实现但在尝试其它操作时产生了谬误,则事务处理零碎会“回滚 (rolls back)”事务的所有操作(包含曾经胜利的操作),从而打消事务的所有痕迹,并将零碎复原到处理事务开始之前所处的统一的已知状态。如果一个事务的所有操作都胜利的实现,这个事务会被零碎 提交(committed),所有对数据库的更改将会是永久性的,一旦事务实现不能被回滚。
通常,事务是同时公布的,如果它们重叠,可能会产生抵触。例如一个客户的储蓄账户上有 150,尝试转账给另外一个人 100,同时转移 100 到支票账户,那么只有其中的一个能够胜利。然而,强制事务依照程序执行是低效的。因而事务处理的并发编程实现,保障最终后果没有抵触,与任何程序执行事务时达到的后果雷同。在这个例子中,这就意味着不论那个事务先公布,不论是先转账给另外一个人还是转移到支票账户胜利了,另外一个操作就会失败。
办法
所有事务处理零碎的根本准则都一样。然而,术语可能因事务处理零碎而异,上面应用的术语不肯定通用。
Rollback
事务处理零碎通过在批改数据库时,记录数据库的中间状态来确保数据库完整性,而后如果一个事务无奈提交,应用这些记录将数据库复原到已知状态。
Rollforward
能够保留对数据库管理系统的所有批改的独自日志。这个对回滚并不需要,但在数据库产生故障时更新数据管理系统很有用,因而有些事务处理零碎提供这个性能。如果数据库管理系统齐全失败,则必须从最近的备份中复原。备份不会反映自备份以来所提交的事务。然而,一旦数据库管理系统复原了,就能够将日志利用于数据库(rollforward)以使数据库管理系统放弃最新。
Deadlock
在一些状况下,两个事务可能在解决的过程中,同时尝试拜访数据库的同一部分,从而阻止它们持续运行。例如,事务 A 拜访了数据库的 X,事务 B 拜访了数据库的 Y。如果此时,事务 A 尝试拜访数据库的 Y,事务 B 尝试拜访数据库的 X,则一个 死锁(Deadlock)产生了,并且两个事务都不能继续下去。
事务处理零碎旨在检测这些死锁何时产生。通常,两个事务都将被勾销并回滚,而后它们将以不同的程序主动再次启动,以便不再产生死锁。或者有些时候,只有其中的一个死锁事务将会被勾销和回滚,在短暂的提早后主动重启。
死锁可能波及 3 个或更多的事务。波及的事务越多,它们检测的难度就越大,因而事务处理零碎能够检测到的死锁,在理论中是有限度的。
Compensating transaction
在提交和回滚机制不可用或不冀望的零碎中,弥补事务常常用来撤销失败的事务,并且将零碎复原到之前的状态。
ACID 规范
Jim Gray 在 20 世纪 70 年代定义了一个牢靠事务零碎的特质,缩写为 ACID —— atomicity(原子性)、consistency(一致性)、isolation(独立性)、durability(耐久性)。
Atomicity
事务对状态的扭转是原子的:要么全副产生,要么都不产生。
Consistency
一个事务是状态的一种正确转换。作为一组采取的行为不违反跟状态相干的任何完整性的束缚。
Isolation
即便事务并发执行,对于每个事务 T,其余事务看起来在 T 之前或 T 之后执行,但不是两者同时执行。
Durability
一旦事务胜利实现(提交),它对数据库的更改,将在数据库失败后持续存在并保留其更改。
长处
事务处理有上面的长处:
- 它容许用户之间共享计算机资源
- 它将作业处理的工夫正当转换
- 它防止了在没有人工交互和监督的状况下闲置计算资源
- 它被用在低廉的计算机上,通过放弃对这些低廉资源的高利用率来帮忙摊派老本
毛病
事务处理有上面的毛病:
- 它们具备绝对低廉的设置老本
- 不足规范的格局
- 硬件和软件不兼容
参考资料
- Transaction processing