On Thu, Nov 16, 2017 at 08:50:41AM -0800, Nick Desaulniers wrote:

On Thu, Nov 16, 2017 at 8:30 AM, Peter Zijlstra [off-list ref] wrote:

quoted

Ideally we'd get the toolchain people to commit to supporting the kernel
memory model along side the C11 one. That would help a ton.

Does anyone from the kernel side participate in the C standardization process?

Yes, Paul McKenney and Will Deacon. Doesn't mean these two can still be
reconciled though. From what I understand C11 (and onwards) are
incompatible with the kernel model on a number of subtle points.

Not to mention that there's people in the C11 process that strongly
argue for stuff that would break every single multi-threaded program
written since the 70s, which would include pretty much all OS kernels.