10、高效并发对象实现与多核架构性能分析

高效并发对象实现与多核架构性能分析

并发对象的高效实现

在并发编程中，实现高效的并发对象是一个重要的目标。这里我们主要探讨一种可线性化的无阻塞栈以及一种对竞争敏感的无饥饿栈的实现。

无阻塞栈操作

无阻塞栈提供了两个基本操作： non blocking push(v) 和 non blocking pop() 。其代码如下：

operation non blocking push(v):
repeat res ←weak push(v) until res ̸= ⊥end repeat;
return(res).

operation non blocking pop():
repeat res ←weak pop() until res ̸= ⊥end repeat;
return(res).

这两个操作通过不断尝试执行 weak push(v) 或 weak pop() 操作，直到返回非 ⊥ 值，从而实现无阻塞的栈操作。

对竞争敏感的栈实现

目标是设计一种对竞争敏感的无饥饿栈，该算法在无竞争时仅执行少量且有常数界的共享内存访问，仅在有竞争时使用锁。

• 数据结构 ：
  • LOCK ：一个锁，通过 lock() </