6、并发编程中的互斥与并发对象

并发编程中的互斥与并发对象

在并发编程领域，互斥和并发对象的行为是核心研究内容。下面将详细探讨互斥算法的相关问题以及并发对象的正确性和一致性。

互斥算法相关问题

1. 覆盖状态的达成

   • 从LB的覆盖状态开始。
   • 运行系统直到A即将写入LA。若不存在这种情况，让A进入临界区，B可能会覆盖其值，且A可能在LB留下痕迹。
   • 再次运行B，它会擦除LB中的痕迹，然后让其进入临界区并返回。重复此模式两次以上，B必须回到相同位置（如图中的LB）的覆盖状态。

2. 相关算法的历史

   • “→”形式化表示由Leslie Lamport提出。
   • 前三个算法由Gary Peterson于1981年发表。
   • 本文介绍的面包店锁是Leslie Lamport原始面包店算法的简化版。
   • 顺序时间戳算法由Amos Israeli和Ming Li发明。
   • Danny Dolev和Nir Shavit发明了第一个有界并发时间戳系统。
   • Jim Burns和Nancy Lynch得出了锁字段数量的下限，其证明技术“覆盖论证”被广泛用于分布式计算的下限证明。

3. 练习题分析

   • 练习9