转载整理自程序依赖相关知识点(PDG,SDG).供自己学习1. 预备知识:可达性的定义存在变量v定义d：对变量v的赋值语句称为变量v的定义使用：在某个表达式中引用变量v的值kill:变量v被再次赋值时，上一次赋值对变量v的定义d就被kill掉了d可以到达p:定义d到点p之间存在一条路径，且在路径中定义d没有被kill掉下图为转载文章中截的图d可以通过path2到达u但是不能通过path1到达u，因

转载整理自程序依赖相关知识点(PDG,SDG).供自己学习1. 预备知识:可达性的定义存在变量v定义d：对变量v的赋值语句称为变量v的定义使用：在某个表达式中引用变量v的值kill:变量v被再次赋值时，上一次赋值对变量v的定义d就被kill掉了d可以到达p:定义d到点p之间存在一条路径，且在路径中定义d没有被kill掉下图为转载文章中截的图d可以通过path2到达u但是不能通过path1到达u，因

【Linux Ubuntu】解决无法获得锁 /var/lib/dpkg/lock-frontend问题：1.运行apt-get update命令2.运行其他命令如sudo install xxx出现：E: 无法获得锁 /var/lib/dpkg/lock-frontend。锁正由进程 xxxx（unattended-upgr）持有。N: 请注意，直接移除锁文件不一定是合适的解决方案，且可能损坏您的