数据一致性

• 线程间无序()；
• 没有可组合性(Not Compositional)；

摘自The Art of Multiprocessor Programming的描述：

The usual way to show that a concurrent object implementation is linearizable is to identify for each method a linearization point where the method takes effect. For lock-based implementations, each method’s critical section can serve as its linearization point. For implementations that do not use locking, the linearization point is typically a single step where the effects of the method call become visible to other method calls. For example, let us recall the single-enqueuer/single-dequeuer queue of Fig. 3.3. This implementation has no critical sections, and yet we can identify its linearization points. Here, the linearization points depend on the execution. If it returns an item, the deq() method has a linearization point when the head field is updated (Line 18). If the queue is empty, the deq() method has a lineariza- tion point when it throws Empty Exception (Line 16). The enq() method is similar.

• 并发对象实现线性化的常规方式是为每种方法，确定方法生效的线性化点；
• 基于锁的实现，每个方法的临界区都可以做为线性化点；
• 对于无锁实现，线性化点通常是使得该方法效果对外可见的单步操作；
• 考虑3.3(本文前图)队列出入操作，线性化点依赖执行。如果返回一个元素，deq()方法 具备一个线性化点，这个点更新了head成员；如果队列是空的，deq()方法的线性化点 是抛出异常的点；// 因此，同一方法的多次执行，线性化点可以是程序的不同位置；
• 因此必须具备边界效应（Side effect），即状态的改变；
• 可以基于非阻塞方法实现（Non-blocking，即Atomic操作）；

• Atomicity(原子性): 出错时终止事务，并将部分完成的写入全部丢弃；可终止性；
• Consistency(一致性): 应用借助原子性和隔离性，以及应用本身的逻辑正确性，才可 达成一致性；
• 隔离性(Isolation): 并发执行的多个事务相互隔离，互不干扰。最好的隔离级别是可 串行化(Serializability)，意味着系统要确保事务提交时，其结果与串行执行一致。 为了性能优化，很多数据库放松了这个约束。例如，Oracle 11g实现快照隔离；
• 持久性(Durability): 写入到持久存储。

• 只能看到已提交的数据，不会有脏读；
• 写入时，只覆盖已提交的数据，不会有脏写；
• Oracle 11g, PostgreSQL, SQL Server 2012, MemSQL的默认配置;
• 什么是脏读：某个事务已部分写入，但没有提交或终止，如果部分写入的数据被其他事务 看到，即为脏读；
• 什么是脏写：某个事务已部分写入，但没有提交或终止，如果部分写入的数据被其他事务 的写入所覆盖，即为脏写；
• 行锁防止脏写，维护旧值与当前数值防止脏读；

• 不可重复读/读倾斜：对多个对象操作，看到了部分对象已更新，部分对象未更新；
• 行锁隔离写，MVCC提供读；
• MVCC数据，通过事务ID，决定哪些可见，哪些不可见；
• 以下两个条件成立时，该数据对象对事务可见：
  • 事务开始时，创建该数据对象的事务已经完成提交；
  • 事务开始时，数据对象未被删除，或者删除该数据对象的事务还未提交；

• 写倾斜和幻读问题：并发的事务，违背了逻辑约束，或者触发了实体化冲突；
• 事务可能会并行执行，但保证并行执行的结果，与串行执行的结果一致；
• VoltDB/H-Store，Redis，Datamic采用串行方式执行事务；
• 2阶段加锁：2PL(2 Phase Locking)
  • 事务A读取了某个对象，事务B要写该对象，则必须等到事务A结束（提交或终止）；
  • 事务A修改了某个对象，事务B要读该对象，则必须等到事务A结束（提交或终止）；
  • MYSQL，SQL Server 串行化隔离实现使用2PL实现；基本思路如下：
    • 事务要读取对象，先加读锁（共享锁）；
    • 事务要修改对象，加写锁（互斥）；
    • 事务先读取对象，后修改对象，则要升级读锁为写锁；
    • 事务拿到锁后，持续到事务结束才释放锁；
    • 2PL意思是，第一阶段事务执行前加锁，第二阶段事务结束时释放所有锁；
    • 性能优化：Predicate Locks, Index-range Locks, 悲观锁与乐观锁;