标签：
rte_ring是一个无锁队列，无锁队列的出队入队操作是rte_ring实现的关键。因此，本文主要讲解dpdk是怎样使用无锁机制实现rte_ring的多生产者入队操作。
rte_atomic32_cmpset（）称为CAS(compare and set)操作，是无锁队列实现的关键，实现的伪代码如下：
cmpset(cur, old, next) { if (cur == old) { cur = next; } }
rte_atomic32_cmpset（）实现基于gcc内置CAS操作：
__sync_bool_compare_and_swap（）
rte_compiler_barrier（）
该操作主要保证此语句后的代码执行顺序不被编译器优化。
多生产者入队(mp-enqueue)
/* * 该函数保证多个生产者按顺序入队，而第一步则是给多个生产者排序的过程， * 最先移动r->prod.head位置的生产者排序最靠前，排序靠前的生产者也可以 * 优先执行第二步和第三步。 */ mp_do_enqueue(r, obj, n) { /* 1. 抢占移动prod.head */ do { prod_head = r->prod.head; cons_tail = r->cons.tail; /* check that we have enough room in ring */ CHECK_REMAIN_ROOM() prod_next = prod_head + n; success = rte_atomic32_cmpset(&r->prod.head, prod_head, prod_next); } while (success == 0); /* 2. 元素插入合适位置 */ ENQUEUE_PTRS(); rte_compiler_barrier(); /* 3. 顺序移动prod.tail */ while (unlikely(r->prod.tail != prod_head)) rte_pause(); r->prod.tail = prod_next; }
标签：
原文地址：http://www.cnblogs.com/ziding/p/4246170.html
