Rename execute_thread() to start_process().
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 24 Mar 2007 01:01:06 +0000 (01:01 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 24 Mar 2007 01:01:06 +0000 (01:01 +0000)
Thanks to Godmar Back for pointing out that it could be better named.

src/threads/intr-stubs.S
src/userprog/process.c

index b34c142a59625b0ccbc5fe3cf9616da95deb4a57..334d8ccb0f78d9ca1124472056171799b2f9024e 100644 (file)
@@ -44,7 +44,7 @@ intr_entry:
    stack, and returns to the caller.
 
    This is a separate function because it is called directly when
-   we launch a new user process (see execute_thread() in
+   we launch a new user process (see start_process() in
    userprog/process.c). */
 .globl intr_exit
 .func intr_exit
index 675dc254af3db38cfea22ec26d77250aeb9206a9..6c6003cbf0f798262e53802beae7ab02084dc093 100644 (file)
@@ -18,7 +18,7 @@
 #include "threads/thread.h"
 #include "threads/vaddr.h"
 
-static thread_func execute_thread NO_RETURN;
+static thread_func start_process NO_RETURN;
 static bool load (const char *cmdline, void (**eip) (void), void **esp);
 
 /* Starts a new thread running a user program loaded from
@@ -39,7 +39,7 @@ process_execute (const char *file_name)
   strlcpy (fn_copy, file_name, PGSIZE);
 
   /* Create a new thread to execute FILE_NAME. */
-  tid = thread_create (file_name, PRI_DEFAULT, execute_thread, fn_copy);
+  tid = thread_create (file_name, PRI_DEFAULT, start_process, fn_copy);
   if (tid == TID_ERROR)
     palloc_free_page (fn_copy); 
   return tid;
@@ -48,7 +48,7 @@ process_execute (const char *file_name)
 /* A thread function that loads a user process and starts it
    running. */
 static void
-execute_thread (void *file_name_)
+start_process (void *file_name_)
 {
   char *file_name = file_name_;
   struct intr_frame if_;