无锁队列的环形数组实现（Lock Free Queue Implementation in Ring Array）

关注

VIP免费原创最新推荐文章于 2024-11-11 12:53:23 发布 7.8k 阅读 AI 写同款· GEO 优化 ›

限时加码！20+主流AI编程工具免费用购周边加赠Coding Plan Lite，Claude Code、Cursor等即刻畅享，学习进阶更高效！阅读详情

在网络服务器中，往往需要对数据进行高并发的读写操作。最原始的方式是对数据缓冲队列进行加锁（Mutex Lock），以完成的线程间的同步与互斥。但操作系统对资源进行加锁与解锁需要耗费很多时间，对于时间要求比较高或者要求迅速响应的服务器，锁的方式很有可能不能满足系统设计的要求。于是寻求设计一种不加锁也可以完成互斥访问的数据缓冲队列。

无锁队列的原理，首先可以参阅陈皓老师写的文章（http://coolshell.cn/articles/8239.html），其中有关于CAS等原子操作的介绍，使用链表的无锁队列的实现，以及可能面临的ABA问题。文中也给出了使用数组的的无锁队列的实现方案，但文中的方案只能存储一些较小的数据类型，如32位数据等。使用链表的无锁队列，元素每次入队和出队都涉及内存的申请和释放，内存IO的频繁操作不免要影响到系统效率。使用数组的无锁队列避免了内存的频繁操作，实现起来也清晰简洁。

Google的搜索结果中，无锁队列大部分都是基于链表的，数组形式的实现方案非常少。无锁队列的数组其实是一个环形数组（Ring Array），所有的入队和出队操作都是对该数组的内存进行操作。一个无锁队列的环形数组实现的C++定义如下：

class LockFreeQueue
{
public:
	LockFreeQueue(int s = MAX_SIZE_OF_RING_BUFFER);
	~LockFreeQueue();

	bool InitQueue(void);

	bool EnQueue(const ItemT & ele);

	bool DeQueue(ItemT * ele);

	//__sync_bool_compare_a