X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=TODO;h=3d3207cbe93329bf20d6826e2517651b565323bc;hb=94ed9ea85989c086a0d2ba11d48aef9d1e2e8951;hp=b4e216e1288f0ced59b414d8979ce303c0771099;hpb=d94ef8e6ae06a900422266d92998f5fde4be5d0a;p=pintos-anon diff --git a/TODO b/TODO index b4e216e..3d3207c 100644 --- a/TODO +++ b/TODO @@ -1,22 +1,33 @@ -*- text -*- -* FS and GS: +* Put time limits on tests. - - struct intr_frame: Add members. - - - intr_entry(): Save, reset. +* `make grade' - - intr_exit(): Restore. +* We need better and more example programs. - - execute_thread(): Initialize. + - Need an mmap example program as a replacement for the crappy mmap FAQ + question. -* Userprog project: +* Give advice on how to use `diff' to find out what has changed + +* pintos script doesn't (always?) delete temp disks + +* GNU make 3.80 or later is required. + +* Finish writing tour. + + + + + +* process_death test needs improvement + +* Internal tests. - - Move `join' implementation here, from `threads' project, to help - normalize the project difficulties. +* Improve automatic interpretation of exception messages. - - The semantics of the join system call should change so that it - only returns the exit code once. +* Userprog project: - Mark read-only pages as actually read-only in the page table. Or, since this was consistently rated as the easiest project by the @@ -28,9 +39,14 @@ Alternately we could just remove the synchronization on pid selection and check that students fix it. -* Documentation: +* Filesys project: - - Finish writing tour. + - Need a better way to measure performance improvement of buffer + cache. Some students reported that their system was slower with + cache--likely, Bochs doesn't simulate a disk with a realistic + speed. + +* Documentation: - Add "Digging Deeper" sections that describe the nitty-gritty x86 details for the benefit of those interested. @@ -44,23 +60,10 @@ . Low-level x86 stuff, like paged page tables. - . Other good ideas. - - - mmap/munmap should use segment IDs like Nachos. Too hard - otherwise. - - - Add src/testcases/vm, src/testcases/filesys and make it clear to use - them? - -* Tests: + . Specifics on how to implement sbrk, malloc. - - Release some of them. - - - The threads, userprog, vm test source files could use - factorization and cleanup along the lines of fslib in the filesys - tests. + . Other good ideas. - - The p1-4.c testcase needs significant tuning. Currently it takes - too long (especially when SHOW_PROGRESS is turned on) and doesn't - show significant improvement. + . opendir/readdir/closedir + . everything needed for getcwd()