单片机固件中如何在页写扇区擦除的NAND Flash上实现标准栈

核心适配NAND Flash的硬件约束：仅支持将存储位从1写为0，不可反向覆写；擦操作仅支持扇区/块粒度，因此必须彻底抛弃传统RAM栈「原地覆写弹出位」的逻辑，所有日常读写操作均不触发擦除，仅在空间回收阶段低优先级触发擦除流程。

一、无擦除的日常读写流程 #

栈单元基础设计 #

每个栈单元直接映射Flash的单个页（匹配硬件页写入粒度，无需跨页拆包），单页256字节的空间分配为：255字节存储栈数据，最后1字节为状态标识，状态标识设计完全适配NAND「仅1可写为0」的特性，多轮状态切换均无需擦除：

• 擦除空闲态：状态位为0xFF（Flash擦除后的默认全1值）
• 有效入栈态：对空闲页写入状态位0xFE（11111110），与原有0xFF按位与得到0xFE，完成标记
• 已弹出态：对已标记为有效态的页，再写入状态位0xFC（11111100），与原有0xFE按位与得到0xFC，完成弹出标记

核心操作逻辑 #

栈的元数据（栈顶地址、顺序写入游标）全部存储在单片机RAM中，启动时可通过扫描栈区全量重建，无需将元数据写入Flash反复擦写：

• 入栈（push）：检查顺序游标指向的页是否为空闲态0xFF，直接将栈数据与0xFE状态位一次写入该页，游标向后移动一个页单位，栈顶指针更新为该新页地址。全程不回溯覆盖之前的弹出页，完全不触发擦除操作
• 出栈（pop）：取出栈顶指针指向的页中的255字节栈数据，将该页的状态位改写为弹出态0xFC，栈顶指针向前移动到上一个标记为有效态0xFE的页地址。状态改写仅需一次页写入操作，无需擦除。
• 读栈顶（peek）：直接通过RAM中存储的栈顶指针读取对应页的栈数据，无写入操作。
• 空栈判断：栈顶指针与栈区起始地址重合时判定为空，与通用栈的判断逻辑完全一致。

掉电恢复机制 #

设备重启丢失RAM中的元数据时，从栈区起始地址逐页扫描状态位：

• 最后一个状态值为0xFE的页即为初始栈顶地址
• 第一个状态值为0xFF的页即为初始顺序写入游标

二、低优先级空间回收（解决Flash容量耗尽问题） #

日常入栈操作会持续顺序写入空闲页，当当前扇区的所有空闲页被完全使用后，再触发空间回收流程，全程不打断日常栈的读写操作：

• 首先申请一块已经完成扇区擦除的空白扇区作为新的栈写入空间
• 扫描原即将写满的扇区，将所有标记为有效态0xFE的栈帧，严格按照栈顺序逐页搬到新的空白扇区
• 搬移完成后，将原扇区标记为可擦除状态，在系统空闲时执行扇区擦除，恢复为全0xFF的空闲状态
• 优化擦除粒度：如果连续多个扇区的所有页都是弹出态0xFC或空闲态0xFF，直接触发块级擦除（一次擦除16个扇区），提升擦除效率

三、栈语义对齐说明 #

所有上层栈操作完全匹配通用栈（LIFO）的定义，与公开的栈入门实现行为完全一致：

• 严格遵循后进先出的弹出顺序
• 支持标准的push/pop/peek/is_empty操作接口
• 上层应用完全感知不到底层Flash的硬件特性，无需修改调用逻辑

内容的提问来源于stack exchange，提问作者Iman H