diff options
Diffstat (limited to 'src/userprog/process.h')
| -rw-r--r-- | src/userprog/process.h | 23 |
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 */ |
