Ein mittelalterlicher Motor: Nebenläufigkeits-Invarianten durch ostasiatische Strukturlogik

Reconstructing Concurrency Invariants Through Medieval East Asian Logic

Der Artikel vergleicht die strukturellen Rahmenwerke Ostasiens aus der mittleren Periode (11.–14. Jahrhundert) mit modernen Nebenläufigkeitsproblemen. Er zeigt, wie Shao Yongs kombinatorische Ordnung, die Polynom-Matrix-Algebra von Qin Jiushao und Su Songs Hemmwerk als präzise symbolische Sprache für speichernde Nebenläufigkeit dienen können. Konkret wird die doppelte Freigabe eines gemeinsamen Heap-Objekts (玉) durch zwei Threads analysiert und in vier Methoden (乾, 坤, 坎, 離) gegossen, die Invarianten für sichere Speicherrückgewinnung definieren.