AI 在时钟下观察代理 Skew:重建事件顺序

一个AI代理可以产生一个完全可靠的痕迹, 在导致该请求之前出现工具结果. 在跑步开始之前,一个完成. 结果后会出现延迟的进展记录,使完成的运行再次看起来活跃. 实际答案是,通过更严格的排序来不调整时间表. 不要仅仅从墙钟时间标签来推断代理状态. 保持四个证据 event at , observed at , source seq 和 depends on ,并使用每一个证据为其实际支持的工作. 根据依赖性和源序列重建因果顺序. 用收藏器钟来查看证据的清新性. 通过单调的时钟在一个过程中测量时间. 如果缺失所需的前任,健康判决是 uncertain ,不卡,健康或完整. 这项规则足够小,可以测试. 下面的装置将两个类型的时钟障碍和一个破碎的因果链分为11种事件. 确定性审计恢复了两个工作流程,拒绝为第三个发明命令. 一个墙钟类型可以扭转工作 分布的代理工作跨越时钟:运行时间主机,工具服务器,队列,验证器和收藏器都可能标记相同的运行. 时钟同步化减少了他们的分歧;它不会把这些时钟变成一个因果权威. NTP本身的模型是时钟偏移,网络延迟,分散和同步距离,而不是在任何地方都承诺相同的时间 (标准:). 在第一个固件工作流程中,问题会显而易见. 它的代理时钟快45秒,而工具时钟慢30秒. 实际的依赖链是: 按 event at 排序相同的记录,将 g3 置于 g1 之前. 基于这个顺序的仪表板可以计算负工具持续时间,在开始之前显示终端结果,或者误导后来的证据为新的状态转变. 这些结论都没有从研究中得出. 它们是通过比较具有不同的偏移的墙壁钟的结果. 在OpenTelemetry的稳定日志数据模型中保留了所需的区别. 根据原始时钟发生事件时的 Timestamp ; 收集系统观察到事件时的 ObservedTimestamp (开放电气记录数据模型). 保持两者都是有用的,但没有一个字段是通用排序密钥: 领域 安全使用 不安全的推断 --- --- --- event at 显示源-本地时间;与宿主证据相关 跨主机因果顺序或延迟 observed at 收藏器相关的新鲜性和摄入延迟 时间工作实际上发生 source seq 一个源代的命令 不相关来源的订单 depends on 显而易见的跨源因果边缘 遗漏事件发生的证据 一的时间过去了 一个过程生命周期内的持续时间 机器之间的相似的时刻标志 源体化是重要的. 一个计数器必须由像 (source id, boot id) 这样的东西来测量,因为重新启动的过程可能在序列1重新开始. 单纯的全球性整数会引起不同的虚假警报:收藏器将预期的重置视为重播或回归. 墙壁和单调时间的区别也是运用性的,而不是学术的. 戈的 time 包解释说,壁表会发生同步变化,而单调的钟表则用于测量时间; time.Now 返回的值可以携带两种读数,因此在壁表时间变化时,过去的时间操作仍然强 (走单调的时钟). 其他运行时间显示不同的API,但决定仍然是相同的:从本地单调间隔计算一个本地工具的持续时间,然后将该持续时间作为证据出口. 不要减去两个不相关的机器的墙时间,并将结果称为延迟. 在分类健康之前重建因果关系 活动合同是故意紧的: 通过 dependsOn 来创建从请求到结果的跨源边缘. 连续的 sourceSeq 值在一个 (source, bootId) 流中创建本地边缘. 审计将这些边缘结合在一起,检查缺失前身和序列空白,然后执行拓类型. 墙钟和收藏器时间逆转变为与边缘挂的诊断;它们不会重写图表. 运行该文物从目录中: 它的总结是: 尽管原始时钟逆转,但第一个工作流程被重建. 第二个具有不同的天真排序失败: d3 在其前身 d2 之前达到收藏器,因此通过 observed at 排序扭转了它们的依赖性. 图表仍然恢复了预期的顺序. 第三个工作流程包含一个工具结果,该工具的名称是 b-missing-request ,该事件不在证据集中. 在墙钟类别下,它也看起来像终端前启动,但审计不会通过猜测来修复它. 它的状态是 uncertain . 这就会给代理人健康带来有用的决策命令: 1. Validate identity. 拒绝重复事件ID和范围序列号码到源体化. 2. 建立本地边缘. 连续源序列值确定排放顺序;空白是证据丢失,而不是允许关闭空白. 3. Build cross-source edges. 加入请求,工具结果,委托工作,批准和结果检查,使用明确的前任ID. 4. Reject发明了确定性. 缺失的前任,序列差距或周期使受影响的判决不确定. 5. 排序可接受的图表. Topologically sort the complete portion;保留墙-钟逆转作为证据对钟质量. 6. 仅现在进行分类状态. 运行工作,等待,卡住和结果规则应用于因果顺序而不是到达顺序. 这将活动与有用的进步分开. 一个迟到的心跳可能是新鲜的,但因果而言比已经验证的结果更老. 这不应该重新开跑. 一个工具结果可能是最近观察到的,但依赖于收藏者从未见过的请求. 这不应该证明完成. 人类批准事件可以合法地让一个运行等待,即使没有新的执行事件发生;依赖性命名了阻者. 一个实施细节可以防止许多意外回归:在工作流程合同允许的情况下,使健康减轻器变得单调. 一旦结果 invoice-42 独立验证为运行 r7 ,一个旧的 tool requested 事件不能降低结果到工作. 它可以更新证据账本,揭示延迟交付,或提出远程测量质量问题,但它不能删除更强的验证事实. 把时间视为证据,并设定一个边界. 原因重建不是替代时钟同步. 你仍然需要同步的主机来读取事件时间表,证书验证,安排程序员行为和操作相关性. 这项规则只是阻止了健康模型要求超过那些钟表的证明. 它也有四个极限. 首先, observed at 仅与印章的收藏者相比具有权威性. 排队,重试,压力和收藏器失败可能会增加观察到的延迟. 用它问从什么时候开始收藏可接受的证据? 不要自动报告 observed at - event at 作为网络延迟. 其次,依赖度图仅像其仪器一样完整. 缺失前任可能意味着输出包,采样,出口者错误或从未发射事件的生产者. 安全结果是不确定性,加上有证据缺口. 这并不是证据表明代理失败. 第三,因果顺序不证实预期结果. 据 tool succeeded 说,该工具在自己的合同下成功返回. 它不证明文件在目的地存在,电子邮件到达预期接收者,或者部署服务预期版本. 保持结果验证作为一个单独的事件,并有自己的证据. 第四,拓顺序可能是部分的. 独立的分支可能没有任何有意义的秩序. 不要为更美好的时间制造一个. 呈现同步的分支,并要求在宣布母分支完成之前明确的加入或完成数量. 对于本文的可伪造的要求是狭窄的:对于提供的十一事件装置,审计必须重建两个工作流程,标记断断链不确定,保留一个原始时间逆转和一个收藏时间逆转作为诊断,并揭示两种天真的终端前启动案例. 如果其中任何一个数量发生变化, 这对Sidewisp意味着什么 Sidewisp旨在在在现有的代理运行时间中增加一个健康层:使用新鲜和自信的证据来区分工作,等待,卡住,不确定和结果验证状态. 时钟意识的因果证据符合这一方向,因为如果从不相容的时钟推断它的顺序,绿色的痕迹是不有用的. Sidewisp 目前处于私密预览阶段。 公共网站和文章系统是活跃的,但生产代理健康收集,运行时间适配器, cron管理,代币成本分析和恢复通常没有运送. 本文描述了操作模式和测试器件,而不是声称Sidewisp目前重建生产时间表或修复时钟偏差. 预期产品不是替代运行时间,强制性门口,原始追踪产品,企业控制平面或自动固定器. 它应该与现有代理人坐在一起,在链接不完整时表现出不确定性, 如果时钟和交货混乱隐藏了您的代理人的真实状态, 加入私人预览是下一步; 因此,运行默认是简单的:保留原始时间来看文本,收藏时间来看新鲜度,单调的过去时间来看本地时间,和明确的边缘来看因果关系. 当这些边缘不完整时,就这样说. 一个诚实的 uncertain 比一个精彩整理的假故事更健康.