X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=108a05d97539c835445774c91bcc9773a02de425;hb=6a67e72c73404a4f0e999609478a9e1857d93d26;hp=68837f72baf077017f8525c7ed3bb621f8f83edc;hpb=686388dd46553ca83a8ffb0b8c4ac64bbad91d65;p=pintos-anon diff --git a/TODO b/TODO index 68837f7..108a05d 100644 --- 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. @@ -224,18 +221,17 @@ (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