Make mmap use segment IDs.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index dd5f7467f4f09d377e122b8fb58b401caa6f45ae..1999f7033692229667ea30bb5df30aab22620b1b 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,11 +1,27 @@
 -*- text -*-
 
 -*- text -*-
 

+* The tests in tests/ don't apply the grading patches.
+
+* We need better example programs.
+
+  - Need an mmap example program as a replacement for the crappy mmap FAQ
+    question.
+

 * Threads:
 
   - join-invalid doesn't compile if tid_t is not scalar type.
 
 * Threads:
 
   - join-invalid doesn't compile if tid_t is not scalar type.
 

+  - mlfqs tests suck.  They aren't even correct, e.g. the amarv
+    submission from win0405 is graded incorrectly.
+

 * Userprog project:
 
 * Userprog project:
 

+  - Don't emphasize that stuff needs to be copied from user space to
+    kernel space.  Instead, emphasize validation and suggest that
+    copying is a common solution and that it will be necessary in
+    project 3 and in real OSes.  Also revise the grading criteria to
+    match.
+

   - Move `join' implementation here, from `threads' project, to help
     normalize the project difficulties.
 
   - Move `join' implementation here, from `threads' project, to help
     normalize the project difficulties.
 


@@ -22,6 +38,30 @@
     Alternately we could just remove the synchronization on pid
     selection and check that students fix it.
 
     Alternately we could just remove the synchronization on pid
     selection and check that students fix it.
 

+* VM project:
+
+  - Discuss the perils of mixing dirty bits between kernel and user virtual
+    memory.
+
+  - Sample solution.
+
+* Filesys project:
+
+  - Increase maximum disk size from 8 MB to something that actually
+    requires doubly indirect nodes.  There is a negative pressure here
+    from the bitmap object--perhaps we need a specialized bitmap that
+    doesn't have to be all in-memory at once.
+
+    Alternatively, shrink the inode size.
+
+  - Add mkdir and ls example user programs.
+
+  - Add option to disable buffer cache.
+
+  - Get rid of "dump" commands--they're not really useful.
+
+  - Sample solution.
+

 * Documentation:
 
   - Finish writing tour.
 * Documentation:
 
   - Finish writing tour.


@@ -38,10 +78,9 @@
 
     . Low-level x86 stuff, like paged page tables.
 
 
     . Low-level x86 stuff, like paged page tables.
 

-    . Other good ideas.
+    . Specifics on how to implement sbrk, malloc.

 
 

-  - mmap/munmap should use segment IDs like Nachos.  Too hard
-    otherwise.
+    . Other good ideas.

 
   - Add src/testcases/vm, src/testcases/filesys and make it clear to use
     them?
 
   - Add src/testcases/vm, src/testcases/filesys and make it clear to use
     them?