Initial Pintos

1 files changed, 23 insertions, 0 deletions

diff --git a/src/userprog/process.h b/src/userprog/process.h
new file mode 100644
index 0000000..0a4e4ac
--- /dev/null
+++ b/src/userprog/process.h
@@ -0,0 +1,23 @@
+#ifndef USERPROG_PROCESS_H
+#define USERPROG_PROCESS_H
+
+#include "threads/thread.h"
+
+void process_init (void);
+void process_print_list (void);
+void process_exit (int status);
+tid_t process_execute (const char *file_name);
+int process_wait (tid_t);
+void process_cleanup (void);
+void process_activate (void);
+
+/* This is unacceptable solutions. */
+#define INFINITE_WAIT() for ( ; ; ) thread_yield()
+#define BUSY_WAIT(n)       \
+    do {                   \
+      int i = n;           \
+      while ( i --> 0 )    \
+        thread_yield();    \
+    } while ( 0 )
+
+#endif /* userprog/process.h */