实现一个无锁消息队列（续与勘误） 本文内容主要参考自Implementing Lock-Free Queue一文（以下简称“原论文”） 是对实现一个无锁消息队列一文的内容进行补充 TL；DR 尽管实现一个 … more ...
使用 SPIN/Promela 对多线程 Concurrent FIFO Queue 进行建模与验证 引言 并发编程中设计和验证多线程数据结构是一项极大的挑战，即使是实现一个简单的数据结构（见《实现一个无锁消息 … more ...
实现一个无锁消息队列 240414更新：后续补充了一篇勘误文章，见这里 目标 实现一个多读多写的无锁消息队列。 cmpxchg - 比较并替换 比较并替换（compare-and-swap, CAS）是一个用于 … more ...