-/* $Id: npool.c,v 1.50 2001/12/06 00:54:54 dwelch Exp $
+/* $Id$
*
- * COPYRIGHT: See COPYING in the top level directory
- * PROJECT: ReactOS kernel
- * FILE: ntoskrnl/mm/npool.c
- * PURPOSE: Implements the kernel memory pool
- * PROGRAMMER: David Welch (welch@cwcom.net)
- * UPDATE HISTORY:
- * 27/05/98: Created
- * 10/06/98: Bug fixes by Iwan Fatahi (i_fatahi@hotmail.com)
- * in take_block (if current bigger than required)
- * in remove_from_used_list
- * in ExFreePool
- * 23/08/98: Fixes from Robert Bergkvist (fragdance@hotmail.com)
+ * COPYRIGHT: See COPYING in the top level directory
+ * PROJECT: ReactOS kernel
+ * FILE: ntoskrnl/mm/npool.c
+ * PURPOSE: Implements the kernel memory pool
+ *
+ * PROGRAMMERS: David Welch (welch@cwcom.net)
+ * Iwan Fatahi (i_fatahi@hotmail.com)
+ * Robert Bergkvist (fragdance@hotmail.com)
+ * Hartmut Birr
*/
/* INCLUDES ****************************************************************/
-#include <ddk/ntddk.h>
-#include <internal/mm.h>
-#include <internal/ntoskrnl.h>
-#include <internal/pool.h>
-
+#include <ntoskrnl.h>
#define NDEBUG
#include <internal/debug.h>
-/* Enable strict checking of the nonpaged pool on every allocation */
-//#define ENABLE_VALIDATE_POOL
-
-/* Enable tracking of statistics about the tagged blocks in the pool */
-#define TAG_STATISTICS_TRACKING
-
-/*
- * Put each block in its own range of pages and position the block at the
- * end of the range so any accesses beyond the end of block are to invalid
- * memory locations.
- */
-//#define WHOLE_PAGE_ALLOCATIONS
+#if defined (ALLOC_PRAGMA)
+#pragma alloc_text(INIT, MiInitializeNonPagedPool)
+#endif
#ifdef ENABLE_VALIDATE_POOL
#define VALIDATE_POOL validate_kernel_pool()
#if 0
#define POOL_TRACE(args...) do { DbgPrint(args); } while(0);
#else
+#if defined(__GNUC__)
#define POOL_TRACE(args...)
+#else
+#define POOL_TRACE
+#endif /* __GNUC__ */
#endif
+VOID MmPrintMemoryStatistic(VOID);
+
+#define NPOOL_REDZONE_CHECK /* check the block at deallocation */
+// #define NPOOL_REDZONE_CHECK_FULL /* check all blocks at each allocation/deallocation */
+#define NPOOL_REDZONE_SIZE 8 /* number of red zone bytes */
+#define NPOOL_REDZONE_LOVALUE 0x87
+#define NPOOL_REDZONE_HIVALUE 0xA5
+
+
+/* avl types ****************************************************************/
+
+/* FIXME:
+ * This declarations should be moved into a separate header file.
+ */
+
+typedef struct _NODE
+{
+ struct _NODE* link[2];
+ struct _NODE* parent;
+ signed char balance;
+}
+NODE, *PNODE;
+
/* TYPES *******************************************************************/
#define BLOCK_HDR_USED_MAGIC (0xdeadbeef)
/*
* fields present at the start of a block (this is for internal use only)
*/
-typedef struct _BLOCK_HDR
+typedef struct _HDR
+{
+ ULONG Magic;
+ ULONG Size;
+ struct _HDR* previous;
+} HDR, *PHDR;
+
+typedef struct _HDR_USED
+{
+ HDR hdr;
+ LIST_ENTRY ListEntry;
+ ULONG Tag;
+ PVOID Caller;
+ LIST_ENTRY TagListEntry;
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+ ULONG UserSize;
+#endif
+ BOOLEAN Dumped;
+} HDR_USED, *PHDR_USED;
+
+typedef struct _HDR_FREE
{
- ULONG Magic;
- ULONG Size;
- LIST_ENTRY ListEntry;
- ULONG Tag;
- PVOID Caller;
- struct _BLOCK_HDR* tag_next;
- BOOLEAN Dumped;
-} BLOCK_HDR;
-
-PVOID STDCALL
-ExAllocateWholePageBlock(ULONG Size);
-VOID STDCALL
-ExFreeWholePageBlock(PVOID Addr);
+ HDR hdr;
+ NODE Node;
+} HDR_FREE, *PHDR_FREE;
+
+#define HDR_FREE_SIZE ROUND_UP(sizeof(HDR_FREE), MM_POOL_ALIGNMENT)
+
+#if defined(NPOOL_REDZONE_CHECK) || #defined(NPOOL_REDZONE_CHECK_FULL)
+#define HDR_USED_SIZE ROUND_UP(sizeof(HDR_USED) + NPOOL_REDZONE_SIZE, MM_POOL_ALIGNMENT)
+#else
+#define HDR_USED_SIZE ROUND_UP(sizeof(HDR_USED), MM_POOL_ALIGNMENT)
+#endif
/* GLOBALS *****************************************************************/
-/*
- * Memory managment initalized symbol for the base of the pool
- */
-static unsigned int kernel_pool_base = 0;
+extern PVOID MiNonPagedPoolStart;
+extern ULONG MiNonPagedPoolLength;
/*
* Head of the list of free blocks
*/
-static LIST_ENTRY FreeBlockListHead;
+static PNODE FreeBlockListRoot = NULL;
/*
* Head of the list of in use block
*/
static LIST_ENTRY UsedBlockListHead;
-#ifndef WHOLE_PAGE_ALLOCATIONS
+static LIST_ENTRY AddressListHead;
+
/*
* Count of free blocks
*/
* Count of used blocks
*/
static ULONG EiNrUsedBlocks = 0;
-#endif
/*
* Lock that protects the non-paged pool data structures
*/
ULONG EiUsedNonPagedPool = 0;
-/*
- * Allocate a range of memory in the nonpaged pool
- */
-PVOID
-MiAllocNonPagedPoolRegion(unsigned int nr_pages);
-
-VOID
-MiFreeNonPagedPoolRegion(PVOID Addr, ULONG Count, BOOLEAN Free);
+/* Total quota for Non Paged Pool */
+ULONG MmTotalNonPagedPoolQuota = 0;
#ifdef TAG_STATISTICS_TRACKING
#define TAG_HASH_TABLE_SIZE (1024)
-static BLOCK_HDR* tag_hash_table[TAG_HASH_TABLE_SIZE];
+static LIST_ENTRY tag_hash_table[TAG_HASH_TABLE_SIZE];
#endif /* TAG_STATISTICS_TRACKING */
-/* FUNCTIONS ***************************************************************/
+static PULONG MiNonPagedPoolAllocMap;
+static ULONG MiNonPagedPoolNrOfPages;
-#ifdef TAG_STATISTICS_TRACKING
-VOID
-MiRemoveFromTagHashTable(BLOCK_HDR* block)
- /*
- * Remove a block from the tag hash table
- */
+/* avl helper functions ****************************************************/
+
+void DumpFreeBlockNode(PNODE p)
{
- BLOCK_HDR* previous;
- BLOCK_HDR* current;
- ULONG hash;
+ static int count = 0;
+ HDR_FREE* blk;
- if (block->Tag == 0)
- {
- return;
- }
-
- hash = block->Tag % TAG_HASH_TABLE_SIZE;
-
- previous = NULL;
- current = tag_hash_table[hash];
- while (current != NULL)
- {
- if (current == block)
- {
- if (previous == NULL)
- {
- tag_hash_table[hash] = block->tag_next;
- }
- else
- {
- previous->tag_next = block->tag_next;
- }
- return;
- }
- previous = current;
- current = current->tag_next;
- }
- DPRINT1("Tagged block wasn't on hash table list (Tag %x Caller %x)\n",
- block->Tag, block->Caller);
- KeBugCheck(0);
+ count++;
+
+ if (p)
+ {
+ DumpFreeBlockNode(p->link[0]);
+ blk = CONTAINING_RECORD(p, HDR_FREE, Node);
+ DbgPrint("%08x %8d (%d)\n", blk, blk->hdr.Size, count);
+ DumpFreeBlockNode(p->link[1]);
+ }
+
+ count--;
+}
+void DumpFreeBlockTree(void)
+{
+ DbgPrint("--- Begin tree ------------------\n");
+ DbgPrint("%08x\n", CONTAINING_RECORD(FreeBlockListRoot, HDR_FREE, Node));
+ DumpFreeBlockNode(FreeBlockListRoot);
+ DbgPrint("--- End tree --------------------\n");
}
-VOID
-MiAddToTagHashTable(BLOCK_HDR* block)
- /*
- * Add a block to the tag hash table
- */
+int compare_node(PNODE p1, PNODE p2)
+{
+ HDR_FREE* blk1 = CONTAINING_RECORD(p1, HDR_FREE, Node);
+ HDR_FREE* blk2 = CONTAINING_RECORD(p2, HDR_FREE, Node);
+
+ if (blk1->hdr.Size == blk2->hdr.Size)
+ {
+ if (blk1 < blk2)
+ {
+ return -1;
+ }
+ if (blk1 > blk2)
+ {
+ return 1;
+ }
+ }
+ else
+ {
+ if (blk1->hdr.Size < blk2->hdr.Size)
+ {
+ return -1;
+ }
+ if (blk1->hdr.Size > blk2->hdr.Size)
+ {
+ return 1;
+ }
+ }
+ return 0;
+
+}
+
+int compare_value(PVOID value, PNODE p)
+{
+ HDR_FREE* blk = CONTAINING_RECORD(p, HDR_FREE, Node);
+ ULONG v = *(PULONG)value;
+
+ if (v < blk->hdr.Size)
+ {
+ return -1;
+ }
+ if (v > blk->hdr.Size)
+ {
+ return 1;
+ }
+ return 0;
+}
+
+/* avl functions **********************************************************/
+
+/* FIXME:
+ * The avl functions should be moved into a separate file.
+ */
+
+/* The avl_insert and avl_remove are based on libavl (library for manipulation of binary trees). */
+
+void avl_insert (PNODE * root, PNODE n, int (*compare)(PNODE, PNODE))
{
- ULONG hash;
- BLOCK_HDR* current;
- BLOCK_HDR* previous;
+ PNODE y; /* Top node to update balance factor, and parent. */
+ PNODE p, q; /* Iterator, and parent. */
+ PNODE w; /* New root of rebalanced subtree. */
+ int dir = 0; /* Direction to descend. */
+
+ n->link[0] = n->link[1] = n->parent = NULL;
+ n->balance = 0;
+
+ y = *root;
+ for (q = NULL, p = *root; p != NULL; q = p, p = p->link[dir])
+ {
+ dir = compare(n, p) > 0;
+ if (p->balance != 0)
+ {
+ y = p;
+ }
+ }
+
+ n->parent = q;
+ if (q != NULL)
+ {
+ q->link[dir] = n;
+ }
+ else
+ {
+ *root = n;
+ }
- if (block->Tag == 0)
- {
+ if (*root == n)
+ {
return;
- }
-
- hash = block->Tag % TAG_HASH_TABLE_SIZE;
-
- previous = NULL;
- current = tag_hash_table[hash];
- while (current != NULL)
- {
- if (current->Tag == block->Tag)
- {
- block->tag_next = current->tag_next;
- current->tag_next = block;
- return;
- }
- previous = current;
- if ((PVOID)current->tag_next >= (PVOID)0xc1123160)
- {
- DbgPrint("previous %x\n", previous);
- }
- current = current->tag_next;
- }
- block->tag_next = NULL;
- if (previous == NULL)
- {
- tag_hash_table[hash] = block;
- }
- else
- {
- previous->tag_next = block;
- }
+ }
+
+ for (p = n; p != y; p = q)
+ {
+ q = p->parent;
+ dir = q->link[0] != p;
+ if (dir == 0)
+ {
+ q->balance--;
+ }
+ else
+ {
+ q->balance++;
+ }
+ }
+
+ if (y->balance == -2)
+ {
+ PNODE x = y->link[0];
+ if (x->balance == -1)
+ {
+ w = x;
+ y->link[0] = x->link[1];
+ x->link[1] = y;
+ x->balance = y->balance = 0;
+ x->parent = y->parent;
+ y->parent = x;
+ if (y->link[0] != NULL)
+ {
+ y->link[0]->parent = y;
+ }
+ }
+ else
+ {
+ ASSERT(x->balance == +1);
+ w = x->link[1];
+ x->link[1] = w->link[0];
+ w->link[0] = x;
+ y->link[0] = w->link[1];
+ w->link[1] = y;
+ if (w->balance == -1)
+ {
+ x->balance = 0;
+ y->balance = +1;
+ }
+ else if (w->balance == 0)
+ {
+ x->balance = y->balance = 0;
+ }
+ else /* |w->pavl_balance == +1| */
+ {
+ x->balance = -1;
+ y->balance = 0;
+ }
+ w->balance = 0;
+ w->parent = y->parent;
+ x->parent = y->parent = w;
+ if (x->link[1] != NULL)
+ {
+ x->link[1]->parent = x;
+ }
+ if (y->link[0] != NULL)
+ {
+ y->link[0]->parent = y;
+ }
+ }
+ }
+ else if (y->balance == +2)
+ {
+ PNODE x = y->link[1];
+ if (x->balance == +1)
+ {
+ w = x;
+ y->link[1] = x->link[0];
+ x->link[0] = y;
+ x->balance = y->balance = 0;
+ x->parent = y->parent;
+ y->parent = x;
+ if (y->link[1] != NULL)
+ {
+ y->link[1]->parent = y;
+ }
+ }
+ else
+ {
+ ASSERT(x->balance == -1);
+ w = x->link[0];
+ x->link[0] = w->link[1];
+ w->link[1] = x;
+ y->link[1] = w->link[0];
+ w->link[0] = y;
+ if (w->balance == 1)
+ {
+ x->balance = 0;
+ y->balance = -1;
+ }
+ else if (w->balance == 0)
+ {
+ x->balance = y->balance = 0;
+ }
+ else /* |w->pavl_balance == -1| */
+ {
+ x->balance = +1;
+ y->balance = 0;
+ }
+ w->balance = 0;
+ w->parent = y->parent;
+ x->parent = y->parent = w;
+ if (x->link[0] != NULL)
+ {
+ x->link[0]->parent = x;
+ }
+ if (y->link[1] != NULL)
+ {
+ y->link[1]->parent = y;
+ }
+ }
+ }
+ else
+ {
+ return;
+ }
+ if (w->parent != NULL)
+ {
+ w->parent->link[y != w->parent->link[0]] = w;
+ }
+ else
+ {
+ *root = w;
+ }
+
+ return;
}
-#endif /* TAG_STATISTICS_TRACKING */
-VOID
-ExInitNonPagedPool(ULONG BaseAddress)
+void avl_remove (PNODE *root, PNODE item, int (*compare)(PNODE, PNODE))
{
- kernel_pool_base = BaseAddress;
- KeInitializeSpinLock(&MmNpoolLock);
- MmInitKernelMap((PVOID)BaseAddress);
- memset(tag_hash_table, 0, sizeof(tag_hash_table));
- InitializeListHead(&FreeBlockListHead);
- InitializeListHead(&UsedBlockListHead);
+ PNODE p; /* Traverses tree to find node to delete. */
+ PNODE q; /* Parent of |p|. */
+ int dir; /* Side of |q| on which |p| is linked. */
+
+ if (root == NULL || *root == NULL)
+ {
+ return ;
+ }
+
+ p = item;
+ q = p->parent;
+ if (q == NULL)
+ {
+ q = (PNODE) root;
+ dir = 0;
+ }
+ else
+ {
+ dir = compare(p, q) > 0;
+ }
+
+ if (p->link[1] == NULL)
+ {
+ q->link[dir] = p->link[0];
+ if (q->link[dir] != NULL)
+ {
+ q->link[dir]->parent = p->parent;
+ }
+ }
+ else
+ {
+ PNODE r = p->link[1];
+ if (r->link[0] == NULL)
+ {
+ r->link[0] = p->link[0];
+ q->link[dir] = r;
+ r->parent = p->parent;
+ if (r->link[0] != NULL)
+ {
+ r->link[0]->parent = r;
+ }
+ r->balance = p->balance;
+ q = r;
+ dir = 1;
+ }
+ else
+ {
+ PNODE s = r->link[0];
+ while (s->link[0] != NULL)
+ {
+ s = s->link[0];
+ }
+ r = s->parent;
+ r->link[0] = s->link[1];
+ s->link[0] = p->link[0];
+ s->link[1] = p->link[1];
+ q->link[dir] = s;
+ if (s->link[0] != NULL)
+ {
+ s->link[0]->parent = s;
+ }
+ s->link[1]->parent = s;
+ s->parent = p->parent;
+ if (r->link[0] != NULL)
+ {
+ r->link[0]->parent = r;
+ }
+ s->balance = p->balance;
+ q = r;
+ dir = 0;
+ }
+ }
+
+ item->link[0] = item->link[1] = item->parent = NULL;
+ item->balance = 0;
+
+ while (q != (PNODE) root)
+ {
+ PNODE y = q;
+
+ if (y->parent != NULL)
+ {
+ q = y->parent;
+ }
+ else
+ {
+ q = (PNODE) root;
+ }
+
+ if (dir == 0)
+ {
+ dir = q->link[0] != y;
+ y->balance++;
+ if (y->balance == +1)
+ {
+ break;
+ }
+ else if (y->balance == +2)
+ {
+ PNODE x = y->link[1];
+ if (x->balance == -1)
+ {
+ PNODE w;
+
+ ASSERT(x->balance == -1);
+ w = x->link[0];
+ x->link[0] = w->link[1];
+ w->link[1] = x;
+ y->link[1] = w->link[0];
+ w->link[0] = y;
+ if (w->balance == +1)
+ {
+ x->balance = 0;
+ y->balance = -1;
+ }
+ else if (w->balance == 0)
+ {
+ x->balance = y->balance = 0;
+ }
+ else /* |w->pavl_balance == -1| */
+ {
+ x->balance = +1;
+ y->balance = 0;
+ }
+ w->balance = 0;
+ w->parent = y->parent;
+ x->parent = y->parent = w;
+ if (x->link[0] != NULL)
+ {
+ x->link[0]->parent = x;
+ }
+ if (y->link[1] != NULL)
+ {
+ y->link[1]->parent = y;
+ }
+ q->link[dir] = w;
+ }
+ else
+ {
+ y->link[1] = x->link[0];
+ x->link[0] = y;
+ x->parent = y->parent;
+ y->parent = x;
+ if (y->link[1] != NULL)
+ {
+ y->link[1]->parent = y;
+ }
+ q->link[dir] = x;
+ if (x->balance == 0)
+ {
+ x->balance = -1;
+ y->balance = +1;
+ break;
+ }
+ else
+ {
+ x->balance = y->balance = 0;
+ y = x;
+ }
+ }
+ }
+ }
+ else
+ {
+ dir = q->link[0] != y;
+ y->balance--;
+ if (y->balance == -1)
+ {
+ break;
+ }
+ else if (y->balance == -2)
+ {
+ PNODE x = y->link[0];
+ if (x->balance == +1)
+ {
+ PNODE w;
+ ASSERT(x->balance == +1);
+ w = x->link[1];
+ x->link[1] = w->link[0];
+ w->link[0] = x;
+ y->link[0] = w->link[1];
+ w->link[1] = y;
+ if (w->balance == -1)
+ {
+ x->balance = 0;
+ y->balance = +1;
+ }
+ else if (w->balance == 0)
+ {
+ x->balance = y->balance = 0;
+ }
+ else /* |w->pavl_balance == +1| */
+ {
+ x->balance = -1;
+ y->balance = 0;
+ }
+ w->balance = 0;
+ w->parent = y->parent;
+ x->parent = y->parent = w;
+ if (x->link[1] != NULL)
+ {
+ x->link[1]->parent = x;
+ }
+ if (y->link[0] != NULL)
+ {
+ y->link[0]->parent = y;
+ }
+ q->link[dir] = w;
+ }
+ else
+ {
+ y->link[0] = x->link[1];
+ x->link[1] = y;
+ x->parent = y->parent;
+ y->parent = x;
+ if (y->link[0] != NULL)
+ {
+ y->link[0]->parent = y;
+ }
+ q->link[dir] = x;
+ if (x->balance == 0)
+ {
+ x->balance = +1;
+ y->balance = -1;
+ break;
+ }
+ else
+ {
+ x->balance = y->balance = 0;
+ y = x;
+ }
+ }
+ }
+ }
+ }
+
+}
+
+PNODE _cdecl avl_get_first(PNODE root)
+{
+ PNODE p;
+ if (root == NULL)
+ {
+ return NULL;
+ }
+ p = root;
+ while (p->link[0])
+ {
+ p = p->link[0];
+ }
+ return p;
+}
+
+PNODE avl_get_next(PNODE root, PNODE p)
+{
+ PNODE q;
+ if (p->link[1])
+ {
+ p = p->link[1];
+ while(p->link[0])
+ {
+ p = p->link[0];
+ }
+ return p;
+ }
+ else
+ {
+ q = p->parent;
+ while (q && q->link[1] == p)
+ {
+ p = q;
+ q = q->parent;
+ }
+ if (q == NULL)
+ {
+ return NULL;
+ }
+ else
+ {
+ return q;
+ }
+ }
}
+PNODE avl_find_equal_or_greater(PNODE root, ULONG size, int (compare)(PVOID, PNODE))
+{
+ PNODE p;
+ PNODE prev = NULL;
+ int cmp;
+
+ for (p = root; p != NULL;)
+ {
+ cmp = compare((PVOID)&size, p);
+ if (cmp < 0)
+ {
+ prev = p;
+ p = p->link[0];
+ }
+ else if (cmp > 0)
+ {
+ p = p->link[1];
+ }
+ else
+ {
+ while (p->link[0])
+ {
+ cmp = compare((PVOID)&size, p->link[0]);
+ if (cmp != 0)
+ {
+ break;
+ }
+ p = p->link[0];
+ }
+ return p;
+ }
+ }
+ return prev;
+}
+
+/* non paged pool functions ************************************************/
+
#ifdef TAG_STATISTICS_TRACKING
+VOID
+MiRemoveFromTagHashTable(HDR_USED* block)
+/*
+ * Remove a block from the tag hash table
+ */
+{
+ if (block->Tag == 0)
+ {
+ return;
+ }
+ RemoveEntryList(&block->TagListEntry);
+}
+
+VOID
+MiAddToTagHashTable(HDR_USED* block)
+/*
+ * Add a block to the tag hash table
+ */
+{
+ ULONG hash;
+
+ if (block->Tag == 0)
+ {
+ return;
+ }
+
+ hash = block->Tag % TAG_HASH_TABLE_SIZE;
+
+ InsertHeadList(&tag_hash_table[hash], &block->TagListEntry);
+}
+#endif /* TAG_STATISTICS_TRACKING */
+
+#if defined(TAG_STATISTICS_TRACKING)
VOID STATIC
MiDumpTagStats(ULONG CurrentTag, ULONG CurrentNrBlocks, ULONG CurrentSize)
{
- CHAR c1, c2, c3, c4;
-
- c1 = (CurrentTag >> 24) & 0xFF;
- c2 = (CurrentTag >> 16) & 0xFF;
- c3 = (CurrentTag >> 8) & 0xFF;
- c4 = CurrentTag & 0xFF;
-
- if (isprint(c1) && isprint(c2) && isprint(c3) && isprint(c4))
- {
+ CHAR c1, c2, c3, c4;
+
+ c1 = (CHAR)((CurrentTag >> 24) & 0xFF);
+ c2 = (CHAR)((CurrentTag >> 16) & 0xFF);
+ c3 = (CHAR)((CurrentTag >> 8) & 0xFF);
+ c4 = (CHAR)(CurrentTag & 0xFF);
+
+ if (isprint(c1) && isprint(c2) && isprint(c3) && isprint(c4))
+ {
DbgPrint("Tag %x (%c%c%c%c) Blocks %d Total Size %d Average Size %d\n",
- CurrentTag, c4, c3, c2, c1, CurrentNrBlocks,
- CurrentSize, CurrentSize / CurrentNrBlocks);
- }
- else
- {
- DbgPrint("Tag %x Blocks %d Total Size %d Average Size %d\n",
- CurrentTag, CurrentNrBlocks, CurrentSize,
- CurrentSize / CurrentNrBlocks);
- }
+ CurrentTag, c4, c3, c2, c1, CurrentNrBlocks,
+ CurrentSize, CurrentSize / CurrentNrBlocks);
+ }
+ else
+ {
+ DbgPrint("Tag %x Blocks %d Total Size %d Average Size %d ",
+ CurrentTag, CurrentNrBlocks, CurrentSize,
+ CurrentSize / CurrentNrBlocks);
+ KeRosPrintAddress((PVOID)CurrentTag);
+ DbgPrint("\n");
+ }
}
-#endif /* TAG_STATISTICS_TRACKING */
+#endif /* defined(TAG_STATISTICS_TRACKING) */
VOID
+NTAPI
MiDebugDumpNonPagedPoolStats(BOOLEAN NewOnly)
{
-#ifdef TAG_STATISTICS_TRACKING
- ULONG i;
- BLOCK_HDR* current;
- ULONG CurrentTag;
- ULONG CurrentNrBlocks;
- ULONG CurrentSize;
- ULONG TotalBlocks;
- ULONG TotalSize;
-
- DbgPrint("******* Dumping non paging pool stats ******\n");
- TotalBlocks = 0;
- TotalSize = 0;
- for (i = 0; i < TAG_HASH_TABLE_SIZE; i++)
- {
- CurrentTag = 0;
- CurrentNrBlocks = 0;
- CurrentSize = 0;
- current = tag_hash_table[i];
- while (current != NULL)
- {
- if (current->Tag != CurrentTag)
- {
- if (CurrentTag != 0 && CurrentNrBlocks != 0)
- {
- MiDumpTagStats(CurrentTag, CurrentNrBlocks, CurrentSize);
- }
- CurrentTag = current->Tag;
- CurrentNrBlocks = 0;
- CurrentSize = 0;
- }
+#if defined(TAG_STATISTICS_TRACKING)
+ ULONG i;
+ HDR_USED* current;
+ ULONG CurrentTag;
+ ULONG CurrentNrBlocks = 0;
+ ULONG CurrentSize = 0;
+ ULONG TotalBlocks;
+ ULONG TotalSize;
+ ULONG Size;
+ LIST_ENTRY tmpListHead;
+ PLIST_ENTRY current_entry;
- if (!NewOnly || !current->Dumped)
- {
- CurrentNrBlocks++;
- TotalBlocks++;
- CurrentSize = CurrentSize + current->Size;
- TotalSize = TotalSize + current->Size;
- current->Dumped = TRUE;
- }
- current = current->tag_next;
- }
- if (CurrentTag != 0 && CurrentNrBlocks != 0)
- {
- MiDumpTagStats(CurrentTag, CurrentNrBlocks, CurrentSize);
- }
- }
- if (TotalBlocks != 0)
- {
+ DbgPrint("******* Dumping non paging pool stats ******\n");
+ TotalBlocks = 0;
+ TotalSize = 0;
+ for (i = 0; i < TAG_HASH_TABLE_SIZE; i++)
+ {
+ InitializeListHead(&tmpListHead);
+
+ while (!IsListEmpty(&tag_hash_table[i]))
+ {
+ CurrentTag = 0;
+
+ current_entry = tag_hash_table[i].Flink;
+ while (current_entry != &tag_hash_table[i])
+ {
+ current = CONTAINING_RECORD(current_entry, HDR_USED, TagListEntry);
+ current_entry = current_entry->Flink;
+ if (CurrentTag == 0)
+ {
+ CurrentTag = current->Tag;
+ CurrentNrBlocks = 0;
+ CurrentSize = 0;
+ }
+ if (current->Tag == CurrentTag)
+ {
+ RemoveEntryList(¤t->TagListEntry);
+ InsertHeadList(&tmpListHead, ¤t->TagListEntry);
+ if (!NewOnly || !current->Dumped)
+ {
+ CurrentNrBlocks++;
+ TotalBlocks++;
+ CurrentSize += current->hdr.Size;
+ TotalSize += current->hdr.Size;
+ current->Dumped = TRUE;
+ }
+ }
+ }
+ if (CurrentTag != 0 && CurrentNrBlocks != 0)
+ {
+ MiDumpTagStats(CurrentTag, CurrentNrBlocks, CurrentSize);
+ }
+ }
+ if (!IsListEmpty(&tmpListHead))
+ {
+ tag_hash_table[i].Flink = tmpListHead.Flink;
+ tag_hash_table[i].Flink->Blink = &tag_hash_table[i];
+ tag_hash_table[i].Blink = tmpListHead.Blink;
+ tag_hash_table[i].Blink->Flink = &tag_hash_table[i];
+ }
+ }
+ if (TotalBlocks != 0)
+ {
DbgPrint("TotalBlocks %d TotalSize %d AverageSize %d\n",
- TotalBlocks, TotalSize, TotalSize / TotalBlocks);
- }
- else
- {
+ TotalBlocks, TotalSize, TotalSize / TotalBlocks);
+ }
+ else
+ {
DbgPrint("TotalBlocks %d TotalSize %d\n",
- TotalBlocks, TotalSize);
- }
- DbgPrint("***************** Dump Complete ***************\n");
-#endif /* TAG_STATISTICS_TRACKING */
+ TotalBlocks, TotalSize);
+ }
+ Size = EiFreeNonPagedPool - (MiNonPagedPoolLength - MiNonPagedPoolNrOfPages * PAGE_SIZE);
+ DbgPrint("Freeblocks %d TotalFreeSize %d AverageFreeSize %d\n",
+ EiNrFreeBlocks, Size, EiNrFreeBlocks ? Size / EiNrFreeBlocks : 0);
+ DbgPrint("***************** Dump Complete ***************\n");
+#endif /* defined(TAG_STATISTICS_TRACKING) */
}
VOID
+NTAPI
MiDebugDumpNonPagedPool(BOOLEAN NewOnly)
{
- BLOCK_HDR* current;
+#if defined(POOL_DEBUG_APIS)
+ HDR_USED* current;
PLIST_ENTRY current_entry;
KIRQL oldIrql;
-
+
KeAcquireSpinLock(&MmNpoolLock, &oldIrql);
DbgPrint("******* Dumping non paging pool contents ******\n");
current_entry = UsedBlockListHead.Flink;
while (current_entry != &UsedBlockListHead)
- {
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
- if (!NewOnly || !current->Dumped)
- {
- CHAR c1, c2, c3, c4;
-
- c1 = (current->Tag >> 24) & 0xFF;
- c2 = (current->Tag >> 16) & 0xFF;
- c3 = (current->Tag >> 8) & 0xFF;
- c4 = current->Tag & 0xFF;
-
- if (isprint(c1) && isprint(c2) && isprint(c3) && isprint(c4))
- {
- DbgPrint("Size 0x%x Tag 0x%x (%c%c%c%c) Allocator 0x%x\n",
- current->Size, current->Tag, c4, c3, c2, c1,
- current->Caller);
- }
- else
- {
- DbgPrint("Size 0x%x Tag 0x%x Allocator 0x%x\n",
- current->Size, current->Tag, current->Caller);
- }
- current->Dumped = TRUE;
- }
- current_entry = current_entry->Flink;
- }
+ {
+ current = CONTAINING_RECORD(current_entry, HDR_USED, ListEntry);
+ if (!NewOnly || !current->Dumped)
+ {
+ CHAR c1, c2, c3, c4;
+
+ c1 = (CHAR)((current->Tag >> 24) & 0xFF);
+ c2 = (CHAR)((current->Tag >> 16) & 0xFF);
+ c3 = (CHAR)((current->Tag >> 8) & 0xFF);
+ c4 = (CHAR)(current->Tag & 0xFF);
+
+ if (isprint(c1) && isprint(c2) && isprint(c3) && isprint(c4))
+ {
+ DbgPrint("Size 0x%x Tag 0x%x (%c%c%c%c) Allocator 0x%x\n",
+ current->hdr.Size, current->Tag, c4, c3, c2, c1,
+ current->Caller);
+ }
+ else
+ {
+ DbgPrint("Size 0x%x Tag 0x%x Allocator 0x%x\n",
+ current->hdr.Size, current->Tag, current->Caller);
+ }
+ current->Dumped = TRUE;
+ }
+ current_entry = current_entry->Flink;
+ }
DbgPrint("***************** Dump Complete ***************\n");
KeReleaseSpinLock(&MmNpoolLock, oldIrql);
+#endif
}
-#ifndef WHOLE_PAGE_ALLOCATIONS
-
#ifdef ENABLE_VALIDATE_POOL
static void validate_free_list(void)
/*
* FUNCTION: Validate the integrity of the list of free blocks
*/
{
- BLOCK_HDR* current;
- PLIST_ENTRY current_entry;
- unsigned int blocks_seen=0;
-
- current_entry = FreeBlockListHead.Flink;
- while (current_entry != &FreeBlockListHead)
- {
- unsigned int base_addr;
-
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
- base_addr = (int)current;
-
- if (current->Magic != BLOCK_HDR_FREE_MAGIC)
- {
- DbgPrint("Bad block magic (probable pool corruption) at %x\n",
- current);
- KeBugCheck(KBUG_POOL_FREE_LIST_CORRUPT);
- }
-
- if (base_addr < (kernel_pool_base) ||
- (base_addr+current->Size) > (kernel_pool_base)+NONPAGED_POOL_SIZE)
- {
- DbgPrint("Block %x found outside pool area\n",current);
- DbgPrint("Size %d\n",current->Size);
- DbgPrint("Limits are %x %x\n",kernel_pool_base,
- kernel_pool_base+NONPAGED_POOL_SIZE);
- KeBugCheck(KBUG_POOL_FREE_LIST_CORRUPT);
- }
- blocks_seen++;
- if (blocks_seen > EiNrFreeBlocks)
- {
- DbgPrint("Too many blocks on free list\n");
- KeBugCheck(KBUG_POOL_FREE_LIST_CORRUPT);
- }
- if (current->ListEntry.Flink != &FreeBlockListHead &&
- current->ListEntry.Flink->Blink != ¤t->ListEntry)
- {
- DbgPrint("%s:%d:Break in list (current %x next %x "
- "current->next->previous %x)\n",
- __FILE__,__LINE__,current, current->ListEntry.Flink,
- current->ListEntry.Flink->Blink);
- KeBugCheck(KBUG_POOL_FREE_LIST_CORRUPT);
- }
-
- current_entry = current_entry->Flink;
- }
+ HDR_FREE* current;
+ unsigned int blocks_seen=0;
+ PNODE p;
+
+ p = avl_get_first(FreeBlockListRoot);
+
+ while(p)
+ {
+ PVOID base_addr;
+
+ current = CONTAINING_RECORD(p, HDR_FREE, Node);
+ base_addr = (PVOID)current;
+
+ if (current->hdr.Magic != BLOCK_HDR_FREE_MAGIC)
+ {
+ DbgPrint("Bad block magic (probable pool corruption) at %x\n",
+ current);
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+
+ if (base_addr < MiNonPagedPoolStart ||
+ (ULONG_PTR)base_addr + current->hdr.Size > (ULONG_PTR)MiNonPagedPoolStart + MiNonPagedPoolLength)
+ {
+ DbgPrint("Block %x found outside pool area\n",current);
+ DbgPrint("Size %d\n",current->hdr.Size);
+ DbgPrint("Limits are %x %x\n",MiNonPagedPoolStart,
+ (ULONG_PTR)MiNonPagedPoolStart+MiNonPagedPoolLength);
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ blocks_seen++;
+ if (blocks_seen > EiNrFreeBlocks)
+ {
+ DbgPrint("Too many blocks on free list\n");
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ p = avl_get_next(FreeBlockListRoot, p);
+ }
}
static void validate_used_list(void)
* FUNCTION: Validate the integrity of the list of used blocks
*/
{
- BLOCK_HDR* current;
+ HDR_USED* current;
PLIST_ENTRY current_entry;
unsigned int blocks_seen=0;
-
+
current_entry = UsedBlockListHead.Flink;
while (current_entry != &UsedBlockListHead)
- {
- unsigned int base_addr;
-
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
- base_addr = (int)current;
-
- if (current->Magic != BLOCK_HDR_USED_MAGIC)
- {
- DbgPrint("Bad block magic (probable pool corruption) at %x\n",
- current);
- KeBugCheck(KBUG_POOL_FREE_LIST_CORRUPT);
- }
- if (base_addr < (kernel_pool_base) ||
- (base_addr+current->Size) >
- (kernel_pool_base)+NONPAGED_POOL_SIZE)
- {
- DbgPrint("Block %x found outside pool area\n",current);
- for(;;);
- }
- blocks_seen++;
- if (blocks_seen > EiNrUsedBlocks)
- {
- DbgPrint("Too many blocks on used list\n");
- for(;;);
- }
- if (current->ListEntry.Flink != &UsedBlockListHead &&
- current->ListEntry.Flink->Blink != ¤t->ListEntry)
- {
- DbgPrint("Break in list (current %x next %x)\n",
- current, current->ListEntry.Flink);
- for(;;);
- }
-
- current_entry = current_entry->Flink;
- }
+ {
+ PVOID base_addr;
+
+ current = CONTAINING_RECORD(current_entry, HDR_USED, ListEntry);
+ base_addr = (PVOID)current;
+
+ if (current->hdr.Magic != BLOCK_HDR_USED_MAGIC)
+ {
+ DbgPrint("Bad block magic (probable pool corruption) at %x\n",
+ current);
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ if (base_addr < MiNonPagedPoolStart ||
+ ((ULONG_PTR)base_addr+current->hdr.Size) >
+ (ULONG_PTR)MiNonPagedPoolStart+MiNonPagedPoolLength)
+ {
+ DbgPrint("Block %x found outside pool area\n",current);
+ DbgPrint("Size %d\n",current->hdr.Size);
+ DbgPrint("Limits are %x %x\n",MiNonPagedPoolStart,
+ (ULONG_PTR)MiNonPagedPoolStart+MiNonPagedPoolLength);
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ blocks_seen++;
+ if (blocks_seen > EiNrUsedBlocks)
+ {
+ DbgPrint("Too many blocks on used list\n");
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ if (current->ListEntry.Flink != &UsedBlockListHead &&
+ current->ListEntry.Flink->Blink != ¤t->ListEntry)
+ {
+ DbgPrint("%s:%d:Break in list (current %x next %x "
+ "current->next->previous %x)\n",
+ __FILE__,__LINE__,current, current->ListEntry.Flink,
+ current->ListEntry.Flink->Blink);
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+
+ current_entry = current_entry->Flink;
+ }
}
-static void check_duplicates(BLOCK_HDR* blk)
+static void check_duplicates(HDR* blk)
/*
* FUNCTION: Check a block has no duplicates
* ARGUMENTS:
* NOTE: Bug checks if duplicates are found
*/
{
- unsigned int base = (int)blk;
- unsigned int last = ((int)blk) + +sizeof(BLOCK_HDR) + blk->Size;
- BLOCK_HDR* current;
+ ULONG_PTR base = (ULONG_PTR)blk;
+ ULONG_PTR last = (ULONG_PTR)blk + blk->Size;
PLIST_ENTRY current_entry;
-
- current_entry = FreeBlockListHead.Flink;
- while (current_entry != &FreeBlockListHead)
- {
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
-
- if (current->Magic != BLOCK_HDR_FREE_MAGIC)
- {
- DbgPrint("Bad block magic (probable pool corruption) at %x\n",
- current);
- KeBugCheck(KBUG_POOL_FREE_LIST_CORRUPT);
- }
-
- if ( (int)current > base && (int)current < last )
- {
- DbgPrint("intersecting blocks on list\n");
- for(;;);
- }
- if ( (int)current < base &&
- ((int)current + current->Size + sizeof(BLOCK_HDR))
- > base )
- {
- DbgPrint("intersecting blocks on list\n");
- for(;;);
- }
-
- current_entry = current_entry->Flink;
- }
+ PNODE p;
+ HDR_FREE* free;
+ HDR_USED* used;
+
+ p = avl_get_first(FreeBlockListRoot);
+
+ while (p)
+ {
+ free = CONTAINING_RECORD(p, HDR_FREE, Node);
+ if (free->hdr.Magic != BLOCK_HDR_FREE_MAGIC)
+ {
+ DbgPrint("Bad block magic (probable pool corruption) at %x\n",
+ free);
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+
+ if ( (ULONG_PTR)free > base && (ULONG_PTR)free < last )
+ {
+ DbgPrint("intersecting blocks on list\n");
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ if ( (ULONG_PTR)free < base &&
+ ((ULONG_PTR)free + free->hdr.Size) > base )
+ {
+ DbgPrint("intersecting blocks on list\n");
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ p = avl_get_next(FreeBlockListRoot, p);
+ }
current_entry = UsedBlockListHead.Flink;
while (current_entry != &UsedBlockListHead)
- {
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
+ {
+ used = CONTAINING_RECORD(current_entry, HDR_USED, ListEntry);
+
+ if ( (ULONG_PTR)used > base && (ULONG_PTR)used < last )
+ {
+ DbgPrint("intersecting blocks on list\n");
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+ if ( (ULONG_PTR)used < base &&
+ ((ULONG_PTR)used + used->hdr.Size) > base )
+ {
+ DbgPrint("intersecting blocks on list\n");
+ KEBUGCHECK(/*KBUG_POOL_FREE_LIST_CORRUPT*/0);
+ }
+
+ current_entry = current_entry->Flink;
+ }
- if ( (int)current > base && (int)current < last )
- {
- DbgPrint("intersecting blocks on list\n");
- for(;;);
- }
- if ( (int)current < base &&
- ((int)current + current->Size + sizeof(BLOCK_HDR))
- > base )
- {
- DbgPrint("intersecting blocks on list\n");
- for(;;);
- }
-
- current_entry = current_entry->Flink;
- }
-
}
static void validate_kernel_pool(void)
* FUNCTION: Checks the integrity of the kernel memory heap
*/
{
- BLOCK_HDR* current;
+ HDR_FREE* free;
+ HDR_USED* used;
PLIST_ENTRY current_entry;
-
+ PNODE p;
+
validate_free_list();
validate_used_list();
- current_entry = FreeBlockListHead.Flink;
- while (current_entry != &FreeBlockListHead)
- {
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
- check_duplicates(current);
- current_entry = current_entry->Flink;
- }
+ p = avl_get_first(FreeBlockListRoot);
+ while (p)
+ {
+ free = CONTAINING_RECORD(p, HDR_FREE, Node);
+ check_duplicates(&free->hdr);
+ p = avl_get_next(FreeBlockListRoot, p);
+ }
current_entry = UsedBlockListHead.Flink;
while (current_entry != &UsedBlockListHead)
- {
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
- check_duplicates(current);
- current_entry = current_entry->Flink;
- }
+ {
+ used = CONTAINING_RECORD(current_entry, HDR_USED, ListEntry);
+ check_duplicates(&used->hdr);
+ current_entry = current_entry->Flink;
+ }
}
#endif
#if 0
STATIC VOID
-free_pages(BLOCK_HDR* blk)
+free_pages(HDR_FREE* blk)
{
- ULONG start;
- ULONG end;
- ULONG i;
+ ULONG start;
+ ULONG end;
- start = (ULONG)blk;
- end = (ULONG)blk + sizeof(BLOCK_HDR) + blk->Size;
+ start = (ULONG_PTR)blk;
+ end = (ULONG_PTR)blk + blk->hdr.Size;
- /*
- * If the block doesn't contain a whole page then there is nothing to do
- */
- if (PAGE_ROUND_UP(start) >= PAGE_ROUND_DOWN(end))
- {
+ /*
+ * If the block doesn't contain a whole page then there is nothing to do
+ */
+ if (PAGE_ROUND_UP(start) >= PAGE_ROUND_DOWN(end))
+ {
return;
- }
+ }
}
#endif
-STATIC VOID
-merge_free_block(BLOCK_HDR* blk)
+static void remove_from_used_list(HDR_USED* current)
{
- PLIST_ENTRY next_entry;
- BLOCK_HDR* next;
- PLIST_ENTRY previous_entry;
- BLOCK_HDR* previous;
-
- next_entry = blk->ListEntry.Flink;
- if (next_entry != &FreeBlockListHead)
- {
- next = CONTAINING_RECORD(next_entry, BLOCK_HDR, ListEntry);
- if (((unsigned int)blk + sizeof(BLOCK_HDR) + blk->Size) ==
- (unsigned int)next)
- {
- RemoveEntryList(&next->ListEntry);
- blk->Size = blk->Size + sizeof(BLOCK_HDR) + next->Size;
- EiNrFreeBlocks--;
- }
- }
-
- previous_entry = blk->ListEntry.Blink;
- if (previous_entry != &FreeBlockListHead)
- {
- previous = CONTAINING_RECORD(previous_entry, BLOCK_HDR, ListEntry);
- if (((unsigned int)previous + sizeof(BLOCK_HDR) + previous->Size) ==
- (unsigned int)blk)
- {
- RemoveEntryList(&blk->ListEntry);
- previous->Size = previous->Size + sizeof(BLOCK_HDR) + blk->Size;
- EiNrFreeBlocks--;
- }
- }
+ RemoveEntryList(¤t->ListEntry);
+ EiUsedNonPagedPool -= current->hdr.Size;
+ EiNrUsedBlocks--;
+}
+
+static void remove_from_free_list(HDR_FREE* current)
+{
+ DPRINT("remove_from_free_list %d\n", current->hdr.Size);
+
+ avl_remove(&FreeBlockListRoot, ¤t->Node, compare_node);
+
+ EiFreeNonPagedPool -= current->hdr.Size;
+ EiNrFreeBlocks--;
+ DPRINT("remove_from_free_list done\n");
+#ifdef DUMP_AVL
+
+ DumpFreeBlockTree();
+#endif
}
-STATIC VOID
-add_to_free_list(BLOCK_HDR* blk)
+static void
+add_to_free_list(HDR_FREE* blk)
/*
* FUNCTION: add the block to the free list (internal)
*/
{
- PLIST_ENTRY current_entry;
- BLOCK_HDR* current;
-
- current_entry = FreeBlockListHead.Flink;
- while (current_entry != &FreeBlockListHead)
- {
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
-
- if ((unsigned int)current > (unsigned int)blk)
- {
- blk->ListEntry.Flink = current_entry;
- blk->ListEntry.Blink = current_entry->Blink;
- current_entry->Blink->Flink = &blk->ListEntry;
- current_entry->Blink = &blk->ListEntry;
- EiNrFreeBlocks++;
- return;
- }
-
- current_entry = current_entry->Flink;
- }
- InsertTailList(&FreeBlockListHead, &blk->ListEntry);
- EiNrFreeBlocks++;
+ HDR_FREE* current;
+ BOOL UpdatePrevPtr = FALSE;
+
+ DPRINT("add_to_free_list (%d)\n", blk->hdr.Size);
+
+ EiNrFreeBlocks++;
+
+ current = (HDR_FREE*)blk->hdr.previous;
+ if (current && current->hdr.Magic == BLOCK_HDR_FREE_MAGIC)
+ {
+ remove_from_free_list(current);
+ current->hdr.Size = current->hdr.Size + blk->hdr.Size;
+ current->hdr.Magic = BLOCK_HDR_USED_MAGIC;
+ memset(blk, 0xcc, HDR_USED_SIZE);
+ blk = current;
+ UpdatePrevPtr = TRUE;
+ }
+
+ current = (HDR_FREE*)((ULONG_PTR)blk + blk->hdr.Size);
+ if ((char*)current < (char*)MiNonPagedPoolStart + MiNonPagedPoolLength &&
+ current->hdr.Magic == BLOCK_HDR_FREE_MAGIC)
+ {
+ remove_from_free_list(current);
+ blk->hdr.Size += current->hdr.Size;
+ memset(current, 0xcc, HDR_FREE_SIZE);
+ UpdatePrevPtr = TRUE;
+ current = (HDR_FREE*)((ULONG_PTR)blk + blk->hdr.Size);
+ }
+ if (UpdatePrevPtr &&
+ (char*)current < (char*)MiNonPagedPoolStart + MiNonPagedPoolLength)
+ {
+ current->hdr.previous = &blk->hdr;
+ }
+ DPRINT("%d\n", blk->hdr.Size);
+ blk->hdr.Magic = BLOCK_HDR_FREE_MAGIC;
+ EiFreeNonPagedPool += blk->hdr.Size;
+ avl_insert(&FreeBlockListRoot, &blk->Node, compare_node);
+ DPRINT("add_to_free_list done\n");
+#ifdef DUMP_AVL
+
+ DumpFreeBlockTree();
+#endif
}
-static void add_to_used_list(BLOCK_HDR* blk)
+static void add_to_used_list(HDR_USED* blk)
/*
* FUNCTION: add the block to the used list (internal)
*/
{
- InsertHeadList(&UsedBlockListHead, &blk->ListEntry);
- EiNrUsedBlocks++;
+ InsertHeadList(&UsedBlockListHead, &blk->ListEntry);
+ EiUsedNonPagedPool += blk->hdr.Size;
+ EiNrUsedBlocks++;
}
-static void remove_from_free_list(BLOCK_HDR* current)
+static BOOLEAN
+grow_block(HDR_FREE* blk, PVOID end)
{
- RemoveEntryList(¤t->ListEntry);
- EiNrFreeBlocks--;
-}
-
+ NTSTATUS Status;
+ PFN_TYPE Page[32];
+ ULONG_PTR StartIndex, EndIndex;
+ ULONG i, j, k;
-static void remove_from_used_list(BLOCK_HDR* current)
-{
- RemoveEntryList(¤t->ListEntry);
- EiNrUsedBlocks--;
-}
+ StartIndex = (ULONG_PTR)(PAGE_ROUND_UP((ULONG_PTR)blk + HDR_FREE_SIZE - (ULONG_PTR)MiNonPagedPoolStart)) / PAGE_SIZE;
+ EndIndex = ((ULONG_PTR)PAGE_ROUND_UP(end) - (ULONG_PTR)MiNonPagedPoolStart) / PAGE_SIZE;
-inline static void* block_to_address(BLOCK_HDR* blk)
-/*
- * FUNCTION: Translate a block header address to the corresponding block
- * address (internal)
- */
-{
- return ( (void *) ((int)blk + sizeof(BLOCK_HDR)) );
+ for (i = StartIndex; i < EndIndex; i++)
+ {
+ if (!(MiNonPagedPoolAllocMap[i / 32] & (1 << (i % 32))))
+ {
+ for (j = i + 1; j < EndIndex && j - i < 32; j++)
+ {
+ if (MiNonPagedPoolAllocMap[j / 32] & (1 << (j % 32)))
+ {
+ break;
+ }
+ }
+ for (k = 0; k < j - i; k++)
+ {
+ Status = MmRequestPageMemoryConsumer(MC_NPPOOL, FALSE, &Page[k]);
+ if (!NT_SUCCESS(Status))
+ {
+ for (i = 0; i < k; i++)
+ {
+ MmReleasePageMemoryConsumer(MC_NPPOOL, Page[i]);
+ }
+ return FALSE;
+ }
+ }
+ Status = MmCreateVirtualMapping(NULL,
+ (PVOID)((ULONG_PTR)MiNonPagedPoolStart + i * PAGE_SIZE),
+ PAGE_READWRITE|PAGE_SYSTEM,
+ Page,
+ k);
+ if (!NT_SUCCESS(Status))
+ {
+ for (i = 0; i < k; i++)
+ {
+ MmReleasePageMemoryConsumer(MC_NPPOOL, Page[i]);
+ }
+ return FALSE;
+ }
+ for (j = i; j < k + i; j++)
+ {
+ MiNonPagedPoolAllocMap[j / 32] |= (1 << (j % 32));
+ }
+ MiNonPagedPoolNrOfPages += k;
+ i += k - 1;
+ }
+ }
+ return TRUE;
}
-inline static BLOCK_HDR* address_to_block(void* addr)
+static HDR_USED* get_block(unsigned int size, unsigned long alignment)
{
- return (BLOCK_HDR *)
- ( ((int)addr) - sizeof(BLOCK_HDR) );
+ HDR_FREE *blk, *current, *previous = NULL, *next = NULL, *best = NULL;
+ ULONG previous_size = 0, current_size, next_size = 0, new_size;
+ PVOID end;
+ PVOID addr, aligned_addr, best_aligned_addr=NULL;
+ PNODE p;
+
+ DPRINT("get_block %d\n", size);
+
+ p = avl_find_equal_or_greater(FreeBlockListRoot, size + HDR_USED_SIZE, compare_value);
+ while (p)
+ {
+ current = CONTAINING_RECORD(p, HDR_FREE, Node);
+ addr = (PVOID)((ULONG_PTR)current + HDR_USED_SIZE);
+ /* calculate first aligned address available within this block */
+ aligned_addr = alignment > 0 ? MM_ROUND_UP(addr, alignment) : addr;
+ if (size < PAGE_SIZE)
+ {
+ /* check that the block is in one page */
+ if (PAGE_ROUND_DOWN(aligned_addr) != PAGE_ROUND_DOWN((ULONG_PTR)aligned_addr + size - 1))
+ {
+ aligned_addr = (PVOID)PAGE_ROUND_UP(aligned_addr);
+ }
+ }
+ DPRINT("%x %x\n", addr, aligned_addr);
+ if (aligned_addr != addr)
+ {
+ while((ULONG_PTR)aligned_addr - (ULONG_PTR)addr < HDR_FREE_SIZE)
+ {
+ if (alignment == 0)
+ {
+ aligned_addr = (PVOID)((ULONG_PTR)current + HDR_USED_SIZE + HDR_FREE_SIZE);
+ }
+ else
+ {
+ aligned_addr = MM_ROUND_UP((PVOID)((ULONG_PTR)current + HDR_USED_SIZE + HDR_FREE_SIZE), alignment);
+ }
+ if (size < PAGE_SIZE)
+ {
+ /* check that the block is in one page */
+ if (PAGE_ROUND_DOWN(aligned_addr) != PAGE_ROUND_DOWN((ULONG_PTR)aligned_addr + size - 1))
+ {
+ aligned_addr = (PVOID)PAGE_ROUND_UP(aligned_addr);
+ }
+ }
+ }
+ }
+ DPRINT("%x %x\n", addr, aligned_addr);
+ new_size = (ULONG_PTR)aligned_addr - (ULONG_PTR)addr + size;
+ if (current->hdr.Size >= new_size + HDR_USED_SIZE &&
+ (best == NULL || current->hdr.Size < best->hdr.Size))
+ {
+ best = current;
+ best_aligned_addr = aligned_addr;
+ if (new_size <= size + 2 * HDR_FREE_SIZE)
+ {
+ break;
+ }
+ }
+
+ if (best)
+ {
+ if (size < PAGE_SIZE)
+ {
+ if (current->hdr.Size >= 2 * PAGE_SIZE + HDR_FREE_SIZE)
+ {
+ break;
+ }
+ }
+ else
+ {
+ if (current->hdr.Size >= size + alignment + HDR_FREE_SIZE)
+ {
+ break;
+ }
+ }
+ }
+ p = avl_get_next(FreeBlockListRoot, p);
+ }
+ /*
+ * We didn't find anything suitable at all.
+ */
+ if (best == NULL)
+ {
+ return NULL;
+ }
+
+ DPRINT(":: blk %x blk->hdr.Size %d (%d) Size %d\n", best, best->hdr.Size, best->hdr.Size - HDR_USED_SIZE, size);
+
+ current = best;
+ current_size = current->hdr.Size - HDR_USED_SIZE;
+ addr = (PVOID)((ULONG_PTR)current + HDR_USED_SIZE);
+ if (addr != best_aligned_addr)
+ {
+ blk = (HDR_FREE*)((ULONG_PTR)best_aligned_addr - HDR_USED_SIZE);
+ /*
+ * if size-aligned, break off the preceding bytes into their own block...
+ */
+ previous = current;
+ previous_size = (ULONG_PTR)blk - (ULONG_PTR)previous - HDR_FREE_SIZE;
+ current = blk;
+ current_size -= ((ULONG_PTR)current - (ULONG_PTR)previous);
+ }
+ end = (PVOID)((ULONG_PTR)current + HDR_USED_SIZE + size);
+
+ if (current_size >= size + HDR_FREE_SIZE + MM_POOL_ALIGNMENT)
+ {
+ /* create a new free block after our block, if the memory size is >= 4 byte for this block */
+ next = (HDR_FREE*)((ULONG_PTR)current + size + HDR_USED_SIZE);
+ next_size = current_size - size - HDR_FREE_SIZE;
+ current_size = size;
+ end = (PVOID)((ULONG_PTR)next + HDR_FREE_SIZE);
+ }
+
+ if (previous)
+ {
+ remove_from_free_list(previous);
+ if (!grow_block(previous, end))
+ {
+ add_to_free_list(previous);
+ return NULL;
+ }
+ memset(current, 0, HDR_USED_SIZE);
+ current->hdr.Size = current_size + HDR_USED_SIZE;
+ current->hdr.Magic = BLOCK_HDR_USED_MAGIC;
+ current->hdr.previous = &previous->hdr;
+ previous->hdr.Size = previous_size + HDR_FREE_SIZE;
+ if (next == NULL)
+ {
+ blk = (HDR_FREE*)((ULONG_PTR)current + current->hdr.Size);
+ if ((ULONG_PTR)blk < (ULONG_PTR)MiNonPagedPoolStart + MiNonPagedPoolLength)
+ {
+ blk->hdr.previous = ¤t->hdr;
+ }
+ }
+
+ add_to_free_list(previous);
+ }
+ else
+ {
+ remove_from_free_list(current);
+
+ if (!grow_block(current, end))
+ {
+ add_to_free_list(current);
+ return NULL;
+ }
+ current->hdr.Magic = BLOCK_HDR_USED_MAGIC;
+ if (next)
+ {
+ current->hdr.Size = current_size + HDR_USED_SIZE;
+ }
+ }
+
+ if (next)
+ {
+ memset(next, 0, HDR_FREE_SIZE);
+ next->hdr.Size = next_size + HDR_FREE_SIZE;
+ next->hdr.Magic = BLOCK_HDR_FREE_MAGIC;
+ next->hdr.previous = ¤t->hdr;
+ blk = (HDR_FREE*)((ULONG_PTR)next + next->hdr.Size);
+ if ((ULONG_PTR)blk < (ULONG_PTR)MiNonPagedPoolStart + MiNonPagedPoolLength)
+ {
+ blk->hdr.previous = &next->hdr;
+ }
+ add_to_free_list(next);
+ }
+
+ add_to_used_list((HDR_USED*)current);
+ VALIDATE_POOL;
+
+ if (size < PAGE_SIZE)
+ {
+ addr = (PVOID)((ULONG_PTR)current + HDR_USED_SIZE);
+ if (PAGE_ROUND_DOWN(addr) != PAGE_ROUND_DOWN((PVOID)((ULONG_PTR)addr + size - 1)))
+ {
+ DPRINT1("%x %x\n", addr, (ULONG_PTR)addr + size);
+ }
+ ASSERT (PAGE_ROUND_DOWN(addr) == PAGE_ROUND_DOWN((PVOID)((ULONG_PTR)addr + size - 1)));
+ }
+ if (alignment)
+ {
+ addr = (PVOID)((ULONG_PTR)current + HDR_USED_SIZE);
+ ASSERT(MM_ROUND_UP(addr, alignment) == addr);
+ }
+ return (HDR_USED*)current;
}
-static BLOCK_HDR* grow_kernel_pool(unsigned int size, ULONG Tag, PVOID Caller)
-/*
- * FUNCTION: Grow the executive heap to accomodate a block of at least 'size'
- * bytes
- */
+ULONG STDCALL
+ExRosQueryNonPagedPoolTag ( PVOID Addr )
{
- unsigned int total_size = size + sizeof(BLOCK_HDR);
- unsigned int nr_pages = PAGE_ROUND_UP(total_size) / PAGESIZE;
- unsigned int start = (ULONG)MiAllocNonPagedPoolRegion(nr_pages);
- BLOCK_HDR* used_blk=NULL;
- BLOCK_HDR* free_blk=NULL;
- int i;
- NTSTATUS Status;
-
- DPRINT("growing heap for block size %d, ",size);
- DPRINT("start %x\n",start);
-
- for (i=0;i<nr_pages;i++)
- {
- Status = MmCreateVirtualMapping(NULL,
- (PVOID)(start + (i*PAGESIZE)),
- PAGE_READWRITE,
- (ULONG)MmAllocPage(0));
- if (!NT_SUCCESS(Status))
- {
- DbgPrint("Unable to create virtual mapping\n");
- KeBugCheck(0);
- }
- }
+ HDR_USED* blk=(HDR_USED*)((ULONG_PTR)Addr - HDR_USED_SIZE);
+ if (blk->hdr.Magic != BLOCK_HDR_USED_MAGIC)
+ KEBUGCHECK(0);
-
- if ((PAGESIZE-(total_size%PAGESIZE))>(2*sizeof(BLOCK_HDR)))
- {
- used_blk = (struct _BLOCK_HDR *)start;
- DPRINT("Creating block at %x\n",start);
- used_blk->Magic = BLOCK_HDR_USED_MAGIC;
- used_blk->Size = size;
- add_to_used_list(used_blk);
-
- free_blk = (BLOCK_HDR *)(start + sizeof(BLOCK_HDR) + size);
- DPRINT("Creating block at %x\n",free_blk);
- free_blk->Magic = BLOCK_HDR_FREE_MAGIC;
- free_blk->Size = (nr_pages * PAGESIZE) -((sizeof(BLOCK_HDR)*2) + size);
- add_to_free_list(free_blk);
-
- EiFreeNonPagedPool = EiFreeNonPagedPool + free_blk->Size;
- EiUsedNonPagedPool = EiUsedNonPagedPool + used_blk->Size;
- }
- else
- {
- used_blk = (struct _BLOCK_HDR *)start;
- used_blk->Magic = BLOCK_HDR_USED_MAGIC;
- used_blk->Size = (nr_pages * PAGESIZE) - sizeof(BLOCK_HDR);
- add_to_used_list(used_blk);
-
- EiUsedNonPagedPool = EiUsedNonPagedPool + used_blk->Size;
- }
-
- used_blk->Tag = Tag;
- used_blk->Caller = Caller;
- used_blk->Dumped = FALSE;
-#ifdef TAG_STATISTICS_TRACKING
- MiAddToTagHashTable(used_blk);
-#endif /* TAG_STATISTICS_TRACKING */
-
- VALIDATE_POOL;
- return(used_blk);
+ return blk->Tag;
}
-static void* take_block(BLOCK_HDR* current, unsigned int size,
- ULONG Tag, PVOID Caller)
-/*
- * FUNCTION: Allocate a used block of least 'size' from the specified
- * free block
- * RETURNS: The address of the created memory block
- */
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+void check_redzone_header(HDR_USED* hdr)
{
- /*
- * If the block is much bigger than required then split it and
- * return a pointer to the allocated section. If the difference
- * between the sizes is marginal it makes no sense to have the
- * extra overhead
- */
- if (current->Size > (1 + size + sizeof(BLOCK_HDR)))
- {
- BLOCK_HDR* free_blk;
-
- EiFreeNonPagedPool = EiFreeNonPagedPool - current->Size;
-
- /*
- * Replace the bigger block with a smaller block in the
- * same position in the list
- */
- free_blk = (BLOCK_HDR *)(((int)current)
- + sizeof(BLOCK_HDR) + size);
- free_blk->Magic = BLOCK_HDR_FREE_MAGIC;
- InsertHeadList(¤t->ListEntry, &free_blk->ListEntry);
- free_blk->Size = current->Size - (sizeof(BLOCK_HDR) + size);
-
- current->Size=size;
- RemoveEntryList(¤t->ListEntry);
- InsertHeadList(&UsedBlockListHead, ¤t->ListEntry);
- EiNrUsedBlocks++;
- current->Magic = BLOCK_HDR_USED_MAGIC;
- current->Tag = Tag;
- current->Caller = Caller;
- current->Dumped = FALSE;
-#ifdef TAG_STATISTICS_TRACKING
- MiAddToTagHashTable(current);
-#endif /* TAG_STATISTICS_TRACKING */
-
- EiUsedNonPagedPool = EiUsedNonPagedPool + current->Size;
- EiFreeNonPagedPool = EiFreeNonPagedPool + free_blk->Size;
-
- VALIDATE_POOL;
- return(block_to_address(current));
- }
+ PBYTE LoZone = (PBYTE)((ULONG_PTR)hdr + HDR_USED_SIZE - NPOOL_REDZONE_SIZE);
+ PBYTE HiZone = (PBYTE)((ULONG_PTR)hdr + HDR_USED_SIZE + hdr->UserSize);
+ BOOL LoOK = TRUE;
+ BOOL HiOK = TRUE;
+ ULONG i;
+ CHAR c[5];
+
+ for (i = 0; i < NPOOL_REDZONE_SIZE; i++)
+ {
+ if (LoZone[i] != NPOOL_REDZONE_LOVALUE)
+ {
+ LoOK = FALSE;
+ }
+ if (HiZone[i] != NPOOL_REDZONE_HIVALUE)
+ {
+ HiOK = FALSE;
+ }
+ }
- /*
- * Otherwise allocate the whole block
- */
- remove_from_free_list(current);
- add_to_used_list(current);
-
- EiFreeNonPagedPool = EiFreeNonPagedPool - current->Size;
- EiUsedNonPagedPool = EiUsedNonPagedPool + current->Size;
+ if (!HiOK || !LoOK)
+ {
+ c[0] = (CHAR)((hdr->Tag >> 24) & 0xFF);
+ c[1] = (CHAR)((hdr->Tag >> 16) & 0xFF);
+ c[2] = (CHAR)((hdr->Tag >> 8) & 0xFF);
+ c[3] = (CHAR)(hdr->Tag & 0xFF);
+ c[4] = 0;
+
+ if (!isprint(c[0]) || !isprint(c[1]) || !isprint(c[2]) || !isprint(c[3]))
+ {
+ c[0] = 0;
+ }
+
+ if (!LoOK)
+ {
+ DbgPrint("NPOOL: Low-side redzone overwritten, Block %x, Size %d, Tag %x(%s), Caller %x\n",
+ (ULONG_PTR)hdr + HDR_USED_SIZE, hdr->UserSize, hdr->Tag, c, hdr->Caller);
+ }
+ if (!HiOK)
+ {
+ DbgPrint("NPPOL: High-side redzone overwritten, Block %x, Size %d, Tag %x(%s), Caller %x\n",
+ (ULONG_PTR)hdr + HDR_USED_SIZE, hdr->UserSize, hdr->Tag, c, hdr->Caller);
+ }
+ KEBUGCHECK(0);
+ }
+}
+#endif
- current->Magic = BLOCK_HDR_USED_MAGIC;
- current->Tag = Tag;
- current->Caller = Caller;
- current->Dumped = FALSE;
-#ifdef TAG_STATISTICS_TRACKING
- MiAddToTagHashTable(current);
-#endif /* TAG_STATISTICS_TRACKING */
+#ifdef NPOOL_REDZONE_CHECK_FULL
+void check_redzone_list(void)
+{
+ PLIST_ENTRY current_entry;
- VALIDATE_POOL;
- return(block_to_address(current));
+ current_entry = UsedBlockListHead.Flink;
+ while (current_entry != &UsedBlockListHead)
+ {
+ check_redzone_header(CONTAINING_RECORD(current_entry, HDR_USED, ListEntry));
+ current_entry = current_entry->Flink;
+ }
}
+#endif
-#endif /* not WHOLE_PAGE_ALLOCATIONS */
-VOID STDCALL ExFreePool (PVOID block)
+VOID STDCALL ExFreeNonPagedPool (PVOID block)
/*
* FUNCTION: Releases previously allocated memory
* ARGUMENTS:
* block = block to free
*/
{
-#ifdef WHOLE_PAGE_ALLOCATIONS /* WHOLE_PAGE_ALLOCATIONS */
+ HDR_USED* blk=(HDR_USED*)((ULONG_PTR)block - HDR_USED_SIZE);
KIRQL oldIrql;
if (block == NULL)
- {
- return;
- }
+ {
+ return;
+ }
DPRINT("freeing block %x\n",blk);
-
- POOL_TRACE("ExFreePool(block %x), size %d, caller %x\n",block,blk->size,
- ((PULONG)&block)[-1]);
-
- KeAcquireSpinLock(&MmNpoolLock, &oldIrql);
- ExFreeWholePageBlock(block);
- KeReleaseSpinLock(&MmNpoolLock, oldIrql);
+ POOL_TRACE("ExFreePool(block %x), size %d, caller %x\n",block,blk->hdr.Size,
+ blk->Caller);
+ KeAcquireSpinLock(&MmNpoolLock, &oldIrql);
-#else /* not WHOLE_PAGE_ALLOCATIONS */
+ VALIDATE_POOL;
+ if (blk->hdr.Magic != BLOCK_HDR_USED_MAGIC)
+ {
+ if (blk->hdr.Magic == BLOCK_HDR_FREE_MAGIC)
+ {
+ DbgPrint("ExFreePool of already freed address %x\n", block);
+ }
+ else
+ {
+ DbgPrint("ExFreePool of non-allocated address %x (magic %x)\n",
+ block, blk->hdr.Magic);
+ }
+ KEBUGCHECK(0);
+ return;
+ }
- BLOCK_HDR* blk=address_to_block(block);
- KIRQL oldIrql;
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+ check_redzone_header(blk);
+#endif
- if (block == NULL)
- {
- return;
- }
+#ifdef NPOOL_REDZONE_CHECK_FULL
+ check_redzone_list();
+#endif
- DPRINT("freeing block %x\n",blk);
-
- POOL_TRACE("ExFreePool(block %x), size %d, caller %x\n",block,blk->size,
- ((PULONG)&block)[-1]);
-
- KeAcquireSpinLock(&MmNpoolLock, &oldIrql);
+ memset(block, 0xcc, blk->hdr.Size - HDR_USED_SIZE);
- VALIDATE_POOL;
-
- if (blk->Magic != BLOCK_HDR_USED_MAGIC)
- {
- if (blk->Magic == BLOCK_HDR_FREE_MAGIC)
- {
- DbgPrint("ExFreePool of already freed address %x\n", block);
- }
- else
- {
- DbgPrint("ExFreePool of non-allocated address %x (magic %x)\n",
- block, blk->Magic);
- }
- KeBugCheck(0);
- return;
- }
-
- memset(block, 0xcc, blk->Size);
-
#ifdef TAG_STATISTICS_TRACKING
MiRemoveFromTagHashTable(blk);
-#endif /* TAG_STATISTICS_TRACKING */
- remove_from_used_list(blk);
- blk->Magic = BLOCK_HDR_FREE_MAGIC;
- add_to_free_list(blk);
- merge_free_block(blk);
+#endif
- EiUsedNonPagedPool = EiUsedNonPagedPool - blk->Size;
- EiFreeNonPagedPool = EiFreeNonPagedPool + blk->Size;
+ remove_from_used_list(blk);
+ blk->hdr.Magic = BLOCK_HDR_FREE_MAGIC;
+ add_to_free_list((HDR_FREE*)blk);
VALIDATE_POOL;
KeReleaseSpinLock(&MmNpoolLock, oldIrql);
-
-#endif /* WHOLE_PAGE_ALLOCATIONS */
}
-PVOID STDCALL
-ExAllocateNonPagedPoolWithTag(ULONG Type, ULONG Size, ULONG Tag, PVOID Caller)
+PVOID STDCALL
+ExAllocateNonPagedPoolWithTag(POOL_TYPE Type, ULONG Size, ULONG Tag, PVOID Caller)
{
-#ifdef WHOLE_PAGE_ALLOCATIONS
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+ ULONG UserSize;
+#endif
PVOID block;
+ HDR_USED* best = NULL;
KIRQL oldIrql;
-
+ ULONG alignment;
+
POOL_TRACE("ExAllocatePool(NumberOfBytes %d) caller %x ",
- Size,Caller);
-
+ Size,Caller);
+
KeAcquireSpinLock(&MmNpoolLock, &oldIrql);
-
- /*
- * accomodate this useful idiom
- */
- if (Size == 0)
- {
- POOL_TRACE("= NULL\n");
- KeReleaseSpinLock(&MmNpoolLock, oldIrql);
- return(NULL);
- }
- block = ExAllocateWholePageBlock(Size);
- KeReleaseSpinLock(&MmNpoolLock, oldIrql);
- return(block);
+#ifdef NPOOL_REDZONE_CHECK_FULL
+ check_redzone_list();
+#endif
-#else /* not WHOLE_PAGE_ALLOCATIONS */
- BLOCK_HDR* current = NULL;
- PLIST_ENTRY current_entry;
- PVOID block;
- BLOCK_HDR* best = NULL;
- KIRQL oldIrql;
-
- POOL_TRACE("ExAllocatePool(NumberOfBytes %d) caller %x ",
- Size,Caller);
-
- KeAcquireSpinLock(&MmNpoolLock, &oldIrql);
-
VALIDATE_POOL;
-
+
+#if 1
+ /* after some allocations print the npaged pool stats */
+#ifdef TAG_STATISTICS_TRACKING
+
+ {
+ static ULONG counter = 0;
+ if (counter++ % 100000 == 0)
+ {
+ MiDebugDumpNonPagedPoolStats(FALSE);
+ MmPrintMemoryStatistic();
+ }
+ }
+#endif
+#endif
/*
- * accomodate this useful idiom
- */
+ * accomodate this useful idiom
+ */
if (Size == 0)
- {
- POOL_TRACE("= NULL\n");
- KeReleaseSpinLock(&MmNpoolLock, oldIrql);
- return(NULL);
- }
-
- /*
- * Look for an already created block of sufficent size
- */
- current_entry = FreeBlockListHead.Flink;
- while (current_entry != &FreeBlockListHead)
- {
- DPRINT("current %x size %x tag_next %x\n",current,current->Size,
- current->tag_next);
- current = CONTAINING_RECORD(current_entry, BLOCK_HDR, ListEntry);
- if (current->Size >= Size &&
- (best == NULL || current->Size < best->Size))
- {
- best = current;
- }
- current_entry = current_entry->Flink;
- }
- if (best != NULL)
- {
- block=take_block(best, Size, Tag, Caller);
- VALIDATE_POOL;
- memset(block,0,Size);
- KeReleaseSpinLock(&MmNpoolLock, oldIrql);
- return(block);
- }
-
-
- /*
- * Otherwise create a new block
- */
- block=block_to_address(grow_kernel_pool(Size, Tag, Caller));
- VALIDATE_POOL;
- memset(block, 0, Size);
+ {
+ POOL_TRACE("= NULL\n");
+ KeReleaseSpinLock(&MmNpoolLock, oldIrql);
+ return(NULL);
+ }
+ /* Make the size dword alligned, this makes the block dword alligned */
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+ UserSize = Size;
+ Size = ROUND_UP(Size + NPOOL_REDZONE_SIZE, MM_POOL_ALIGNMENT);
+#else
+ Size = ROUND_UP(Size, MM_POOL_ALIGNMENT);
+#endif
+
+ if (Size >= PAGE_SIZE)
+ {
+ alignment = PAGE_SIZE;
+ }
+ else if (Type & CACHE_ALIGNED_POOL_MASK)
+ {
+ alignment = MM_CACHE_LINE_SIZE;
+ }
+ else
+ {
+ alignment = 0;
+ }
+
+ best = get_block(Size, alignment);
+ if (best == NULL)
+ {
+ KeReleaseSpinLock(&MmNpoolLock, oldIrql);
+ DPRINT1("Trying to allocate %lu bytes from nonpaged pool - nothing suitable found, returning NULL\n",
+ Size );
+ KeRosDumpStackFrames(NULL, 10);
+ return NULL;
+ }
+ best->Tag = Tag;
+ best->Caller = Caller;
+ best->Dumped = FALSE;
+ best->TagListEntry.Flink = best->TagListEntry.Blink = NULL;
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+ best->UserSize = UserSize;
+ memset((PVOID)((ULONG_PTR)best + HDR_USED_SIZE - NPOOL_REDZONE_SIZE), NPOOL_REDZONE_LOVALUE, NPOOL_REDZONE_SIZE);
+ memset((PVOID)((ULONG_PTR)best + HDR_USED_SIZE + UserSize), NPOOL_REDZONE_HIVALUE, NPOOL_REDZONE_SIZE);
+#endif
+
+#ifdef TAG_STATISTICS_TRACKING
+
+ MiAddToTagHashTable(best);
+#endif
+
KeReleaseSpinLock(&MmNpoolLock, oldIrql);
+ block = (PVOID)((ULONG_PTR)best + HDR_USED_SIZE);
+ /* RtlZeroMemory(block, Size);*/
return(block);
-#endif /* WHOLE_PAGE_ALLOCATIONS */
}
-#ifdef WHOLE_PAGE_ALLOCATIONS
-
-PVOID STDCALL
-ExAllocateWholePageBlock(ULONG UserSize)
+VOID
+INIT_FUNCTION
+NTAPI
+MiInitializeNonPagedPool(VOID)
{
- PVOID Address;
- PVOID Page;
- ULONG i;
- ULONG Size;
- ULONG NrPages;
-
- Size = sizeof(ULONG) + UserSize;
- NrPages = ROUND_UP(Size, PAGESIZE) / PAGESIZE;
-
- Address = MiAllocNonPagedPoolRegion(NrPages + 1);
-
- for (i = 0; i < NrPages; i++)
- {
- Page = MmAllocPage(0);
- if (Page == NULL)
- {
- KeBugCheck(0);
- }
- MmCreateVirtualMapping(NULL,
- Address + (i * PAGESIZE),
- PAGE_READWRITE | PAGE_SYSTEM,
- (ULONG)Page);
- }
-
- *((PULONG)((ULONG)Address + (NrPages * PAGESIZE) - Size)) = NrPages;
- return((PVOID)((ULONG)Address + (NrPages * PAGESIZE) - UserSize));
+ NTSTATUS Status;
+ PFN_TYPE Page;
+ ULONG i;
+ PVOID Address;
+ HDR_USED* used;
+ HDR_FREE* free;
+#ifdef TAG_STATISTICS_TRACKING
+
+ for (i = 0; i < TAG_HASH_TABLE_SIZE; i++)
+ {
+ InitializeListHead(&tag_hash_table[i]);
+ }
+#endif
+ KeInitializeSpinLock(&MmNpoolLock);
+ InitializeListHead(&UsedBlockListHead);
+ InitializeListHead(&AddressListHead);
+ FreeBlockListRoot = NULL;
+
+ MiNonPagedPoolAllocMap = (PVOID)((ULONG_PTR)MiNonPagedPoolStart + PAGE_SIZE);
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+ MiNonPagedPoolNrOfPages = ROUND_UP(MiNonPagedPoolLength / PAGE_SIZE, 32) / 8;
+ MiNonPagedPoolNrOfPages = ROUND_UP(MiNonPagedPoolNrOfPages + NPOOL_REDZONE_SIZE, MM_POOL_ALIGNMENT);
+ MiNonPagedPoolNrOfPages = PAGE_ROUND_UP(MiNonPagedPoolNrOfPages + HDR_FREE_SIZE) + PAGE_SIZE;
+#else
+ MiNonPagedPoolNrOfPages = PAGE_ROUND_UP(ROUND_UP(MiNonPagedPoolLength / PAGE_SIZE, 32) / 8 + HDR_FREE_SIZE) + PAGE_SIZE;
+#endif
+ MiNonPagedPoolNrOfPages /= PAGE_SIZE;
+ Address = MiNonPagedPoolStart;
+
+ for (i = 0; i < MiNonPagedPoolNrOfPages; i++)
+ {
+ Status = MmRequestPageMemoryConsumer(MC_NPPOOL, FALSE, &Page);
+ if (!NT_SUCCESS(Status))
+ {
+ DbgPrint("Unable to allocate a page\n");
+ KEBUGCHECK(0);
+ }
+
+ Status = MmCreateVirtualMapping(NULL,
+ Address,
+ PAGE_READWRITE|PAGE_SYSTEM,
+ &Page,
+ 1);
+ if (!NT_SUCCESS(Status))
+ {
+ DbgPrint("Unable to create virtual mapping\n");
+ KEBUGCHECK(0);
+ }
+ Address = (PVOID)((ULONG_PTR)Address + PAGE_SIZE);
+ }
+
+ for (i = 0; i < MiNonPagedPoolNrOfPages; i++)
+ {
+ MiNonPagedPoolAllocMap[i / 32] |= (1 << (i % 32));
+ }
+
+ /* the first block is free */
+ free = (HDR_FREE*)MiNonPagedPoolStart;
+ free->hdr.Magic = BLOCK_HDR_FREE_MAGIC;
+ free->hdr.Size = PAGE_SIZE - HDR_USED_SIZE;
+ free->hdr.previous = NULL;
+ memset((PVOID)((ULONG_PTR)free + HDR_FREE_SIZE), 0xcc, free->hdr.Size - HDR_FREE_SIZE);
+ add_to_free_list(free);
+
+ /* the second block contains the non paged pool bitmap */
+ used = (HDR_USED*)((ULONG_PTR)free + free->hdr.Size);
+ used->hdr.Magic = BLOCK_HDR_USED_MAGIC;
+#if defined(NPOOL_REDZONE_CHECK) || defined(NPOOL_REDZONE_CHECK_FULL)
+ used->UserSize = ROUND_UP(MiNonPagedPoolLength / PAGE_SIZE, 32) / 8;
+ used->hdr.Size = ROUND_UP(used->UserSize + NPOOL_REDZONE_SIZE, MM_POOL_ALIGNMENT) + HDR_USED_SIZE;
+ memset((PVOID)((ULONG_PTR)used + HDR_USED_SIZE - NPOOL_REDZONE_SIZE), NPOOL_REDZONE_LOVALUE, NPOOL_REDZONE_SIZE);
+ memset((PVOID)((ULONG_PTR)used + HDR_USED_SIZE + used->UserSize), NPOOL_REDZONE_HIVALUE, NPOOL_REDZONE_SIZE);
+#else
+ used->hdr.Size = ROUND_UP(MiNonPagedPoolLength / PAGE_SIZE, 32) / 8 + HDR_USED_SIZE;
+#endif
+ used->hdr.previous = &free->hdr;
+ used->Tag = 0xffffffff;
+ used->Caller = (PVOID)MiInitializeNonPagedPool;
+ used->Dumped = FALSE;
+ add_to_used_list(used);
+#ifdef TAG_STATISTICS_TRACKING
+ MiAddToTagHashTable(used);
+#endif
+
+ /* the third block is the free block after the bitmap */
+ free = (HDR_FREE*)((ULONG_PTR)used + used->hdr.Size);
+ free->hdr.Magic = BLOCK_HDR_FREE_MAGIC;
+ free->hdr.Size = MiNonPagedPoolLength - ((ULONG_PTR)free - (ULONG_PTR)MiNonPagedPoolStart);
+ free->hdr.previous = &used->hdr;
+ memset((PVOID)((ULONG_PTR)free + HDR_FREE_SIZE), 0xcc, (ULONG_PTR)Address - (ULONG_PTR)free - HDR_FREE_SIZE);
+ add_to_free_list(free);
}
-VOID STDCALL
-ExFreeWholePageBlock(PVOID Addr)
+PVOID
+STDCALL
+MiAllocateSpecialPool (IN POOL_TYPE PoolType,
+ IN SIZE_T NumberOfBytes,
+ IN ULONG Tag,
+ IN ULONG Underrun
+ )
{
- ULONG NrPages;
-
- if ((ULONG)Addr < kernel_pool_base ||
- (ULONG)Addr >= (kernel_pool_base + NONPAGED_POOL_SIZE))
- {
- DbgPrint("Block %x found outside pool area\n", Addr);
- KeBugCheck(0);
- }
- NrPages = *(PULONG)((ULONG)Addr - sizeof(ULONG));
- MiFreeNonPagedPoolRegion((PVOID)PAGE_ROUND_DOWN((ULONG)Addr), NrPages, TRUE);
+ /* FIXME: Special Pools not Supported */
+ DbgPrint("Special Pools not supported\n");
+ return NULL;
}
-#endif /* WHOLE_PAGE_ALLOCATIONS */
-
/* EOF */
projects / reactos.git / blobdiff