Древняя азиатская логика объясняет, как избежать double free в многопоточном коде
Reconstructing Concurrency Invariants Through Medieval East Asian Logic
Автор сопоставляет структуры мышления эпохи Сун-Юань и Корё с современными примитивами C11. Четыре метода — Qian, Kun, Kan и Li — моделируют гонки при освобождении разделяемой памяти: симметричный отзыв видимости, асимметричная передача владения, висячий указатель и тотальное обнуление. Вывод: сначала разорвите пути доступа, синхронизируйтесь, затем освобождайте.
乾為正法, 坤為仄法 — Симметричный отзыв видимости (乾) есть канонический инвариант конкурентного освобождения: сначала разорвите пути, синхронизируйтесь, затем освобождайте. Асимметричное разделение (坤) допустимо строго в направленных несимметричных конвейерах.