事务应该是数据库提供给应用程序的,并且为了隐藏并行问题和软硬件会发生的错误,而使用的一种抽象。下图中提到的方法包含了几个前提,那就是时钟是相对可靠的,虽有延迟,但网络也是相对可靠的,并且保证不会发生拜占庭问题,这样在一定程度上解决了数据一致性的问题。
关于津津乐道的ACID,A代表的是原子性,但是和一般意义上的原子性无关,而是表达的是事务在提交失败时,是可以abort和rollback的。C代表的是一致性,这个很容易误会,因为有所谓的最终一致性,一致性hash,CAP里的一致性,不过这个不但属于数据库,而且也需要应用程序配合。I则是隔离性,反倒这里的隔离性的定义很像一般意义上的原子性。D代表的持久性,这个在单节点的数据库,可能就是把数据保存到磁盘里。
这四个性质如果要完全实现的,嗯,我相信性能问题会迫使你放弃这种奢望。
于是就有了一定程度的trade-off。具体会遇上的问题可以看下面的思维导图。