PMFA
← Zurück zum Index
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