mpsc.hpp 2.66 KB
Newer Older
1
2
3
4
5
6
#include <atomic>
#include <cassert>
#include <iostream>
#include <optional>
#include <semaphore>

7
template <typename T> class MPSCQueue {
8
9
  struct Node {
    T data;
10
    std::atomic<Node *> next;
11
12
13
14
15

    Node() : next(nullptr) {}
    Node(T data_) : data(std::move(data_)), next(nullptr) {}
  };

16
17
  std::atomic<Node *> head;
  Node *tail;
18

19
public:
20
21
22
  std::atomic_size_t enqueue_count = 0;
  size_t dequeue_count = 0;
  MPSCQueue() {
23
    Node *dummy = new Node();
24
25
26
27
28
    head.store(dummy, std::memory_order_seq_cst);
    tail = dummy;
  }

  ~MPSCQueue() {
29
    Node *node = tail;
30
    while (node) {
31
      Node *next = node->next.load(std::memory_order_seq_cst);
32
33
34
35
36
37
38
39
      delete node;
      node = next;
    }
  }

  // 生产者调用
  void enqueue(T data) {
    enqueue_count.fetch_add(1);
40
41
    Node *node = new Node(std::move(data));
    Node *prev_head = head.exchange(node, std::memory_order_seq_cst);
42
43
44
45
46
    prev_head->next.store(node, std::memory_order_seq_cst);
  }

  // 消费者调用
  std::optional<T> dequeue() {
47
    Node *next = tail->next.load(std::memory_order_seq_cst);
48
49
50
51
52
53
54
55
56
57
58
59
60
    if (next) {
      T res = std::move(next->data);
      delete tail;
      tail = next;
      dequeue_count += 1;
      return res;
    }
    return std::nullopt;
  }

  size_t size() { return enqueue_count.load() - dequeue_count; }
};

61
template <typename T> class MPSCQueueConsumerLock {
62
63
64
  MPSCQueue<T> queue;
  std::counting_semaphore<> sema{0};

65
public:
66
67
  void enqueue(T data) {
    queue.enqueue(std::move(data));
68
69
70
    // std::atomic_thread_fence(std::memory_order_seq_cst);// Inserting this
    // because the memory order might be wrong, I am also not that sure about
    // this.
71
72
73
74
75
76
77
    sema.release();
  }

  T dequeue() {
    auto re = queue.dequeue();
    if (re.has_value()) {
      while (sema.try_acquire() == false) {
78
79
80
81
        std::cerr
            << __FILE__ << ":" << __FUNCTION__
            << " sema try acquire should be success, retrying, please check"
            << std::endl;
82
83
84
85
86
87
88
89
90
91
92
93
94
        // assert(false);
      }
      return re.value();
    }
    sema.acquire();
    return queue.dequeue().value();
  }

  template <typename Rep, typename Period>
  std::optional<T> try_dequeue_for(std::chrono::duration<Rep, Period> dur) {
    auto re = queue.dequeue();
    if (re.has_value()) {
      while (sema.try_acquire() == false) {
95
96
97
98
        std::cerr
            << __FILE__ << ":" << __FUNCTION__
            << " sema try acquire should be success, retrying, please check"
            << std::endl;
99
100
101
102
103
104
105
106
107
108
109
110
111
112
        // assert(false);
      }
      return re.value();
    }

    if (sema.try_acquire_for(dur)) {
      return queue.dequeue().value();
    } else {
      return std::nullopt;
    }
  }

  size_t size() { return queue.size(); }
};