并发编程的艺术03-Bakery互斥锁算法
导读 本章会介绍Bakery互斥锁算法，涉及到并发下的公平性问题，有界计数器和无界计数器问题，存储单元数量下界问题。 公平性 无饥饿特性能够保证每一个调用 lock() 函数的线程最终都将进入临界区，但并不能保证进入临界区需要多长时间。理想情况下如果线程 A 在线程 B 之前调用 lock() 函数，那么 A 应该在 B 之前进入临界区。然而，运用现有的工具无法确定那个线程首先调用 lock() 函数。取而代之的做法是，将 lock() 函数代码划分为两个部分： 1. 门廊区： 其执行区间由有限个操作步组成。 2. 等待区： 其执行区间可能包扩无穷个操作步。 门廊区应该在有限步数内完成一种强约束条件。称这种约束为有界无等待演进特性。对于公平的定义：满足下面条件的锁称为先到先服务的：如果线程 A 门廊区的结束在线程 B 门廊区的开始之前完成，那么线程 A 比定不会被线程 B 赶超。 按照我们的惯例来举一个生活中的例子来帮助读者理解这种计算机术语都抽象描述。 大多数人都去银行办理过业务，如图1所示很多人都在等待，他们等待的依据是什么呢？总得有个先来后到吧，要不然有人插队岂不是...
