{"id":408,"date":"2008-11-18T15:20:28","date_gmt":"2008-11-18T15:20:28","guid":{"rendered":"https:\/\/driverentry.com.br\/en\/2008\/11\/18\/managing-driver-paging\/"},"modified":"2026-07-31T00:01:40","modified_gmt":"2026-07-31T00:01:40","slug":"managing-driver-paging","status":"publish","type":"post","link":"https:\/\/driverentry.com.br\/en\/2008\/11\/18\/managing-driver-paging\/","title":{"rendered":"Managing driver paging"},"content":{"rendered":"
\"\"<\/a><\/div>\n

After talking so much about virtual memory and paging, I received a question that coincidentally has everything to do with the subject of the last posts. “What are the pragma alloc_text<\/strong> that we see in the WDK examples for?”<\/span> (Thiago Cardoso, Recife-PE). This question must have already crossed the minds of many who have taken a look at the WDK examples. Since all the WDK examples I know use this pragma, it actually took a while for someone to ask about it. But anyway, let us get to what matters.<\/p>\n

As we have already seen<\/a>, memory pages can be either in the RAM chips or on disk. We have also already seen that threads that are at a high execution priority cannot access data that is pageable. But how would we know which data is pageable or not?<\/p>\n

Controlling Data Paging<\/h3>\n

When we allocate memory dynamically, we can choose whether the area of memory to be allocated will be pageable or not. The ExAllocatePool<\/a> function, and its sisters (ExAllocatePoolWithTag<\/a>, ExAllocatePoolWithQuota<\/a>, ExAllocatePoolWithQuotaTag<\/a> and ExAllocatePoolWithTagPriority<\/a>), receive a parameter of type POOL_TYPE that defines whether the memory to be allocated will be pageable or not.<\/p>\n

\n
typedef<\/span> enum<\/span> _POOL_TYPE {<\/pre>\n
  NonPagedPool,<\/pre>\n
  PagedPool,<\/pre>\n
  NonPagedPoolMustSucceed,<\/pre>\n
  DontUseThisType,<\/pre>\n
  NonPagedPoolCacheAligned,<\/pre>\n
  PagedPoolCacheAligned,<\/pre>\n
  NonPagedPoolCacheAlignedMustS<\/pre>\n
} POOL_TYPE;<\/pre>\n
 <\/pre>\n
 <\/pre>\n
PVOID <\/pre>\n
  ExAllocatePool(<\/pre>\n
    IN POOL_TYPE  PoolType,<\/pre>\n
    IN SIZE_T  NumberOfBytes<\/pre>\n
    );<\/pre>\n<\/div>\n
You will have to manage which allocations will be accessed at different execution priorities. For example: A certain linked list is consulted only by functions that run at low IRQL, so all of its elements can be allocated in pageable memory (PagedPool). On the other hand, a linked list that is consulted by functions that run at high IRQLs must have its elements allocated in non-pageable memory (NonPagedPool).<\/p>\n
Nice, Fernando, but not everything is allocated dynamically. What about static variables?<\/span><\/p>\n
By default, all global variables are non-pageable. This is bad if your driver has many global variables, which would require more non-pageable memory for your driver to be loaded, and, as has also already been seen, non-pageable memory should be conserved. Fortunately, we can define that a set of global variables can be pageable, as long as they are only accessed by threads at low IRQL.<\/p>\n
Within a module, be it an application, a DLL or even a driver, memory paging control is applied to the sections that compose them. For a group of variables to be defined in a pageable section, we can use the data_seg pragma<\/a>. However, not every compiler allows us to do this. To know whether the compiler we are using supports the use of this pragma, we count on the WDK headers, which define the ALLOC_DATA_PRAGMA<\/span> symbol when the compiler offers support for this feature. This, obviously, has become less significant, since the advisable thing is to use the WDK’s own compiler, but it does not hurt to anticipate that your code might be compiled by some other compiler. See the example below that defines both non-pageable and pageable variables.<\/p>\n
\n
\/\/-f--> These are variables defined in a non-pageable section<\/span><\/pre>\n
PDEVICE_OBJECT  g_pControlDeviceObj;<\/pre>\n
PDRIVER_OBJECT  g_pDriverObj;<\/pre>\n
 <\/pre>\n
\/\/-f--> Here I check whether the compiler I am using<\/span><\/pre>\n
\/\/      supports the use of #pragma data_seg.<\/span><\/pre>\n
\/\/      If so, I open the PAGEDATA section, which is a<\/span><\/pre>\n
\/\/      pageable data section.<\/span><\/pre>\n
#ifdef<\/span> ALLOC_DATA_PRAGMA<\/pre>\n
    #pragma<\/span> data_seg<\/span>(\"PAGEDATA\"<\/span>)<\/pre>\n
#endif<\/span><\/pre>\n
 <\/pre>\n
\/\/-f--> All the variables declared here will be pageable.<\/span><\/pre>\n
\/\/      So, only threads that run at a low<\/span><\/pre>\n
\/\/      priority level will be able to access these variables<\/span><\/pre>\n
 <\/pre>\n
\/\/-f--> We define a giant buffer. Good thing it is pageable<\/span><\/pre>\n
UCHAR   g_Buffer[100000<\/span>];<\/pre>\n
 <\/pre>\n
\/\/-f--> Here we mark the end of the pageable section. The variables<\/span><\/pre>\n
\/\/      defined after this #pragma will be non-pageable.<\/span><\/pre>\n
#ifdef<\/span> ALLOC_DATA_PRAGMA<\/pre>\n
    #pragma<\/span> data_seg<\/span>()<\/pre>\n
#endif<\/span><\/pre>\n<\/div>\n
Controlling Code Paging<\/h3>\n
Memory is memory, whether to store data or code. We can also control where the functions you write will be defined. So, we can put all the functions that execute at low priority in pageable code sections. Here we will use the pragma<\/span> that gave rise to Thiago’s question, the alloc_text pragma<\/a>.<\/p>\n
This pragma<\/span> has two limitations. The first of them is that the pragma<\/span> must be applied after the declaration of the function, but before its definition. The other is that this pragma<\/span> is not applicable to C++ functions, that is, class methods or functions with overloads will not have this luxury of being pageable. If you are like me, who prefers to use the strong typing of C++ in drivers, even if you only write simple functions, you must use the extern “C”<\/span> modifier in the function declarations.<\/p>\n
This pragma<\/span> is not necessarily supported by all compilers, and just like data_seg<\/span>, the WDK headers define the ALLOC_PRAGMA<\/span> symbol to signal that the compiler used supports this feature. Here is one more example.<\/p>\n
\n
\/\/-f--> Normally this declaration is made in a header<\/span><\/pre>\n
\/\/      file. Note that if we are compiling in C++,<\/span><\/pre>\n
\/\/      we will have to use extern \"C\" to be able to define the<\/span><\/pre>\n
\/\/      section where the functions declared here will be defined.<\/span><\/pre>\n
#ifdef<\/span> __cplusplus<\/pre>\n
extern<\/span> \"C\"<\/span><\/pre>\n
{<\/pre>\n
#endif<\/span><\/pre>\n
    \/\/-f--> Declares one<\/span><\/pre>\n
    ULONG SumOne(IN ULONG ulParam);<\/pre>\n
 <\/pre>\n
    \/\/-f--> Declares another<\/span><\/pre>\n
    ULONG SumTwo(IN ULONG ulParam);<\/pre>\n
 <\/pre>\n
#ifdef<\/span> __cplusplus<\/pre>\n
}<\/pre>\n
#endif<\/span><\/pre>\n
 <\/pre>\n
 <\/pre>\n
\/\/-f--> The following part goes in the same module where the function is<\/span><\/pre>\n
\/\/      defined, and must come before the function's definition.<\/span><\/pre>\n
\/\/      Note that here we test whether this pragma is supported, and<\/span><\/pre>\n
\/\/      if so, each function must receive its alloc_text pragma<\/span><\/pre>\n
#ifdef<\/span> ALLOC_PRAGMA<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGE, SumOne);<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGE, SumTwo);<\/pre>\n
#endif<\/span><\/pre>\n
 <\/pre>\n
 <\/pre>\n
\/\/-f--> After that, we can define the functions normally<\/span><\/pre>\n
 <\/pre>\n
ULONG SumOne(IN ULONG ulParam);<\/pre>\n
{<\/pre>\n
    \/\/-f--> SumOne function that was written by someone.<\/span><\/pre>\n
 <\/pre>\n
    \/\/-f--> This comment is only funny in English.<\/span><\/pre>\n
    \/\/<\/span><\/pre>\n
    \/\/      Function SumOne that has been written by someone<\/span><\/pre>\n
 <\/pre>\n
    PAGED_CODE();<\/pre>\n
 <\/pre>\n
    return<\/span> ulParam + 1<\/span>;<\/pre>\n
}<\/pre>\n
 <\/pre>\n
ULONG SumTwo(IN ULONG ulParam);<\/pre>\n
{<\/pre>\n
    \/\/-f--> Damn function. (which is not funny at all)<\/span><\/pre>\n
    PAGED_CODE();<\/pre>\n
 <\/pre>\n
    return<\/span> SumOne(SomeOne(ulParam));<\/pre>\n
}<\/pre>\n<\/div>\n
Fernando, what are these PAGED_CODE<\/a> macros that you used in the example for?<\/span><\/p>\n
Well, here comes the little story. An uncomfortable thing is that problems with memory paging will only occur when the page you are accessing is on disk. This means that you can write a driver with a problem, test it, and if by “luck” the pages are all in RAM during the test, you will not see any problem. One of the things that helps a lot is this PAGED_CODE macro. In Checked Build<\/span>, this macro is translated into a function that will check whether the current priority is low enough to execute pageable code. If it is not, a breakpoint<\/span> exception will be thrown. I hope you have the debugger attached to see that happen. Otherwise, do not worry, a lovely blue screen will appear and you will end up connecting the debugger sooner or later. When compiled in Free Build<\/span>, this macro is translated into nothing, avoiding a performance loss. In conclusion, this prevents you from calling a pageable function at high IRQL and everything working by “luck”.<\/p>\n
\n
...<\/pre>\n
 <\/pre>\n
#elif<\/span> DBG<\/pre>\n
 <\/pre>\n
#define<\/span> PAGED_CODE() {                                                       \\<\/pre>\n
    if<\/span> (KeGetCurrentIrql() > APC_LEVEL) {                                    \\<\/pre>\n
        KdPrint((\"EX: Pageable code called at IRQL %d\\n\"<\/span>, KeGetCurrentIrql())); \\<\/pre>\n
        NT_ASSERT(FALSE);                                                    \\<\/pre>\n
    }                                                                        \\<\/pre>\n
}<\/pre>\n
 <\/pre>\n
...<\/pre>\n
 <\/pre>\n
#else<\/span><\/pre>\n
 <\/pre>\n
#define<\/span> PAGED_CODE()        NOP_FUNCTION;<\/pre>\n
 <\/pre>\n
...<\/pre>\n
 <\/pre>\n
#endif<\/span><\/pre>\n<\/div>\n
An excellent way to catch code paging problems is to use the Driver Verifier<\/a> with the Force IRQL Checking<\/span> option enabled. This option, besides checking whether you are calling the API functions at the correct priorities, also forces the paging of everything that is pageable in your driver every time the IRQL rises to DISPATCH_LEVEL or higher. This puts an end to that “luck” of using a pageable resource at high IRQL when the resource is already in RAM.<\/p>\n
Discardable Section<\/h3>\n
Besides the PAGE<\/span> pageable code section we saw, another section is also seen very frequently in the WDK examples. The INIT<\/span> section is discarded when the call to your driver’s DriverEntry<\/span> function returns to the system, and, if it is the case for your driver, after any reinitialization function has finished. If you do not know what a reinitialization function is, then take a pass through this post<\/a>. So, if you have functions that are only used during the initialization of your driver (which in this case means: functions called by DriverEntry<\/span>, or functions called by functions that were called by DriverEntry<\/span>, or even functions called by functions that were called by functions… Ah! I think you got it), you can use the same procedure to define them in the INIT section in the same way as was done earlier. But it does not hurt to leave an example.<\/p>\n
\n
\/\/-f--> The functions declared here will be removed from RAM when<\/span><\/pre>\n
\/\/      the call to the DriverEntry function returns. Do not try to call them<\/span><\/pre>\n
\/\/      after that, because they have already gone to the heaven of<\/span><\/pre>\n
\/\/      initialization functions.<\/span><\/pre>\n
 <\/pre>\n
#ifdef<\/span> ALLOC_PRAGMA<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(INIT, DriverEntry);<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(INIT, FunctionCalledByDriverEntry);<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(INIT, AnotherFunctionCalledByDriverEntry);<\/pre>\n
 <\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGE, SumOne);<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGE, SumTwo);<\/pre>\n
#endif<\/span><\/pre>\n<\/div>\n
This is especially useful in Legacy Drivers<\/span>, which perform many steps during initialization. Legacy drivers, besides searching for the hardware they are going to control, also need to do the association of the available resources (ports, interrupts, DMA channels, etc.), and this ends up consuming a significant amount of code. On the other hand, WDM<\/span> drivers receive everything all chewed up from the Plug-and-Play Manager<\/span>. The hardware was detected and the resource association was already negotiated. A beautiful thing of God!<\/p>\n
Pageable or non-pageable, that is the question<\/h3>\n
Supposing that you have many functions that run at high IRQL, and that therefore must be in non-pageable memory, this would cause a large amount of non-pageable memory to be used to keep such functions, even if nobody is using the driver. We can also define our own sections and thus make them pageable or non-pageable when it is convenient for us. This would allow all those non-pageable functions to be pageable while nobody obtains a reference to our driver. This way, when we receive an IRP_MJ_CREATE<\/a> or when we program the hardware to fire interrupts, we can tell the system that now we will need to make the section where such functions were defined non-pageable.<\/p>\n
First of all, we will have to create our own custom sections, and we will do this using the alloc_text pragma<\/span> to define sections that must have their name in the format PAGExxxx, where xxxx is a unique name in your driver. See the little example, just to ease the conscience.<\/p>\n
\n
\/\/-f--> The functions declared here will be defined in a section<\/span><\/pre>\n
\/\/      that can be non-pageable when it is convenient for us.<\/span><\/pre>\n
 <\/pre>\n
#ifdef<\/span> ALLOC_PRAGMA<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGEABCD, FunctionOne);<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGEABCD, FunctionTwo);<\/pre>\n
#endif<\/span><\/pre>\n
 <\/pre>\n
 <\/pre>\n
\/\/-f--> The functions declared here will be defined in another<\/span><\/pre>\n
\/\/      section that can be non-pageable. This way we can define<\/span><\/pre>\n
\/\/      different groups of functions in different sections.<\/span><\/pre>\n
 <\/pre>\n
#ifdef<\/span> ALLOC_PRAGMA<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGE1234, FunctionThree);<\/pre>\n
    #pragma<\/span> alloc_text<\/span>(PAGE1234, FunctionFour);<\/pre>\n
#endif<\/span><\/pre>\n<\/div>\n
Now that we have defined which functions will be defined in that section, we can make it non-pageable only when such functions are used. For that we must use the MmLockPagableCodeSection<\/a> function.<\/p>\n
\n
PVOID <\/pre>\n
  MmLockPagableCodeSection(<\/pre>\n
    IN PVOID  AddressWithinSection<\/pre>\n
    );<\/pre>\n<\/div>\n
To identify which section will be marked as non-pageable, we will have to pass an address that is inside the section. A name of a function defined in the section already solves the problem, but remember that all the functions inside the same section will be marked as non-pageable.<\/p>\n
The MmLockPagableCodeSection<\/span> function returns to us an opaque address that can be used as a parameter for the call to the MmUnlockPagableImageSection<\/a> function, which marks the section as pageable again. This function is normally called before the driver is unloaded. Following the line of our example, we could call this function upon receiving an IRP_MJ_CLOSE<\/a>. The same address returned by MmLockPagableCodeSection<\/span> can be used as a parameter for the calls to the MmLockPagableSectionByHandle<\/a> function to make a section non-pageable again, which is much faster than the call to MmLockPagableCodeSection<\/span>. So, we must call MmLockPagableCodeSection<\/span> at least once to obtain the opaque pointer, and after that, we can call MmLockPagableSectionByHandle<\/span> and MmUnlockPagableImageSection<\/span>.<\/p>\n
\n
VOID <\/pre>\n
  MmLockPagableSectionByHandle(<\/pre>\n
    IN PVOID  ImageSectionHandle<\/pre>\n
    );<\/pre>\n
 <\/pre>\n
VOID <\/pre>\n
  MmUnlockPagableImageSection(<\/pre>\n
    IN PVOID  ImageSectionHandle<\/pre>\n
    );<\/pre>\n<\/div>\n
The same can be done in custom sections that define data, but we must use the MmLockPagableDataSection<\/a> function to obtain the opaque pointer that identifies the section.<\/p>\n
Can my function be pageable?<\/h3>\n
Fernando, if my function is called at PASSIVE_LEVEL, then can it be pageable?<\/span><\/p>\n
It is not quite like that. Your function, even being called at PASSIVE_LEVEL, may contain intervals of code that need to be non-pageable. If you call functions that raise the IRQL, such as KeAcquireSpinLock<\/a>, your function cannot be defined in a pageable section.<\/p>\n
But Fernando, follow my reasoning. If the function was called and is executing at the moment, is it not obvious that the page it is contained in is in RAM?<\/span><\/p>\n
You may not believe it, but a function is composed of a chain of bytes that may be on page boundaries. This means that the beginning of your function may be at the end of a page, which in fact was paged to RAM when the call was made, but we do not know where a new page may begin. This new page may be on disk, and if it is accessed at high IRQL, the paging will cause a blue screen. Look at the code below to get an idea of what I am talking about, and do not forget to read the comments.<\/p>\n
\n
\/****<\/span><\/pre>\n
***     FunctionCalledAtPassiveLevel<\/span><\/pre>\n
**<\/span><\/pre>\n
**      Routine that is called at PASSIVE_LEVEL,<\/span><\/pre>\n
**      but has an IRQL elevation during the call.<\/span><\/pre>\n
*\/<\/span><\/pre>\n
 <\/pre>\n
PLIST_ENTRY<\/pre>\n
FunctionCalledAtPassiveLevel(VOID)<\/pre>\n
{<\/pre>\n
    KIRQL       Irql;<\/pre>\n
    PLIST_ENTRY pEntry = NULL;<\/pre>\n
 <\/pre>\n
    PAGED_CODE();<\/pre>\n
 <\/pre>\n
    \/\/-f--> Here our IRQL goes sky-high; if the code that<\/span><\/pre>\n
    \/\/      comes after this call is on the next memory page<\/span><\/pre>\n
    \/\/      that happens to be on disk, then (BOOM !!!)<\/span><\/pre>\n
    KeAquireSpinLock(&g_SpinLock, &Irql);<\/pre>\n
 <\/pre>\n
 <\/pre>\n
    \/\/-f-->    -------======= Page boundary =======-------<\/span><\/pre>\n
 <\/pre>\n
 <\/pre>\n
    \/\/-f--> The code here runs at DISPATCH_LEVEL, which<\/span><\/pre>\n
    \/\/      prevents this function from being defined in a<\/span><\/pre>\n
    \/\/      pageable section.<\/span><\/pre>\n
 <\/pre>\n
    if<\/span> (!IsListEmpty(&g_NonPagedList))<\/pre>\n
    {<\/pre>\n
        pEntry = RemoveHeadList(&g_NonPagedList);<\/pre>\n
    }<\/pre>\n
 <\/pre>\n
    \/\/-f--> It is fine for you to access only non-pageable data,<\/span><\/pre>\n
    \/\/      but the code you use for such access also needs<\/span><\/pre>\n
    \/\/      to be in non-pageable memory. After all, this code is<\/span><\/pre>\n
    \/\/      running at high IRQL and retrieving a page of<\/span><\/pre>\n
    \/\/      code from disk would result in horrible things.<\/span><\/pre>\n
 <\/pre>\n
    \/\/-f--> We are back at PASSIVE_LEVEL<\/span><\/pre>\n
    KeReleaseSpinLock(Irql);<\/pre>\n
 <\/pre>\n
    return<\/span> pEntry;<\/pre>\n
}<\/pre>\n<\/div>\n
If you have functions that are large, but that contain occasional intervals with IRQL elevation, then separate such intervals into isolated functions that can be defined in non-pageable sections, thus allowing you to define your large and complex function in a pageable section.<\/p>\n
Phew! I could still write a few more comments on this subject, but if I am already tired of writing, I can imagine how you are. The subject is dealt with in full detail in the reference<\/a>. But if you have any doubt about it, just send me an e-mail and hope that I know how to answer.<\/p>\n
See you!<\/p>\n","protected":false},"excerpt":{"rendered":"
After talking so much about virtual memory and paging, I received a question that coincidentally has everything to do with the subject of the last posts. “What are the pragma alloc_text that we see in the WDK examples for?” (Thiago Cardoso, Recife-PE). This question must have already crossed the minds of many who have taken […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"pagelayer_contact_templates":[],"_pagelayer_content":"","footnotes":""},"categories":[1],"tags":[],"class_list":["post-408","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/posts\/408","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/comments?post=408"}],"version-history":[{"count":1,"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/posts\/408\/revisions"}],"predecessor-version":[{"id":409,"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/posts\/408\/revisions\/409"}],"wp:attachment":[{"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/media?parent=408"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/categories?post=408"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/driverentry.com.br\/en\/wp-json\/wp\/v2\/tags?post=408"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}