38、拼效率、拼时间 ...
-
临近十点的航天研究所内，李然和队友们早已筋疲力尽，脸上满是倦色——他们的容错计算彻底陷入了死胡同。
众人只能暂时停下手里的工作，往回追溯所有实验数据和设计逻辑，试图在更早的研发节点找到突破口。
没人敢轻易停歇。因为大洋彼岸的国外同行，正和他们盯着同一个目标。双方研究方向高度重合，剩下的就是拼效率、拼时间、拼谁能先啃下“时序同步”这块硬骨头。
对方早已放出进展消息，步步紧逼。李然去盈兴广场看灯光秀的那晚，竟成了她近期为数不多的惬意时刻。
刘海指着屏幕上跳动的红色报错日志，声音压得很低，有些焦灼：“再不想点办法突破，这次怕是真要被他们抢先了。到时候没法跟总体那头交代啊。明明实验室测试全过，怎么一接入实时仿真就复现不了正常工况？”
沈安庭拍了拍他的肩膀、：“急不来，这毫秒级的时序偏差，本来就只能一点点磨、一点点试。你也别太焦虑——你看你这白头发，这一周又多了一片。”
刘海抹了把脸：“抽调了这么多骨干，一群人在这熬了整整一周，白板都画废了三块，却一点实质性进展都没有。真够邪门的！”
刘所长也坐在一旁，眉头微蹙，手里翻着厚厚的实验报告，沉声道：“今天我帮你们调了院里搞容错计算的专家过来，结论和之前一致：软件逻辑无漏洞，硬件参数也符合设计指标，但时序紊乱的问题确实存在。你们得换个思路，不能老在‘表决逻辑优化’的圈子里打转。”
李然和赵芷欣凑在屏幕前，死死盯着那几行红色报错。问题出在分布式系统的时钟同步上。
他们采用的是三机热备容错架构。理论上，只要三台处理单元中有两台输出一致，就能有效屏蔽单点故障，保障系统稳定运行。
这套架构在实验室静态环境下，连续跑了300多次全工况测试，全部顺利通过，无一次报错。
可一旦接入实时仿真系统，引入真实的轨道环境参数后，诡异的情况就出现了：三台处理单元的时间基准发生微妙的漂移，导致各单元采样数据的时间戳无法对齐。表决器无法判断，触发系统中断，仿真终止。
“这玩意儿也太刁钻了。”沈安庭把笔往桌上一扔，哭笑不得，“单机跑一点事没有，三机联动就掉链子。难道我们跟总体说——‘对不起，我们的容错设计，被容错本身的时钟同步问题搞死了’？黄总估计能把我们给剁了。”
李然没说话，指尖飞快地翻着之前的实验记录，眉头紧蹙。屏幕上的记录清晰可见：
第一次仿真，主机时钟比两台备机快了0.7毫秒。
第二次仿真，晶振受轨道高低温循环冲击，频率漂移。
第三次仿真，三台机器的时间戳无法对上。
她盯着“晶振”两个字，忽然灵光一现，抬头看向刘海：“刘工，咱们现阶段用于上位测试的晶振，是什么级别？时序精度能到多少？”
刘海愣了愣，回应道：“TCXO，5ppm，短期稳定性还能凑合。航天级的库存不够，院里协调还需要时间，所以先用工业级的做上位验证。怎么了？”
李然站起身，快步走到白板前，用马克笔在三个处理单元的图标下方画了一条清晰的时间轴：“你们想，三机容错，它们观测的是同一个事件，然后在同一时刻表决。但如果它们各自的本地时间基准本身就有漂移——哪怕只有几个ppm，长时间运行下来，采样窗口的边缘就会出现错位，对不齐也说得过去。”
沈安庭瞬间反应过来，眼睛一亮：“你是说，问题不在表决逻辑本身，而在数据输入侧的时间同步？”
“对。”李然在时间轴上标出几个红点，分别代表三台机器的采样时刻，“我们现在的设计，是每台机器独立采样，采完后给数据打上时间戳，再送到表决器。但表决器要比较的是‘同一时刻’的三组数据，靠的就是时间戳。可如果时间戳本身就不准，甚至三台机器的时间基准都不同步……”
“有道理。”刘海扶了扶滑落的眼镜，点点头，“三个时间都不一样，它肯定乱套！”
沈安庭立刻拿起笔，在白板上画了一个新的系统框图：“那咱们能不能改一下设计？不再让每台机器独立采样，而是由其中一台作为主时钟源，向另外两台同步脉冲，强制它们在同一个点触发采样。这样三台机器的采样时间就一致了。”
赵芷欣皱了皱眉，提出疑问：“同步脉冲是个办法，但万一主时钟那台机器出故障了呢？比如主时钟晶振漂移超标，或者机器本身宕机——那更麻烦。”
“所以不能用固定主时钟，得搞动态轮换。”李然拿起另一支不同颜色的笔，在框图下方补充了一个轮换机制，“每个同步周期开始前，先对三台机器的时钟漂移量进行检测，选出漂移最小、时序最稳定的一台，作为本周期的主时钟。另外两台被动同步，严格按照主时钟的脉冲触发采样。下一个周期再重新检测、重新选举，以此类推。”
沈安庭立刻坐回电脑前，手指飞快地敲击键盘，搭建简易模型，快速调试参数。
不久后，他盯着屏幕，满是惊喜：“卧槽，成了！”
赵芷欣立刻凑过去，脑袋凑到屏幕前：“怎么了？报错没了？”
“你们自己看。”沈安庭把屏幕转过来，指着上面平滑的波形，“现在已经连续运行了三分钟，三台机器的时间戳偏差控制完全符合设计要求！”
刘所长站起身，快步走到屏幕前，眯着眼睛仔细看了半晌，脸上露出欣慰的笑容：“小李这思路找对了。”
刘海挠了挠头，又喜又忧：“可这样一来要重新优化，咱们剩的时间不多了啊。”
众人下意识看了眼墙上的挂钟，已经快十一点了。刘海深吸一口气，立刻开始分工：“今晚李然、沈安庭、赵芷欣，你们三个先搭同步协议的框架，搭完就去临时休息间补觉，不用硬熬；其他人明天七点到岗，接上来查漏补缺、优化算法。咱们两班倒，跟对岸那群人拼一场——绝不能在这事儿上做老二！”
刘所长拍了拍手，鼓励道：“好，大家辛苦！我和刘海现在就去跟总体部汇报进展，给你们再争取两天时间。但最多两天。据可靠消息，那边也卡在类似的问题上，只不过他们困在硬件级同步的死胡同里，一时半会儿出不来。咱们谁先突破，谁就占得先机！”
刘所长和刘海走后，大家安静下来，只剩下键盘敲击的“哒哒”声、服务器风扇的“嗡嗡”声，还有空调的低鸣。
李然抽空掏出手机看了一眼，屏幕上有一条顾承二十分钟前发来的消息：“还没能回吗？太晚了，要走了给我信，去接你。”
她嘴角微微上扬，先发过去一个“加班狗”的表情包，随后快速打字：“今晚大概率回不去了，项目有了新进展，现在得奋勇争先，跟国外同行抢时间，亮枪火拼。你不用等我，早点休息，别熬夜。”
放下手机，李然深吸一口气，揉了揉酸胀的眼睛，随手滴了两滴眼药水后，重新将目光落回屏幕上——代码的世界里没有硝烟，却有着和战场一样的激烈较量。
凌晨三点多，李然、沈安庭和赵芷欣终于完成了同步协议的框架搭建。三人拖着疲惫的身躯，走到研究所的临时休息间。
李然伸了个大大的懒腰，揉了揉僵硬的肩膀和酸胀的眼睛，走到窗边。
窗外，城市的灯火已经变得稀疏，只剩下几栋写字楼还亮着零星的灯光。空荡的街道两旁，一排排路灯依旧坚守岗位，散发着柔和的光，照亮了凌晨寂静的街道。
李然掏出手机，对着窗外的夜景拍了一张照，发给顾承，配文：“刚啃下一个棘手的硬骨头。这是三点的A市——你值班时见到的三点的A市，是不是也这样？”
顾承显然已经睡熟，没有立刻回复。
李然收起手机，躺在简易的铁架床上，闭上眼睛，没一会儿就陷入了沉睡，连做梦都在调试算法。
