Concurrency 101

[ibex10]

Here are some interesting posts: 1 by @aetherealtech and 2 by @David_Smith.

@David_Smith

@aetherealtech

Introducing "concurrency" into code can only mean removing order guarantees that were there before introducing concurrency. I once again ask what could it possibly mean to make code "concurrent" but that doesn't mean removing some order guarantee?

This is also how I tend to model things. Concurrency is about taking a total ordering of events and finding places to weaken it to a partial ordering without sacrificing the desired results; it's not a coincidence that the lowest level synchronization primitives generally take a "memory ordering" parameter.