Threads in the new ISO C Standard from 2011

A More Detailed Look
int b;
void first(void)
{
list_t* q = rcu_dereference(head);
}
return q->a + b;
Before the proposal for dependency ordering through release/consume,
the then current draft would require the use of an acquire operation in
the rcu_dereference.
Doing so prevents the compiler from loading b before the execution of
the rcu_dereference.
A standard for a high performance language must permit extensive
compiler optimization and efficient execution on modern machines.
C11 succeeds with this — also for multicores.
Jonas Skeppstedt (js@cs.lth.se) Lecture 6 2013 40 / 70