死锁图 将死锁图形文件转换为Graphviz DOT格式或半烘焙的SVG表示的实用程序。