编译器设计（第2版） 第九章全解析

支配节点集是指每一条路径中必须经过的节点的集合。它是指在控制流图中包括自身的节点集合。

严格支配集是指支配节点集去除自身后的集合。也就是说严格支配集是支配节点集除去自身的所有节点构成的集合。

支配边界集是指其中一个节点n支配另一个节点m的前驱节点集合中，n并不严格支配m的节点m的集合。换句话说，支配边界集是n的支配节点集中包含的除了n自身以外的节点。

直接支配者是指支配节点集中的倒数第二个节点，也就是说，直接支配者是支配节点集中除了自身以外的最后一个节点。

静态单赋值算法是一种将变量赋值串行化的算法，它通过在程序中插入φ函数来保证每个变量在程序的任何一点上都只有一个赋值点。这个算法需要依赖前面提到的概念，即支配节点集、严格支配集、支配边界集等。

静态单赋值形式是一种包括局部值编号（Local Value Numbering，缩写为LVN）等其他优化的基础。它通过给程序中的变量赋予唯一的值编号来提高代码的优化程度和可读性，同时减少了数据依赖，方便程序的并行化处理。

总之，以上提到的概念和算法都是与代码优化和程序静态分析相关的。静态单赋值算法和静态单赋值形式在编译器优化中扮演着非常重要的角色，对于提高程序的执行效率和减少资源的消耗具有很大的帮助。