How Computers Work
happens-before
the visibility guarantee you can rely on
Source board
This definition comes from the board below. Open it to see the term in context.
Concurrency and the HardwareHow Computers WorkMore terms from this board
- actor / message passingshare nothing, send messages
- Amdahl's lawspeedup capped by the serial fraction
- async / event loopone thread, non-blocking I/O
- atomicuninterruptible op
- cache coherence (MESI)keeping cores' caches consistent
- CAScompare-and-swap (the lock-free primitive)
- concurrencyhandling many tasks (structure)
- coroutine/channelcooperative concurrency (Go/CSP)
- critical sectioncode that must not interleave
- memory barrier/fenceforce write visibility & ordering
- memory reorderingCPU/compiler reorders for speed
- mutex/lockserializes a critical section
- mutual exclusionone-at-a-time
- parallelismrunning many at once (needs cores)
- race conditionresult depends on timing
- starvation / livelocknever / busy-never progressing