逆向角度看待数据库事物ACID模型

学了看了用了这么久（3年左右）的mysql数据库，文档看了一大堆，总感觉还是如井底之蛙般的看待ACID。

ACID：

原子性：对于DML，要么全部成功，要么全部失败。

一致性：另外3点保证这一点。（从数据库的角度去看待这个定义，不是从使用的角度）。

隔离性：不同事物（transaction）互相影响的程度。

持久性：写到持久保存的介质上才放心。

补充：

redo log保证了持久性，即使发生crash了也能恢复。

undo log实现了原子性和隔离性。

MVCC，多版本一致性控制，应该属于一致性的一种，使用undo log实现。

虽然知道mysql的运行原理，使用起来不会出错。

但是突然问了自己一个问题：假如支付宝给微信转账一个亿，是否应该坚信MySQL绝对不会出错？

如果会，MySql的事物不就有问题了吗？

如果不会，MySql的事物怎样做到绝对保证的？这类似一个证明题：在已知的条件下，如redo log, undo log等等，证明转账绝对不会出错。

想了好久，发现还是不会证明。

首先意识到自己对于Mysql真的了解还不够深刻，或者说对ACID知道的还不够深刻，更是没法从模型外的角度去看模型本身。感觉仍是在死记硬背这个模型，不识庐山真面目，只缘身在此山中。

继续尝试思考：

在ACID模型出现之前，这个模型是怎样被建立起来的？可是我并不知道这段历史。

尝试站在使用的角度去思考（并不确定是否已经跳出了模型）。数据库是为了记录（计数或记录等等）事情的发展而应用的，就像用笔写在本子上一样。假定我们希望能连续不停的记录，墨水无限用，纸张无限长。

写不下去了。。。