Bufferization 后内存释放由所有权分析驱动，启用 one-shot-bufferize 和新版 buffer-deallocation 流水线，仅对 owned memref 插入 dealloc；to_buffer 生成的 memref 不归 MLIR 管理，需 host 显式释放。

Bufferization 后的内存释放由所有权分析驱动，不是手动调用 free 或 dealloc

MLIR 的 Bufferization 不生成裸指针或原始 malloc/cudaMalloc 调用，而是通过 memref 语义建模内存生命周期。释放行为完全由 pass 流水线中启用的「所有权感知（ownership-aware）」释放机制决定，而非用户插入 memref.dealloc —— 那样反而容易破坏别名关系、引发 double-free 或 use-after-free。

必须启用 buffer-deallocation 流水线，且依赖 One-Shot Bufferize 的分析结果

旧版 buffer-deallocation pass 已被弃用，它仅做简单后序扫描，无法处理跨 block 别名、DPS 操作复用、或 tensor 返回值与 outs operand 共享 buffer 的情况，极易漏掉释放或重复释放。

• 新流程要求先运行 one-shot-bufferize（带完整 AnalysisState），它会标记每个 memref 是否为「owned」、「borrowed」或「view」
• 随后必须接 buffer-deallocation（新版），该 pass 仅对 owned memref 插入 memref.dealloc，且跳过所有 view 和已由 runtime 管理的 buffer（如来自 bufferization.to_buffer 的）
• 若 IR 中含函数调用边界，需额外启用 func.func 的 bufferization 支持（如 --bufferize-function-boundaries），否则函数参数/返回值的 ownership 无法正确传播

bufferization.to_buffer 返回的 buffer 不归 MLIR 管理，必须由外部 runtime 显式释放

当你用 bufferization.to_buffer %t 将 tensor 转为 memref，这个 memref 的 lifetime 完全脱离 MLIR 的 ownership 分析链。常见错误是期望 buffer-deallocation 自动处理它 —— 实际上它会被标记为 borrowed，pass 直接跳过。

• 典型场景：CUDA kernel 输入来自 cudaMalloc，你用 bufferization.to_buffer 包装后传入 linalg op；此时 MLIR 不插 memref.dealloc，释放责任仍在 host 侧
• 若需 MLIR 管理，应避免 to_buffer，改用纯 tensor IR + DPS ops，让 one-shot-bufferize 在分析阶段将输出 alias 到输入 buffer（即 inplace）
• 混合场景下，可用 memref.assume_alignment 或 memref.extract_aligned_pointer 显式导出指针，但必须同步在 host 侧配对释放

GPU 场景下 page migration 不触发自动释放，memref.dealloc 只作用于逻辑地址空间

即使 buffer-deallocation 正确插入了 memref.dealloc，它也只通知 MLIR 运行时「该 memref 句柄作废」，不等价于调用 cudaFree。实际物理内存是否回收，取决于底层 runtime 如何映射 memref 到设备内存。

• 若 memref 来自 gpu.alloc，则 memref.dealloc 会被 lowering 到 gpu.free
• 若 memref 是 host 分配后用 bufferization.to_buffer 包装的，则 memref.dealloc 无实际 effect，必须由 host 代码调用 cudaFree 或 free
• Unified Memory（cudaMallocManaged）下，memref.dealloc 仍只释放逻辑引用，page migration 状态由 CUDA 驱动按访问模式自动管理，与 MLIR 无关

真正容易被忽略的是：ownership 分析只在 SSA 链完整、无 external side-effect（如未建模的 runtime call）时才可靠。一旦 IR 中混入未声明 memory effect 的 external 函数，one-shot-bufferize 就可能误判 buffer 可复用，导致静默覆盖 —— 这比内存泄漏更危险。