Show HN: Vyukov MPSC queue in C++20 with a six-claim formal memory-model proof

Vyukov MPSC queue в C++20 с шестью формальными доказательствами памяти предоставляет высокопроизводительный многопоточный однопроизводитель/многопотребительский