本文所讲内容主要源自Windows DDK文档。
一、内存页面交换
和用户模式程序不同,内存页面交换对内核模式的代码不是透明的,而是需要一定程度的主动管理,要保证在代码执行过程中不会需要载入新的页面。编译器有相关的扩展#pragma指令来帮助C代码显式控制生成的二进制代码布局,以便相关的代码被放在一起,被调用时只需载入最少的页面。
而对C++而言,还存在一些编译器自动生成的代码块和数据,没有办法主动控制它们。比如编译器生成的缺省构造函数、析构函数、类型转换函数、赋值运算符重载;用于支持多重继承的adjustor thunk(没听说过?读 这个),用于实现虚函数调用的virtual function thunk,用于管理基类和多态的virtual function table thunk;自动实例化(非显式实例化)的泛型代码;还有虚表本身。
对于这些问题,大多可以通过避免使用这些C++语言特性来解决。
此外,内联函数本身,也可能导致问题。因为,它有可能没被内联,而是生成了一个普通的函数,而且取决于被调用的位置,它可能存在于多个代码段。这个可以用宏或者编译器扩展的__forceinline来替代。
二、堆分配
对普通应用而言,通常我们只用一个动态内存分配的堆。而在
一、内存页面交换
和用户模式程序不同,内存页面交换对内核模式的代码不是透明的,而是需要一定程度的主动管理,要保证在代码执行过程中不会需要载入新的页面。编译器有相关的扩展#pragma指令来帮助C代码显式控制生成的二进制代码布局,以便相关的代码被放在一起,被调用时只需载入最少的页面。
而对C++而言,还存在一些编译器自动生成的代码块和数据,没有办法主动控制它们。比如编译器生成的缺省构造函数、析构函数、类型转换函数、赋值运算符重载;用于支持多重继承的adjustor thunk(没听说过?读 这个),用于实现虚函数调用的virtual function thunk,用于管理基类和多态的virtual function table thunk;自动实例化(非显式实例化)的泛型代码;还有虚表本身。
对于这些问题,大多可以通过避免使用这些C++语言特性来解决。
此外,内联函数本身,也可能导致问题。因为,它有可能没被内联,而是生成了一个普通的函数,而且取决于被调用的位置,它可能存在于多个代码段。这个可以用宏或者编译器扩展的__forceinline来替代。
二、堆分配
对普通应用而言,通常我们只用一个动态内存分配的堆。而在