nisgem

3 ms·

1. 1.▲
   Show HN: Vyukov MPSC queue in C++20 with a six-claim formal memory-model proof(github.com)

   3 points by nisgem 2mo ago|0 comments