Create page manager.

1 files changed, 42 insertions, 0 deletions

diff --git a/src/include/kernel/pagemgr.H b/src/include/kernel/pagemgr.H
new file mode 100644
index 000000000..1d7193b22
--- /dev/null
+++ b/src/include/kernel/pagemgr.H
@@ -0,0 +1,42 @@
+#ifndef __KERNEL_PAGEMGR_H
+#define __KERNEL_PAGEMGR_H
+
+#include <stdint.h>
+
+/** @class PageManager
+ *  @brief Manages the allocation of memory pages.
+ */
+
+class PageManager
+{
+    public:
+	static void* allocatePage(size_t n = 1);
+	static void freePage(void*, size_t n = 1);
+
+	enum 
+	{ 
+	    PAGESIZE = 4096,
+	    MEMLEN = 8 * 1024 * 1024,
+
+	    BUCKETS = 16,
+	};
+
+    protected:
+	PageManager();
+	~PageManager() {};
+
+    private:
+	void* _allocatePage(size_t);
+	void _freePage(void*, size_t);
+	
+	struct page_t
+	{
+	    page_t* next_page;
+	};
+	page_t* first_page[BUCKETS];
+
+	page_t* pop_bucket(size_t);
+	void push_bucket(page_t*, size_t);
+};
+
+#endif