thread_schedule() now static.

[pintos-anon] / src / threads / thread.h

diff --git a/src/threads/thread.h b/src/threads/thread.h
index b72c372b7ac98407e353480af5a7e1808dd32c23..c011f709a27bd3e2b56c2a864fef272b42beaf84 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -2,8 +2,13 @@
 #define HEADER_THREAD_H 1
 
 #include <stdint.h>
+#include "debug.h"
 #include "list.h"
 
+#ifdef USERPROG
+#include "addrspace.h"
+#endif
+
 enum thread_status 
   {
     THREAD_RUNNING,
@@ -16,8 +21,11 @@ struct thread
   {
     enum thread_status status;
     char name[16];
-    uint32_t *stack;
-    struct list_elem rq_elem;
+    uint8_t *stack;
+    list_elem rq_elem;
+#ifdef USERPROG
+    struct addrspace addrspace;
+#endif
   };
 
 void thread_init (void);
@@ -27,12 +35,17 @@ struct thread *thread_create (const char *name,
 void thread_destroy (struct thread *);
 struct thread *thread_current (void);
 
+#ifdef USERPROG
+bool thread_execute (const char *filename);
+#endif
+
 void thread_start (struct thread *);
 void thread_ready (struct thread *);
-void thread_exit (void);
+void thread_exit (void) NO_RETURN;
 
 void thread_yield (void);
 void thread_sleep (void);
-void thread_schedule (void);
+
+void thread_self_test (void);
 
 #endif /* thread.h */