ARIES 针对 steal/no-force 缓冲策略下的崩溃恢复顺序问题，采用先重做历史到崩溃点、再撤销未完成事务的流程，且撤销过程可再次恢复。其核心机制包括 LSN、pageLSN、ATT、DPT 和 CLR，恢复分为 Analysis、Redo、Undo 三阶段。实验通过随机崩溃及恢复中再崩溃验证了机制的正确性。PostgreSQL 16 仅实现 WAL redo，并非完整 ARIES；SQLite WAL 则采用页帧序列模型。