Wasmtime 实例销毁后，谁还持有内存：一张 Rust owner 账本

“drop了实例，RSS怎么没回来？”这个问题里至少混着三件事：句柄是否消失、实例资源是否归还、操作系统是否回收物理页。我先查owner，不从一张RSS截图判断泄漏。

2026-10-20发布的Wasmtime 50.0.0说明新增了Engine::release_idle_pool_memory，用于释放池中空闲槽位保留的驻留内存。这正说明“槽位空闲”和“全部驻留页已归还”需要分别观察。本文没有调用或实测该API。

账本不是一条析构箭头

官方快速实例化文档解释了池分配器：实例资源归还后可以被池复用。该文档是滚动版本，示例不能不经核对便当成50.0.0已验证代码。

Instance是Store关联的运行时句柄，不能按“一个普通Box拥有全部实例字节”来理解。宿主另外保留的Arc，则可能继续持有一份与Wasm线性内存完全不同的缓冲；这不表示它让已销毁的Store复活。

用纯Rust演示宿主引用

use std::sync::Arc;
struct HostBuffer(Vec<u8>);
struct StoreLike { _host: Arc<HostBuffer> }
fn main() {
    let engine_pool = Arc::new(vec![0u8; 32]);
    let pool_weak = Arc::downgrade(&engine_pool);
    let host = Arc::new(HostBuffer(vec![0u8; 16]));
    let host_weak = Arc::downgrade(&host);
    let store = StoreLike { _host: host.clone() };
    assert_eq!(Arc::strong_count(&host),2);
    drop(store);
    assert_eq!(Arc::strong_count(&host),1);
    assert_eq!(host.0.len(),16);
    assert!(pool_weak.upgrade().is_some());
    drop(host);
    assert!(host_weak.upgrade().is_none());
    drop(engine_pool);
    assert!(pool_weak.upgrade().is_none());
    println!("owner ledger passed; StoreLike is not Wasmtime");
}

保存为main.rs，rustc 1.98.0编译运行，引用计数与Weak观察断言通过。StoreLike只是教学结构；它证明外部Arc能延长宿主对象生命期，没有验证Wasmtime真实Store或池的实现。

怎样定位才不会误报

真实程序先固定运行时版本与分配策略，记录Engine、Store和宿主对象数量，再记录活跃与空闲池槽位。RSS、虚拟地址空间和映射文件各用对应指标，不能拿一种数代替全部。

若所有Store已销毁而RSS仍高，可能是池保留页、宿主引用、通用分配器缓存，或真正泄漏，需要逐层排除。只有保留对象的增长有证据，才给它贴泄漏标签。

本轮没有安装Wasmtime或运行内存曲线。已完成的是本地owner反例和发布说明核对。关于50.0.0新增方法的具体签名、调用限制与效果，集成时必须对固定版文档再验，不能照抄开发版接口。