第152章 双缓冲与阈值

13:45。屏幕上的光标停在io_scheduler.c的第一行。林尘没有急着敲代码。他先在草稿纸上画出双缓冲的数据流向：Buffer A接收解析线程吐出的清洗结果，Buffer B负责将A中的数据批量刷入磁盘。当B写入完成，指针交换。A变B，B变A。循环往复。核心在于锁的粒度。如果每次交换都加全局锁，解析线程会被阻塞，CPU利用率会再次暴跌。他决定用信号量控制缓冲区的“空/满”状态，解析线程只在“非满”时写入，I/O线程只在“非空”时读取。无锁队列的变体。

键盘声重新响起。pthread_mutex_t buf_lock; sem_t buf_full, buf_empty; 结构体定义、初始化、销毁函数。C语言的严谨在于，每一行内存分配都必须对应一次释放。他写下malloc，紧接着在cleanup标签里补上free。考虑到CPU缓存行对齐，他在结构体末尾补了char padding[64]，避免伪共享导致的多核性能衰减。左脚在矿泉水瓶上已经失去凉意，瓶身凝出的水珠浸透了拖鞋边缘。肿胀的脚踝开始发紧，像被粗糙的麻绳一圈圈勒住。他每隔二十分钟就站起来一次，扶着机柜边缘慢慢踱步。膝盖的软骨发出轻微的摩擦声。他不在乎。进度条在脑子里跑，比腿上的痛感更清晰。

下午四点十分。基础框架写完。他将其编译为Python扩展模块，替换掉原有的直接写入逻辑。启动全量测试。终端滚动。内存曲线平稳。但跑到第120万行时，程序卡死。CPU占用率骤降至5%。死锁。他调出gdb，attach进程。线程1停在sem_wait(&buf_full)，线程2停在pthread_mutex_lock(&buf_lock)。经典的哲学家就餐问题变体。他盯着调用栈，手指在桌面上无意识地敲击。问题出在信号量释放的顺序。当缓冲区满时，解析线程等待buf_empty，但I/O线程在写入前需要先获取buf_lock，而锁的持有者恰好是等待信号量的解析线程。逻辑闭环锁死了自己。

他深吸一口气，没有改大框架。他在I/O线程的写入循环里加了一个pthread_mutex_trylock。如果拿不到锁，说明解析线程正在操作缓冲区边界，I/O线程直接跳过本次写入周期，释放CPU时间片。非阻塞重试。代价是可能多几次空转，但能彻底避开死锁。他修改代码，重新编译。运行。终端再次滚动。卡死点被平稳越过。第200万行，第250万行，第300万行。完成。延迟：9.2s。每万行30.6毫秒。I/O等待时间下降60%。他靠在椅背上，闭上眼。耳边的风扇声似乎轻了一些。

晚上七点。机房里的人走得差不多了。日光灯管发出轻微的电流声。林尘收拾桌面，把吃剩的半个冷馒头和空水瓶扔进垃圾桶。左脚已经肿得发亮，皮肤绷得透明。他试着把脚塞回运动鞋，只穿进去一半就卡住了。他放弃，继续穿着拖鞋。走出机房大楼时，夜风带着初秋的凉意扑在脸上。校园里的路灯昏黄，梧桐树叶在地上铺了一层。他走得很慢，重心完全压在右腿上。左脚的每一次落地都像踩在碎玻璃上，但他把步幅控制得很均匀。呼吸平稳。路过操场时，有几个学生在跑道上慢跑，脚步声整齐。他没有看。他的注意力全在明天的代码提交节点上。

他走到南门外的沙县小吃。点了一碗拌面，加一份扁肉。扫码付款：8元。余额显示：27.3元。网银里的810.4元依然安静地躺在那里。他不能动。小满下个月的丙戊酸钠不能断。他低头吃面。面条很硬，汤很淡。但他吃得很干净。碳水进入胃里，转化为实实在在的力气。他需要这力气撑到周三。老板在柜台后看电视剧，声音开得很小。林尘吃完，把碗筷叠好放在桌角，推门走进夜色。

回到宿舍，他打开电脑，准备把最终版代码提交到内网Git仓库。手机屏幕亮起。李工的消息跳出来：“通知：周三验收机硬盘已统一更换为企业级SSD阵列。原机械盘I/O调度逻辑作废。演示环境锁定不变。明早九点前提交SSD适配版，重点优化高并发下的队列延迟。收到回复。”

林尘盯着屏幕。SSD。随机写入不再是瓶颈。双缓冲和顺序写入逻辑成了冗余。他需要把代码回退到v2.0的解析架构，但保留检查点与异常回滚模块，并针对SSD的高IOPS特性重写消费端队列。时间窗口被压缩到不到十四小时。

他没有回复。他打开终端，新建分支feature/ssd_optimization。左脚在桌下轻轻抽搐。他拉过椅子，坐下。手指落在键盘上。节奏很慢，但很稳。窗外夜色浓重。屏幕的光映在他脸上，没有波澜。他敲下第一行注释：// 目标：移除顺序写入依赖，重构无锁环形队列，适配高并发随机I/O。