🌱 Enrico's Digital Garden
Search
Search
Dark mode
Light mode
Reader mode
Explorer
flashcards/stem/os
8 items with this tag.
Aug 31, 2026
A lock provides two guarantees, mutual exclusion and a happens-before edge
atomic
flashcards/stem/os
Aug 31, 2026
Acquire and release are the half-barriers that manufacture a synchronizes-with edge
atomic
flashcards/stem/os
Aug 31, 2026
An operation is atomic if no thread can observe it half-done
atomic
flashcards/stem/os
Aug 31, 2026
Happens-before is the single relation guaranteeing visibility and ordering across threads
atomic
flashcards/stem/os
Aug 31, 2026
Mutual exclusion makes a divisible region observably atomic by excluding other observers
atomic
flashcards/stem/os
Aug 31, 2026
The store-buffer litmus test proves mutual exclusion is not enough
atomic
flashcards/stem/os
Jan 31, 2025
OS - Memory Management
permanent_note
theme/engineering
type/note
flashcards/stem/os
Jan 31, 2025
OS - Virtual Memory
permanent_note
theme/engineering
type/note
flashcards/stem/os