KLayout DRC功能中随机段错误问题的分析与修复-CSDN博客

本文链接：https://blog.csdn.net/gitblog_07035/article/details/148489917

KLayout DRC功能中随机段错误问题的分析与修复

klayout KLayout Main Sources 项目地址: https://gitcode.com/gh_mirrors/kl/klayout

问题背景

KLayout是一款广泛应用于集成电路设计领域的版图查看和验证工具。近期在0.29.7和0.29.8版本中，用户在使用iHP工艺设计规则检查(DRC)功能时，报告了随机出现的段错误(segfault)问题。这一问题特别在执行特定设计规则检查(pSD.d规则)时出现，表现为随机崩溃或错误报告不存在的DRC违规。

问题现象

多位用户在不同环境下重现了这一问题：

在Nix构建环境中随机出现段错误
在macOS(Homebrew构建)上出现核心转储
在Ubuntu 24.04官方包中报告错误的DRC结果

问题最常出现在处理特定DRC规则(pSD.d)时，表现为：

随机段错误导致程序崩溃
错误报告不存在的DRC违规
问题重现率不稳定，有时连续多次运行正常，有时频繁出错

技术分析

通过Valgrind和AddressSanitizer(ASAN)工具分析，发现问题根源在于内存访问冲突。具体表现为堆释放后使用(use-after-free)错误，发生在以下调用链中：

在迭代器操作期间(db::DeepEdgePairsIterator::increment)
涉及实例四叉树(db::unstable_box_tree)的重计算
与Ruby垃圾收集器(GC)交互时出现

根本原因是Ruby垃圾收集器在DRC错误形状迭代期间清理了临时层，而这些临时层与错误形状共享相同的层次结构存储。当布局更新与形状迭代同时发生时，导致内存访问冲突。

解决方案

开发团队提出了两种解决方案：

临时解决方案（Ruby层面）

在DRC引擎的关键函数中禁用Ruby垃圾收集器，防止在迭代期间进行内存清理：

class DRC::DRCEngine
  def find_intersecting_edges_errors(dbu_value,
                                   error_edge_pairs_90,
                                   error_edge_pairs_180,
                                   inverse_error_edge_pairs_90 = nil,
                                   inverse_error_edge_pairs_180 = nil,
                                   options = {})
    begin
      gc_was_disabled = GC.disable
      # 原函数体
    ensure
      gc_was_disabled || GC.enable
    end
  end
end

这一修改通过包装关键函数，确保在形状迭代期间GC被禁用，有效解决了随机崩溃问题。