列表上的原子操作

Question

假设我有一个列表，我想使用test_and_set操作，其参数是一些指针地址l->a.next->next 。 我认为这不是原子的， test_and_set也没用。 有没有办法以原子方式计算指针值，以便TAS原子地工作？

Answer 1

你可能意味着CAS （更有用）。

通常：是的，它通常用于实现事务性或等待的数据结构，

首先要做的事情是：让地址计算与地址上的原子操作分开，首先得到应该交换某些东西的具体地址，CAS不关心你是如何到达那里的。

具体来说，您应首先让每个线程导航列表，直到找到他们想要替换下一个指针的位置，然后他们可以尝试使用CAS重复此操作。 这取决于您的场景线程是否必须重新遍历列表以进行重试。

棘手的部分实际上是在代码中的不同位置：您释放 （或重用）列表节点。 一般来说，你必须承担，你不能重复使用或从列表中断开以往任何时候都免费节点链。 在实践中，你可以使用heursitics，但这取决于你的用例。