Bug#2的第一个触发点。
他需要先验证。
听我说。他对3号车厢剩下的乘客开口,声音压得很低,这套规则有两个漏洞。一个是规则一和规则四的逻辑死锁——这是杀招,用来最终通关。但在那之前,我需要先把不在正确车厢的人送回去。
戴棒球帽的年轻人——票号5——抬起头。
陆辞继续:规则二和规则三存在时序冲突。广播每十五分钟,连接门每十分钟。第三十分钟两个周期重叠——广播命令所有人坐下,连接门命令通道区的人跨厢或退回。两条指令互斥,系统会卡住大约五秒。
五秒?坐在窗边的一个中年女人开口了,声音沙哑但镇定。她从诡域降临到现在一直沉默,只是在观察。五秒能干什么?
过一扇门。陆辞说,五秒的判定真空——所有移动限制挂起。我需要有人在那五秒里完成换厢。
中年女人看了他几秒。你怎么确定会卡住?
逻辑冲突的标准处理方式。两条指令互斥时,执行线程进入悬停态等待仲裁。这套规则没有仲裁机制——会一直悬停到下一个执行周期。他顿了一下,和上次办公楼的原理一样。
中年女人没再问。她低头看了一眼自己的车票。二号。
你得往2号方向走。陆辞看着石英钟,还有六分钟。
——
天幕下。
全球各个时区的人同时停下了手里的事。这是天幕第一次在诡域进行中开启直播——不是回放,是实时。七十亿人看着一列在虚空中行驶的地铁,八条发光的规则,和五十个被困在里面的人。
弹幕涌动。
又一个诡域?!地铁?!
八条规则……比上次办公楼的多
左边3号车厢——格子衬衫!!是上次那个人!!
卧槽不会吧他怎么又碰上了
然后——一条弹幕穿过了杂音。
@逻辑审计师:注意规则一和规则四。对号入座与独处时的强制转移存在潜在冲突——如果某车厢人数减少到很低,两条规则之间可能产生张力。不确定是否构成完整死锁,要看系统是否有隐藏的优先级仲裁。
三秒内几百人标记了有道理。但也有人回复:前提太多了吧,什么条件下才会触发?
@辞神永不塌房:我老公又来了!!!这次他一定也能赢!!
@今天也是活着的一天:别去别去别去……地铁诡域的灯灭规则我之前听说过……千万别睁眼……
@规则即正义:又是他。每次他出现,规则就出问题。到底是规则的问题还是他的问题?
@午夜档案室:天幕为什么又对准他?两次了。随机?巧合?谁在选择直播对象?
——
车厢里。
第二十九分钟。
陆辞站在3号车厢与2号车厢之间的连接门前。身后跟着那个票号2的中年女人。门还没开。金属焦味从门缝里渗进来,比刚才更浓了——像是列车运行越久,这种气息就越重。
他在心里倒数。
广播的提示音响了。
同一秒,连接门的锁发出咔嗒声。
两条规则同时激活:规则二命令所有人坐下,规则三命令门前通道的人完成跨厢或退回。两条指令互斥。
陆辞感觉到了那种信息层面的震颤——和办公楼里整点时刻一样,但更微弱,更短暂。空气中的金属焦味在那一瞬间淡了——像系统的一部分算力被抽调去处理冲突,连气味渲染的优先级都降了。
连接门打开了。
走。
中年女人没有犹豫。她迈过门槛,走进2号车厢,三步之内落座。
连接门在她身后关上。锁死。
五秒。
从头到尾五秒。没有惩罚。没有列车员出现。没有任何异常。
陆辞退回自己的座位,坐下。
广播仍在继续,但规则二的判定在他坐下的瞬间完成——坐在座位上,达标。规则三的判定也完成——门前通道无人滞留。两条规则各自闭合,冲突消解。
系统像什么都没发生过一样继续运行。
但3号车厢少了一个人。一个不属于3号的人,回到了她该在的地方。
成了。
Bug#2——可用。五秒窗口,每三十分钟触发一次。足够。
陆辞靠回椅背,右手食指不自觉地在扶手上敲了两下。敲键盘的节奏。他的视线扫过车厢里剩下的人——十一个人,其中六个的票号不是3。
六个人,至少需要三次窗口期,外加普通连接门窗口做辅助调度。第三十分钟、第六十分钟、第九十分钟——三个完美的时序重叠点。
他站了起来,走到车厢中间。
想活着下车的人,听我说。
——
天幕上,全球观众看到格子衬衫的男人站了起来。弹幕在三秒内密度翻了三倍。
他动了!!
他要干什么??
等等——他刚才是不是把一个人送过去了?在连接门开的时候?
送过去了!那个女的走了!没事!!
@逻辑审计师:他利用的是规则二和规则三的重叠时刻。广播与连接门同时触发时产生了某种判定延迟——具体机制还不清楚,可能是系统处理优先级的问题。但他确实找到了一个安全窗口。至于规则一和四的冲突……我之前的推测可能只是表面的,这个人看到的恐怕比我分析得深。
他在把不属于3号车厢的人往外送??
他在做调度!!一个一个送回正确车厢!!
卧槽这人脑子是怎么长的
@辞神永不塌房:啊啊啊啊我老公又开始了!!!
@今天也是活着的一天:活了……那个女人活了。第一个被送走的人,活了。
陆辞听不到这些。
他只听到列车在虚空中行驶的声音,车厢连接处金属摩擦发出的呻吟,和自己右手食指敲击座椅扶手的节奏。
距离下一次时序重叠,还有二十九分钟。
在那之前,他要用普通的连接门窗口把人先挪到相邻车厢。像流水线。像gitrebase——把错位的commit一个个挪回正确的分支。
(活动时间:2月15日到3月3日)