【数据库基础】转账100块怎么丢了?通俗讲解数据库事务ACID特性

本文涉及的产品
PolarDB Agent Express,2核4GB
云数据库 PolarDB MySQL 版,列存表分析加速 8核16GB
RDS MySQL DuckDB 分析主实例,基础系列 4核8GB
简介: 本文深入浅出地讲解数据库事务的ACID四大特性。以转账场景为例,介绍事务“要么全成功,要么全失败”的核心思想。详解原子性(Undo Log回滚)、一致性(数据守恒)、隔离性(并发控制)与持久性(Redo Log保障),助你理解数据库可靠性的基石。

前言

在上一篇关于 InnoDB 的文章中,我们提到 InnoDB 相比 MyISAM 最大的优势之一就是支持事务(Transaction)

初学者往往觉得“事务”这个词很高大上,但其实它解决的问题非常接地气。

试想一个场景:A 向 B 转账 100 元。 在数据库层面,这其实是两步操作:

  1. A 的账户余额减去 100 元。
  2. B 的账户余额加上 100 元。

如果在第1步执行完后,服务器突然断电了,或者程序报错了,第2步没执行。结果就是:A 的钱少了,B 的钱也没收到,这就出大事了。

为了解决这个问题,数据库引入了事务的概念。简单来说,事务就是**“一组操作,要么全部成功,要么全部失败,决不允许只做一半”**。

为了衡量一个数据库是否支持事务,计算机科学家提出了著名的 ACID 四大特性。

1. Atomicity(原子性)—— 同生共死

  • 定义: 事务包含的所有操作,要么全部执行成功,要么全部失败回滚(Rollback)。
  • 通俗解释: 就像原子是不可分割的一样,事务里的操作也是一个整体。
  • 案例: 转账过程中,A 扣款成功,但在 B 加钱之前系统崩了。数据库会监测到这个事务没有完成,于是自动把 A 扣掉的钱退回去(回滚),就像这件事从来没发生过一样。
  • 底层原理:Undo Log(回滚日志)实现。每做一步操作,数据库都记了个小本本,一旦失败,就反向操作把数据改回去。

代码示例(Spring):

Java

@Transactional // 开启事务
public void transfer(int fromId, int toId, double amount) {
    // 1. A 扣款
    userDao.decrementBalance(fromId, amount);
    
    // 模拟一个异常(比如除以0,或者断电)
    int i = 1 / 0; 
    
    // 2. B 加钱(由于上面报错,这行代码不会执行,且第1步会自动回滚)
    userDao.incrementBalance(toId, amount);
}

2. Consistency(一致性)—— 守规矩

  • 定义: 事务执行前后,数据库的完整性约束没有被破坏。
  • 通俗解释: 能量守恒定律。
  • 案例:
  • A 有 500 元,B 有 0 元。
  • 无论怎么转账,只要钱没转出银行系统,A 和 B 的余额总和永远应该是 500 元。
  • 如果转账完,A 剩 400,B 变成了 200,总和变 600 了,那就是破坏了一致性。
  • 另外,如果数据库规定余额不能为负数,那么 A 余额只有 100 却要转 200,事务必须失败,这也是一致性。

3. Isolation(隔离性)—— 各玩各的

  • 定义: 多个事务并发执行时,不应互相干扰。
  • 通俗解释: 你在ATM机上查余额,你老婆正好在用支付宝刷你的卡消费。这两个操作同时进行,应该互相隔离,不能让你看到的数据乱套。
  • 并发带来的问题:
  • 脏读: 你读到了别人还没提交的数据(万一他回滚了,你读的就是假数据)。
  • 不可重复读: 一个事务内两次读到的数据不一样。
  • 幻读: 一个事务内读到的行数不一样。
  • 解决办法: 数据库提供了 4 种隔离级别(Read Uncommitted, Read Committed, Repeatable Read, Serializable)来平衡性能与隔离性。MySQL InnoDB 默认使用的是 Repeatable Read(可重复读)

4. Durability(持久性)—— 落袋为安

  • 定义: 事务一旦提交(Commit),它对数据的修改就是永久的。
  • 通俗解释: 只要你看到了“交易成功”四个字,哪怕下一秒机房爆炸、服务器被雷劈了,你的钱也确确实实转过去了,数据绝不会丢失。
  • 底层原理:Redo Log(重做日志)实现。上一篇文章提到过,数据修改会先写日志。只要日志在磁盘上,重启后数据库就能根据日志重新构建数据。

总结

面试时如果你能用这个逻辑讲出来,稳过:

  • 原子性 (A):要么全做,要么全不做(靠 Undo Log)。
  • 持久性 (D):由于断电等原因,已提交的数据不能丢(靠 Redo Log)。
  • 隔离性 (I):并发事务之间互不干扰(靠 锁 和 MVCC)。
  • 一致性 (C):这是最终目的。原子性、隔离性、持久性都是为了保证数据的一致性。
相关文章
|
6月前
|
SQL 监控 druid
【性能优化】拒绝性能瓶颈!数据库连接池配置详解与调优实战
本文深入讲解数据库连接池核心原理与调优技巧,涵盖HikariCP和Druid配置要点,解析四大关键参数、黄金连接数公式及Druid监控功能,助你科学设置连接池,避免性能瓶颈。
|
6月前
|
消息中间件 缓存 NoSQL
【Redis进阶】不止是缓存!Redis的5种核心数据结构与实战场景全解析
本文深入浅出地解析了Redis五大核心数据结构:String、Hash、List、Set和ZSet,结合图解与实战场景,涵盖缓存、计数器、分布式锁、购物车、消息队列、排行榜等典型应用,助你摆脱“只会SET/GET”的困境,真正发挥Redis的高性能潜力。
|
算法 容器
最详细版本|UI2Code智能生成Flutter代码——机器生成代码
作者: 闲鱼技术-上叶,余晏 背景   在《UI2CODE--整体设计》篇中,我们提到UI2Code工程的整体流程。前步图片分析之后,我们可以得到对应的DSL布局描述。利用DSL的资讯,结合IntelliJ Plugin介面工具,面向使用者提供生成对应Flutter代码。
13232 0
|
Web App开发 移动开发 前端开发
|
8月前
|
设计模式 网络协议 数据可视化
Java 设计模式之状态模式:让对象的行为随状态优雅变化
状态模式通过封装对象的状态,使行为随状态变化而改变。以订单为例,将待支付、已支付等状态独立成类,消除冗长条件判断,提升代码可维护性与扩展性,适用于状态多、转换复杂的场景。
1038 157
|
5月前
|
运维 监控 Cloud Native
Linux Kernel:云原生时代的操作系统内核
Linux Kernel是1991年Linus创建的开源内核,作为云计算与容器技术的基石,支撑进程隔离(Namespace/Cgroups)、K8s资源限制、eBPF监控等核心能力。掌握其五大子系统,是运维深入云原生的关键。(239字)
459 10
|
6月前
|
关系型数据库 MySQL Nacos
CAP原理
本节介绍分布式事务中的CAP原理,即一致性(C)、可用性(A)、分区容忍性(P)三者不可兼得。分布式系统必须满足P,因此需在C与A之间权衡,选择CP或AP方案。内容结合金融、库存、订票等实际场景,解析Zookeeper、Redis、Nacos等技术的选型应用,指导如何根据业务需求合理选择分布式事务控制策略。
CAP原理
|
7月前
|
JSON 安全 JavaScript
深入浅出解析 HTTPS 原理
HTTPS是HTTP与SSL/TLS结合的安全协议,通过数字证书验证身份,利用非对称加密安全交换会话密钥,再以对称加密高效传输数据,确保通信的机密性、完整性和真实性。整个过程如同建立一条加密隧道,保障网络交互安全。
2648 16
|
6月前
|
存储 关系型数据库 索引
聚簇索引及其优缺点
聚簇索引是一种数据存储方式,InnoDB通过主键构建B+树组织数据,叶子节点即数据页。若无主键,则选非空唯一索引或隐式创建主键。辅助索引(二级索引)需两次查找:先查主键值,再查数据行。优点是查询快,尤其主键排序与范围查询;缺点是插入依赖顺序,更新主键代价高,且易引发页分裂。
|
机器学习/深度学习 传感器 算法
【雷达信号分析】基于单载频矩形脉冲信号时频分析附Matlab代码
【雷达信号分析】基于单载频矩形脉冲信号时频分析附Matlab代码