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

 (github.com)

1 points | by nisgem 4 hours ago ago

1 comments