Compare commits
35 Commits
task2/syst
...
handle-unc
| Author | SHA1 | Date | |
|---|---|---|---|
|
aedb72246b
|
|||
|
e1f0258f8e
|
|||
|
|
eed4ce5130 | ||
|
8567434231
|
|||
| e76712d3fd | |||
|
|
8f82f9d747 | ||
|
|
9ee29ac40a | ||
|
2566948a32
|
|||
| 222aeff90f | |||
|
|
ea3b3594ea | ||
|
|
6b1dbdd34f | ||
|
|
7daf4fb079 | ||
|
|
a7f1d519da | ||
|
|
0f1bce2e88 | ||
|
|
f4c900e56c | ||
|
|
82d45880f7 | ||
|
|
1c757ecdfe | ||
|
|
6a1d10a19b | ||
|
|
0e50603eef | ||
|
|
7947ac78e8 | ||
|
|
4b0d0a51f0 | ||
|
|
eff0837fdc | ||
|
|
9b82947beb | ||
|
|
5e2e7199f2 | ||
|
|
bbe41e178d | ||
|
|
e4036c715f | ||
|
|
3a46e0f73a | ||
|
|
8821851459 | ||
|
|
1a2ff35231 | ||
|
|
79b3b8fda7 | ||
|
f5e498e0a9
|
|||
| d02b956221 | |||
|
|
927c376d02 | ||
|
e7cb16b301
|
|||
|
005791edd2
|
@@ -4,7 +4,7 @@ SRCDIR = ..
|
|||||||
# To add a new test, put its name on the PROGS list
|
# To add a new test, put its name on the PROGS list
|
||||||
# and then add a name_SRC line that lists its source files.
|
# and then add a name_SRC line that lists its source files.
|
||||||
PROGS = cat cmp cp echo halt hex-dump mcat mcp rm \
|
PROGS = cat cmp cp echo halt hex-dump mcat mcp rm \
|
||||||
bubsort insult lineup matmult recursor
|
bubsort insult lineup matmult recursor args-ovf
|
||||||
|
|
||||||
# Should work from task 2 onward.
|
# Should work from task 2 onward.
|
||||||
cat_SRC = cat.c
|
cat_SRC = cat.c
|
||||||
@@ -18,6 +18,7 @@ lineup_SRC = lineup.c
|
|||||||
ls_SRC = ls.c
|
ls_SRC = ls.c
|
||||||
recursor_SRC = recursor.c
|
recursor_SRC = recursor.c
|
||||||
rm_SRC = rm.c
|
rm_SRC = rm.c
|
||||||
|
args-ovf_SRC = args-ovf.c
|
||||||
|
|
||||||
# Should work in task 3; also in task 4 if VM is included.
|
# Should work in task 3; also in task 4 if VM is included.
|
||||||
bubsort_SRC = bubsort.c
|
bubsort_SRC = bubsort.c
|
||||||
|
|||||||
13
src/examples/args-ovf.c
Normal file
13
src/examples/args-ovf.c
Normal file
File diff suppressed because one or more lines are too long
@@ -119,14 +119,14 @@ sema_up (struct semaphore *sema)
|
|||||||
|
|
||||||
old_level = intr_disable ();
|
old_level = intr_disable ();
|
||||||
if (!list_empty (&sema->waiters))
|
if (!list_empty (&sema->waiters))
|
||||||
{
|
{
|
||||||
/* Enforces wake-up of the highest priority thread waiting for the
|
/* Enforces wake-up of the highest priority thread waiting for the
|
||||||
semaphore. */
|
semaphore. */
|
||||||
struct list_elem *e = list_max (&sema->waiters, priority_less, NULL);
|
struct list_elem *e = list_max (&sema->waiters, priority_less, NULL);
|
||||||
list_remove (e);
|
list_remove (e);
|
||||||
thread_unblock (list_entry (e, struct thread, elem));
|
thread_unblock (list_entry (e, struct thread, elem));
|
||||||
thread_unblocked = true;
|
thread_unblocked = true;
|
||||||
}
|
}
|
||||||
sema->value++;
|
sema->value++;
|
||||||
intr_set_level (old_level);
|
intr_set_level (old_level);
|
||||||
|
|
||||||
@@ -134,12 +134,12 @@ sema_up (struct semaphore *sema)
|
|||||||
priority that the current running thread, including the case when called
|
priority that the current running thread, including the case when called
|
||||||
within an interrupt handler. */
|
within an interrupt handler. */
|
||||||
if (thread_unblocked)
|
if (thread_unblocked)
|
||||||
{
|
{
|
||||||
if (intr_context ())
|
if (intr_context ())
|
||||||
intr_yield_on_return ();
|
intr_yield_on_return ();
|
||||||
else
|
else
|
||||||
thread_yield ();
|
thread_yield ();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
static void sema_test_helper (void *sema_);
|
static void sema_test_helper (void *sema_);
|
||||||
|
|||||||
@@ -71,7 +71,7 @@ static void kernel_thread (thread_func *, void *aux);
|
|||||||
static void idle (void *aux UNUSED);
|
static void idle (void *aux UNUSED);
|
||||||
static struct thread *running_thread (void);
|
static struct thread *running_thread (void);
|
||||||
static struct thread *next_thread_to_run (void);
|
static struct thread *next_thread_to_run (void);
|
||||||
static void init_process_result (struct thread *t);
|
static bool init_process_result (struct thread *t);
|
||||||
static void init_thread (struct thread *, const char *name, int nice,
|
static void init_thread (struct thread *, const char *name, int nice,
|
||||||
int priority, fp32_t recent_cpu);
|
int priority, fp32_t recent_cpu);
|
||||||
static bool is_thread (struct thread *) UNUSED;
|
static bool is_thread (struct thread *) UNUSED;
|
||||||
@@ -84,6 +84,10 @@ void thread_schedule_tail (struct thread *prev);
|
|||||||
static tid_t allocate_tid (void);
|
static tid_t allocate_tid (void);
|
||||||
static bool donor_priority_less (const struct list_elem *a_,
|
static bool donor_priority_less (const struct list_elem *a_,
|
||||||
const struct list_elem *b_, void *aux UNUSED);
|
const struct list_elem *b_, void *aux UNUSED);
|
||||||
|
static unsigned process_result_hash (const struct hash_elem *e,
|
||||||
|
void *aux UNUSED);
|
||||||
|
static bool process_result_less (const struct hash_elem *a,
|
||||||
|
const struct hash_elem *b, void *aux UNUSED);
|
||||||
|
|
||||||
/* Initializes the threading system by transforming the code
|
/* Initializes the threading system by transforming the code
|
||||||
that's currently running into a thread. This can't work in
|
that's currently running into a thread. This can't work in
|
||||||
@@ -122,6 +126,13 @@ thread_init (void)
|
|||||||
void
|
void
|
||||||
thread_start (void)
|
thread_start (void)
|
||||||
{
|
{
|
||||||
|
/* Malloc has been initalised, we can allocate the child results table
|
||||||
|
for the main thread. */
|
||||||
|
struct thread *t = thread_current ();
|
||||||
|
if (!hash_init (&t->child_results, process_result_hash, process_result_less,
|
||||||
|
t))
|
||||||
|
PANIC ("Failed to initialise child results table for main thread.");
|
||||||
|
|
||||||
/* Create the idle thread. */
|
/* Create the idle thread. */
|
||||||
struct semaphore idle_started;
|
struct semaphore idle_started;
|
||||||
sema_init (&idle_started, 0);
|
sema_init (&idle_started, 0);
|
||||||
@@ -241,11 +252,25 @@ thread_create (const char *name, int priority,
|
|||||||
struct thread *parent_thread = thread_current ();
|
struct thread *parent_thread = thread_current ();
|
||||||
init_thread (t, name, parent_thread->nice, priority, parent_thread->recent_cpu);
|
init_thread (t, name, parent_thread->nice, priority, parent_thread->recent_cpu);
|
||||||
tid = t->tid = allocate_tid ();
|
tid = t->tid = allocate_tid ();
|
||||||
init_process_result (t);
|
if (!init_process_result (t))
|
||||||
|
{
|
||||||
|
palloc_free_page (t);
|
||||||
|
return TID_ERROR;
|
||||||
|
}
|
||||||
|
|
||||||
#ifdef USERPROG
|
#ifdef USERPROG
|
||||||
hash_init (&t->open_files, fd_hash, fd_less, NULL);
|
/* Initialize the thread's file descriptor table. */
|
||||||
#endif
|
t->fd_counter = MINIMUM_USER_FD;
|
||||||
|
|
||||||
|
if (!hash_init (&t->open_files, fd_hash, fd_less, NULL)
|
||||||
|
|| !hash_init (&t->child_results, process_result_hash,
|
||||||
|
process_result_less, t))
|
||||||
|
{
|
||||||
|
palloc_free_page (t);
|
||||||
|
free (t->result);
|
||||||
|
return TID_ERROR;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
/* Prepare thread for first run by initializing its stack.
|
/* Prepare thread for first run by initializing its stack.
|
||||||
Do this atomically so intermediate values for the 'stack'
|
Do this atomically so intermediate values for the 'stack'
|
||||||
@@ -269,9 +294,7 @@ thread_create (const char *name, int priority,
|
|||||||
|
|
||||||
intr_set_level (old_level);
|
intr_set_level (old_level);
|
||||||
|
|
||||||
/* No need to synchronise child_results since it is only ever accessed by one
|
hash_insert (&parent_thread->child_results, &t->result->elem);
|
||||||
thread. By the nature of increasing TIDs, this list is ordered. */
|
|
||||||
list_push_back (&parent_thread->child_results, &t->result->elem);
|
|
||||||
|
|
||||||
/* Add to run queue. */
|
/* Add to run queue. */
|
||||||
thread_unblock (t);
|
thread_unblock (t);
|
||||||
@@ -649,15 +672,18 @@ is_thread (struct thread *t)
|
|||||||
}
|
}
|
||||||
|
|
||||||
/* Allocate and initialise a process result for given thread. */
|
/* Allocate and initialise a process result for given thread. */
|
||||||
static void
|
static bool
|
||||||
init_process_result (struct thread *t)
|
init_process_result (struct thread *t)
|
||||||
{
|
{
|
||||||
struct process_result *result = malloc (sizeof (struct process_result));
|
struct process_result *result = malloc (sizeof (struct process_result));
|
||||||
|
if (result == NULL)
|
||||||
|
return false;
|
||||||
result->tid = t->tid;
|
result->tid = t->tid;
|
||||||
result->exit_status = t->exit_status;
|
result->exit_status = -1;
|
||||||
lock_init (&result->lock);
|
lock_init (&result->lock);
|
||||||
sema_init (&result->sema, 0);
|
sema_init (&result->sema, 0);
|
||||||
t->result = result;
|
t->result = result;
|
||||||
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Does basic initialization of T as a blocked thread named
|
/* Does basic initialization of T as a blocked thread named
|
||||||
@@ -688,9 +714,6 @@ init_thread (struct thread *t, const char *name, int nice, int priority,
|
|||||||
t->recent_cpu = recent_cpu;
|
t->recent_cpu = recent_cpu;
|
||||||
t->priority = t->base_priority;
|
t->priority = t->base_priority;
|
||||||
|
|
||||||
t->exit_status = -1;
|
|
||||||
list_init (&t->child_results);
|
|
||||||
|
|
||||||
old_level = intr_disable ();
|
old_level = intr_disable ();
|
||||||
list_push_back (&all_list, &t->allelem);
|
list_push_back (&all_list, &t->allelem);
|
||||||
intr_set_level (old_level);
|
intr_set_level (old_level);
|
||||||
@@ -821,6 +844,29 @@ allocate_tid (void)
|
|||||||
return tid;
|
return tid;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Hashing function needed for child_results table.
|
||||||
|
Returns hash of process_result's TID. */
|
||||||
|
static unsigned
|
||||||
|
process_result_hash (const struct hash_elem *e, void *aux UNUSED)
|
||||||
|
{
|
||||||
|
const struct process_result *result
|
||||||
|
= hash_entry (e, struct process_result, elem);
|
||||||
|
return hash_int (result->tid);
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Comparator function needed for child_results table.
|
||||||
|
Returns less than comparison on process_results' TIDs. */
|
||||||
|
static bool
|
||||||
|
process_result_less (const struct hash_elem *a_, const struct hash_elem *b_,
|
||||||
|
void *aux UNUSED)
|
||||||
|
{
|
||||||
|
const struct process_result *a
|
||||||
|
= hash_entry (a_, struct process_result, elem);
|
||||||
|
const struct process_result *b
|
||||||
|
= hash_entry (b_, struct process_result, elem);
|
||||||
|
return a->tid < b->tid;
|
||||||
|
}
|
||||||
|
|
||||||
/* Offset of `stack' member within `struct thread'.
|
/* Offset of `stack' member within `struct thread'.
|
||||||
Used by switch.S, which can't figure it out on its own. */
|
Used by switch.S, which can't figure it out on its own. */
|
||||||
uint32_t thread_stack_ofs = offsetof (struct thread, stack);
|
uint32_t thread_stack_ofs = offsetof (struct thread, stack);
|
||||||
|
|||||||
@@ -32,6 +32,9 @@ typedef int tid_t;
|
|||||||
#define NICE_DEFAULT 0 /* Default niceness. */
|
#define NICE_DEFAULT 0 /* Default niceness. */
|
||||||
#define NICE_MAX 20 /* Highest niceness. */
|
#define NICE_MAX 20 /* Highest niceness. */
|
||||||
|
|
||||||
|
/* File Descriptors. */
|
||||||
|
#define MINIMUM_USER_FD 2 /* Minimum file descriptor for user programs. */
|
||||||
|
|
||||||
/* A process result, synchronised between parent and child. */
|
/* A process result, synchronised between parent and child. */
|
||||||
struct process_result
|
struct process_result
|
||||||
{
|
{
|
||||||
@@ -41,7 +44,7 @@ struct process_result
|
|||||||
struct lock lock; /* Lock the exit_status and sema. */
|
struct lock lock; /* Lock the exit_status and sema. */
|
||||||
struct semaphore sema; /* Semaphore to signal the parent that the exit_status
|
struct semaphore sema; /* Semaphore to signal the parent that the exit_status
|
||||||
has been set. */
|
has been set. */
|
||||||
struct list_elem elem; /* List element for the parent's children list. */
|
struct hash_elem elem; /* Hash element for the parent's children map. */
|
||||||
};
|
};
|
||||||
|
|
||||||
/* A kernel thread or user process.
|
/* A kernel thread or user process.
|
||||||
@@ -125,19 +128,19 @@ struct thread
|
|||||||
|
|
||||||
/* Process wait properties. */
|
/* Process wait properties. */
|
||||||
struct process_result *result; /* Result of the process. */
|
struct process_result *result; /* Result of the process. */
|
||||||
struct list child_results; /* List of children's of this thread
|
struct hash child_results; /* Map of children's of this thread
|
||||||
process results. */
|
TID to process result. */
|
||||||
struct file *exec_file; /* Thread's currently running file */
|
struct file *exec_file; /* Thread's currently running file */
|
||||||
|
|
||||||
/* Shared between thread.c and synch.c. */
|
/* Shared between thread.c and synch.c. */
|
||||||
struct list_elem elem; /* List element. */
|
struct list_elem elem; /* List element. */
|
||||||
|
|
||||||
int exit_status; /* Exit Status: 0 = successful exit. */
|
|
||||||
|
|
||||||
#ifdef USERPROG
|
#ifdef USERPROG
|
||||||
/* Owned by userprog/process.c. */
|
/* Owned by userprog/process.c. */
|
||||||
uint32_t *pagedir; /* Page directory. */
|
uint32_t *pagedir; /* Page directory. */
|
||||||
struct hash open_files; /* Hash Table of FD -> Struct File */
|
unsigned int fd_counter; /* File descriptor counter for thread's
|
||||||
|
open files. */
|
||||||
|
struct hash open_files; /* Hash Table of FD -> Struct File. */
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
/* Owned by thread.c. */
|
/* Owned by thread.c. */
|
||||||
|
|||||||
@@ -1,5 +1,6 @@
|
|||||||
#include "userprog/process.h"
|
#include "userprog/process.h"
|
||||||
#include <debug.h>
|
#include <debug.h>
|
||||||
|
#include <hash.h>
|
||||||
#include <inttypes.h>
|
#include <inttypes.h>
|
||||||
#include <list.h>
|
#include <list.h>
|
||||||
#include <round.h>
|
#include <round.h>
|
||||||
@@ -28,6 +29,10 @@
|
|||||||
(for the purposes of alignment). */
|
(for the purposes of alignment). */
|
||||||
#define WORD_SIZE 4
|
#define WORD_SIZE 4
|
||||||
|
|
||||||
|
/* Defines non-negative integer division wherein the result is always rounded
|
||||||
|
up. */
|
||||||
|
#define DIV_CEIL(x, y) ((x + (y - 1)) / y)
|
||||||
|
|
||||||
/* Keeps track of the position of pointers to user program arguments
|
/* Keeps track of the position of pointers to user program arguments
|
||||||
within a linked list. */
|
within a linked list. */
|
||||||
struct arg_elem
|
struct arg_elem
|
||||||
@@ -40,16 +45,18 @@ struct arg_elem
|
|||||||
that executes process_start for the purpose of starting a user process. */
|
that executes process_start for the purpose of starting a user process. */
|
||||||
struct process_start_data
|
struct process_start_data
|
||||||
{
|
{
|
||||||
char *cmd; /* Pointer to a copy of the command used to execute the process.
|
|
||||||
Allocated a page that must be freed by process_start. */
|
|
||||||
char *cmd_saveptr; /* Value pointed to by 'saveptr' argument used by
|
char *cmd_saveptr; /* Value pointed to by 'saveptr' argument used by
|
||||||
successive calls to strtok_r to split 'cmd' into
|
successive calls to strtok_r to split 'cmd' into
|
||||||
tokens while maintaining state. */
|
tokens while maintaining state. */
|
||||||
char file_name[FNAME_MAX_LEN + 1]; /* Name of the file of the process to
|
char file_name[FNAME_MAX_LEN + 1]; /* Name of the file of the process to
|
||||||
be started. */
|
be started. */
|
||||||
|
bool success; /* Indicates whether the process was successfully loaded. */
|
||||||
|
struct semaphore loaded; /* Semaphore used to signal that the process has
|
||||||
|
finished attempting to load. */
|
||||||
};
|
};
|
||||||
|
|
||||||
static thread_func start_process NO_RETURN;
|
static thread_func start_process NO_RETURN;
|
||||||
|
static void destruct_process_result (struct hash_elem *e, void *aux UNUSED);
|
||||||
static bool load (const char *cmdline, void (**eip) (void), void **esp);
|
static bool load (const char *cmdline, void (**eip) (void), void **esp);
|
||||||
|
|
||||||
/* Starts a new thread running a user program executed via
|
/* Starts a new thread running a user program executed via
|
||||||
@@ -61,12 +68,7 @@ process_execute (const char *cmd)
|
|||||||
{
|
{
|
||||||
char *cmd_copy;
|
char *cmd_copy;
|
||||||
tid_t tid;
|
tid_t tid;
|
||||||
|
struct process_start_data data;
|
||||||
struct process_start_data *data = malloc (sizeof (struct process_start_data));
|
|
||||||
if (data == NULL)
|
|
||||||
{
|
|
||||||
return TID_ERROR;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Make a copy of command.
|
/* Make a copy of command.
|
||||||
Otherwise there's a race between the caller and load(). */
|
Otherwise there's a race between the caller and load(). */
|
||||||
@@ -80,27 +82,34 @@ process_execute (const char *cmd)
|
|||||||
|
|
||||||
/* Retrieve first argument of command, which is the file name
|
/* Retrieve first argument of command, which is the file name
|
||||||
of the process. */
|
of the process. */
|
||||||
char *file_name = strtok_r (cmd_copy, " ", &data->cmd_saveptr);
|
char *file_name = strtok_r (cmd_copy, " ", &data.cmd_saveptr);
|
||||||
|
|
||||||
/* NOTE: Currently, the file being executed is closed in load () and then
|
/* Validates that the current file to be executed can be opened/exists. */
|
||||||
reopened here. Because load is an exported public function, this
|
|
||||||
might be necessary. */
|
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
/* Validates that the current file to be executed is a valid file */
|
struct file *file = filesys_open (file_name);
|
||||||
bool valid_file = filesys_open (file_name) != NULL;
|
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
if (!valid_file)
|
if (file == NULL)
|
||||||
return TID_ERROR;
|
return TID_ERROR;
|
||||||
|
|
||||||
/* Create a new thread to execute the command, by initializing
|
/* Create a new thread to execute the command, by initializing
|
||||||
it running the function 'start_process' with the appropriate
|
it running the function 'start_process' with the appropriate
|
||||||
arguments. For details of arguments, see 'start_process'. */
|
arguments. For details of arguments, see 'start_process'. */
|
||||||
data->cmd = cmd_copy;
|
strlcpy (data.file_name, file_name, FNAME_MAX_LEN + 1);
|
||||||
strlcpy (data->file_name, file_name, FNAME_MAX_LEN + 1);
|
sema_init (&data.loaded, 0);
|
||||||
|
data.success = false;
|
||||||
|
|
||||||
tid = thread_create (file_name, PRI_DEFAULT, start_process, data);
|
tid = thread_create (file_name, PRI_DEFAULT, start_process, &data);
|
||||||
if (tid == TID_ERROR)
|
|
||||||
palloc_free_page (cmd_copy);
|
/* Wait until process file has finished attempting to load via the child
|
||||||
|
thread before reporting success of starting execution. */
|
||||||
|
if (tid != TID_ERROR)
|
||||||
|
{
|
||||||
|
sema_down (&data.loaded);
|
||||||
|
if (!data.success)
|
||||||
|
tid = TID_ERROR;
|
||||||
|
}
|
||||||
|
|
||||||
|
palloc_free_page (cmd_copy);
|
||||||
return tid;
|
return tid;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -112,14 +121,15 @@ static void *push_to_stack (void **esp, void *data, size_t data_size);
|
|||||||
/* Make the current thread execute 'cmd', passing in a copy of the
|
/* Make the current thread execute 'cmd', passing in a copy of the
|
||||||
command string used for processing, the saveptr used by strtok_r
|
command string used for processing, the saveptr used by strtok_r
|
||||||
(in order to further tokenize the same command and retrieve its
|
(in order to further tokenize the same command and retrieve its
|
||||||
arguments), as well as the name of the file being executed. This
|
arguments), the name of the file being executed, and a semaphore that
|
||||||
involves loading the specified file and starting it running. */
|
calls sema_up to indicate that the 'success' variable passed to it
|
||||||
|
has been updated to indicate whether the process file loading succeeded.
|
||||||
|
This involves loading the specified file and calling its main () function
|
||||||
|
with the specified command arguments. */
|
||||||
static void
|
static void
|
||||||
start_process (void *proc_start_data)
|
start_process (void *proc_start_data)
|
||||||
{
|
{
|
||||||
struct intr_frame if_;
|
struct intr_frame if_;
|
||||||
bool success;
|
|
||||||
|
|
||||||
struct process_start_data *data = proc_start_data;
|
struct process_start_data *data = proc_start_data;
|
||||||
|
|
||||||
/* Initialize interrupt frame and load executable. */
|
/* Initialize interrupt frame and load executable. */
|
||||||
@@ -127,35 +137,46 @@ start_process (void *proc_start_data)
|
|||||||
if_.gs = if_.fs = if_.es = if_.ds = if_.ss = SEL_UDSEG;
|
if_.gs = if_.fs = if_.es = if_.ds = if_.ss = SEL_UDSEG;
|
||||||
if_.cs = SEL_UCSEG;
|
if_.cs = SEL_UCSEG;
|
||||||
if_.eflags = FLAG_IF | FLAG_MBS;
|
if_.eflags = FLAG_IF | FLAG_MBS;
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
|
|
||||||
/* Prevent writing to the file being executed. */
|
|
||||||
struct file *exec_file = filesys_open (data->file_name);
|
struct file *exec_file = filesys_open (data->file_name);
|
||||||
thread_current ()->exec_file = exec_file;
|
if (exec_file == NULL)
|
||||||
|
{
|
||||||
|
/* If the executable file cannot be opened, free resources and quit. */
|
||||||
|
lock_release (&filesys_lock);
|
||||||
|
sema_up (&data->loaded);
|
||||||
|
thread_exit ();
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Deny write to the executable file to prevent writing to it and release the
|
||||||
|
file system lock. */
|
||||||
file_deny_write (exec_file);
|
file_deny_write (exec_file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
success = load (data->file_name, &if_.eip, &if_.esp);
|
thread_current ()->exec_file = exec_file;
|
||||||
|
|
||||||
/* If load failed, quit. */
|
/* Load the ELF executable file, and store the success of the operation in
|
||||||
if (!success)
|
the 'success' variable in data. */
|
||||||
|
data->success = load (data->file_name, &if_.eip, &if_.esp);
|
||||||
|
|
||||||
|
/* If load was sucessful, initialize user process stack and free page used
|
||||||
|
to store the command that executed the process. */
|
||||||
|
if (data->success)
|
||||||
{
|
{
|
||||||
palloc_free_page (data->cmd);
|
data->success =
|
||||||
goto fail;
|
process_init_stack (data->cmd_saveptr, &if_.esp, data->file_name);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Initialize user process stack and free page used to store the
|
/* Signal that the process has finished attempting to load. */
|
||||||
command that executed the process. */
|
bool success = data->success;
|
||||||
success = process_init_stack (data->cmd_saveptr, &if_.esp, data->file_name);
|
sema_up (&data->loaded);
|
||||||
palloc_free_page (data->cmd);
|
|
||||||
|
|
||||||
/* If stack initialization failed, free resources and quit. */
|
/* If the load was unsuccessful or if it was but the stack initialization
|
||||||
|
failed, exit the thread. */
|
||||||
if (!success)
|
if (!success)
|
||||||
{
|
thread_exit ();
|
||||||
process_exit ();
|
|
||||||
goto fail;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Start the user process by simulating a return from an
|
/* Start the user process by simulating a return from an
|
||||||
interrupt, implemented by intr_exit (in
|
interrupt, implemented by intr_exit (in
|
||||||
@@ -165,11 +186,6 @@ start_process (void *proc_start_data)
|
|||||||
and jump to it. */
|
and jump to it. */
|
||||||
asm volatile ("movl %0, %%esp; jmp intr_exit" : : "g" (&if_) : "memory");
|
asm volatile ("movl %0, %%esp; jmp intr_exit" : : "g" (&if_) : "memory");
|
||||||
NOT_REACHED ();
|
NOT_REACHED ();
|
||||||
|
|
||||||
/* If starting the process failed, free its common resources and exit. */
|
|
||||||
fail:
|
|
||||||
free (data);
|
|
||||||
thread_exit ();
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Helper function that initializes the stack of a newly created
|
/* Helper function that initializes the stack of a newly created
|
||||||
@@ -177,6 +193,10 @@ start_process (void *proc_start_data)
|
|||||||
static bool
|
static bool
|
||||||
process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
||||||
{
|
{
|
||||||
|
ASSERT (cmd_saveptr != NULL);
|
||||||
|
ASSERT (esp != NULL);
|
||||||
|
ASSERT (file_name != NULL);
|
||||||
|
|
||||||
/* Load command line argument *data* to user process stack.
|
/* Load command line argument *data* to user process stack.
|
||||||
This can't cause overflow due to enforcing that the size of
|
This can't cause overflow due to enforcing that the size of
|
||||||
command line input must fit in a page. Also keep track
|
command line input must fit in a page. Also keep track
|
||||||
@@ -188,8 +208,12 @@ process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
|||||||
int arg_count = 0;
|
int arg_count = 0;
|
||||||
while (arg != NULL)
|
while (arg != NULL)
|
||||||
{
|
{
|
||||||
|
/* filename has already been validated to be a safe-to-access string,
|
||||||
|
so we can safely use strlen here. Filename has already been
|
||||||
|
split from the command line arguments. */
|
||||||
push_to_stack (esp, arg, (strlen (arg) + 1) * sizeof (char));
|
push_to_stack (esp, arg, (strlen (arg) + 1) * sizeof (char));
|
||||||
|
|
||||||
|
/* Try to allocate memory for the argument pointer. */
|
||||||
struct arg_elem *arg_elem = malloc (sizeof (struct arg_elem));
|
struct arg_elem *arg_elem = malloc (sizeof (struct arg_elem));
|
||||||
if (arg_elem == NULL)
|
if (arg_elem == NULL)
|
||||||
{
|
{
|
||||||
@@ -198,9 +222,11 @@ process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
|||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Store the argument pointer in the linked list. */
|
||||||
arg_elem->arg = *esp;
|
arg_elem->arg = *esp;
|
||||||
list_push_front (&arg_list, &arg_elem->elem);
|
list_push_front (&arg_list, &arg_elem->elem);
|
||||||
|
|
||||||
|
/* Increment the argument count and get the next argument. */
|
||||||
arg_count++;
|
arg_count++;
|
||||||
arg = strtok_r (NULL, " ", &cmd_saveptr);
|
arg = strtok_r (NULL, " ", &cmd_saveptr);
|
||||||
}
|
}
|
||||||
@@ -216,13 +242,22 @@ process_init_stack (char *cmd_saveptr, void **esp, char *file_name)
|
|||||||
+ return_addr_size;
|
+ return_addr_size;
|
||||||
|
|
||||||
/* If pushing the rest of the data required for the stack would cause
|
/* If pushing the rest of the data required for the stack would cause
|
||||||
overflow, allocate an extra page that is contiguous within the
|
overflow, allocate as many extra pages as needed to the user process
|
||||||
virtual address space (below the current address range). */
|
contiguously in the virtual address space below the initial page. */
|
||||||
if (PHYS_BASE - *esp + remaining_size > PGSIZE)
|
int overflow_bytes = (PHYS_BASE - *esp) + remaining_size - PGSIZE;
|
||||||
|
if (overflow_bytes > 0)
|
||||||
{
|
{
|
||||||
uint8_t *kpage = palloc_get_page (PAL_USER | PAL_ZERO);
|
/* Calculate the number of pages needed to allocate. */
|
||||||
if (!install_page (((uint8_t *) PHYS_BASE) - PGSIZE * 2, kpage, true))
|
int pages_needed = DIV_CEIL (overflow_bytes, PGSIZE);
|
||||||
return false;
|
|
||||||
|
/* Allocate the pages and map them to the user process. */
|
||||||
|
for (int i = 1; i < pages_needed + 1; i++)
|
||||||
|
{
|
||||||
|
uint8_t *kpage = palloc_get_page (PAL_USER | PAL_ZERO);
|
||||||
|
if (!install_page (((uint8_t *) PHYS_BASE) - PGSIZE * (i + 1),
|
||||||
|
kpage, true))
|
||||||
|
return false;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Align stack pointer to word size before pushing argv elements for
|
/* Align stack pointer to word size before pushing argv elements for
|
||||||
@@ -280,39 +315,35 @@ push_to_stack (void **esp, void *data, size_t data_size)
|
|||||||
* This function will be implemented in task 2.
|
* This function will be implemented in task 2.
|
||||||
* For now, it does nothing. */
|
* For now, it does nothing. */
|
||||||
int
|
int
|
||||||
process_wait (tid_t child_tid UNUSED)
|
process_wait (tid_t child_tid)
|
||||||
{
|
{
|
||||||
struct process_result *child_result = NULL;
|
struct thread *t = thread_current ();
|
||||||
struct list_elem *e;
|
struct process_result fake_result;
|
||||||
struct thread *cur = thread_current ();
|
fake_result.tid = child_tid;
|
||||||
for (e = list_begin (&cur->child_results);
|
struct hash_elem *e = hash_find (&t->child_results, &fake_result.elem);
|
||||||
e != list_end (&cur->child_results); e = list_next (e))
|
if (e == NULL)
|
||||||
{
|
|
||||||
struct process_result *result
|
|
||||||
= list_entry (e, struct process_result, elem);
|
|
||||||
if (result->tid == child_tid)
|
|
||||||
{
|
|
||||||
child_result = result;
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
/* List is ordered, allowing us to break early. */
|
|
||||||
else if (result->tid > child_tid)
|
|
||||||
break;
|
|
||||||
}
|
|
||||||
if (child_result == NULL)
|
|
||||||
return -1;
|
return -1;
|
||||||
|
|
||||||
|
struct process_result *child_result
|
||||||
|
= hash_entry (e, struct process_result, elem);
|
||||||
/* Wait for child to die. */
|
/* Wait for child to die. */
|
||||||
sema_down (&child_result->sema);
|
sema_down (&child_result->sema);
|
||||||
|
|
||||||
/* We need lock release in process_exit, so we need to acquire (and possibly
|
/* We need lock release in process_exit, so we need to acquire (and possibly
|
||||||
wait) for it here to ensure we don't free the lock memory before it is
|
wait) for it here to ensure we don't free the lock memory before it is
|
||||||
released in process_exit. */
|
released in process_exit. */
|
||||||
lock_acquire (&child_result->lock);
|
lock_acquire (&child_result->lock);
|
||||||
/* To prevent waiting for child twice, remove it from the list.
|
/* To prevent waiting for child twice, remove it from the table.
|
||||||
No need to use lock since this is the only thread with access to
|
No need to use lock since this is the only thread with access to
|
||||||
the struct process_result now. */
|
the struct process_result now. */
|
||||||
list_remove (&child_result->elem);
|
hash_delete (&t->child_results, &child_result->elem);
|
||||||
|
|
||||||
|
/* Get the exit status of the child */
|
||||||
int exit_status = child_result->exit_status;
|
int exit_status = child_result->exit_status;
|
||||||
|
|
||||||
|
/* Release the lock */
|
||||||
lock_release (&child_result->lock);
|
lock_release (&child_result->lock);
|
||||||
|
/* Result no-longer used by parent, nor child. Deallocate it. */
|
||||||
free (child_result);
|
free (child_result);
|
||||||
return exit_status;
|
return exit_status;
|
||||||
}
|
}
|
||||||
@@ -324,61 +355,27 @@ process_exit (void)
|
|||||||
struct thread *cur = thread_current ();
|
struct thread *cur = thread_current ();
|
||||||
uint32_t *pd;
|
uint32_t *pd;
|
||||||
|
|
||||||
printf ("%s: exit(%d)\n", cur->name, cur->exit_status);
|
|
||||||
|
|
||||||
/* Clean up all open files */
|
/* Clean up all open files */
|
||||||
hash_destroy (&cur->open_files, fd_cleanup);
|
hash_destroy (&cur->open_files, fd_cleanup);
|
||||||
|
|
||||||
/* Close the executable file. */
|
/* Close the executable file, implicitly allowing it to be written to. */
|
||||||
if (cur->exec_file != NULL)
|
if (cur->exec_file != NULL)
|
||||||
{
|
{
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
file_allow_write (cur->exec_file);
|
|
||||||
file_close (cur->exec_file);
|
file_close (cur->exec_file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Update process result. */
|
|
||||||
if (cur->result != NULL)
|
if (cur->result != NULL)
|
||||||
{
|
{
|
||||||
lock_acquire (&cur->result->lock);
|
printf ("%s: exit(%d)\n", cur->name, cur->result->exit_status);
|
||||||
cur->result->exit_status = cur->exit_status;
|
/* Update own process result. */
|
||||||
/* Parent has died, child has to free the struct process_result * */
|
destruct_process_result (&cur->result->elem, cur);
|
||||||
if (sema_try_down (&cur->result->sema))
|
|
||||||
{
|
|
||||||
lock_release (&cur->result->lock);
|
|
||||||
free (cur->result);
|
|
||||||
}
|
|
||||||
/* Parent is still alive and will be the one to free the
|
|
||||||
struct process_result *, and may be waiting so call sema_up */
|
|
||||||
else
|
|
||||||
{
|
|
||||||
sema_up (&cur->result->sema);
|
|
||||||
lock_release (&cur->result->lock);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Free child process results or signal parent's death. */
|
/* Free child process results or signal parent's death. */
|
||||||
struct list_elem *e;
|
hash_destroy (&cur->child_results, destruct_process_result);
|
||||||
for (e = list_begin (&cur->child_results);
|
|
||||||
e != list_end (&cur->child_results); e = list_next (e))
|
|
||||||
{
|
|
||||||
struct process_result *result
|
|
||||||
= list_entry (e, struct process_result, elem);
|
|
||||||
lock_acquire (&result->lock);
|
|
||||||
/* Child has died (and was not waited for). Free the result. */
|
|
||||||
if (sema_try_down (&result->sema))
|
|
||||||
{
|
|
||||||
lock_release (&result->lock);
|
|
||||||
free (result);
|
|
||||||
}
|
|
||||||
/* Child is still alive, signal via sema that parent has died. */
|
|
||||||
else
|
|
||||||
{
|
|
||||||
sema_up (&result->sema);
|
|
||||||
lock_release (&result->lock);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Destroy the current process's page directory and switch back
|
/* Destroy the current process's page directory and switch back
|
||||||
to the kernel-only page directory. */
|
to the kernel-only page directory. */
|
||||||
@@ -398,6 +395,28 @@ process_exit (void)
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Destruct a process_result, with multi-thread awareness.
|
||||||
|
If the other thread is running, simply signals death. Otherwise
|
||||||
|
frees the result. */
|
||||||
|
static void
|
||||||
|
destruct_process_result (struct hash_elem *e, void *aux UNUSED)
|
||||||
|
{
|
||||||
|
struct process_result *result = hash_entry (e, struct process_result, elem);
|
||||||
|
lock_acquire (&result->lock);
|
||||||
|
/* Other thread has died (and was not waited for). Free the result. */
|
||||||
|
if (sema_try_down (&result->sema))
|
||||||
|
{
|
||||||
|
lock_release (&result->lock);
|
||||||
|
free (result);
|
||||||
|
}
|
||||||
|
/* Other thread is still alive, signal via sema that parent has died. */
|
||||||
|
else
|
||||||
|
{
|
||||||
|
sema_up (&result->sema);
|
||||||
|
lock_release (&result->lock);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/* Sets up the CPU for running user code in the current
|
/* Sets up the CPU for running user code in the current
|
||||||
thread.
|
thread.
|
||||||
This function is called on every context switch. */
|
This function is called on every context switch. */
|
||||||
|
|||||||
@@ -16,8 +16,6 @@
|
|||||||
#define MAX_SYSCALL_ARGS 3
|
#define MAX_SYSCALL_ARGS 3
|
||||||
#define EXIT_FAILURE -1
|
#define EXIT_FAILURE -1
|
||||||
|
|
||||||
static unsigned fd_counter = MIN_USER_FD;
|
|
||||||
|
|
||||||
struct open_file
|
struct open_file
|
||||||
{
|
{
|
||||||
int fd; /* File Descriptor / Identifier */
|
int fd; /* File Descriptor / Identifier */
|
||||||
@@ -133,7 +131,7 @@ syscall_exit (int status)
|
|||||||
{
|
{
|
||||||
/* Sets exit_status of the thread to status. thread_exit () will call
|
/* Sets exit_status of the thread to status. thread_exit () will call
|
||||||
process_exit () if user programs are allowed. */
|
process_exit () if user programs are allowed. */
|
||||||
thread_current ()->exit_status = status;
|
thread_current ()->result->exit_status = status;
|
||||||
thread_exit ();
|
thread_exit ();
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -142,6 +140,7 @@ syscall_exit (int status)
|
|||||||
static pid_t
|
static pid_t
|
||||||
syscall_exec (const char *cmd_line)
|
syscall_exec (const char *cmd_line)
|
||||||
{
|
{
|
||||||
|
/* Validate the user string before executing the process. */
|
||||||
validate_user_string (cmd_line);
|
validate_user_string (cmd_line);
|
||||||
|
|
||||||
return process_execute (cmd_line); /* Returns the PID of the new process */
|
return process_execute (cmd_line); /* Returns the PID of the new process */
|
||||||
@@ -161,12 +160,15 @@ syscall_wait (pid_t pid)
|
|||||||
static bool
|
static bool
|
||||||
syscall_create (const char *file, unsigned initial_size)
|
syscall_create (const char *file, unsigned initial_size)
|
||||||
{
|
{
|
||||||
|
/* Validate the user string before creating the file. */
|
||||||
validate_user_string (file);
|
validate_user_string (file);
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
bool status = filesys_create (file, initial_size);
|
bool status = filesys_create (file, initial_size);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the status of the file creation. */
|
||||||
return status;
|
return status;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -176,12 +178,15 @@ syscall_create (const char *file, unsigned initial_size)
|
|||||||
static bool
|
static bool
|
||||||
syscall_remove (const char *file)
|
syscall_remove (const char *file)
|
||||||
{
|
{
|
||||||
|
/* Validate the user string before removing the file. */
|
||||||
validate_user_string (file);
|
validate_user_string (file);
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
bool status = filesys_remove (file);
|
bool status = filesys_remove (file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the status of the file removal. */
|
||||||
return status;
|
return status;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -192,11 +197,15 @@ syscall_remove (const char *file)
|
|||||||
static int
|
static int
|
||||||
syscall_open (const char *file)
|
syscall_open (const char *file)
|
||||||
{
|
{
|
||||||
|
/* Validate the user string before opening the file. */
|
||||||
validate_user_string (file);
|
validate_user_string (file);
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
struct file *ptr = filesys_open (file);
|
struct file *ptr = filesys_open (file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* If the file could not be opened, return failure. */
|
||||||
if (ptr == NULL)
|
if (ptr == NULL)
|
||||||
return EXIT_FAILURE;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
@@ -206,12 +215,14 @@ syscall_open (const char *file)
|
|||||||
= (struct open_file*) malloc (sizeof (struct open_file));
|
= (struct open_file*) malloc (sizeof (struct open_file));
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
{
|
{
|
||||||
|
/* If we could not allocate memory for the file_info struct, close the
|
||||||
|
file and return failure. */
|
||||||
file_close (ptr);
|
file_close (ptr);
|
||||||
return EXIT_FAILURE;
|
return EXIT_FAILURE;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Populate the above struct, with a unique FD and the current open file */
|
/* Populate the above struct, with a unique FD and the current open file */
|
||||||
file_info->fd = fd_counter++;
|
file_info->fd = thread_current ()->fd_counter++;
|
||||||
file_info->file = ptr;
|
file_info->file = ptr;
|
||||||
|
|
||||||
/* Add the new FD->file mapping to the hashtable for the current thread */
|
/* Add the new FD->file mapping to the hashtable for the current thread */
|
||||||
@@ -227,14 +238,17 @@ syscall_open (const char *file)
|
|||||||
static int
|
static int
|
||||||
syscall_filesize (int fd)
|
syscall_filesize (int fd)
|
||||||
{
|
{
|
||||||
|
/* Try to get the file from the FD. If it does not exist, return failure. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return EXIT_FAILURE;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent any race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
int bytes = file_length (file_info->file);
|
int bytes = file_length (file_info->file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the number of bytes in the file. */
|
||||||
return bytes;
|
return bytes;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -247,30 +261,37 @@ syscall_read (int fd, void *buffer, unsigned size)
|
|||||||
{
|
{
|
||||||
/* Only console (fd = 0) or other files, not including STDOUT, (fd > 1) are
|
/* Only console (fd = 0) or other files, not including STDOUT, (fd > 1) are
|
||||||
allowed. */
|
allowed. */
|
||||||
if (fd < 0 || fd == STDOUT_FILENO)
|
if (fd < STDIN_FILENO || fd == STDOUT_FILENO)
|
||||||
return EXIT_FAILURE;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
|
/* Validate the user buffer for the provided size before reading. */
|
||||||
validate_user_pointer (buffer, size);
|
validate_user_pointer (buffer, size);
|
||||||
|
|
||||||
if (fd == STDIN_FILENO)
|
if (fd == STDIN_FILENO)
|
||||||
{
|
{
|
||||||
/* Reading from the console. */
|
/* Reading from the console. */
|
||||||
char *write_buffer = buffer;
|
char *write_buffer = buffer;
|
||||||
for (int i = 0; i < size; i++)
|
for (unsigned i = 0; i < size; i++)
|
||||||
write_buffer[i] = input_getc ();
|
write_buffer[i] = input_getc ();
|
||||||
|
|
||||||
|
/* In case of console, read is always (eventually) successful. So return
|
||||||
|
the size for the number of bytes read. */
|
||||||
return size;
|
return size;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
/* Reading from a file. */
|
/* Reading from a file. */
|
||||||
|
/* Find the file from the FD. If it does not exist, return failure. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return EXIT_FAILURE;
|
return EXIT_FAILURE;
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race-conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
int bytes_written = file_read (file_info->file, buffer, size);
|
int bytes_written = file_read (file_info->file, buffer, size);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the number of bytes read. */
|
||||||
return bytes_written;
|
return bytes_written;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -287,25 +308,32 @@ syscall_write (int fd, const void *buffer, unsigned size)
|
|||||||
if (fd <= 0)
|
if (fd <= 0)
|
||||||
return 0;
|
return 0;
|
||||||
|
|
||||||
|
/* Validate the user buffer for the provided size before writing. */
|
||||||
validate_user_pointer (buffer, size);
|
validate_user_pointer (buffer, size);
|
||||||
|
|
||||||
if (fd == STDOUT_FILENO)
|
if (fd == STDOUT_FILENO)
|
||||||
{
|
{
|
||||||
/* Writing to the console. */
|
/* Writing to the console. */
|
||||||
putbuf (buffer, size);
|
putbuf (buffer, size);
|
||||||
|
|
||||||
|
/* In case of console, write is always successful. So return the size for
|
||||||
|
the number of bytes written. */
|
||||||
return size;
|
return size;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
/* Writing to a file. */
|
/* Writing to a file. */
|
||||||
|
/* Find the file from the FD. If it does not exist, return failure. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return 0;
|
return 0;
|
||||||
|
|
||||||
|
/* Acquire the file system lock to prevent race conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
int bytes = file_write (file_info->file, buffer, size);
|
int bytes = file_write (file_info->file, buffer, size);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Return the number of bytes written. */
|
||||||
return bytes;
|
return bytes;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -317,13 +345,10 @@ syscall_write (int fd, const void *buffer, unsigned size)
|
|||||||
static void
|
static void
|
||||||
syscall_seek (int fd, unsigned position)
|
syscall_seek (int fd, unsigned position)
|
||||||
{
|
{
|
||||||
|
/* Find the file from the FD. If it does not exist, do nothing. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info != NULL)
|
if (file_info != NULL)
|
||||||
{
|
|
||||||
lock_acquire (&filesys_lock);
|
|
||||||
file_seek (file_info->file, position);
|
file_seek (file_info->file, position);
|
||||||
lock_release (&filesys_lock);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Handles the syscall for returning the next byte in a file referenced by
|
/* Handles the syscall for returning the next byte in a file referenced by
|
||||||
@@ -332,14 +357,14 @@ syscall_seek (int fd, unsigned position)
|
|||||||
static unsigned
|
static unsigned
|
||||||
syscall_tell (int fd)
|
syscall_tell (int fd)
|
||||||
{
|
{
|
||||||
|
/* Find the file from the FD. If it does not exist, return 0. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info == NULL)
|
if (file_info == NULL)
|
||||||
return 0;
|
return 0;
|
||||||
|
|
||||||
lock_acquire (&filesys_lock);
|
|
||||||
unsigned pos = file_tell (file_info->file);
|
unsigned pos = file_tell (file_info->file);
|
||||||
lock_release (&filesys_lock);
|
|
||||||
|
|
||||||
|
/* Return the current position in the file. */
|
||||||
return pos;
|
return pos;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -349,14 +374,21 @@ syscall_tell (int fd)
|
|||||||
static void
|
static void
|
||||||
syscall_close (int fd)
|
syscall_close (int fd)
|
||||||
{
|
{
|
||||||
|
/* Find the file from the FD. If it does not exist, do nothing. */
|
||||||
struct open_file *file_info = fd_get_file (fd);
|
struct open_file *file_info = fd_get_file (fd);
|
||||||
if (file_info != NULL)
|
if (file_info != NULL)
|
||||||
{
|
{
|
||||||
|
/* File exists */
|
||||||
|
/* First, remove the file from the hash table of open files. */
|
||||||
hash_delete (&thread_current ()->open_files, &file_info->elem);
|
hash_delete (&thread_current ()->open_files, &file_info->elem);
|
||||||
|
|
||||||
|
/* Then, close the file, acquiring the file system lock to prevent race
|
||||||
|
conditions. */
|
||||||
lock_acquire (&filesys_lock);
|
lock_acquire (&filesys_lock);
|
||||||
file_close (file_info->file);
|
file_close (file_info->file);
|
||||||
lock_release (&filesys_lock);
|
lock_release (&filesys_lock);
|
||||||
|
|
||||||
|
/* Free the memory allocated for the file_info struct. */
|
||||||
free (file_info);
|
free (file_info);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -366,7 +398,12 @@ syscall_close (int fd)
|
|||||||
unsigned
|
unsigned
|
||||||
fd_hash (const struct hash_elem *element, void *aux UNUSED)
|
fd_hash (const struct hash_elem *element, void *aux UNUSED)
|
||||||
{
|
{
|
||||||
return hash_int (hash_entry (element, struct open_file, elem)->fd);
|
/* We use the FD as the hash value. This is because the FD is incremented
|
||||||
|
sequentially and is therefore unique for each file. It positively affects
|
||||||
|
the performance of the hash table: 1. It is unique so no need to call
|
||||||
|
expensive hash functions. 2. It being sequential means that the hash table
|
||||||
|
is more likely to be weight balanced. */
|
||||||
|
return hash_entry (element, struct open_file, elem)->fd;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Comparator function for the open_file table. Compares two entries based on
|
/* Comparator function for the open_file table. Compares two entries based on
|
||||||
@@ -421,17 +458,19 @@ fd_get_file (int fd)
|
|||||||
static void
|
static void
|
||||||
validate_user_pointer (const void *start, size_t size)
|
validate_user_pointer (const void *start, size_t size)
|
||||||
{
|
{
|
||||||
|
/* If the size is 0, we do not need to check anything. */
|
||||||
if (size == 0)
|
if (size == 0)
|
||||||
return;
|
return;
|
||||||
|
|
||||||
const void *end = start + size - 1;
|
const void *end = start + size - 1;
|
||||||
|
|
||||||
|
/* Check if the start and end pointers are valid user virtual addresses. */
|
||||||
if (start == NULL || !is_user_vaddr (start) || !is_user_vaddr (end))
|
if (start == NULL || !is_user_vaddr (start) || !is_user_vaddr (end))
|
||||||
syscall_exit (EXIT_FAILURE);
|
syscall_exit (EXIT_FAILURE);
|
||||||
|
|
||||||
/* We now need to check if the entire memory block is mapped to physical
|
/* We now need to check if the entire memory block is mapped to physical
|
||||||
memory by the page table. */
|
memory by the page table. */
|
||||||
for (const void *ptr = start; ptr <= end; ptr += PGSIZE)
|
for (const void *ptr = pg_round_down (start); ptr <= end; ptr += PGSIZE)
|
||||||
if (pagedir_get_page (thread_current ()->pagedir, ptr) == NULL)
|
if (pagedir_get_page (thread_current ()->pagedir, ptr) == NULL)
|
||||||
syscall_exit (EXIT_FAILURE);
|
syscall_exit (EXIT_FAILURE);
|
||||||
}
|
}
|
||||||
@@ -442,9 +481,11 @@ validate_user_pointer (const void *start, size_t size)
|
|||||||
static void
|
static void
|
||||||
validate_user_string (const char *str)
|
validate_user_string (const char *str)
|
||||||
{
|
{
|
||||||
|
/* Check if the string pointer is a valid user virtual address. */
|
||||||
if (str == NULL || !is_user_vaddr (str))
|
if (str == NULL || !is_user_vaddr (str))
|
||||||
syscall_exit (EXIT_FAILURE);
|
syscall_exit (EXIT_FAILURE);
|
||||||
|
|
||||||
|
/* Calculate the offset of the string within the (first) page. */
|
||||||
size_t offset = (uintptr_t) str % PGSIZE;
|
size_t offset = (uintptr_t) str % PGSIZE;
|
||||||
|
|
||||||
/* We move page by page, checking if the page is mapped to physical memory. */
|
/* We move page by page, checking if the page is mapped to physical memory. */
|
||||||
@@ -452,6 +493,8 @@ validate_user_string (const char *str)
|
|||||||
{
|
{
|
||||||
void *page = pg_round_down (str);
|
void *page = pg_round_down (str);
|
||||||
|
|
||||||
|
/* If we reach addresses that are not mapped to physical memory before the
|
||||||
|
end of the string, the thread is terminated. */
|
||||||
if (!is_user_vaddr(page) ||
|
if (!is_user_vaddr(page) ||
|
||||||
pagedir_get_page (thread_current ()->pagedir, page) == NULL)
|
pagedir_get_page (thread_current ()->pagedir, page) == NULL)
|
||||||
syscall_exit (EXIT_FAILURE);
|
syscall_exit (EXIT_FAILURE);
|
||||||
|
|||||||
@@ -4,8 +4,6 @@
|
|||||||
#include <hash.h>
|
#include <hash.h>
|
||||||
#include "threads/synch.h"
|
#include "threads/synch.h"
|
||||||
|
|
||||||
#define MIN_USER_FD 2
|
|
||||||
|
|
||||||
typedef int pid_t;
|
typedef int pid_t;
|
||||||
|
|
||||||
struct lock filesys_lock;
|
struct lock filesys_lock;
|
||||||
|
|||||||
Reference in New Issue
Block a user