023
Nebenläufigkeit ist ein Rechtsproblem
Nebenläufigkeit ist kein Leistungsmerkmal. Sie ist ein Rechtsproblem darüber wer wann und in welcher Reihenfolge handeln kann.
Version 1.0.0 — Ratifiziert
Nebenläufigkeit ist überlappende Autorität.
I. Technischer Mythos
Es geht nicht um Threads, sondern um Recht.
II. Überlappung braucht Entscheidung
Konflikt verlangt Regel.
III. Locks sind keine Gesetze
Sie ordnen, sie legitimieren nicht.
IV. Optimistische Kontrolle ist Politik
Versionsprüfung ist Regel.
V. Unaufgezeichnete Konkurrenz verfälscht Geschichte
Verlierer verschwinden.
VI. Zeit ist Voraussetzung
Ohne Zeit keine Ordnung.
VII. Replay muss Konkurrenz zeigen
Sonst kein Audit.
VIII. Infrastruktur ist kein Gesetzgeber
Gesetz gehört in den Kernel.
IX. Schlussfolgerung
Nebenläufigkeit ist Recht.
Canonical text. Interpretations are invalid.
SHA-256: a80caba3c7df5e65db649ed91bd005691c9b9ff3a43d8c4c5f5c9d33ed8da5b6
SHA-256: a80caba3c7df5e65db649ed91bd005691c9b9ff3a43d8c4c5f5c9d33ed8da5b6