diff --git a/docs/superpowers/specs/2026-07-31-wcs-real-history-driven-dispatch-simulation-design.md b/docs/superpowers/specs/2026-07-31-wcs-real-history-driven-dispatch-simulation-design.md index cec5493..f738d97 100644 --- a/docs/superpowers/specs/2026-07-31-wcs-real-history-driven-dispatch-simulation-design.md +++ b/docs/superpowers/specs/2026-07-31-wcs-real-history-driven-dispatch-simulation-design.md @@ -4,7 +4,7 @@ 把 `FT546-wcs.dbo.wcs_srgv_queue_finish` 固化的 240 条真实任务作为业务负载输入,验证调度中心从任务到达、重新选车、重新规划路径、交通裁决、模拟协议下发、逐段移动、资源释放到完成归档的完整功能。历史车辆号、历史路径和历史完成时间只作为对照,不控制仿真结果。 -本测试是纯内存全链路仿真,不连接数据库、PLC 或 WMS,不修改 `ruoyi-*` 生产模块,不宣称现场 SHADOW、HIL 或生产可用性。 +本测试是纯内存全链路仿真,不连接数据库、PLC 或 WMS,不修改 `ruoyi-*` 生产模块,不宣称现场 SHADOW、HIL 或生产可用性。PLC、车辆控制器和 WMS 均由行为完整、可注入故障的内存适配器模拟。 ## 2. 方案比较 @@ -24,12 +24,12 @@ - 使用已固化并经 SHA-256 校验的 240 条真实历史记录。 - 每条数据库行都是独立任务,唯一仿真 ID 为 `task_no@guid`;相同任务号的多阶段记录不合并。 -- `create_date` 决定任务到达顺序;相同时间同时到达,时间间隔压缩为仿真 tick,不模拟数月空闲时间。 +- `create_date` 决定任务到达顺序和到达间隔。离散事件时钟支持 `10x`、`100x`,默认 `100x`;相同时间同时到达,超过 30 分钟的历史空闲间隔封顶为 18 仿真秒,避免测试等待数月。 - `task_type`:`1→INBOUND`、`2→OUTBOUND`、`3→RELOCATION`。 - `priority` 作为业务优先级;缺失时使用最低优先级。 - 历史 `agv_id` 只用于报告对照,调度中心必须重新选车。 -- 历史 `path_info` 的相邻节点用于构建测试拓扑;规划器在拓扑上重新计算路线,不直接返回历史路径。 -- 因业务端点 `tsj` 可能不是物理地图节点,物理起终点使用历史路径的首末有效节点;原始 `start_site/end_site` 仍完整保留在报告。 +- `start_site/end_site` 是业务输入。可直接映射到物理地图时直接使用;业务端点 `tsj` 等非物理节点通过显式端点映射转到该记录历史路径的首末有效节点,映射前后都写入报告。 +- 历史 `path_info` 仅作为参考路径和离线测试拓扑的数据来源;规划器必须在拓扑上重新计算路线,不得把历史节点序列直接当作算法结果。 - 未知地图节点或无法形成物理端点的记录按 `INPUT_REJECTED` 失效关闭,不制造路径。 ## 4. 仿真地图与车辆 @@ -38,43 +38,70 @@ 车辆集合固定为真实样本中的 `1/2/3`。每辆车初始位置取该车最早有效记录的物理起点,状态为在线、自动、空闲、允许下发、电量 100。每辆车始终占用当前节点;移动时只申请“当前节点+下一条无向边+下一节点”的滚动资源包。 -## 5. 每个仿真 tick +## 5. 队列、优先级与饥饿保护 -1. 注入本 tick 到达的真实任务。 -2. 对空闲车辆和待调度任务调用现有选车规则;历史车辆号不参与约束。 -3. 使用拓扑 BFS 规划“车辆当前位置→物理起点→物理终点”。无可达路线记录 `NO_ROUTE`。 +到达任务进入统一等待队列。排序键依次为:`effectivePriority`、`create_date`、`task_no`、`guid`。数值越小优先级越高;空优先级使用最低业务优先级。每等待 30 仿真秒提升一级有效优先级,最多提升到最高级,使低优先级任务最终获得调度机会。任务发生资源 HOLD、车辆失效或协议发送失败后回到可调度状态;已占用但尚未移动的滚动资源立即释放,下一次调度允许重新选车和重新规划路径。 + +## 6. 每个仿真事件周期 + +1. 注入当前仿真时间已到达的真实任务,并按有效优先级重排等待队列。 +2. 对空闲健康车辆和待调度任务调用现有选车规则;历史车辆号不参与约束。 +3. 使用拓扑 BFS 规划“车辆当前位置→物理起点→物理终点”。无可达路线记录 `NO_ROUTE` 并失效关闭。 4. 为每个活动车辆构造不可变 `TrafficVehicleSnapshot` 和 `TrafficSnapshot`。 5. 为下一段移动构造 `ShadowCandidate`,调用 `ShadowTrafficCoordinator.run`。 6. `GRANT` 时把段资源写入内存权威账本;`HOLD/YIELD` 时保留任务等待并记录原因。 -7. 模拟协议下发和 ACK。固定、可重复的故障计划使部分首次发送失败,下一 tick 重试。 +7. 模拟协议下发和 ACK。固定、可重复的故障计划使部分首次发送失败,按有界退避重试;每次失败、重试和最终结果记录原因。 8. ACK 成功后车辆前进一个节点,释放旧节点和已通过边,保留新节点。 -9. 到达终点后完成并归档;模拟完成接收器按任务 ID 去重,禁止重复完成通知。 +9. 到达终点后完成并从活动队列原子迁移到归档队列;模拟 WMS 完成接收器使用任务 ID 作为幂等键,重复调用返回已处理结果且不产生第二次业务副作用。 10. 每 tick 检查资源容量、车辆唯一活动任务、完成幂等和确定性不变量。 -## 6. 终止与失效关闭 +## 7. 确定性故障矩阵 -- 全部任务完成、明确拒绝或 `NO_ROUTE` 后正常结束。 +故障计划由固定种子和任务/车辆序号生成,不依赖墙钟随机数: + +- PLC:部分任务首次发送失败、ACK 超时或 ACK 丢失;在最大 3 次内重试,成功后继续,耗尽后任务回队列并重新调度。 +- 断线:车辆在指定事件序号断开,释放尚未执行的滚动资源,活动任务回队列;恢复连接后重新参与选车。 +- 重启:PLC boot ID 改变,旧 ACK 被拒绝,车辆完成重新同步后继续。 +- 低电量:车辆低于 30 时不再接新任务;正在移动的车辆到最近安全节点后 HOLD,电量恢复后重调度。 +- 车辆故障:车辆变为不可用,活动任务回队列并由其他车辆重新选车;恢复后只接收新调度。 +- 未知地图:输入端点或规划资源不在已校验地图时记录 `UNKNOWN_MAP` 并失效关闭。 +- 无路可达:所有健康车辆均无法到达起点或起终点不连通时记录 `NO_ROUTE` 并失效关闭。 + +每种故障至少在受控单元场景中出现一次;240 条真实负载运行至少出现 PLC 失败/重试、HOLD 和车辆重新选择,其他故障通过同一仿真内核的确定性故障场景验证,避免为了覆盖而破坏真实负载结果。 + +## 8. 终止与失效关闭 + +- 全部任务完成或明确失败关闭后正常结束。最终状态统一归类为 `COMPLETED`、`WAITING`、`FAILED`,失败原因另列 `INPUT_REJECTED`、`UNKNOWN_MAP`、`NO_ROUTE`、`RETRY_EXHAUSTED` 等;`WAITING` 只允许出现在死锁或总时限触发后的最终快照,正常结束时必须为 0。 - 连续 500 tick 无任务完成或车辆移动时标记 `DEADLOCK_TIMEOUT` 并失败。 - 总 tick 上限为 20,000;超过上限测试失败。 - 未知资源、地图版本错配、陈旧快照、资源超容量或重复完成通知立即使测试失败。 - 不使用历史 `finish_date` 强制完成;它只用于历史耗时对照。 -## 7. 验收指标 +## 9. 验收指标 必须满足: - 输入记录数 240,且原始任务号、GUID、历史车辆和业务端点可回查。 -- 每条输入恰有一个终态:`COMPLETED`、`INPUT_REJECTED` 或 `NO_ROUTE`。 -- 资源超容量、同点双占、对向边同时占用、重复完成通知均为 0。 +- 每条输入恰有一个最终分类:`COMPLETED`、`WAITING` 或 `FAILED`;失败必须有唯一、可审计的具体原因。 +- 至少 50 条真实任务完成完整的选车、规划、裁决、移动和归档链路。 +- 资源超容量、同点双占、对向边同时占用、重复 WMS 业务副作用均为 0;测试会主动重复投递完成回调以证明幂等。 - 至少出现一次调度中心重新选车,证明没有固定使用历史 `agv_id`。 - 至少出现一次重新规划路线与历史路径不同,证明没有固定返回 `path_info`。 - 固定故障计划至少触发一次协议失败并成功重试。 +- 低优先级任务等待超过老化阈值后有效优先级提升,且在资源可达时最终获得调度机会。 +- HOLD 原因必须区分资源占用、对向边、车辆不可用、低电量、PLC 失败、ACK 超时、快照/地图问题;每次 HOLD 后均能重新进入调度。 +- 断线、PLC 重启、低电量和车辆故障场景均完成资源回收、旧反馈拒绝和恢复后重调度验证。 +- 完成任务全部存在且只存在一条归档记录;WMS 业务回调次数等于完成任务数,重复投递被幂等接收但不重复计数。 - 相同输入运行两次,逐任务终态、分配车辆、规划路径、HOLD次数和完成顺序完全一致。 - 现有 60 条人工安全场景和全部 Maven 测试继续通过。 完成率作为功能测试结果报告,不预先伪造必须 100%;如果出现 `INPUT_REJECTED` 或 `NO_ROUTE`,报告必须列出原始任务和具体原因。安全指标任一非零则整体失败。 -## 8. 输出 +## 10. 指标口径与输出 + +等待时间为 `首次成功分配时间 - create_date到达时间`;完成时间为 `仿真完成时间 - create_date到达时间`。报告同时保存仿真时钟值、按倍率折算值和历史 `finish_date-create_date`。平均值、P95、P99 使用最近秩法:对升序样本取 `ceil(p*n)-1`;无样本时为 `null`,不得写 0 伪装结果。 + +汇总必须回答:240 条任务的完成/等待/失败数量;每车完成数;历史与模拟车辆、路径差异;资源双占、对向换边和死锁次数;等待/完成时间平均、P95、P99;HOLD 和重试原因分布;历史耗时与仿真耗时差值;归档完整性和 WMS 幂等结果。 生成新的独立目录: @@ -88,8 +115,8 @@ outputs/wcs-history-driven-dispatch-simulation-/ └── manifest.sha256 ``` -Excel包含“测试总览、任务结果、重新选车、等待与重试、数据问题、来源与边界”六张表。首页必须标注“真实历史负载驱动纯内存仿真,不是现场 SHADOW/HIL/ACTIVE 验收”。 +Excel包含“测试总览、任务结果、车辆统计、重新选车与路径、等待与重试、安全与归档、数据问题、来源与边界”八张表。首页必须标注“真实历史负载驱动纯内存仿真,不是现场 SHADOW/HIL/ACTIVE 验收”。 -## 9. 明确不能证明的内容 +## 11. 明确不能证明的内容 该仿真可以验证纯内存调度功能、确定性和安全不变量,但不能证明真实 SQL 事务、真实 PLC 协议、WMS 回调、网络故障恢复、HIL 或生产可用性。这些仍需按 `docs/WCS算法优化/06-测试灰度与验收.md` 的 L2~L9 分层执行。