algorithm - fetch_and_store 操作是做什么的

Question

我有一个算法，里面有一个 fetch_and_store 操作。除了这一行之外，我全面了解该算法:pred : ^qnode := I->prev := fetch_and_store (L, I)。这就是 CLH 算法(用于并发编程)。有人可以帮助我理解这部分吗？

算法:http://www.cs.rochester.edu/research/synchronization/pseudocode/ss.html#clh

Answer 1

fetch_and_store (L, I) 原子地将 I 写入 L 并返回 L 的先前值。这确保锁定节点将仅与一个线程一起工作:线程将其用于处理并替换与其他节点。其他线程将采用我们放置在这里的节点。