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

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

1. 互斥相关内容

在多线程编程中，互斥是一个重要的概念，旨在确保同一时间只有一个线程可以访问关键资源，避免数据竞争和不一致性。

1.1 达到覆盖状态的过程

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

1.2 相关算法及发明

• “→”形式化 ：由Leslie Lamport提出。
• 前三个算法 ：由Gary Peterson于1981年在一篇两页的论文中发表。
• 面包店锁 ：是Leslie Lamport原始面包店算法的简化版本。
• 顺序时间戳算法 ：由Amos Israeli和Ming Li发明，他们还提出了有界时间戳系统的概念。
• 第一个有界并发时间戳系统 ：由Danny Dolev和Nir Shavit发明。
• 其他有界时间戳方案 </