为何相同输入下Graphviz/Dot生成的二进制文件不一致？

我通过输入文件architecture.graph.txt生成PNG图形文件，连续执行命令dot.exe -Tpng architecture.graph.txt -o architecture.graph.1.png和dot.exe -Tpng architecture.graph.txt -o architecture.graph.2.png后，得到的两个二进制文件存在差异，文件大小分别为19435字节和19444字节，但图像视觉上一致。该现象偶发，无固定复现规律。此流程属于回归测试环节，文件差异导致测试失败。同时生成的SVG文件也存在差异，表现为clust1、clust2、clust3的创建顺序及部分尺寸/位置变化。我使用的是Windows系统下的Graphviz 2.43版本，请问该工具是否存在随机行为？为何文件会出现差异？

Graphviz的dot工具确实存在非确定性行为，这就是你遇到文件差异的核心原因，具体细节如下：

• 布局算法的随机性：dot的布局依赖于图中节点、子图的遍历顺序，当图中存在多个优先级相同的元素（比如未明确指定顺序的子图clust1、clust2、clust3）时，工具会依赖底层哈希表或容器的遍历顺序——这类容器的遍历顺序可能因内存分配、系统调度等因素在不同执行过程中发生变化，最终导致布局计算出的坐标、尺寸出现细微差异，反映到SVG（元素顺序、属性数值）和PNG文件中。
• 旧版本特性：你使用的Graphviz 2.43是2019年发布的旧版本，这个版本的布局算法中，子图处理、节点排序的非确定性问题尚未完全修复。后续版本（如2.44及以上）针对这类问题做了优化，新增了-Gseed参数来固定随机种子，强制布局结果一致。
• PNG文件的额外差异：即使布局视觉结果一致，PNG文件的元数据（如创建时间）或压缩过程的细微差别也会导致二进制文件不同——dot调用的PNG压缩库在不同执行时，可能因压缩策略的微小调整生成不同的二进制流，但解码后的像素数据完全一致。

针对回归测试的解决方案：

• 升级到Graphviz较新版本，使用-Gseed=<固定数值>参数（例如dot.exe -Tpng -Gseed=123 architecture.graph.txt -o output.png），固定布局的随机种子，确保每次生成的文件完全一致。
• 如果无法升级版本，可以在回归测试中跳过二进制文件的严格比对，改为比对图像的视觉哈希（如计算dHash），或者对SVG文件进行标准化处理（比如按元素ID排序后再比对）。

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