Post #3992421

@mjd@mathstodon.xyz Reminds me of https://web.archive.org/web/20041108121656/http://www.research.ibm.com/people/d/dfb/papers/Bacon01Concurrent.pdf, which contains a few proofs of correctness (of the concurrent version of their algorithm), but their basic single-threaded algorithm has a use-after-free bug.