无锁队列
单生产者
初始位置:生产者的头和尾指向相同的位置;并只有生产者的头和尾被修改
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上更新