1. 航电计算平台内存与缓存管理导论

航电计算平台（Avionics Computing Platform）是飞机上承担飞行控制、显示告警、任务计算、健康管理等功能的计算基础。与通用计算机不同，航电平台的内存与缓存管理不是单纯的性能优化问题，而是直接关系到飞行安全、任务可靠性和适航符合性的核心设计要素。本课程围绕"内存与缓存如何在航电平台上被正确、可验证地管理"这一主线展开，帮助学习者建立从需求、设计、实现到验证的完整认知。

一、课程目标与知识框架

本课程的目标可以概括为三个层次。第一层是概念层：理解航电平台中内存层次（寄存器、Cache、主存、非易失存储）、地址空间、内存保护单元（MPU/MMU）等基本对象及其作用。第二层是方法层：掌握内存分区、缓存配置、确定性访问、资源预算与监控等关键方法，能够针对具体航电功能给出合理的内存与缓存方案。第三层是符合性层：理解 DO-178C、DO-254、ARINC 653 等标准对资源管理提出的约束，能够把设计决策映射到可验证的证据上。

整体知识框架可以按"需求—架构—机制—验证"四条线索组织：需求线索回答"航电为什么对内存与缓存有特殊要求"；架构线索回答"内存与缓存如何被划分和组织"；机制线索回答"访问、替换、保护、监控如何实现"；验证线索回答"如何证明资源管理满足适航要求"。后续章节将沿着这四条线索逐步展开。

二、航电系统对内存与缓存的特殊需求

航电系统与通用计算系统在资源管理上的差异，主要来自四个方面。

确定性与实时性。飞行控制律通常以固定周期执行，例如 20 ms 或 10 ms 周期。若某次内存访问因缓存未命中或总线争用而延迟显著增大，控制律的输出抖动就可能超出允许范围。因此航电平台关注的不只是平均访问时间，而是最坏情况执行时间（WCET）。缓存虽然能降低平均延迟，却会引入访问时间的不确定性，这正是航电缓存管理必须谨慎处理的原因。

分区与隔离。ARINC 653 定义了时间分区和空间分区概念。空间分区要求一个分区不能读写另一个分区的内存，即使前者出现软件错误。这通常由 MMU/MPU 配合分区页表实现。缓存也必须考虑隔离：如果多个分区共享同一缓存，一个分区的数据可能挤占另一个分区的缓存行，造成干扰。

资源受限与可预测。机载设备对重量、功耗、成本敏感，内存容量和缓存容量往往远小于地面服务器。设计者必须在有限资源下保证可预测性，而不是追求峰值吞吐。

可追溯与可验证。每一块内存的用途、每一个缓存配置参数，都应当能够追溯到需求，并能够通过分析、测试或审查提供证据。这与通用软件"够用即可"的思路有本质区别。

三、适航标准对资源管理的影响

DO-178C 是机载软件适航审定的核心标准，它按软件等级（A 至 E）规定目标。对于 A 级软件，标准要求证明软件在目标环境中满足需求，且不存在未预期的功能。内存与缓存管理在其中体现为若干具体目标：资源使用必须被定义和受控；内存访问必须符合设计；缓存行为若影响时序，必须被分析或限制。

DO-330 对工具鉴定提出要求，若使用缓存分析工具，需要评估其置信度。DO-254 则针对复杂电子硬件，若缓存控制器以硬件实现，其设计保证过程需符合 DO-254。ARINC 653 补充了分区化航电系统的接口与资源管理要求，特别是分区内存配额和健康监控。

这些标准共同传递一个信号：航电内存与缓存管理不是"实现细节"，而是需要被计划、被记录、被验证的工程活动。设计者应尽早建立资源预算表、分区映射表和缓存配置说明，并在验证阶段用分析、测试或两者结合的方式提供证据。

四、本节知识关系图

下图把本节涉及的核心对象、约束和关系组织为一张结构关系图，帮助建立整体印象。图中左侧是航电系统的特殊需求，中间是内存与缓存管理的主要机制，右侧是适航标准与验证证据，底部是贯穿全过程的资源预算与追溯。