4. AUTOSAR OS核心概念

AUTOSAR OS 是静态配置的实时操作系统，它的所有行为都建立在“对象”之上。任务、中断、事件、报警、计数器、资源、调度表等对象并非孤立存在，而是通过明确的引用关系构成一张可配置、可验证的对象模型。理解这张模型，是掌握任务调度与实时性分析的前提。

4.1 对象模型总览

可以把 AUTOSAR OS 的对象模型理解为三层：执行层负责“谁来运行”，包括任务与中断服务程序；同步与时间层负责“何时运行、如何等待”，包括事件、计数器、报警、调度表；保护层负责“运行时的边界与互斥”，包括资源、内部资源、自旋锁等。三层之间通过引用关系连接，例如报警引用计数器，调度表引用计数器并激活任务，任务等待事件，任务占用资源。

4.2 核心对象逐一解析

任务（Task）是调度的基本单位，分为基本任务和扩展任务。基本任务只有就绪、运行、挂起三种状态；扩展任务额外拥有等待状态，必须通过事件才能被唤醒。任务具有优先级、调度策略（抢占/非抢占）、激活次数上限等静态属性。

中断服务程序（ISR）分为类别 1 和类别 2。类别 1 不调用 OS 服务，直接由硬件向量进入，开销最小；类别 2 由 OS 管理，可以调用受限的 OS API，但会引入中断延迟。ISR 的优先级通常高于所有任务。

事件（Event）是扩展任务专用的同步机制。每个扩展任务拥有一个事件掩码，任务通过 WaitEvent() 等待一个或多个事件位，其他任务或 ISR 通过 SetEvent() 置位。事件不能跨任务传递，只能作用于拥有该事件的任务。

计数器（Counter）是时间基准，分为硬件计数器和软件计数器。硬件计数器直接驱动定时器，软件计数器由 IncrementCounter() 手动递增。计数器是报警和调度表的“心跳源”。

报警（Alarm）绑定到某个计数器上，当计数器达到设定值时触发到期动作，动作可以是激活任务、设置事件、递增计数器或调用报警回调。

调度表（ScheduleTable）同样绑定计数器，它是一组“到期点”的集合，每个到期点可以激活任务或设置事件。调度表支持同步与异步两种推进方式，适合构建时间触发的时间片轮转或静态调度序列。

资源（Resource）用于保护临界区，采用优先级天花板协议。任务获取资源时，其优先级被提升到该资源的天花板优先级，防止优先级反转。内部资源用于同一核内任务与 ISR 之间的互斥，自旋锁用于多核之间的互斥。

4.3 对象关系与配置约束

这些对象在 OIL 或 ARXML 配置文件中以引用方式连接。下表列出关键对象的引用关系与常见约束：

4.4 典型场景：周期采集与事件处理

假设一个车身控制节点需要每 10ms 采集一次传感器，采集完成后由处理任务进行滤波和判断。配置如下：

/* 计数器：硬件计数器，10ms 递增一次 */
COUNTER SensorCounter {
  MINCYCLE = 1;
  MAXALLOWEDVALUE = 65535;
  TICKSPERBASE = 1;
};

/* 报警：每 10ms 激活采集任务 */
ALARM SampleAlarm {
  COUNTER = SensorCounter;
  ACTION = ACTIVATETASK { TASK = SampleTask; };
};

/* 扩展任务：等待数据处理事件 */
TASK ProcessTask {
  PRIORITY = 10;
  SCHEDULE = FULL;
  ACTIVATION = 1;
  EVENT = DataReadyEvent;
};

/* 采集任务：采集完成后设置事件 */
TASK SampleTask {
  PRIORITY = 20;
  SCHEDULE = FULL;
  ACTIVATION = 1;
};

运行时序为：计数器递增 → 报警到期 → 激活 SampleTask → SampleTask 采集数据 → SetEvent(ProcessTask, DataReadyEvent) → ProcessTask 从等待状态转入就绪 → 调度器按优先级选择 ProcessTask 运行。整个过程由对象引用关系驱动，无需动态创建或销毁。

4.5 常见误区与复盘

• 误区一：把事件当作信号量使用。事件只能作用于拥有它的扩展任务，不能用于两个普通任务之间的同步。跨任务同步应使用资源或调度表。
• 误区二：忽略计数器的溢出行为。计数器达到最大值后会回绕，报警的到期判断必须考虑回绕，否则可能丢失一次触发。
• 误区三：资源嵌套获取。AUTOSAR OS 不允许任务在持有一个资源时再获取另一个资源，否则可能破坏优先级天花板协议，导致死锁或优先级反转。
• 误区四：调度表与报警混用导致时间基准冲突。同一计数器上同时挂载多个报警和调度表时，需确认它们的到期点不会相互覆盖或产生不可预期的抖动。