城城的笔记
这篇文章简要介绍了静态单赋值(Static Single Assignment (SSA))的作用,以及它的计算方法。并给出了最小化SSA算法实现。
格论是信息流分析的基础。在编译优化领域,格论是数据流分析的基础,许多分析技术都建立在格论之上。这篇文章首先简单的回顾了偏序,哈斯图,拓扑排序等基础。然后开始介绍格的概念,并讨论格论在数据流分析中的作用。
常量格是格论在编译优化中的应用之一,同时也是常量传播的基础,常量格的单调性使得常量传播分析的收敛性得到保证。
这篇文章主要是对 Kam, J.B. and Jeffrey D. Ullman. Monotone Data Flow Analysis Frameworks, Tech. Rept. No. 169, Dept, of Elec. Engg., Princeton Univ., Princeton, NJ, 1975.
的原论文进行了一些补充,在较难以理解的地方添加了注解。
数据流分析指的是一组用来获取有关数据如何沿着程序执行路径流动的相关信息的技术。
到达定值是最常见和有用的数据流模式之一。只要知道当控制到达程序中每个点的时候,每个变量 x 可能在程序中的哪些地方被定值,我们就可以确定很多有关 x 的性质。
这篇文章简要介绍了现代计算机的内存组织结构,并对PCIe的一些技术细节进行了讲解。
基于WRK(Windows Research Kernel)源代码讲解,它们很可能(或者一定)与当前版本的Windows系统有所不同。仅作为参考。
基于WRK对ntoskrnl的对象管理机制的简单介绍
基于WRK对win32编程中的句柄机制的分析。windows的对象管理机制使句柄的机制在win32编程中显得极为重要。