3 ms·

> You do have a point in that Linux kernel is not written against the C standard and could declare to be written in the dialect of C where data races are define

> You do have a point in that Linux kernel is not written against the C standard and could declare to be written in the dialect of C where data races are defined... You had my retort already written. Thank you. And in fact the linux kernel does rely on very specific compilers, and breaks the standard's machine abstraction quite a bit.

gpderetta 7y ago
It is not a given that those compilers will support the unspecified memory model forever. And in fact the linux kernel has been slowly moving to the C++11 memory model for a while.
- deleted 7y ago
  [deleted]