为ROS 2设计实时多有向无环图调度框架,提升关键任务可靠性。
ReDAG-RT: Global Rate-Priority Scheduling for Real-Time Multi-DAG Execution in ROS 2
- 基于速率优先全局队列,按回调激活频率排序并限流
- 减少99%响应延迟42.9%,死线错过率降低29.7%
- 无需修改系统即可实现确定性调度,适合高安全机器人
ROS 2已成为机器人系统主流中间件,其感知、规划、控制等模块以回调有向无环图形式运行于共享执行器下。但默认执行器采用尽力而为调度,缺乏跨图优先级约束,导致回调竞争、结构优先级反转及截止期不稳定,限制了在时间敏感和安全关键系统中的部署。本文提出ReDAGRT,一个无需修改ROS 2 API、执行器接口或操作系统调度器的用户空间全局调度框架,实现确定性多有向无环图执行。该框架引入速率-优先级驱动的全局就绪队列,按激活率排序回调,施加每图并发约束,缓解跨图优先级反转。我们形式化了ROS 2回调流水线的多图任务模型,分析速率优先调度下的跨图干扰,推导响应时间递推关系与可调度性条件,基于经典速率单调理论。在ROS 2 Humble环境下,使用合成多图工作负载对比SingleThreadedExecutor与MultiThreadedExecutor。结果表明,死线错过率降低29.7%,99百分位响应时间减少42.9%,在相近利用率下优于MultiThreadedExecutor 13.7%。非对称每图并发约束进一步降低干扰40.8%。结果证明,完全在用户空间即可实现可分析的确定性多图调度,为安全关键机器人中间件提供实用基础。
原文摘要 · Abstract (English)
ROS 2 has become a dominant middleware for robotic systems, where perception, estimation, planning, and control pipelines are structured as directed acyclic graphs of callbacks executed under a shared executor. However, default ROS 2 executors use best-effort dispatch without cross-DAG priority enforcement, leading to callback contention, structural priority inversion, and deadline instability under concurrent workloads. These limitations restrict deployment in time-critical and safety-sensitive cyber-physical systems. This paper presents ReDAGRT, a user-space global scheduling framework for deterministic multi-DAG execution in unmodified ROS 2. The framework introduces a Rate-Priority driven global ready queue that orders callbacks by activation rate, enforces per-DAG concurrency bounds, and mitigates cross-graph priority inversion without modifying the ROS 2 API, executor interface, or underlying operating system scheduler. We formalize a multi-DAG task model for ROS 2 callback pipelines and analyze cross-DAG interference under Rate-Priority scheduling. Response-time recurrences and schedulability conditions are derived within classical Rate-Monotonic theory. Experiments in a ROS 2 Humble environment compare ReDAGRT against SingleThreadedExecutor and MultiThreadedExecutor using synthetic multi-DAG workloads. Results show up to 29.7 percent reduction in deadline miss rate, 42.9 percent reduction in 99th percentile response time, and 13.7 percent improvement over MultiThreadedExecutor under comparable utilization. Asymmetric per-DAG concurrency bounds further reduce interference by 40.8 percent. These results demonstrate that deterministic and analyzable multi-DAG scheduling can be achieved entirely in the ROS 2 user-space execution layer, providing a practical foundation for real-time robotic middleware in safety-critical systems.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。