Cosmetic fix: make first column wider to account for longer names in p4.
[pintos-anon] / TODO
diff --git a/TODO b/TODO
index 68837f72baf077017f8525c7ed3bb621f8f83edc..108a05d97539c835445774c91bcc9773a02de425 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,16 +1,13 @@
 -*- text -*-
 
+* In grading scripts, warn when a fault is caused by an attempt to
+  write to the kernel text segment.  (Among other things we need to
+  explain that "text" means "code".)
+
 * Reconsider command line arg style--confuses everyone.
 
 * Internal tests.
 
-* Add serial input support.  Also, modify tests to redirect input from
-  /dev/null, to avoid stray keystrokes getting sent into the VM.
-
-* Make pintos script read the serial output and kill the subprocess if
-  it panics (after waiting a few seconds) or triple-faults.  Might
-  want it to be optional, so that interactive users don't get killed.
-
 * Godmar: Introduce memory leak robustness tests - both for the
   well-behaved as well as the mis-behaved case - that tests that the
   kernel handles low-mem conditions well.
 
     (Perhaps we should count disk reads and writes, not time.)
 
-  - Do we check that non-empty directories cannot be removed?
-
   - Need lots more tests.
 
-  - Add FS persistence test(s).
-
   - Detect implementations that represent the cwd as a string, by
     removing a directory that is the cwd of another process, then
     creating a new directory of the same name and putting some files
     in it, then checking whether the process that had it as cwd sees
     them.
 
+  - dir-rm-cwd should have a related test that uses a separate process
+    to try to pin the directory as its cwd.
+
   - Godmar: I'm not sure if I mentioned that already, but I passed all
     tests for the filesys project without having implemented inode
     deallocation. A test is needed that checks that blocks are