ReDAG-RT: Global Rate-Priority Scheduling for Real-Time Multi-DAG Execution in ROS 2

1. O Problema: Inversão de Prioridade e Interferência em ROS 2

O sistema operacional robótico ROS 2 tornou-se o middleware dominante para sistemas robóticos, onde pipelines de percepção, estimativa, planejamento e controle são estruturados como Grafos Acíclicos Direcionados (DAGs) de callbacks executados sob um executor compartilhado.

O artigo identifica limitações críticas nos executores padrão do ROS 2 (SingleThreadedExecutor e MultiThreadedExecutor):

• Falta de Ordem de Prioridade Global: Os executores padrão utilizam uma fila de pronto (ready queue) baseada em FIFO (First-In, First-Out) ou ordem de chegada, sem impor uma política de prioridade baseada na taxa de ativação (frequência) entre diferentes DAGs.
• Inversão de Prioridade Cross-DAG: Um callback de baixa frequência (ex: planejamento lento) pode ser executado antes de um callback de alta frequência (ex: controle de emergência) se chegar primeiro à fila. Isso viola os princípios clássicos de escalonamento em tempo real.
• Interferência Não Controlada: Sob cargas concorrentes, a falta de arbitragem global causa contenção descontrolada, aumentando a variabilidade do tempo de resposta (jitter) e levando a falhas de prazo (deadline misses), especialmente em sistemas ciber-físicos críticos para a segurança.
• Ausência de Analisabilidade: O modelo atual impede a aplicação de teorias de escalonamento de tempo real (como Rate-Monotonic) para garantir a previsibilidade temporal em múltiplos DAGs simultâneos.

2. Metodologia: A Abordagem ReDAGRT

O ReDAGRT é uma framework de escalonamento global em espaço de usuário (user-space) projetada para operar dentro do ROS 2 sem modificar a API, a interface do executor ou o escalonador do kernel Linux.

Arquitetura e Funcionamento:

• Fila de Pronto Global Unificada: Todos os callbacks prontos de todos os DAGs concorrentes são inseridos em uma única fila de prioridade centralizada.
• Escalonamento Rate-Monotonic (RM): A prioridade é atribuída estaticamente com base no período de ativação do task. Tarefas com períodos mais curtos (maior frequência) recebem prioridades mais altas ($T_i < T_j \Rightarrow P_i > P_j$).
• Arbitragem Global: O escalonador decide qual tarefa executar com base na prioridade global, permitindo que uma tarefa de um DAG preempione uma tarefa de outro DAG, eliminando a inversão de prioridade estrutural.
• Resolução de Dependências: O sistema verifica se as restrições de precedência intra-DAG foram atendidas antes de admitir uma tarefa na fila global.
• Limites de Concorrência por DAG: O framework impõe limites no número máximo de callbacks ativos simultaneamente por DAG, controlando a interferência cruzada.
• Sem Modificações de Kernel: Toda a lógica de escalonamento ocorre no espaço de usuário, mantendo a compatibilidade total com o ROS 2 padrão.

3. Contribuições Principais

1. Análise Estrutural: Identificação e caracterização formal da "inversão de prioridade cross-DAG" como uma deficiência fundamental dos executores padrão do ROS 2.
2. Modelo Formal de Interferência: Desenvolvimento de um modelo de tarefa multi-DAG e derivação de limites de interferência e recorrências de tempo de resposta baseados na teoria clássica de Rate-Monotonic.
3. Framework ReDAGRT (Open Source): Implementação de um escalonador global Rate-Priority que:
   • Garante comportamento temporal determinístico.
   • Preserva a compatibilidade com a API do ROS 2.
   • Não requer modificações no kernel.
   • É validado empiricamente sob cargas mistas e críticas.

4. Resultados Experimentais

Os experimentos foram realizados no ambiente ROS 2 Humble com cargas de trabalho sintéticas multi-DAG, comparando o ReDAGRT com os executores padrão (SingleThreaded e MultiThreaded com 4 threads).

Principais Métricas de Desempenho:

• Redução na Taxa de Falha de Prazo (Miss Rate): O ReDAGRT reduziu a taxa combinada de falha de prazo em até 29,7% em comparação com o executor MultiThreadedExecutor em configurações de alta utilização.
• Melhoria na Previsibilidade Temporal: Houve uma compressão de 42,9% no tempo de resposta do percentil 99 (redução de 49 ms para 28 ms), indicando uma cauda de latência muito mais controlada.
• Comparação com MultiThreadedExecutor: Em configurações comparáveis, o ReDAGRT apresentou uma melhoria de 13,7% na taxa de falha de prazo.
• Impacto dos Limites de Concorrência: Configurações assimétricas de limites de concorrência por DAG reduziram a interferência em 40,8% em comparação com configurações simétricas, validando a eficácia do controle de paralelismo.
• Escalabilidade: A melhoria foi observada até 8 threads; além disso, o overhead de sincronização começou a superar os ganhos de paralelismo (ponto de saturação).

5. Significado e Conclusão

O artigo demonstra que é possível alcançar escalonamento multi-DAG determinístico e analisável inteiramente dentro da camada de execução do espaço de usuário do ROS 2.

• Fundação para Sistemas Críticos: O ReDAGRT fornece uma base principial para a implementação de middleware robótico em tempo real em sistemas ciber-físicos de segurança crítica, onde a previsibilidade temporal é obrigatória.
• Viabilidade Prática: Ao evitar modificações no kernel e manter a compatibilidade com a API existente, o framework oferece uma solução prática para a adoção imediata na indústria robótica.
• Validação Teórica: Os resultados empíricos alinham-se com a teoria de escalonamento de tempo real, provando que a imposição de uma hierarquia de prioridade global baseada na taxa (Rate-Monotonic) elimina a interferência não controlada e estabiliza os tempos de resposta de ponta a ponta.

Em resumo, o ReDAGRT transforma o executor do ROS 2 de um mecanismo de "melhor esforço" (best-effort) para um sistema de escalonamento com garantias de tempo real, resolvendo o problema fundamental de interferência entre pipelines robóticos concorrentes.