堆快照里对象很多，谁才是真正泄漏源：HarmonyOS 7 Dominator Tree 怎么找到支配链

不才难以繁此生

135人浏览 · 2026-10-11 02:38:26

不才难以繁此生 · 2026-10-11 02:38:26 发布

堆快照里对象很多，谁才是真正泄漏源：HarmonyOS 7 Dominator Tree 怎么找到支配链

DevEco Studio 26.0 Release 的 ArkTS Snapshot 泳道新增一键查看 Dominator Tree：从 GC Roots 到目标实例展示支配链。快照里“大对象很多”只说明占用现状，真正的泄漏源往往是一个很小的管理对象，它支配着整棵无法回收的对象树。若只按 shallow size 排序，容易删掉正常图片缓存，却留下持有它们的监听器或页面注册表。

GC Roots 到泄漏对象的支配链与最短路径

从错误画面反推状态来源

进入页面前触发 GC 并保存基线快照；连续进入退出页面 20 次，再触发 GC 保存第二份。按 constructor、object ID 和数量增长找到目标实例，记录 shallowSize、retainedSize、dominatorChain、shortestPath、sourcePath 和 lifecycleOwner。修复引用后重复同样动作，要求数量和 retained size 回到稳定区间。

不要先在源码里猜。先圈定错误组件、父子层级、状态变量和受影响组件，再把多次操作后的差异逐层映射回状态所有者。

案例一：页面注册表支配大量图片模型

图片实例 shallow size 大，但真正支配者是未注销的 pageRegistry。页面销毁时解除注册，快照对比应显示整棵对象树下降。

修复后用原始条件再次执行完整任务，并保留修改前后同一节点的可见性、可操作性和状态对照。

案例二：监听器数组与缓存各有一条引用

只清缓存后 retained size 仍高。Shortest Paths 显示 listener closure 仍捕获页面对象；解除监听后再次 GC，目标 object ID 消失。

第二个案例选择不同形态或不同状态，用来证明方案不是对单一截图的局部修补。

取证路径

shallow size 只表示对象自身

一个几十字节的 Map 可能通过引用保留数十 MB。排序时同时看实例增长和 retained size，不能把最大 shallow object 自动判为根因。

这里必须同时保存输入条件、设备或窗口形态、触发动作和最终可观察状态。工具报告用于缩小范围，任务是否可完成仍由同一条用户路径的读回结果决定。

Dominator 表示释放收益边界

若删除支配者引用，受它支配且无其他可达路径的对象才能释放。沿链向 GC Roots 走，找到最接近业务生命周期且可安全断开的节点。

Shortest Paths 解释还有哪些引用路径

打断一条路径后对象仍不释放，说明存在并行引用。导出最短路径并结合未混淆源码位置，验证监听、闭包、缓存和全局容器。

工程侧模型

type HeapNode={id:string;shallow:number;retained:number;dominator?:string}
function priority(n:HeapNode){return n.retained/Math.max(1,n.shallow)}

模型只表达稳定的决策边界，界面组件、窗口事件和工具结果通过适配器接入，避免把设备差异散落在每个页面。

可独立执行的状态断言

function chain(id,nodes){const by=new Map(nodes.map(x=>[x.id,x]));const out=[];let cur=by.get(id);while(cur){out.push(cur.id);cur=cur.dom?by.get(cur.dom):undefined}return out}
const r=chain('image',[{id:'root'},{id:'registry',dom:'root'},{id:'image',dom:'registry'}]);if(r.join('>')!=='image>registry>root')throw new Error('支配链错误');

这些断言验证纯状态、几何或边界计算，不代表 API 26 工程已经编译，也不代表真机、模拟器特定镜像或应用市场审核已经通过。

方案对比

方式	优点	风险
按对象大小删除缓存	直观	容易误伤正常缓存
只看对象数量增长	能发现异常类型	不知道谁持有
增长对比 + Dominator Tree + Shortest Paths	能找到可断开的引用	需要可重复生命周期

我的选择：采用第三种，先证明引用链，再修改生命周期所有权。

封装与复用

封装 HeapRegressionCase，保存动作脚本、快照身份、增长类型、对象 ID、支配链、最短路径和修复后 retained size，成为可复跑的内存回归用例。

复用层输出决策和证据，不强行统一所有页面视觉。每个页面仍可保留自身信息层级，但必须满足相同的任务可达性与状态连续标准。

验收清单

基线和问题快照使用同一动作。
GC 后再比较稳定对象。
同时看 shallow 与 retained size。
沿支配链找到业务所有者。
修复后复跑 20 次生命周期。

验证边界

本文依据当前华为官方文档整理能力与约束，纯状态模型已在本机执行。当前本机 HarmonyOS SDK 为 API 24，且没有连接 HDC 设备，因此 API 26 编译、目标模拟器镜像行为、折叠真机连续性和平台审核结果仍属于待验证项。完成目标环境验证后，应把版本、设备、构建身份和读回结果补入证据包。