🌱 Enrico's Digital Garden

flashcards/stem

14 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
Dec 21, 2025
A Service Access Point (SAP) is where one OSI layer requests services from the layer below
- atomic
- flashcards/stem
Dec 21, 2025
OSI Model describes network communication in 7 layers from physical bits to application data
- atomic
- flashcards/stem
Dec 21, 2025
OSI Model
- flashcards/stem
May 16, 2025
Gödel's incompleteness theorems
- atomic
- flashcards/stem/math
May 16, 2025
Foundational Crisis of Mathematics
- flashcards/stem/math
May 16, 2025
Paradoxes Broke 19th-Century Math and Set Theory Rebuilt It — Until Gödel
- atomic
- flashcards/stem/math
Jan 31, 2025
OS - Memory Management
Jan 31, 2025
OS - Virtual Memory

Created with Quartz v5.0.0 © 2026

GitHub
Discord Community