Hacker News new | past | comments | ask | show | jobs | submit login

Not true at all - the core atomic operations are very well understood by now and are supported on any modern CPU.



This is a little optimistic: being able to tractibly reason about atomicity in weak memory models like C11 is still at the cutting edge of CS research. It is really hard to prove nontrivial data structures are correct.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: