Shu,
The concurrency/memory model nerds out here would love to see an early draft if at all possible :)
If nothing else, is it going to be weaker than sequential consistency?
The concurrency/memory model nerds out here would love to see an early draft if at all possible :)
If nothing else, is it going to be weaker than sequential consistency?
The two strengths provided by the model are sequentially consistent atomics and something between the strengths of C++'s non-atomics and relaxed atomics. Races are fully defined, and there is no undefined behavior or undefined values.
I'm happy to discuss things more in a new thread or in private communication and would prefer to not derail this thread about VLC.