问题描述
在 Herlihy 的著名著作 The Art of Multiprocessor Programming
中,Shavit 的一些无锁和无等待算法利用了 Java 的模板 AtomicmarkableReference<T>
类型。它允许对由 T
引用和布尔标记组成的对执行单个原子 CAS 操作。
在 C/C++/Go stdlib 中没有类似的类型,但至少在 C++ 中可以使用位窃取方法对其进行建模(参见 C++ example)。在 x86_64
架构上,实际上只使用了 64 位中的 48 位,因此可以在剩余的 16 位中存储任意数据,并以原子方式处理整个指针和数据。
据我所知,实现这种方法有两个要求:
- 指针必须对齐。
- 指针的低位必须清零(如果你想在这个区域存储类似
bool
的东西,它一定不能已经被占用)。
Go 是否满足这些要求? Go 中有没有位窃取技术的工作示例?
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)