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 比一个精彩整理的假故事更健康.