userver: userver/concurrent/queue.hpp Source File
Loading...
Searching...
No Matches
queue.hpp
1#pragma once
2
3#include <atomic>
4#include <limits>
5#include <memory>
6
7#include <moodycamel/concurrentqueue.h>
8
9#include <userver/concurrent/impl/semaphore_capacity_control.hpp>
10#include <userver/concurrent/queue_helpers.hpp>
11#include <userver/engine/deadline.hpp>
12#include <userver/engine/semaphore.hpp>
13#include <userver/engine/single_consumer_event.hpp>
14#include <userver/engine/task/cancel.hpp>
15#include <userver/utils/assert.hpp>
16#include <userver/utils/atomic.hpp>
17
18USERVER_NAMESPACE_BEGIN
19
20namespace concurrent {
21
22namespace impl {
23
24template <bool MultipleProducer, bool MultipleConsumer>
25struct SimpleQueuePolicy {
26 template <typename T>
27 static constexpr std::size_t GetElementSize(const T&) {
28 return 1;
29 }
30
31 static constexpr bool kIsMultipleProducer{MultipleProducer};
32 static constexpr bool kIsMultipleConsumer{MultipleConsumer};
33};
34
35template <bool MultipleProducer, bool MultipleConsumer>
36struct ContainerQueuePolicy {
37 template <typename T>
38 static std::size_t GetElementSize(const T& value) {
39 return std::size(value);
40 }
41
42 static constexpr bool kIsMultipleProducer{MultipleProducer};
43 static constexpr bool kIsMultipleConsumer{MultipleConsumer};
44};
45
46} // namespace impl
47
48/// Queue with single and multi producer/consumer options
49///
50/// @see @ref scripts/docs/en/userver/synchronization.md
51template <typename T, typename QueuePolicy>
52class GenericQueue final
53 : public std::enable_shared_from_this<GenericQueue<T, QueuePolicy>> {
54 struct EmplaceEnabler final {
55 // Disable {}-initialization in Queue's constructor
56 explicit EmplaceEnabler() = default;
57 };
58
59 using ProducerToken =
60 std::conditional_t<QueuePolicy::kIsMultipleProducer,
61 moodycamel::ProducerToken, impl::NoToken>;
62 using ConsumerToken =
63 std::conditional_t<QueuePolicy::kIsMultipleProducer,
64 moodycamel::ConsumerToken, impl::NoToken>;
65 using MultiProducerToken = impl::MultiToken;
66 using MultiConsumerToken =
67 std::conditional_t<QueuePolicy::kIsMultipleProducer, impl::MultiToken,
68 impl::NoToken>;
69
70 using SingleProducerToken =
71 std::conditional_t<!QueuePolicy::kIsMultipleProducer,
72 moodycamel::ProducerToken, impl::NoToken>;
73
74 friend class Producer<GenericQueue, ProducerToken, EmplaceEnabler>;
75 friend class Producer<GenericQueue, MultiProducerToken, EmplaceEnabler>;
76 friend class Consumer<GenericQueue, ConsumerToken, EmplaceEnabler>;
77 friend class Consumer<GenericQueue, MultiConsumerToken, EmplaceEnabler>;
78
79 public:
80 using ValueType = T;
81
82 using Producer =
83 concurrent::Producer<GenericQueue, ProducerToken, EmplaceEnabler>;
84 using Consumer =
85 concurrent::Consumer<GenericQueue, ConsumerToken, EmplaceEnabler>;
86 using MultiProducer =
87 concurrent::Producer<GenericQueue, MultiProducerToken, EmplaceEnabler>;
88 using MultiConsumer =
89 concurrent::Consumer<GenericQueue, MultiConsumerToken, EmplaceEnabler>;
90
91 static constexpr std::size_t kUnbounded =
92 std::numeric_limits<std::size_t>::max() / 4;
93
94 /// @cond
95 // For internal use only
96 explicit GenericQueue(std::size_t max_size, EmplaceEnabler /*unused*/)
97 : queue_(),
98 single_producer_token_(queue_),
99 producer_side_(*this, std::min(max_size, kUnbounded)),
100 consumer_side_(*this) {}
101
102 ~GenericQueue() {
103 UASSERT(consumers_count_ == kCreatedAndDead || !consumers_count_);
104 UASSERT(producers_count_ == kCreatedAndDead || !producers_count_);
105
106 if (producers_count_ == kCreatedAndDead) {
107 // To allow reading the remaining items
108 consumer_side_.ResumeBlockingOnPop();
109 }
110
111 // Clear remaining items in queue
112 T value;
113 ConsumerToken token{queue_};
114 while (consumer_side_.PopNoblock(token, value)) {
115 }
116 }
117
118 GenericQueue(GenericQueue&&) = delete;
119 GenericQueue(const GenericQueue&) = delete;
120 GenericQueue& operator=(GenericQueue&&) = delete;
121 GenericQueue& operator=(const GenericQueue&) = delete;
122 /// @endcond
123
124 /// Create a new queue
125 static std::shared_ptr<GenericQueue> Create(
126 std::size_t max_size = kUnbounded) {
127 return std::make_shared<GenericQueue>(max_size, EmplaceEnabler{});
128 }
129
130 /// Get a `Producer` which makes it possible to push items into the queue.
131 /// Can be called multiple times. The resulting `Producer` is not thread-safe,
132 /// so you have to use multiple Producers of the same queue to simultaneously
133 /// write from multiple coroutines/threads.
134 ///
135 /// @note `Producer` may outlive the queue and consumers.
137 PrepareProducer();
138 return Producer(this->shared_from_this(), EmplaceEnabler{});
139 }
140
141 /// Get a `MultiProducer` which makes it possible to push items into the
142 /// queue. Can be called multiple times. The resulting `MultiProducer` is
143 /// thread-safe, so it can be used simultaneously from multiple
144 /// coroutines/threads.
145 ///
146 /// @note `MultiProducer` may outlive the queue and consumers.
147 ///
148 /// @note Prefer `Producer` tokens when possible, because `MultiProducer`
149 /// token incurs some overhead.
150 MultiProducer GetMultiProducer() {
151 static_assert(QueuePolicy::kIsMultipleProducer,
152 "Trying to obtain MultiProducer for a single-producer queue");
153 PrepareProducer();
154 return MultiProducer(this->shared_from_this(), EmplaceEnabler{});
155 }
156
157 /// Get a `Consumer` which makes it possible to read items from the queue.
158 /// Can be called multiple times. The resulting `Consumer` is not thread-safe,
159 /// so you have to use multiple `Consumer`s of the same queue to
160 /// simultaneously write from multiple coroutines/threads.
161 ///
162 /// @note `Consumer` may outlive the queue and producers.
164 PrepareConsumer();
165 return Consumer(this->shared_from_this(), EmplaceEnabler{});
166 }
167
168 /// Get a `MultiConsumer` which makes it possible to read items from the
169 /// queue. Can be called multiple times. The resulting `MultiConsumer` is
170 /// thread-safe, so it can be used simultaneously from multiple
171 /// coroutines/threads.
172 ///
173 /// @note `MultiConsumer` may outlive the queue and producers.
174 ///
175 /// @note Prefer `Consumer` tokens when possible, because `MultiConsumer`
176 /// token incurs some overhead.
178 static_assert(QueuePolicy::kIsMultipleConsumer,
179 "Trying to obtain MultiConsumer for a single-consumer queue");
180 PrepareConsumer();
181 return MultiConsumer(this->shared_from_this(), EmplaceEnabler{});
182 }
183
184 /// @brief Sets the limit on the queue size, pushes over this limit will block
185 /// @note This is a soft limit and may be slightly overrun under load.
186 void SetSoftMaxSize(std::size_t max_size) {
187 producer_side_.SetSoftMaxSize(std::min(max_size, kUnbounded));
188 }
189
190 /// @brief Gets the limit on the queue size
191 std::size_t GetSoftMaxSize() const { return producer_side_.GetSoftMaxSize(); }
192
193 /// @brief Gets the approximate size of queue
194 std::size_t GetSizeApproximate() const {
195 return producer_side_.GetSizeApproximate();
196 }
197
198 private:
199 class SingleProducerSide;
200 class MultiProducerSide;
201 class SingleConsumerSide;
202 class MultiConsumerSide;
203
204 /// Proxy-class makes synchronization of Push operations in multi or single
205 /// producer cases
206 using ProducerSide =
207 std::conditional_t<QueuePolicy::kIsMultipleProducer, MultiProducerSide,
208 SingleProducerSide>;
209
210 /// Proxy-class makes synchronization of Pop operations in multi or single
211 /// consumer cases
212 using ConsumerSide =
213 std::conditional_t<QueuePolicy::kIsMultipleConsumer, MultiConsumerSide,
214 SingleConsumerSide>;
215
216 template <typename Token>
217 [[nodiscard]] bool Push(Token& token, T&& value, engine::Deadline deadline) {
218 return producer_side_.Push(token, std::move(value), deadline);
219 }
220
221 template <typename Token>
222 [[nodiscard]] bool PushNoblock(Token& token, T&& value) {
223 return producer_side_.PushNoblock(token, std::move(value));
224 }
225
226 template <typename Token>
227 [[nodiscard]] bool Pop(Token& token, T& value, engine::Deadline deadline) {
228 return consumer_side_.Pop(token, value, deadline);
229 }
230
231 template <typename Token>
232 [[nodiscard]] bool PopNoblock(Token& token, T& value) {
233 return consumer_side_.PopNoblock(token, value);
234 }
235
236 void PrepareProducer() {
237 std::size_t old_producers_count{};
238 utils::AtomicUpdate(producers_count_, [&](auto old_value) {
239 old_producers_count = old_value;
240 return old_value == kCreatedAndDead ? 1 : old_value + 1;
241 });
242
243 if (old_producers_count == kCreatedAndDead) {
244 consumer_side_.ResumeBlockingOnPop();
245 }
246 UASSERT(QueuePolicy::kIsMultipleProducer || old_producers_count != 1);
247 }
248
249 void PrepareConsumer() {
250 std::size_t old_consumers_count{};
251 utils::AtomicUpdate(consumers_count_, [&](auto old_value) {
252 old_consumers_count = old_value;
253 return old_value == kCreatedAndDead ? 1 : old_value + 1;
254 });
255
256 if (old_consumers_count == kCreatedAndDead) {
257 producer_side_.ResumeBlockingOnPush();
258 }
259 UASSERT(QueuePolicy::kIsMultipleConsumer || old_consumers_count != 1);
260 }
261
262 void MarkConsumerIsDead() {
263 const auto new_consumers_count =
264 utils::AtomicUpdate(consumers_count_, [](auto old_value) {
265 return old_value == 1 ? kCreatedAndDead : old_value - 1;
266 });
267 if (new_consumers_count == kCreatedAndDead) {
268 producer_side_.StopBlockingOnPush();
269 }
270 }
271
272 void MarkProducerIsDead() {
273 const auto new_producers_count =
274 utils::AtomicUpdate(producers_count_, [](auto old_value) {
275 return old_value == 1 ? kCreatedAndDead : old_value - 1;
276 });
277 if (new_producers_count == kCreatedAndDead) {
278 consumer_side_.StopBlockingOnPop();
279 }
280 }
281
282 public: // TODO
283 /// @cond
284 bool NoMoreConsumers() const { return consumers_count_ == kCreatedAndDead; }
285
286 bool NoMoreProducers() const { return producers_count_ == kCreatedAndDead; }
287 /// @endcond
288
289 private:
290 template <typename Token>
291 void DoPush(Token& token, T&& value) {
292 if constexpr (std::is_same_v<Token, moodycamel::ProducerToken>) {
293 static_assert(QueuePolicy::kIsMultipleProducer);
294 queue_.enqueue(token, std::move(value));
295 } else if constexpr (std::is_same_v<Token, MultiProducerToken>) {
296 static_assert(QueuePolicy::kIsMultipleProducer);
297 queue_.enqueue(std::move(value));
298 } else {
299 static_assert(std::is_same_v<Token, impl::NoToken>);
300 static_assert(!QueuePolicy::kIsMultipleProducer);
301 queue_.enqueue(single_producer_token_, std::move(value));
302 }
303
304 consumer_side_.OnElementPushed();
305 }
306
307 template <typename Token>
308 [[nodiscard]] bool DoPop(Token& token, T& value) {
309 bool success{};
310
311 if constexpr (std::is_same_v<Token, moodycamel::ConsumerToken>) {
312 static_assert(QueuePolicy::kIsMultipleProducer);
313 success = queue_.try_dequeue(token, value);
314 } else if constexpr (std::is_same_v<Token, impl::MultiToken>) {
315 static_assert(QueuePolicy::kIsMultipleProducer);
316 success = queue_.try_dequeue(value);
317 } else {
318 static_assert(std::is_same_v<Token, impl::NoToken>);
319 static_assert(!QueuePolicy::kIsMultipleProducer);
320 success = queue_.try_dequeue_from_producer(single_producer_token_, value);
321 }
322
323 if (success) {
324 producer_side_.OnElementPopped(QueuePolicy::GetElementSize(value));
325 return true;
326 }
327
328 return false;
329 }
330
331 moodycamel::ConcurrentQueue<T> queue_{1};
332 std::atomic<std::size_t> consumers_count_{0};
333 std::atomic<std::size_t> producers_count_{0};
334
335 SingleProducerToken single_producer_token_;
336
337 ProducerSide producer_side_;
338 ConsumerSide consumer_side_;
339
340 static constexpr std::size_t kCreatedAndDead =
341 std::numeric_limits<std::size_t>::max();
342 static constexpr std::size_t kSemaphoreUnlockValue =
343 std::numeric_limits<std::size_t>::max() / 2;
344};
345
346// Single-producer ProducerSide implementation
347template <typename T, typename QueuePolicy>
348class GenericQueue<T, QueuePolicy>::SingleProducerSide final {
349 public:
350 explicit SingleProducerSide(GenericQueue& queue, std::size_t capacity)
351 : queue_(queue), used_capacity_(0), total_capacity_(capacity) {}
352
353 // Blocks if there is a consumer to Pop the current value and task
354 // shouldn't cancel and queue if full
355 template <typename Token>
356 [[nodiscard]] bool Push(Token& token, T&& value, engine::Deadline deadline) {
357 if (DoPush(token, std::move(value))) {
358 return true;
359 }
360
361 return non_full_event_.WaitForEventUntil(deadline) &&
362 // NOLINTNEXTLINE(bugprone-use-after-move)
363 DoPush(token, std::move(value));
364 }
365
366 template <typename Token>
367 [[nodiscard]] bool PushNoblock(Token& token, T&& value) {
368 return DoPush(token, std::move(value));
369 }
370
371 void OnElementPopped(std::size_t released_capacity) {
372 used_capacity_.fetch_sub(released_capacity);
373 non_full_event_.Send();
374 }
375
376 void StopBlockingOnPush() {
377 total_capacity_ += kSemaphoreUnlockValue;
378 non_full_event_.Send();
379 }
380
381 void ResumeBlockingOnPush() { total_capacity_ -= kSemaphoreUnlockValue; }
382
383 void SetSoftMaxSize(std::size_t new_capacity) {
384 const auto old_capacity = total_capacity_.exchange(new_capacity);
385 if (new_capacity > old_capacity) non_full_event_.Send();
386 }
387
388 std::size_t GetSoftMaxSize() const noexcept { return total_capacity_.load(); }
389
390 std::size_t GetSizeApproximate() const noexcept {
391 return used_capacity_.load();
392 }
393
394 private:
395 template <typename Token>
396 [[nodiscard]] bool DoPush(Token& token, T&& value) {
397 const std::size_t value_size = QueuePolicy::GetElementSize(value);
398 if (queue_.NoMoreConsumers() ||
399 used_capacity_.load() + value_size > total_capacity_.load()) {
400 return false;
401 }
402
403 used_capacity_.fetch_add(value_size);
404 queue_.DoPush(token, std::move(value));
405 non_full_event_.Reset();
406 return true;
407 }
408
409 GenericQueue& queue_;
410 engine::SingleConsumerEvent non_full_event_;
411 std::atomic<std::size_t> used_capacity_;
412 std::atomic<std::size_t> total_capacity_;
413};
414
415// Multi producer ProducerSide implementation
416template <typename T, typename QueuePolicy>
417class GenericQueue<T, QueuePolicy>::MultiProducerSide final {
418 public:
419 explicit MultiProducerSide(GenericQueue& queue, std::size_t capacity)
420 : queue_(queue),
421 remaining_capacity_(capacity),
422 remaining_capacity_control_(remaining_capacity_) {}
423
424 // Blocks if there is a consumer to Pop the current value and task
425 // shouldn't cancel and queue if full
426 template <typename Token>
427 [[nodiscard]] bool Push(Token& token, T&& value, engine::Deadline deadline) {
428 const std::size_t value_size = QueuePolicy::GetElementSize(value);
429 return remaining_capacity_.try_lock_shared_until_count(deadline,
430 value_size) &&
431 DoPush(token, std::move(value));
432 }
433
434 template <typename Token>
435 [[nodiscard]] bool PushNoblock(Token& token, T&& value) {
436 const std::size_t value_size = QueuePolicy::GetElementSize(value);
437 return remaining_capacity_.try_lock_shared_count(value_size) &&
438 DoPush(token, std::move(value));
439 }
440
441 void OnElementPopped(std::size_t value_size) {
442 remaining_capacity_.unlock_shared_count(value_size);
443 }
444
445 void StopBlockingOnPush() {
446 remaining_capacity_control_.SetCapacityOverride(0);
447 }
448
449 void ResumeBlockingOnPush() {
450 remaining_capacity_control_.RemoveCapacityOverride();
451 }
452
453 void SetSoftMaxSize(std::size_t count) {
454 remaining_capacity_control_.SetCapacity(count);
455 }
456
457 std::size_t GetSizeApproximate() const noexcept {
458 return remaining_capacity_.UsedApprox();
459 }
460
461 std::size_t GetSoftMaxSize() const noexcept {
462 return remaining_capacity_control_.GetCapacity();
463 }
464
465 private:
466 template <typename Token>
467 [[nodiscard]] bool DoPush(Token& token, T&& value) {
468 const std::size_t value_size = QueuePolicy::GetElementSize(value);
469 UASSERT(value_size > 0);
470 if (queue_.NoMoreConsumers()) {
471 remaining_capacity_.unlock_shared_count(value_size);
472 return false;
473 }
474
475 queue_.DoPush(token, std::move(value));
476 return true;
477 }
478
479 GenericQueue& queue_;
480 engine::CancellableSemaphore remaining_capacity_;
481 concurrent::impl::SemaphoreCapacityControl remaining_capacity_control_;
482};
483
484// Single consumer ConsumerSide implementation
485template <typename T, typename QueuePolicy>
486class GenericQueue<T, QueuePolicy>::SingleConsumerSide final {
487 public:
488 explicit SingleConsumerSide(GenericQueue& queue)
489 : queue_(queue), element_count_(0) {}
490
491 // Blocks only if queue is empty
492 template <typename Token>
493 [[nodiscard]] bool Pop(Token& token, T& value, engine::Deadline deadline) {
494 while (!DoPop(token, value)) {
495 if (queue_.NoMoreProducers() ||
496 !nonempty_event_.WaitForEventUntil(deadline)) {
497 // Producer might have pushed something in queue between .pop()
498 // and !producer_is_created_and_dead_ check. Check twice to avoid
499 // TOCTOU.
500 return DoPop(token, value);
501 }
502 }
503 return true;
504 }
505
506 template <typename Token>
507 [[nodiscard]] bool PopNoblock(Token& token, T& value) {
508 return DoPop(token, value);
509 }
510
511 void OnElementPushed() {
512 ++element_count_;
513 nonempty_event_.Send();
514 }
515
516 void StopBlockingOnPop() { nonempty_event_.Send(); }
517
518 void ResumeBlockingOnPop() {}
519
520 std::size_t GetElementCount() const { return element_count_; }
521
522 private:
523 template <typename Token>
524 [[nodiscard]] bool DoPop(Token& token, T& value) {
525 if (queue_.DoPop(token, value)) {
526 --element_count_;
527 nonempty_event_.Reset();
528 return true;
529 }
530 return false;
531 }
532
533 GenericQueue& queue_;
534 engine::SingleConsumerEvent nonempty_event_;
535 std::atomic<std::size_t> element_count_;
536};
537
538// Multi consumer ConsumerSide implementation
539template <typename T, typename QueuePolicy>
540class GenericQueue<T, QueuePolicy>::MultiConsumerSide final {
541 public:
542 explicit MultiConsumerSide(GenericQueue& queue)
543 : queue_(queue),
544 element_count_(kUnbounded),
545 element_count_control_(element_count_) {
546 const bool success = element_count_.try_lock_shared_count(kUnbounded);
547 UASSERT(success);
548 }
549
550 ~MultiConsumerSide() { element_count_.unlock_shared_count(kUnbounded); }
551
552 // Blocks only if queue is empty
553 template <typename Token>
554 [[nodiscard]] bool Pop(Token& token, T& value, engine::Deadline deadline) {
555 return element_count_.try_lock_shared_until(deadline) &&
556 DoPop(token, value);
557 }
558
559 template <typename Token>
560 [[nodiscard]] bool PopNoblock(Token& token, T& value) {
561 return element_count_.try_lock_shared() && DoPop(token, value);
562 }
563
564 void OnElementPushed() { element_count_.unlock_shared(); }
565
566 void StopBlockingOnPop() {
567 element_count_control_.SetCapacityOverride(kUnbounded +
568 kSemaphoreUnlockValue);
569 }
570
571 void ResumeBlockingOnPop() {
572 element_count_control_.RemoveCapacityOverride();
573 }
574
575 std::size_t GetElementCount() const {
576 const std::size_t cur_element_count = element_count_.RemainingApprox();
577 if (cur_element_count < kUnbounded) {
578 return cur_element_count;
579 } else if (cur_element_count <= kSemaphoreUnlockValue) {
580 return 0;
581 }
582 return cur_element_count - kSemaphoreUnlockValue;
583 }
584
585 private:
586 template <typename Token>
587 [[nodiscard]] bool DoPop(Token& token, T& value) {
588 while (true) {
589 if (queue_.DoPop(token, value)) {
590 return true;
591 }
592 if (queue_.NoMoreProducers()) {
593 element_count_.unlock_shared();
594 return false;
595 }
596 // We can get here if another consumer steals our element, leaving another
597 // element in a Moodycamel sub-queue that we have already passed.
598 }
599 }
600
601 GenericQueue& queue_;
602 engine::CancellableSemaphore element_count_;
603 concurrent::impl::SemaphoreCapacityControl element_count_control_;
604};
605
606/// @ingroup userver_concurrency
607///
608/// @brief Non FIFO multiple producers multiple consumers queue.
609///
610/// Items from the same producer are always delivered in the production order.
611/// Items from different producers (or when using a `MultiProducer` token) are
612/// delivered in an unspecified order. In other words, FIFO order is maintained
613/// only within producers, but not between them. This may lead to increased peak
614/// latency of item processing.
615///
616/// In exchange for this, the queue has lower contention and increased
617/// throughput compared to a conventional lock-free queue.
618///
619/// @see @ref scripts/docs/en/userver/synchronization.md
620template <typename T>
621using NonFifoMpmcQueue = GenericQueue<T, impl::SimpleQueuePolicy<true, true>>;
622
623/// @ingroup userver_concurrency
624///
625/// @brief Non FIFO multiple producers single consumer queue.
626///
627/// @see concurrent::NonFifoMpmcQueue for the description of what NonFifo means.
628/// @see @ref scripts/docs/en/userver/synchronization.md
629template <typename T>
630using NonFifoMpscQueue = GenericQueue<T, impl::SimpleQueuePolicy<true, false>>;
631
632/// @ingroup userver_concurrency
633///
634/// @brief Single producer multiple consumers queue.
635///
636/// @see @ref scripts/docs/en/userver/synchronization.md
637template <typename T>
638using SpmcQueue = GenericQueue<T, impl::SimpleQueuePolicy<false, true>>;
639
640/// @ingroup userver_concurrency
641///
642/// @brief Single producer single consumer queue.
643///
644/// @see @ref scripts/docs/en/userver/synchronization.md
645template <typename T>
646using SpscQueue = GenericQueue<T, impl::SimpleQueuePolicy<false, false>>;
647
648/// @ingroup userver_concurrency
649///
650/// @brief Single producer single consumer queue of std::string which is bounded
651/// bytes inside.
652///
653/// @see @ref scripts/docs/en/userver/synchronization.md
654using StringStreamQueue =
655 GenericQueue<std::string, impl::ContainerQueuePolicy<false, false>>;
656
657} // namespace concurrent
658
659USERVER_NAMESPACE_END