用宋代逻辑重构并发内存回收
Reconstructing Concurrency Invariants Through Medieval East Asian Logic
当现代并发编程陷入 Double Free 和 Use-After-Free 的困境时，文章提出了一种独特的视角：借鉴 11 至 14 世纪东亚（宋元中国与高丽）的结构逻辑。作者将 Shao Yong 的先天系统、秦九韶的矩阵算法以及 Su Song 的水运仪象台机械互锁机制，映射为现代 C11 原子操作中的状态机模型。通过“乾、坤、坎、离”四法，文章生动地演示了指针可见性（Yin）与堆内存实体（Yang）的分离原则。其中，“乾法”确立了先撤销可见性再释放内存的正统不变量，而“坎法”则揭示了悬空指针的致命陷阱。这种跨越千年的思维实验，为理解 Epoch-Based Reclamation 和 Read-Copy-Update 提供了极具启发性的符号语言，证明了古代结构智慧在解决现代底层系统问题上的惊人适用性。
物质与数据是阳，指针与可见性是阴；撤销可见性必须严格先于内存实体释放，这正是并发回收的不变量。
- jrapdx3
这勾起了我的好奇心。试着去读那篇文章。点击链接却加载不出网站，一直连不上。
- gg582
试着搞了个蹩脚的跨界映射，把内存回收的不变量（可见性、UAF、CAS）对应到 C11 里的古老三才结构。结果意外地 1:1 匹配得相当好。谜题和代码片段放这里了。
- gg582
我写这篇帖子是作为一种非传统的思想实验。
想法是把内存回收和指针可见性的概念（你在 EBR 或 RCU 里常见的那些）映射到东亚中世纪的状态机逻辑上——具体来说是宋元时期的结构和矩阵思想。
为了让它扎根于实际代码，我用 C11 原子操作搭建了一个小型并发释放谜题，并将四个经典卦象（乾、坤、坎、離）直接映射到现实世界的内存不变量：
* 在释放前通过 CAS 撤销可见性（正统的安全回收）
* 非对称流水线交接
* 因过早释放导致的经典 use-after-free 错误
* 由盲目 `memset` 清零引发的竞态条件
这旨在看看古老的结构性框架能否为现代底层系统编程提供一套有趣的符号词汇，同时又不把它变成哲学空谈。觉得这里的某些人可能会对这个跨界融合感兴趣。