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.