X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=9825200fed911631d245c7fa0048ee61476789fb;hb=dd07a992c428c400a35f132a418b2b4bb2301e6a;hp=711a4ef3264763f060ab48f6ba2b4eac1e1d4528;hpb=eb852c21dbad39bb4a7e7803a7bb09b3aac7322d;p=pintos-anon

diff --git a/TODO b/TODO
index 711a4ef..9825200 100644
--- a/TODO
+++ b/TODO
@@ -4,6 +4,9 @@
 
 * 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.
@@ -35,6 +38,15 @@
     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.
+
+  - Update grading/vm to reflect new mmap, munmap forms.
+
 * Filesys project:
 
   - Increase maximum disk size from 8 MB to something that actually
@@ -50,6 +62,8 @@
 
   - Get rid of "dump" commands--they're not really useful.
 
+  - Sample solution.
+
 * Documentation:
 
   - Finish writing tour.
@@ -66,10 +80,9 @@
 
     . 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?