http://med.ngntfwmwovvku6eqi7dzzgzv2wzlvq2cqtqha7ccgzub2xnivsuxnuyd.onion/@tylerneely/fear-and-loathing-in-lock-free-programming-7158b1cdd50c
Lock-free algorithms often require knowledge of obscure tooling to verify, and usually violate the single-writer principle . If you’re lucky enough to have found a bug you created, it could be quite challenging to reproduce it. Sometimes in mailing lists you see stuff like “I ran it for 38 hours on a test cluster and it didn’t blow up, but I just thought of this theoretical edge case I haven’t been able to reproduce yet and I think may be...
2 similar results skipped