X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=3d3207cbe93329bf20d6826e2517651b565323bc;hb=73c688e4fd904d8d7121440424c9034244a348cd;hp=f02d750548fb15914974bcd99d7515bcb8efb49c;hpb=c37b82251bbe85edf2d46284f6d4b43b92b09182;p=pintos-anon diff --git a/TODO b/TODO index f02d750..3d3207c 100644 --- a/TODO +++ b/TODO @@ -1,54 +1,69 @@ -*- text -*- -* Code: +* Put time limits on tests. - - Speed up disk routines: filling an 8 MB disk takes a long time. - (They're only slow because timer_sleep always waits for at least - one timer tick.) +* `make grade' - - userprog project should mark read-only pages as actually read-only - in the page table. Or, since this was consistently rated as the - easiest project by the students, require them to do it. +* We need better and more example programs. - - For userprog project, don't provide per-process pagedir - implementation but only single-process implementation and require - students to implement the separation? This project was rated as - the easiest after all. Alternately we could just remove the - synchronization on pid selection and check that students fix it. + - Need an mmap example program as a replacement for the crappy mmap FAQ + question. -* Documentation: +* Give advice on how to use `diff' to find out what has changed - - Finish writing tour. +* pintos script doesn't (always?) delete temp disks - - Add "Digging Deeper" sections that describe the nitty-gritty x86 - details for the benefit of those interested. +* GNU make 3.80 or later is required. -* Assignments: +* Finish writing tour. - - Add extra credit: - . Low-level x86 stuff, like paged page tables. - . Other good ideas. - - The semantics of the join system call should change so that it - only returns the exit code once. - - mmap/munmap should use segment IDs like Nachos. Too hard - otherwise. +* process_death test needs improvement - - Add src/testcases/vm, src/testcases/filesys and make it clear to use - them? +* Internal tests. -* Tests: +* Improve automatic interpretation of exception messages. - - Release some of them. +* 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 + students, require them to do it. + + - Don't provide per-process pagedir implementation but only + single-process implementation and require students to implement + the separation? This project was rated as the easiest after all. + Alternately we could just remove the synchronization on pid + selection and check that students fix it. + +* Filesys project: + + - 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: - - The threads, userprog, vm test source files could use - factorization and cleanup along the lines of fslib in the filesys - tests. + - Add "Digging Deeper" sections that describe the nitty-gritty x86 + details for the benefit of those interested. + + - Add explanations of what "real" OSes do to give students some + perspective. + +* Assignments: + + - Add extra credit: + + . Low-level x86 stuff, like paged page tables. + + . Specifics on how to implement sbrk, malloc. + + . 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()