事务

MySQL事务

事务的ACID属性

• A原子性：全部执行或者全部不执行
• C一致性：开始和完成时，数据保持一致性
• I隔离性：独立执行
• D持久性：数据的修改是永久性的

并发事务处理的问题

• 脏读：一个事务查询了另一个事务未提交的数据更新
• 不可重复读：一个事务重新查询，发现了另一个事务更新的数据
• 幻读：一个事务重新查询，发现了另一个事务插入的数据
• 更新丢失：一个事务覆盖了另一个事务的数据更新

事务隔离级别（读数据一致性）：

• 读未提交 read uncommited：脏读，不可重复读，幻读
• 读已提交 read commited：不可重复读，幻读
• 可重复读 repeatable read：幻读
• 可串行化 serializable

MySQL MVCC 多版本并发控制

• 记录增加两个隐藏列，创建事务版本号，删除事务版本号。
• 更新的时候删除旧记录，创建新记录。
• 查询的时候需满足：
  • 创建版本号小于等于事务版本号
  • 删除版本号大于事务版本号

Spring事务的传播行为

传播行为	说明
PROPAGATION_REQUIRED	默认值。如果没有则新建事务，如果有则加入当前事务
PROPAGATION_REQUIRES_NEW	如果没有则新建事务，如果有则挂起当前事务
PROPAGATION_NESTED	如果没有则新建事务，如果有则新建当前事务的子事务
PROPAGATION_SUPPORTS	如果没有则非事务，如果有则加入当前事务
PROPAGATION_NOT_SUPPORTED	如果没有则非事务，如果有则挂起当前事务
PROPAGATION_MANDATORY	如果没有则抛出异常，如果有则加入当前事务
PROPAGATION_NEVER	如果没有则非事务，如果有则抛出异常

分布式事务

CAP理论

• Consistency一致性, Availability可用性, Partition tolerance分区容错性
• 一般满足AP，实现最终一致性（不是强一致性）
• 不考虑网络延迟

BASE理论

• Basically Available基本可用，Soft sate软状态，Eventually consistent最终一致性
• 软状态：允许系统中存在中间状态，不影响系统可用性
• 考虑了网络延迟

本地消息表（异步确保）

• 消息生产方创建消息表，业务数据，消息数据，发送消息在同一个本地事务里提交
• 消息消费方消费消息，处理自己的业务逻辑。处理成功，则更新生产方的消息表。处理失败，重试三次。如果是业务逻辑错误，则发送业务补偿消息给生产方，通知生产方回滚事务。
• 生产方定时扫描本地消息表，超时/失败的消息再发送一遍
• 消费方需要确保操作的幂等性

一个示例

• 用户；商品；订单
• 先生成分布式事务ID
• 本地事务一: 商品表扣减库存，消息表冻结相应的商品库存，发送消息
• 本地事务二: 订单表添加新记录
• 定时任务一：查询商品的消息表，确认订单表里有相应的记录
• 定时任务二：查询订单表记录，处理超时和已完成