事务:指对数据的操作要么全部执行成功,要么全部失败,不允许出现中间状态的数据。
1. 原子性 (Atomicity)
定义:原子性意味着事务中的操作要么全部成功,要么全部失败,不会出现部分成功或部分失败的情况。换句话说,事务被视为一个“不可分割”的单元。 例子:假设你要转账100元给朋友A。事务需要包括从你账户扣除100元和向A账户添加100元。如果事务中途失败(例如,数据库宕机),那么两项操作都会回滚,确保数据一致性。要么这笔转账完全成功,要么完全不发生。
2. 一致性 (Consistency)
定义:是指事务操作前和操作后,数据满足完整性约束,数据库保持一致性状态。 例子:在银行账户系统中,账户的余额总和在所有事务之前和之后必须保持一致。如果一个账户的余额从1000元减少到900元,另一个账户的余额从500元增加到600元,最终的数据库状态是平衡的。
3. 隔离性 (Isolation)
定义:隔离性确保多个事务同时执行时,彼此之间是相互独立的。每个事务的执行不应该受到其他事务的影响,直到事务完成。在数据库系统中,通过设置不同的隔离级别来控制事务之间的相互干扰。 例子:假设有两个用户分别向同一个银行账户转账。如果两笔转账同时进行,但没有隔离,可能会出现重复转账的情况。隔离性确保每笔交易在完成之前不会受到其他交易的影响。
4. 持久性 (Durability)
定义:持久性保证事务一旦提交,对数据库的更改是永久性的。即使系统崩溃,数据库也能够保留已提交事务的所有更改。 例子:在转账操作完成后,无论是系统崩溃还是电力中断,已经提交的交易数据都不会丢失,银行账户的余额变化会被永久保留,并在恢复时可以查到。
5.事务四个特性实现保障
- 持久性是通过redolog(重做日志)来保证的;
- 原子性是通过undolog(回滚日志)来保证的;
- 隔离性是通过MVCC(多版本并发控制)或锁机制来保证的;
- 一致性则是通过持久性+原子性+隔离性来保证;