blob: ccb94cb87a77f826acccb10cb894d5423c7bf49a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
#ifndef USERPROG_PROCESS_H
#define USERPROG_PROCESS_H
#include "threads/thread.h"
#define STACK_SIZE (1 << 23) /* 8MB maxiumum stack size */
/* In the current implementation, the capacity is fixed to 1024 (PGSIZE/4) */
struct fd_table {
struct file** fds;
int fd_free; /* lowest-index free FD table entry */
int fd_max; /* highest-index used FD table entry */
int fd_cap; /* FD table capacity */
};
struct process {
/* process tree */
tid_t thread_id;
tid_t parent_tid;
struct list_elem parentelem; /* Owned by parent */
/* communication with parent process */
struct semaphore exit_sem;
struct lock exit_lock;
int exit_status;
/* files */
struct file *executable; /* Loaded executable, if any. */
struct fd_table fd_table; /* File descriptor table */
/* Owned by syscall.c */
void* syscall_buffer;
size_t syscall_buffer_page_cnt;
};
void process_init (void);
struct process* process_current (void);
tid_t process_execute (const char *file_name);
int process_wait (tid_t);
void process_exit (void);
void process_activate (void);
bool process_grow_stack (void *upage);
bool process_install_page (void *upage, void *kpage, bool writable);
int process_open_file(const char* fname);
struct file* process_get_file(int fd);
void process_lock_filesys (void);
void process_unlock_filesys (void);
bool process_close_file(int fd);
#endif /* userprog/process.h */
|
