#pragma alloc_text(PAGE) 代码未页对齐

Question

我面临着 WinXP 32 位 DDK（一个相当旧的版本：3590）的（可能）问题。我的驱动程序包含一些未初始化的静态变量（我想它们应该分配给 .bss 部分）和可分页代码部分中的一些函数（用 #pragma alloc_page(PAGE, func) 标记）。可分页代码收集在单独的目标文件中。我发现链接器似乎将静态数据和可分页代码分配到内核地址空间中的同一页（即变量位于 0xEFFCB0A0，函数位于 0xEFFCB600 - 使用 Windbg 进行验证）。静态变量在中断环境中使用，因此它们的页面必须在内存中锁定。但如果同一页面包含可交换代码，恐怕变量会突然消失。链接器的映射正确报告可分页代码位于不同的部分（“PAGE”）中，但偏移量（“Rva+Base”）位于包含静态信息的页面的中间。

如何强制链接器/加载器将单独的页面分配给可分页代码？是否有一些“#pragma”来强制部分对齐属性？我做错了什么吗？

PS：驱动程序加载器肯定足够聪明，可以将包含变量和代码的页面从分页池中取出，但由于该页面包含变量，因此它必须是可写的。我希望可执行代码位于只读页面中。内核模式下错误的数组访问仍然很难调试...

PPS：在我的函数之前和之后添加了 4096 个“nop”...好吧，它有效...没有什么更好的建议吗？

Answer 1

将全局变量放在自己的数据段中：

#pragma data_seg("NONPAGE")
// declare your globals here
#pragma data_seg()

来源： data_seg 上的 MSDN 链接

默认情况下，您的部分将使用读/写标志创建，而不是分页标志。

您可以指定其他部分选项：

#pragma comment(linker, "/section:NONPAGE,ERW")

来源：/SECTION 上的 MSDN 链接

或您可以将链接器选项放在 SOURCES 文件中：

LINKER_FLAGS = $(LINKER_FLAGS) /SECTION:NONPAGE,ERW

注意：如果您正在构建库，请改用 LIBRARIAN_FLAGS