"Every process runs alone. Every process shares everything." The paradox of concurrency is the paradox of existence itself. We are threads in a shared address space, each convinced of our isolation, each dependent on the same mutable state.
Concurrency is not parallelism. Parallelism is a luxury of hardware. Concurrency is a property of the problem. The quest is to model a world where many things happen at once, and your program must not flinch.
The universe is the original concurrent system. Every particle, every wave, every photon executes simultaneously. There is no global lock. There is no scheduler. And yet, somehow, it works.
"Two threads walk into a bar. The outcome is undefined."
Two threads reach for the same glass. The barkeeper watches. The universe shrugs. One gets beer, the other gets segfault. Nobody planned this. Everybody expected it.
"A deadlock is two polite processes starving to death."
Mutual exclusion is the social contract of threads. You may enter, but only alone. You may read, but not while another writes. The mutex is a door with a single key, and the queue of waiters stretches back into infinity.
Concurrency is not a feature. It is a worldview. A belief that the universe does not wait for you to finish before it starts the next thing. The quest is to write software that mirrors this truth -- programs that do many things at once without losing their mind.
"Shared mutable state is the root of all evil in concurrent systems."
The threads begin to synchronize. The chaos finds a pattern. What looked like disorder was merely a system operating beyond the observer's capacity to track. Every branch was deliberate. Every fork had a join.
The contention eases. Locks release one by one, like exhaled breaths. The queue drains. The semaphore count rises. The system finds its steady state -- not static, but dynamically stable, like a gyroscope spinning in the dark.
The fork-join pattern completes. What was spawned returns. What was scattered gathers. The concurrent quest does not end -- it reaches a quiescent point, a moment where all threads have reported back, all futures have resolved, and the system can see, for one brief instant, the whole picture.
"The quest for concurrency is the quest for honest software."
all threads return.
concurrent.quest