手写一个无锁 SPSC 队列：实现、证明与踩坑记录从实时控制线程的通信需求出发，逐行实现单生产者单消费者环形队列，给出 acquire/release 内存序选择的正确性论证、缓存索引优化与验证方法。2026年9月1日编程, 并发编程
C++ 内存模型与原子操作：从数据竞争到 acquire/releaseC++ 并发编程学习笔记：数据竞争的准确定义、std::atomic 的用法，以及六种内存序背后的 happens-before 关系与典型使用模式。2026年8月31日编程, 并发编程