数字花园

AUTOSAR 1000问：OS 调度与 SWC 工程补充

11分钟阅读

AUTOSAR 1000问：OS 调度与 SWC 工程补充

本页补充四篇 Flomo 原始问答，保留原始内容与来源链接，作为现有专题的工程实践扩展。

OS&调度 Q4：OS 的保护与错误处理

原始 Flomo：https://v.flomoapp.com/mine/?memo_id=MjYxMzU2NTI1

AUTOSAR 1000问 · OS&调度Q4：OS 的保护与错误处理怎么做？

▎ 五大学习法：费曼——把保护讲成「在任务跑飞、栈被踩穿之前拦住它」

费曼（一句话本质）：OS 得在任务跑飞、栈被踩穿之前拦住它，把错误收进一个统一的处理入口，别让整块 ECU 直接挂掉。

SQ3R（去哪找）

  • Configurator 的 Os 模块：内存保护、栈监控、OsApplication、各种 Hook
  • 收尾：Shutdown 相关的 Hook
  • 错误入口：ProtectionHook（保护类错误）、ErrorHook（OSEK 标准 API 错误）

麦肯锡金字塔（四层，从便宜到贵，MECE）

  1. 栈监控（最便宜）：打开栈监控，给每个 Task/ISR 配填充模式和栈大小；运行期查栈底填充字节有没有被改动，被改了就报溢出。它只检测，不阻止
  2. 内存保护（中等，要芯片带 MPU/MMU）：把每个 OsApplication 划成受保护区域，越界访问触发 trap
  3. 时序保护：给 Task/ISR 配执行预算，超了就触发保护，防止某个任务跑太久把别人饿死
  4. 错误处理与收尾：ProtectionHook 收到保护错后决定终止任务还是重启应用；ErrorHook 处理标准 API 错误；Shutdown Hook 在关机时收尾

西蒙（流程）：先看芯片有没有 MPU/MMU，有才谈内存保护 → 开栈监控，给关键任务配栈 → 要隔离就划 OsApplication、开内存保护 → 配执行预算 → 在 ProtectionHook/ErrorHook 里定「终止还是重启」→ 用故障注入测（故意写越界、故意超预算）

几个常见的坑

  • 栈监控只报警不停手，没人处理 ProtectionHook，该崩还是崩
  • 内存保护要芯片支持，区域划不好反而拖性能
  • OsApplication 边界划错，跨应用调用变慢甚至报错
  • ErrorHook 里别写重逻辑，容易重入
  • Shutdown Hook 里想持久化数据，但那会儿时间和资源都紧张

📎 上一题 OS&调度Q3（任务周期和优先级）→ https://v.flomoapp.com/mine/?memo_id=MjYxMzU2NDQ4

📎 AUTOSAR 1000问总表 → https://v.flomoapp.com/mine/?memo_id=MjMxMTQ2NDk4

AUTOSAR

OS&调度 Q3：任务周期和优先级

原始 Flomo：https://v.flomoapp.com/mine/?memo_id=MjYxMzU2NDQ4

AUTOSAR 1000问 · OS&调度Q3：任务周期和优先级怎么定，跟 Runnable 的 TimingEvent 怎么互相约束？

▎ 五大学习法：费曼——把周期和优先级讲成「谁能等、谁不能等，倒推出来的」

费曼（一句话本质）：周期和优先级不是拍脑袋，是从「谁能等、谁不能等」倒推的。周期决定任务多久跑一次，优先级决定同一时刻谁先跑。

SQ3R（去哪找）

  • 周期：Configurator 里的 OsTask（Task 周期 / 调度方式）、TimingEvent 的周期
  • 优先级：OsTask 的优先级属性（注意方向，多数实现是数值越小优先级越高）
  • 静态调度：Schedule Table

麦肯锡金字塔（三件事，MECE）

  1. 周期怎么定：从信号和控制需求倒推。快变信号要短周期，慢变状态可以长周期。TimingEvent 周期要是 Task 周期的整数倍；一个 Task 的周期，取挂在它下面所有 Runnable 周期里能整除它们的那个值
  2. 优先级怎么定：按速率单调——周期越短、优先级越高。优先级数值方向先确认清楚，别弄反
  3. 互相约束：同一个 Task 里的 Runnable 共享一个周期。想让某个 Runnable 跑更快，只能把它单独挂到更快的 Task 上

西蒙（流程五步）

  1. 列出所有 Runnable 和它们需要的触发周期
  2. 按周期分组，得到几个 Task 周期
  3. 给每个 Task 定优先级，短周期高优先级
  4. 配 OsTask、映射 Runnable，Validate 看有没有周期不整除、优先级冲突
  5. 生成后用 trace 量抖动和最大执行时间

几个常见的坑

  • TimingEvent 周期不是 Task 周期的整数倍，校验报错或行为不符
  • 优先级方向搞反，以为大数优先
  • 周期太短 CPU 超载，或栈开太小
  • 高优先级任务跑太久把低优先级饿死，没做预算控制
  • 扩展任务没配 WaitEvent

📎 同专题 OS&调度Q2（如何在 Davinci 新增一个 Task）→ https://v.flomoapp.com/mine/?memo_id=MjYxMzU1MDgy

📎 上一题 SWC类型Q6（RTE 生成之后怎么验证）→ https://v.flomoapp.com/mine/?memo_id=MjYxMzU2MzQ3

📎 AUTOSAR 1000问总表 → https://v.flomoapp.com/mine/?memo_id=MjMxMTQ2NDk4

AUTOSAR

SWC类型 Q6：RTE 生成之后怎么验证

原始 Flomo：https://v.flomoapp.com/mine/?memo_id=MjYxMzU2MzQ3

AUTOSAR 1000问 · SWC类型Q6：RTE 生成之后怎么验证接对了？

▎ 五大学习法：费曼——把验证讲成「拿生成的代码跟配置对一遍」

费曼（一句话本质）：Generate 不报错不代表接对了。要拿生成的代码和配置对一遍，确认「配置里连的」和「代码里调出来的」是一回事。

SQ3R（去哪找）

  • 生成的 Rte.c / Rte.h：看每个 Runnable 的函数壳、每个 Port 的读写 API（Rte_Read_ / Rte_Write_ / Rte_Call_ / Rte_Send_ / Rte_Receive_）
  • SchM.c：看调度骨架，确认每个 Runnable 被编进了对的 Task
  • Generate 的日志和 Validate 报告

麦肯锡金字塔（三层验证，MECE）

  1. 静态对齐（代码 vs 配置）：每个 R-Port 都生成了对应的 Rte_Read/Receive，每个 P-Port 生成了 Rte_Write/Send，每个映射过的 Runnable 在 SchM 里出现在正确的 Task 下
  2. 编译期：全量重生成 + clean build，diff 生成物，看有没有该出现却没出现的 API
  3. 运行期：加最小桩或日志，看数据流和调用顺序对不对，周期 Task 里的 Runnable 是否按周期被调

西蒙（流程四步）：Generate 后先看 Rte.c 里这个 SWC 的 API 清单 → 对着 Configurator 的连接表逐个勾 → clean build 做一次 diff → 下板跑，用 DLT/trace 看调用与数据

几个常见的坑

  • 只 Generate 不 clean build，旧文件残留，看着对其实是脏的
  • Rte_Read 的返回值没检查（NEVER_RECEIVED / 超时状态），运行期拿了旧值还不知道
  • C/S 接口忘了实现 server runnable，Rte_Call 永远等不到结果
  • 跨 ECU 的信号没打通，Rte_Read 一直返回默认值

📎 上一题 SWC类型Q5（Port Connector 怎么连）→ https://v.flomoapp.com/mine/?memo_id=MjYxMzU2Mjc5

📎 AUTOSAR 1000问总表 → https://v.flomoapp.com/mine/?memo_id=MjMxMTQ2NDk4

AUTOSAR

SWC类型 Q5：Port Connector 怎么连

原始 Flomo：https://v.flomoapp.com/mine/?memo_id=MjYxMzU2Mjc5

AUTOSAR 1000问 · SWC类型Q5：Port Connector 怎么连、生成 RTE 前要检查什么？

▎ 五大学习法：费曼——把 Connector 讲成「把两个插头接上，RTE 才知道数据往哪走」

费曼（一句话本质）：Port 是 SWC 对外的插头，Connector 是把两个插头接上的动作。把发送方（P-Port）和接收方（R-Port）按接口配对连起来，RTE 才知道数据从谁流向谁。

SQ3R（去哪找）

  • Port 和 Interface 的定义：DaVinci Developer（SWC 设计侧）
  • Connector：DaVinci Configurator 的连接视图（assembly connector）
  • 结果检查：Configurator 的 Validate 报告、生成的 Rte.c

麦肯锡金字塔（三件事，MECE）

  1. 连什么：只连「接口类型 + 数据元素/操作」都匹配的 P-Port 和 R-Port。S/R 对 S/R，C/S 对 C/S；数据元素名和类型要对得上
  2. 怎么连：在 Configurator 里做 assembly connector。跨 ECU 的连接会自动变成通信（Signal/PDU）
  3. 连不上怎么办：先确认接口一致；如果收发双方数据结构不同，中间得加一个转换 SWC

西蒙（流程）：Developer 定 Port + Interface → 导 ARXML → Configurator 里做 SWC→ECU 映射 → 连 assembly connector → Validate → Generate

生成 RTE 前的检查清单

  • 每个 R-Port 都有对应连接（没连的会报「未连接」，除非声明为可选）
  • 端口方向对：P-Port 只发、R-Port 只收
  • 数据元素类型和长度一致（uint8 别对 uint16）
  • 跨核/跨 ECU 的连接有没有配好通信
  • 该挂 Task 的 Runnable 是否都映射好了，有没有未映射的 SWC 实例
  • 先跑 Validate 再 Generate，别直接生成

几个常见的坑

  • 接口对了但数据元素对不上，连不上，或者运行期数据错位
  • 跨 ECU 的 Port 忘了配 COM，往往到链接生成时才报
  • 一个 R-Port 连多个 P-Port 一般不允许，要区分 1:1 和 1:N
  • 改了接口没重新导 ARXML，两边不同步

📎 上一题 SWC类型Q4（Runnable 怎么挂到 Task）→ https://v.flomoapp.com/mine/?memo_id=MjYxMzU2MjA5

📎 AUTOSAR 1000问总表 → https://v.flomoapp.com/mine/?memo_id=MjMxMTQ2NDk4

AUTOSAR

关系图谱

反向链接