Concurrency

Concurrency is the composition of independently executing computations.

Notes

• Race condition occurs when two or more threads can access shared data and they try to change it at the same time.

• Concurrency is when two or more tasks can start, run, and complete in overlapping time periods. It doesn't necessarily mean they'll ever both be running at the same instant. For example, multitasking on a single-core machine.

Links

• The Deadlock Empire - Interactive exercises.

• Structured Concurrency

• A Separation Logic for Concurrent Randomized Programs