无锁队列

单生产者

　　初始位置：生产者的头和尾指向相同的位置；并只有生产者的头和尾被修改

　　1.生产者的头和消费者的尾指向临时变量，prond_next指向表的下一位置，如果没有足够的空间，返回错误

　　2.prod_head（原变量而非临时变量）指向prod_next，新元素入队

　　3.修改prod_tail指向prod_head（都是原变量），入队完毕

单消费者出队

　　1.消费者的头和尾索引赋值给临时变量，并将next指向表的下一位置

　　2.cons_head指向cons_next位置，并使队头元素出队

　　3.cons_tail指向cons_head位置，出队完毕

多生产者入队

　　1.在两个core上，将生产者的头索引和消费者的尾索引交给临时变量，prod_next指向表的下一位置，若没有足够空间则返回一个错误

　　2.prod_head（原变量）指向prod_next（两个core上的变量）位置，用cas操作

　　3.cas在core2上执行成功

　　4.更新prod_tail，当prod_tail==prod_head临时变量时，更新prod_tail，先在core1上进行

　　5.core1上更新完成后，到core2上更新

无锁队列

原文：https://www.cnblogs.com/tianzeng/p/14998471.html