有限位数的序号会从最大值回到零,简单比较数字大小就可能误把刚回绕的新消息当成旧消息。使用相对于当前序号的向前距离,才能在明确的跨度限制内判断顺序。
下面使用一组独立练习数据,说明输入、规则、处理顺序和输出之间的关系。建议先遮住结果自己推演,再逐步对照;如果出现差异,应先定位第一处不同,并检查边界条件,不要只把最后的答案改成一样。
本例序号按固定模数循环,只有向前距离严格小于半圈且不为零时接收。相同序号重复,恰好半圈不确定,超过半圈视为旧记录。规则假定有效比较跨度小于半圈,不能判断间隔多轮的真实先后。
模数64,初始序号4 候选序列[4, 7, 6, 7, 4, 9, 12, 14, 16, 18, 21, 53, 22]
候选4相对当前4向前距离0,结果重复;处理后当前序号4。
候选7相对当前4向前距离3,结果接收;处理后当前序号7。
候选6相对当前7向前距离63,结果旧记录;处理后当前序号7。
候选7相对当前7向前距离0,结果重复;处理后当前序号7。
候选4相对当前7向前距离61,结果旧记录;处理后当前序号7。
候选9相对当前7向前距离2,结果接收;处理后当前序号9。
候选12相对当前9向前距离3,结果接收;处理后当前序号12。
候选14相对当前12向前距离2,结果接收;处理后当前序号14。
候选16相对当前14向前距离2,结果接收;处理后当前序号16。
候选18相对当前16向前距离2,结果接收;处理后当前序号18。
候选21相对当前18向前距离3,结果接收;处理后当前序号21。
候选53相对当前21向前距离32,结果半圈不确定;处理后当前序号21。
候选22相对当前21向前距离1,结果接收;处理后当前序号22。
接收8条,最终序号22。
从当前序号沿环向前列出不到半圈的所有位置,只有出现在这份清单里的候选可接收。接收后要重新建立参照点;只沿用最初参照点会在连续更新中得到错误结果。
该办法不能凭一个短序号判断隔了很多轮的消息。暂停很久、丢失大量更新或切换会话后,通常需要额外的同步信息;在本例给定的跨度前提之外,不应继续把环上距离解释为真实新旧。
这是一套明确限定的教学模型,实际作品可能采用其他约定。记录实验时,保留原始输入、每步状态以及规则版本;调整一个条件后重新演算,并检查起点、终点、重复输入和刚好位于边界的情况,才能知道差异来自设计还是计算。