From e88a8c4c379d721e9901752d440a05295087da11 Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Tue, 19 Jun 2012 01:44:56 +0200
Subject: implement page table and use it for lazy loading of segments

---
 threads/thread.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'threads/thread.h')

diff --git a/threads/thread.h b/threads/thread.h
index 9125937..293d14f 100644
--- a/threads/thread.h
+++ b/threads/thread.h
@@ -3,6 +3,7 @@
 
 #include <debug.h>
 #include <list.h>
+#include <hash.h>
 #include <stdint.h>
 #include "threads/synch.h"
 
@@ -112,6 +113,8 @@ struct thread
     int saved_priority;                 /* saved base priority in case of priority dontation */
     struct list locks;                  /* list of locks the thread currently holds */
     struct lock *blocked_lock;          /* the lock the thread currently tries to acquire (but hasn't yet) */
+
+    struct hash page_table;
   };
 
 /* If false (default), use round-robin scheduler.
-- 
cgit v1.2.3