精读笔记

Problem Setting

《Deterministic Execution of ROS 2 Applications via Lingua Franca》（arXiv preprint / 2026）解决的不是一般意义上的 ROS 2 实时调度，而是 ROS 2 应用的执行轨迹 determinism：同样输入下 callback 的逻辑执行顺序应当相同，尤其是在多 node、多 timer、多路径 join、跨进程 DDS 通信下。

真正困难点在于 ROS 2 的 nondeterminism 是系统语义层面的：executor 根据 callback ready time 调度，而 ready time 又来自 timer 物理触发、DDS arrival order、OS/network latency 和 startup phase。即使单 executor 也可能因 wait set / FIFO / callback readiness 产生顺序差异；多进程部署则更糟，因为跨 node 的数据路径延迟直接决定 downstream callback 顺序。

以前方法卡在两个方向：timing analysis/custom executor 可以把某些物理时间行为分析或约束得更好，但仍然在 ROS 2 physical-time semantics 内部工作；手工 LF 重写可以获得 determinism，但放弃了 ROS 2 现有代码和生态。关键矛盾是：要 deterministic-by-construction 就要替换 coordination semantics；但机器人系统又不可能大规模手工迁移出 ROS 2。

Motivation

作者的动机不是“ROS 2 executor 不够好”，而是更强的判断：只要 callback scheduling 继续依赖物理到达时间，就不可能从根上保证 deterministic execution。PiCAS、RTeX、events executor 等路线提高的是 scheduling predictability 或 priority discipline，但没有把 causality/order 从物理时间中抽出来。

核心观察是 ROS 2 和 LF 在结构上存在可投影关系：node≈reactor，callback≈reaction，timer≈LF timer，topic≈port connection。二者真正差异不在计算单元，而在时间和事件仲裁语义。LF 已经有 logical tags、microsteps、static reaction order、federated logical-time coordination；ROS 2 缺的正是这些。

因此关键缺口是一个自动桥接层：不是让开发者用 LF 重写 ROS 2，而是把已有 ROS 2 topology 抽取成 LF coordination graph，并让 LF runtime 接管 callback activation。这个方向的吸引力在于它把 migration cost 从“重写应用逻辑”降为“生成调度壳”。

Core Idea

论文的核心思想是把 ROS 2 程序拆成两层：payload layer 继续由 ROS 2/DDS 承担，coordination layer 改由 LF 承担。原 callback 代码不改，publish/take 等 ROS 2 机制仍保留；但 callback 什么时候运行、同一 logical instant 下谁先运行、跨 node 的事件何时被认为可处理，不再由 DDS 消息实际到达和 executor 抢占顺序决定，而由 LF 的 logical-time event graph 决定。

这个建模变化引入的 inductive bias 是：系统行为应由静态拓扑和 logical causality 决定，而不是由物理调度偶然性决定。对于 robotics pipeline 中大量 DAG-like sensing-planning-control chain，这个 bias 很合理，因为开发者通常关心的是“哪个数据版本在什么逻辑时刻被处理”，而不是“哪个网络包先被线程取到”。

和 prior 的本质区别在于：它不是改进 executor scheduling policy，而是替换时间语义；不是把 ROS 2 通信重写成 LF 通信，而是用 LF dummy events 重新组织 execution eligibility。这使得方法理论上比 custom executor 更 generalizable 到分布式场景，也比手工 LF porting 更 scalable。

Method

1. Deterministic subset：论文先承认任意 ROS 2 应用不可能自动确定化。多 publisher 同 topic、blocking synchronous service、动态系统结构等会让消息来源、执行进展或拓扑本身不可由静态 logical-time graph 表达。这个 subset 定义是方法成立的边界条件，不是附属讨论。它解决的是“哪些 ROS 2 语义本身可被 LF 接管”的问题。

2. ROS 2-to-LF topology extraction：工具从 launch files、C++ source、CMake metadata 中抽取静态系统图，再生成 LF reactors/reactions/ports/timers/connections。其核心变化是把 ROS 2 的运行时 callback graph 显式化为 LF 可调度的 dataflow/causality graph。这里重要的不是 parser 工程，而是它把 implicit runtime topology 变成了 static scheduling artifact。

3. LF-controlled callback execution：最终设计不让 ROS 2 executor 真正运行 callback，而是 LF runtime 通过 binding 直接调用原 callback body。这样 callback order 完全落到 LF tag order 和 reaction order 上，避免出现两个 runtime 互相协调导致的 nondeterminism。

4. DDS payload 与 LF dummy event 分离：payload 仍走 DDS，LF connection 只传递用于调度的 dummy event。这个 split 保留了 ROS 2 工具链和外部节点可观测性，同时让执行顺序不再依赖 DDS arrival order。代价是需要确保 dummy event 与真实 payload 的一致性；这部分文中讨论不足。

5. After delays / federation：after delays 把 execution/network/deadline 等 timing assumptions 编入 logical-time graph；federated execution 通过 RTI 扩展到多进程/多机。它们解决的不是基础 determinism，而是把 deterministic coordination 推到 timing specification 和 distributed deployment。

Key Insight / Why It Works

这篇最核心的 insight 是：ROS 2 的 nondeterminism 可以通过“调度事件”和“数据载荷”解耦来处理。默认 ROS 2 把二者绑死：消息什么时候到，callback 就什么时候 ready；callback 什么时候 ready，executor 就按物理状态取下一个。LF-controlled ROS 2 则让 DDS 消息只是数据，真正触发 callback 的是 logical-time dummy event。只要系统拓扑静态、消息来源唯一、callback 非阻塞，执行顺序就可以由 LF 的 tag order 与 static reaction order 完全决定。

真正有效的原因不是某个 runtime optimization，而是 better inductive bias / latent structure exploitation：机器人系统的 pipeline causality 本来就接近静态 dataflow graph，LF 把这个 latent graph 显式化，并用 logical time 给它一个可重复的全局序。对于 diamond join、multi-sensor alignment、periodic planning gate 这类结构，物理时间调度天然会产生 run-to-run phase/order drift；logical time 则直接消除了这些 drift 的自由度。

最可能的核心贡献是 deterministic subset + LF-controlled runtime split，而不是具体的静态分析工具。抽取 launch/source/CMake、生成 LF 文件、binding callback 这些有明显 engineering 成分；真正有研究价值的是证明/论证哪些 ROS 2 语义可以在 logical-time scheduler 下成立，以及如何在不改 payload 通信的情况下接管 execution semantics。

after delay 的作用更像 semantic knob，而不是 determinism 的必要条件。它把 latency-consistency-availability trade-off 显式化：delay 设大可以吸收物理延迟波动、让 downstream 在固定 tag 处理；delay 设小则更接近 freshness/consistency 但更容易晚到或阻塞。这个 insight 可迁移，但实验中的 latency 改善部分不应过度解读为性能提升；很多情况下只是把时间行为规范化，甚至主动引入等待。

需要警惕的是，论文的 deterministic claim 是在 deterministic subset 和相同输入下的 execution order claim，不是端到端功能安全 claim，也不是所有 ROS 2 nondeterminism 都被消除。callback 内部如果读物理时钟、使用随机数、共享外部状态、依赖 DDS queue backlog 或执行阻塞，LF 只能控制 activation order，不能自动让 computation 本身 deterministic。

Relation To Prior Work

最接近的路线有三类。第一类是 ROS 2 timing analysis 和 executor 改造，如 Casini 系列、PiCAS、RTeX、events executor。这些工作在 ROS 2 原生执行模型内部分析/优化调度，关注 response time、priority、chain latency、executor predictability。本文与它们的本质差异是：不再试图让 physical-time executor 更可预测，而是用 logical-time runtime 替换 executor 的语义权威。

第二类是 RSLCPP/simulation-time deterministic ROS 2。它同样意识到 logical time 能带来 determinism，但主要限制在 single process/single executor，并且切断外部 nondeterministic interaction。本文的新增点在于借 LF federation 处理跨进程协调，并且把 ROS 2 topology 自动投影到 LF，而不是只在 ROS 2 executor 内部写一个 deterministic event loop。

第三类是手工 LF 重写 ROS 2/Autoware 组件的工作。它们已经证明 LF 可以消除某些 distributed CPS nondeterminism，但 migration cost 高且不保留 ROS 2 生态。本文实质创新是 automation + unmodified callback execution + DDS payload preservation。看似新的 LF after delay、federation、logical action 本身不是新思想，是 LF 既有语义在 ROS 2 转换结果上的复用；新的是把它们接到未修改 ROS 2 应用上。

所以这篇属于 synchronous/dataflow/logical-time coordination 向 robotics middleware retrofit 的谱系，而不是传统实时调度优化论文。

Dataset / Evaluation

评估选择是合理但有限的。Autoware reference system 覆盖了一个相对复杂的自动驾驶 pipeline，包含多 node、多 topic、多 causal connection，足以展示默认 ROS 2 在 callback ordering、timer phase、startup transient 上的 run-to-run variability，也足以展示 LF 可以固定 execution order。synthetic diamond example 则更干净地验证了核心机制：两个并行路径在 join node 的处理顺序不再由随机路径延迟决定。

不过实验并没有真正覆盖“任意真实 ROS 2 应用”的复杂性。Autoware reference system 是 reference/synthetic benchmark，callback execution time 采用固定 arithmetic work，并非完整 Autoware 真车 workload；没有真实机器人闭环、传感器噪声、硬件网络、多机部署压力下的系统性验证。评估支持的是 deterministic ordering 和 latency variability control，不支持更强的 safety guarantee 或 broad compatibility claim。

实验数字也需要谨慎归因。LF 的 end-to-end latency 更稳定，是因为 logical timers 被同步、startup 经过 anchoring、after delays 固定了 schedule；这不是计算性能提升，而是 semantics control。默认 ROS 2 某些 run 的 mean latency 更低，说明 LF 稳定性可能以等待/availability trade-off 为代价。论文对 runtime overhead、RTI scalability、DDS payload late/missing 情况下的行为评估不足。

Limitation

最大限制是 deterministic subset 的实际覆盖率。多 publisher 单 topic、blocking service、动态结构被排除是合理的，但真实 ROS 2 系统中 lifecycle node、action、reentrant callback group、动态参数、插件化组件、runtime remapping、外部工具交互并不少见。论文承认部分 feature 尚未覆盖，但没有给出系统性 coverage study。

第二个限制是语义等价问题。generated LF graph 控制 callback activation，但 payload 仍由 DDS 传输。若 LF dummy event 到达时 DDS payload 尚未可 take，callback 是阻塞、跳过、处理旧数据，还是触发 fault？文中给出 consistency/availability 的 conceptual trade-off，但具体 runtime semantics 和 correctness condition 未充分说明。这是把问题从 executor nondeterminism 转移到 schedule-payload alignment 上。

第三，静态抽取的上限不清。C++ ROS 2 代码常有模板、宏、lambda、component composition、runtime topic construction、参数化 launch、第三方库封装。论文说静态分析足够抽取 deterministic subset，但没有展示在大型真实代码库上的 failure modes。这里可能主要是 engineering/scaling 问题，但会直接决定方法能否实用。

第四，distributed federation 的成本和 failure behavior 没有被充分评估。RTI 需要发放 tag advance grant，本质上可能引入新的同步瓶颈；在网络 jitter、节点 crash、late message、partial failure 下，determinism 和 availability 如何取舍，文中主要停留在 LF 能支持 fault handling 的层面。

第五，所谓 timing predictability 是通过 logical-time specification 实现的，并不等同于物理实时 deadline 保证。若实际 execution time 超过 logical delay，系统只能检测 late 或执行 fault policy；它不能魔法般消除 overload。上限仍由 WCET、网络延迟、RTI 同步和 DDS queue 行为决定。

Takeaway

• 1. 最值得记住的是“payload transport 与 execution coordination 解耦”。
• 这比改 executor policy 更根本，也可能是未来 ROS 2 deterministic runtime 的核心方向。
• 2. deterministic subset 的显式定义很重要。
• 与其宣称任意 ROS 2 可确定化，不如把哪些 middleware patterns 天然不可分析、不可映射说清楚；这对 ROS 2 safety-critical design guidelines 有直接价值。

一句话总结

这篇论文把 ROS 2 deterministic execution 从 executor-level predictability 推进到 logical-time coordination retrofit：核心贡献不是性能优化，而是在保留 ROS 2 callback/DDS 生态的同时，用 LF 为可静态化的 ROS 2 子集提供 deterministic-by-construction 的执行语义。