X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=108a05d97539c835445774c91bcc9773a02de425;hb=6a67e72c73404a4f0e999609478a9e1857d93d26;hp=96ff8bfd0aad7d477fe788827f9729788b0cf64a;hpb=1f7182b39938dc70f2af9c23cde61eec72f8581c;p=pintos-anon diff --git a/TODO b/TODO index 96ff8bf..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,11 +221,16 @@ (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