diff options
| author | manuel <manuel@mausz.at> | 2012-06-19 01:44:56 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2012-06-19 01:44:56 +0200 |
| commit | e88a8c4c379d721e9901752d440a05295087da11 (patch) | |
| tree | b89070c525614267811a10b77a4dbc49ffd96b03 /threads/thread.h | |
| parent | d9e0c55d118d0a3923b440b7811f8d1d6db9e1d7 (diff) | |
| download | progos-e88a8c4c379d721e9901752d440a05295087da11.tar.gz progos-e88a8c4c379d721e9901752d440a05295087da11.tar.bz2 progos-e88a8c4c379d721e9901752d440a05295087da11.zip | |
implement page table and use it for lazy loading of segments
Diffstat (limited to 'threads/thread.h')
| -rw-r--r-- | threads/thread.h | 3 |
1 files changed, 3 insertions, 0 deletions
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 @@ | |||
| 3 | 3 | ||
| 4 | #include <debug.h> | 4 | #include <debug.h> |
| 5 | #include <list.h> | 5 | #include <list.h> |
| 6 | #include <hash.h> | ||
| 6 | #include <stdint.h> | 7 | #include <stdint.h> |
| 7 | #include "threads/synch.h" | 8 | #include "threads/synch.h" |
| 8 | 9 | ||
| @@ -112,6 +113,8 @@ struct thread | |||
| 112 | int saved_priority; /* saved base priority in case of priority dontation */ | 113 | int saved_priority; /* saved base priority in case of priority dontation */ |
| 113 | struct list locks; /* list of locks the thread currently holds */ | 114 | struct list locks; /* list of locks the thread currently holds */ |
| 114 | struct lock *blocked_lock; /* the lock the thread currently tries to acquire (but hasn't yet) */ | 115 | struct lock *blocked_lock; /* the lock the thread currently tries to acquire (but hasn't yet) */ |
| 116 | |||
| 117 | struct hash page_table; | ||
| 115 | }; | 118 | }; |
| 116 | 119 | ||
| 117 | /* If false (default), use round-robin scheduler. | 120 | /* If false (default), use round-robin scheduler. |
