SPSCQueue 是用 C++ 11 編寫(xiě)的單個(gè)生產(chǎn)者單一消費(fèi)者等待和無(wú)鎖定大小隊(duì)列。

示例代碼

SPSCQueue q(2);
auto t = std::thread([&] {
  while (!q.front());
  std::cout << *q.front() << std::endl;
  q.pop();
});
q.push(1);
t.join();

使用

• SPSCQueue(size_t capacity);

  Create a?SPSCqueue?holding items of type?T?with capacity?capacity. Capacity need to be greater than 2.

• void emplace(Args &&... args);

  Enqueue an item using inplace construction. Blocks if queue is full.

• bool try_emplace(Args &&... args);

  Try to enqueue an item using inplace construction. Returns?true?on success and?false?if queue is full.

• void push(const T &v);

  Enqueue an item using copy construction. Blocks if queue is full.

• template void push(P &&v);

  Enqueue an item using move construction. Participates in overload resolution only if?std::is_constructible::value == true. Blocks if queue is full.

• bool try_push(const T &v);

  Try to enqueue an item using copy construction. Returns?true?on success and?false?if queue is full.

• template void try_push(P &&v);

  Try to enqueue an item using move construction. Returns?true?on success and?false?if queue is full. Participates in overload resolution only if?std::is_constructible::value == true.

• T *front();

  Return pointer to front of queue. Returns?nullptr?if queue is empty.

• pop();

  Dequeue first elment of queue. Invalid to call if queue is empty. Requires?std::is_nothrow_destructible::value == true.

一旦一個(gè)單一的寫(xiě)線(xiàn)程可以執(zhí)行入隊(duì)列的操作時(shí)，只有一個(gè)單一的讀線(xiàn)程可以執(zhí)行取隊(duì)列操作，其他的使用都是不允許的。

實(shí)現(xiàn)原理

底層實(shí)現(xiàn)是一個(gè)環(huán)形緩沖區(qū)。

參考資料:

• Intel.?Avoiding and Identifying False Sharing Among Threads.
• Wikipedia.?Ring buffer.
• Wikipedia.?False sharing.

性能測(cè)試

以下測(cè)試結(jié)果是基于?2 socket machine with 2 x Intel(R) Xeon(R) CPU E5-2620 0 @ 2.00GHz.