原子性：事务是一组不可分割的操作单元，这组单元要么同时成功要么同时失败（由DBMS的事务管理子系统来实现）；
一致性：事务前后的数据完整性要保持一致（由DBMS的完整性子系统执行测试任务）；
隔离性：多个用户的事务之间不要相互影响，要相互隔离（由DBMS的并发控制子系统实现）；
持久性：一个事务一旦提交，那么它对数据库产生的影响就是永久的不可逆的，如果后面再回滚或者出异常，都不会影响已提交的事务（由DBMS的恢复管理子系统实现的）

回顾

  • 什么是事务
    • 事务是由N步数据库操作序列组成的逻辑执行单元，这系列操作要么全执行，要么全放弃执行。

  • 事务的特性（ACID）

    • 原子性（Atomicity）：事务是应用中不可再分的最小执行体。
    • 一致性（Consistency）：事务执行的结果，须使数据从一个一致性状态，变为另一个一致性状态。
    • 隔离性（Isolation）：各个事务的执行互不干扰，任何事务的内部操作对其他的事务都是隔离的。
    • 持久性（Durability）：事务一旦提交，对数据所做的任何改变都要记录到永久存储器中。

      事务的隔离性

  • 常见的并发异常（都是在间隔很短的时间发生的）

    • 第一类丢失更新、第二类丢失更新。
    • 脏读、不可重复读、幻读。
  • 常见的隔离级别
    • Read Uncommitted：读取未提交的数据。
    • Read Committed：读取已提交的数据。
    • Repeatable Read：可重复读。
    • Serializable：串行化。

第一类丢失更新：某一个事务的回滚，导致另外一个事务已更新的数据丢失了。
image.png
第二类丢失更新：某一个事务的提交，导致另外一个事务已更新的数据丢失了。
image.png
脏读：某一个事务，读取了另外一个事务未提交的数据。
image.png
不可重复读：某一个事务，对同一个数据前后读取的结果不一致。
image.png
幻读：某一个事务，对同一个表前后查询到的行数不一致。
image.png
事务隔离级别：
1. DBMS的事务 - 图6

实现机制

  • 悲观锁（数据库）：提前加锁
    • 共享锁（S锁） 事务A对某数据加了共享锁后，其他事务只能对该数据加共享锁，但不能加排他锁。其他事务能读，不能改
    • 排他锁（X锁） 事务A对某数据加了排他锁后，其他事务对该数据既不能加共享锁，也不能加排他锁。其他事务不能读也不能改

  • 乐观锁（自定义）

    • 版本号、时间戳等
    • 在更新数据前，检查版本号是否发生变化。若变化则取消本次更新，否则就更新数据（版本号+1）。

      Spring事务管理

  • 声明式事务

    • 通过XML配置，声明某方法的事务特征。
    • 通过注解，声明某方法的事务特征。
      • 隔离级别：五种（默认+四种）
      • 常用传播机制：
        • REQUIRED：支持当前事务（外部事务），如果不存在则创建新事务
        • REQUIRED_NEW：创建一个新事务，并且暂定当前事务（外部事务）
        • NESTED：如果当前存在事务（外部事务），则嵌套在该事务中执行（独立的提交和回滚），否则就会和REQUIRED一样
  • 编程式事务
    • 通过 TransactionTemplate 管理事务，并通过它执行数据库的操作。