事务之再理解

    前言：软件开发中的理论和原则以及一些概念，有时候很难理解，感觉很深奥！但他们都不是凭空想象出来的，他们都是为了解决软件开发过程中遇到的某个问题而提出来的方法论。所以学习这些理论，不能脱离现实问题，要从根源上理解提出这些理论的原理、背景，学习的时候结合现实生活中的某个具体的场景和例子加以理解，有助于理解它的本质和实际用法。软件开发本事就是用计算机思维去描述、解决现实中的问题，软件开发中的问题，除了特定语法层面的一些问题，语义方面的问题都可以结合现实中的问题提出解决方案，至少是参考方案。
    说到事务，我们首先想到的是他的ACID四个特性以及 Serializable (串行化)、Repeatable read (可重复读)、Read committed (读已提交)、Read uncommitted (读未提交)四种隔离级别。但我们有没有想过为什么会是这样子的，为什么是ACID四个特性，不是其他ABCD其他四个特性，为什么不是五个，也就是说这四个特性是针对什么提出来的？为什么要提出隔离级别这种概念？
    我们用现实生活中的一个例子去解释，也许不是特别精准，但我们要理解的是他的思想:A和B都在同一个公司工作，他们岗位一样，工作内容一样，工资一样，该公司对外宣称：我们公司公平、公正，没有潜规则，没有特殊对待，大家一视同仁。到月底了，A的妈妈查了查儿子银行卡余额，0.22元，爱子心切的妈妈心想，待会要去给他打点钱过去了，不然儿子要喝西北风了。出门之前，她又看了看儿子银行卡的交易记录，并记录下了儿子所有的工资收入记录，总共9条记录，合计76543.21元，然后他出门去银行给A转账。此时人事过来叫A、B同时去办公室（请注意是去办公室领）领工资（因为公司宣扬平等，大家都是同时拿到工资的，不会有先后）。他们来到办公室，老板先是充分肯定了大家最近一月在工作中取得的成绩，并鼓励大家再接再厉，再创辉煌。。。。。。然后递给A一个鼓鼓的红包，接着又递给B一个（注意这里有先后，你很难保证老板能同时给A、B红包，他就算采用左手递给A同时右手递给B，从毫秒、纳秒层级来看，这里的‘同时’也不是绝对同时的，也就是说从绝对意义上来讲，是达不到完全一致性的），然后A和B高兴地拿着红包一起出去了......
    上面这个场景中，我们似乎觉得，这并没有满足严格意义上的一致性！从这个意义上（上帝视角）来看，确实是，公司并没有兑现他“完全公平”的承诺，A先与B两秒拿到钱，并且从这个意义上讲，似乎根本不可能兑现。但是，这里有一个很重要的问题，也就是视角的问题，我们现实中不是站在上帝的视角，而是站在第三方视角，也就是站在公司的其他员工角度（程序中是站在调用者视角）。A、B走出办公室后，C看到他们同时出来了，并且手里都有相同的红包，他会觉得：老板兑现了他的承诺。至于A、B是怎样拿到到红包的细节他们是看不见的，因为他们都是在办公室里发生的（事务），办公室发生的一切他们都不知道。也许中间他们还有讨论绩效是不是太少了，但最终他们都有一个统一的答案，拒绝还是接受（一致性），这些对于公司其他同事也是不可知的（隔离），他们拿了工资签了字后，这事就翻篇了，尘埃落定了（持久性）。
    再细讲下去，在A、B正在讨论绩效是否低了的时候，D有急事跑了进去（隔离级别太低，办公室门没上锁），D出来后E问D:A、B同意了吗？D说：没有，他们说绩效有点低（其实最终A、B是同意了的），E就得到了“假”数据（脏读）。这是A的妈妈到了银行，一查A的银行卡余额：8888.22，她怀疑自己眼花了，揉了揉眼睛又看了一看，还是8888.22.他傻眼了，刚刚明明是0.22（不可重复读）。当得知是儿子刚发工资后，他回家了。回到家里有闲着没事翻了翻儿子银行卡的转账记录，咦，怎么又10条了？刚刚不是才9条么？我是产生幻觉了么（幻读），聪明的你应该知道这是什么原因吧！。。。。。。
    那怎么解决上述的这些问题呢？说白了，就是加大管控力度，比如办公室上锁，闲杂人等禁止入内！要发工资期间工资卡不让别人随便用......管控力度不同，能解决的问题级别不同，这就是隔离级别......详情下回分解。
   后记：上面的讨论提出一个观点，事务保证的强一致性是站在第三方角度说的，并不是绝对意义上的，上帝视角的一致性。但，我们都是读过书的人，是不会信上帝的，也就是说没必要追求上帝视角的一致性。所以，在现实中我们所讨论的很多问题都不是考虑他的绝对意义，都不是站在上帝视角的，而是站在整个社会视角的。比如我们社会主义核心价值观中就有“自由、平等、公正"三项，这里说的自由、平等、公正并不是绝对意义上的，他不是微观的，个人的、上帝视角的自由、平等、公正，而是整个社会的，就像例子中的A、B所在的公司一样。