3 ms·
Not true at all - the core atomic operations are very well understood by now and are supported on any modern CPU.
by kitsuac 10y ago
Not true at all - the core atomic operations are very well understood by now and are supported on any modern CPU.
- dbaupp 10y agoThis 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.