On 6 Jan 2025, at 16:32, Daniel Sahlberg wrote: > To me, this proves that my basic program is correct and that with a mutex, > the shared memory is protected and without the mutex we get errors. I have > tested this under both Ubuntu and Guix with the same results.
If you really want to prove correctness, build with thread sanitizer; that'll help catch any race conditions. Sean
