3. Atomic Mode Setting（AMS）设计哲学：事务性、无撕裂、状态回滚、与Legacy API的对比
Atomic Mode Setting（AMS）是 DRM/KMS 框架中里程碑式的设计演进。它从根本上改变了显示状态更新的方式：从“多个独立、无序的 ioctl 调用”转变为“一个原子化的、可验证的、可回滚的事务提交”。理解 AMS 的设计哲学，是掌握现代 Linux 显示子系统驱动开发的核心前提。
3.1 事务性：全有或全无的提交模型
AMS 最核心的设计哲学是事务性（Atomicity）。在传统模式下，用户态需要依次调用 SETCRTC、SETPLANE、SETCONNECTOR 等多个 ioctl 来更新显示状态。如果中间某个调用失败，系统会处于一个“半更新”的不一致状态，可能导致屏幕闪烁或驱动崩溃。
AMS 将整个更新过程封装为一个原子事务（Atomic Transaction）。用户态通过 DRM_IOCTL_MODE_ATOMIC 一次性提交所有属性变更。内核驱动在提交前会执行完整的状态验证（State Validation），只有所有资源都满足约束条件时，提交才会成功；否则整个事务被拒绝，状态保持不变。
atomic_check 回调中实现完整的资源可用性检查（如带宽、时钟、扫描线限制）。如果检查失败，返回 -EINVAL 或 -ENOSPC，框架会自动回滚整个事务。
3.2 无撕裂：VBlank 同步与 Page Flip
AMS 通过VBlank 同步（Vertical Blanking Synchronization）机制实现无撕裂（Tear-Free）的画面更新。当用户态提交一个原子事务时，可以指定 DRM_MODE_PAGE_FLIP_EVENT 标志，要求驱动在下一个 VBlank 周期内完成缓冲区交换（Page Flip）。
在 VBlank 期间，显示器处于消隐区，此时更新帧缓冲区（Framebuffer）的扫描线指针不会导致画面撕裂。AMS 框架确保所有 CRTC、Plane、Connector 的状态切换都在同一个 VBlank 边界上完成，从而实现全局一致的、无撕裂的画面更新。
3.3 状态回滚：安全失败与恢复机制
AMS 的状态回滚（State Rollback）机制是其健壮性的基石。当原子事务的验证阶段（atomic_check）失败时，内核会自动丢弃所有暂存的状态变更，恢复到提交前的状态。这避免了传统模式下“部分成功、部分失败”导致的悬挂状态。
回滚的实现依赖于 DRM 框架的状态对象（State Objects）设计：每个 CRTC、Plane、Connector 都有一个对应的状态结构（如 drm_crtc_state）。在事务开始时，框架会复制一份当前状态作为“影子状态”（Shadow State）。所有验证和修改都在影子状态上进行。如果验证通过，影子状态被交换为当前状态；如果验证失败，影子状态被直接丢弃。
atomic_check回调返回非零错误码- 内存分配失败（如
kmalloc返回 NULL） - 硬件资源冲突（如带宽超限、时钟不匹配）
- 用户态提交了无效的属性值
3.4 与 Legacy API 的对比
Legacy API（传统模式设置 API）是 AMS 之前的显示状态管理方式。它基于多个独立的 ioctl 调用，每个调用只更新一个资源。下表从多个维度对比两者的差异：
| 对比维度 | Legacy API | Atomic API |
|---|---|---|
| 提交方式 | 多个独立 ioctl（SETCRTC、SETPLANE 等） | 单个 ioctl（DRM_IOCTL_MODE_ATOMIC） |
| 事务性 | 不支持，部分更新可能失败 | 全有或全无，原子提交 |
| 撕裂控制 | 依赖用户态手动同步，易撕裂 | VBlank 同步，无撕裂 |
| 状态回滚 | 无自动回滚，需驱动自行处理 | 自动回滚，影子状态机制 |
| 状态验证 | 无统一验证点，错误发现晚 | atomic_check 提前验证 |
| 多资源协调 | 需用户态保证顺序，易出错 | 内核统一协调，保证一致性 |
| 性能开销 | 较低（无额外状态复制） | 略高（影子状态复制与验证） |
| 适用场景 | 简单显示配置、兼容旧驱动 | 复杂合成场景、多 Plane 叠加 |
drm_mode_config_funcs 中的 atomic_commit 回调来模拟 Legacy 行为。
3.5 设计哲学总结
AMS 的设计哲学可以概括为三个核心原则：
- 原子性（Atomicity）： 所有状态变更作为一个不可分割的事务提交，要么全部成功，要么全部失败。
- 一致性（Consistency）： 状态更新在 VBlank 边界同步执行，保证多 Plane、多 CRTC 的全局一致性，消除撕裂。
- 健壮性（Robustness）： 通过影子状态和 atomic_check 验证，实现自动回滚，避免悬挂状态和资源泄漏。
这些设计哲学使得 AMS 成为现代显示子系统的标准接口，为 Wayland、Xorg 等显示服务器提供了可靠的基础设施。