X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=TODO;h=15902a2cd3db19fd7e77209b9d82127190a96759;hb=d64618b9f5ecb25d4805650a85cafea0bbe95b05;hp=9e332a36a320dc0d4fc6b927d2e35a0e0737e3e7;hpb=c95f2f01e84c7579f3230ae82899c907de9a2526;p=pintos-anon

diff --git a/TODO b/TODO
index 9e332a3..15902a2 100644
--- a/TODO
+++ b/TODO
@@ -1,20 +1,22 @@
 -*- text -*-
 
-* Code:
+* Userprog project:
 
-  - Speed up disk routines: filling an 8 MB disk takes a long time.
-    (They're only slow because timer_sleep always waits for at least
-    one timer tick.)
+  - Move `join' implementation here, from `threads' project, to help
+    normalize the project difficulties.
 
-  - userprog project should mark read-only pages as actually read-only
-    in the page table.  Or, since this was consistently rated as the
-    easiest project by the students, require them to do it.
+  - The semantics of the join system call should change so that it
+    only returns the exit code once.
+
+  - Mark read-only pages as actually read-only in the page table.  Or,
+    since this was consistently rated as the easiest project by the
+    students, require them to do it.
 
-  - For userprog project, don't provide per-process pagedir
-    implementation but only single-process implementation and require
-    students to implement the separation?  This project was rated as
-    the easiest after all.  Alternately we could just remove the
-    synchronization on pid selection and check that students fix it.
+  - Don't provide per-process pagedir implementation but only
+    single-process implementation and require students to implement
+    the separation?  This project was rated as the easiest after all.
+    Alternately we could just remove the synchronization on pid
+    selection and check that students fix it.
 
 * Documentation:
 
@@ -34,9 +36,6 @@
 
     . Other good ideas.
 
-  - The semantics of the join system call should change so that it
-    only returns the exit code once.
-
   - mmap/munmap should use segment IDs like Nachos.  Too hard
     otherwise.