Files
fmq d16b3d3cdc feat(all): 数据库模块化拆分与版本化迁移、任务引擎命名体系收敛、物理输出校验加固与用户配置接通
- server/db: 拆 4929 行 db.rs 单体为 db/ 目录,migrations.rs 引入 PRAGMA user_version
    版本化迁移运行器(M1~M13)
  - 任务引擎 Phase 6/7b/7c 改名收敛:EngineStageConfig→PhaseConfig、StagePolicy→ResumePolicy、
    Converged→Completed、删除 task_type 列、success_method 拆 tlusty_/synspec_ 双列、
    新增 tlusty_status/synspec_status 半失败阶段守卫
  - 科学正确性加固:conv_check 任意行 NaN/Inf/溢出判无效(0 行容忍)、新增 spec_is_valid
    校验 SYNSPEC 脏谱、itek_history 逐次迭代全量保真、fmt_abn powf 溢出饱和
  - 用户配置真正接通:tlusty_chain/tlusty_input 由死字段经 调度器→TaskSpec→executor→runner
    透传生效;config 加载期 validate + deny_unknown_fields + 解析失败记 warn
  - 调度修复:H1 活锁(pending_strategies 跳过已失败策略)、种子查找错误不再静默降级冷启动
  - dashboard: 阶段配置面板 tlusty_stage/synspec_stage、"已完成"标签、迭代诊断展示
  - docs: 新增 database_refactor_design.md,同步 database/api/PIPELINE/workflow_detail
2026-08-06 20:51:21 +08:00
..

mq

基于 SQLite 构建的高可靠并发分布式任务队列引擎。


📦 模块概览

mq 为 DCTS 提供轻量级且具备强一致性保证的任务队列服务。

  • sqlite_queue.rsSqliteTaskQueue 结构体,实现基于 SQLite 事务的任务 Push、Claim、Report、Stale Requeue 以及清理重试。

特性亮点

  1. 原子 Claim 事务:保证并发 Claim 时单任务仅被成功分配给一个 Worker。
  2. 超时自动重派 (Requeue):在设定秒数内未汇报结果的任务会被自动放回队列重新为 pending
  3. WAL 高并发模式:支持多连接并发读写而不阻塞写事务。

🛠️ Usage & Setup

单元测试

cargo test -p mq

测试包含并发 Claim 竞态检验与超时自动 Requeue 逻辑校验。