1共享数据与临界区
闭卷重建共享数据与临界区的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2互斥量与优先级反转
闭卷重建互斥量与优先级反转的对象、状态、事件、不变量与一个失败反例。
3信号量与事件标志
闭卷重建信号量与事件标志的对象、状态、事件、不变量与一个失败反例。
4消息队列与所有权转移
闭卷重建消息队列与所有权转移的对象、状态、事件、不变量与一个失败反例。
5死锁与阻塞预算
闭卷重建死锁与阻塞预算的对象、状态、事件、不变量与一个失败反例。
6实验：优先级继承模拟
闭卷重建实验：优先级继承模拟的对象、状态、事件、不变量与一个失败反例。
7实验：有界消息队列
闭卷重建实验：有界消息队列的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：互斥量与优先级反转必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕互斥量与优先级反转用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：互斥量与优先级反转不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：共享数据与临界区必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕共享数据与临界区用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：共享数据与临界区不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：消息队列与所有权转移必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕消息队列与所有权转移用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：消息队列与所有权转移不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：信号量与事件标志必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕信号量与事件标志用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：信号量与事件标志不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：优先级继承模拟必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：优先级继承模拟用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：优先级继承模拟不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：死锁与阻塞预算必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕死锁与阻塞预算用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：死锁与阻塞预算不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。
核心机制：实验：有界消息队列必须声明寄存器或接口、时钟单位、初态、事件顺序、截止期、安全状态和可观察波形；实验入口：围绕实验：有界消息队列用本地Python虚拟寄存器、外设或调度器仿真正常、边界、故障和恢复四组情形；边界：实验：有界消息队列不能把仿真通过等同于硬件安全；电压、电流、接地、探头、执行器、隔离和厂商手册边界必须复核。