X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=85d2dd3db9506996f5f5e78eee57676bdd73ce78;hb=a7fefbb3d10e9bcc3a9baf9d0f3b6e8b0eac83d4;hp=15902a2cd3db19fd7e77209b9d82127190a96759;hpb=8176d4bd89c45d3b18a3240728ec650d822ab835;p=pintos-anon diff --git a/TODO b/TODO index 15902a2..85d2dd3 100644 --- a/TODO +++ b/TODO @@ -1,7 +1,30 @@ -*- text -*- +* The tests in tests/ don't apply the grading patches. + +* We need better and more example programs. + + - Need an mmap example program as a replacement for the crappy mmap FAQ + question. + +* Make it clear that the students own their code, because there was some + confusion on that point. + +* Threads: + + - join-invalid doesn't compile if tid_t is not scalar type. + + - mlfqs tests suck. They aren't even correct, e.g. the amarv + submission from win0405 is graded incorrectly. + * Userprog project: + - Don't emphasize that stuff needs to be copied from user space to + kernel space. Instead, emphasize validation and suggest that + copying is a common solution and that it will be necessary in + project 3 and in real OSes. Also revise the grading criteria to + match. + - Move `join' implementation here, from `threads' project, to help normalize the project difficulties. @@ -18,6 +41,32 @@ Alternately we could just remove the synchronization on pid selection and check that students fix it. +* VM project: + + - Discuss the perils of mixing dirty bits between kernel and user virtual + memory. + + - Sample solution. + + - Update grading/vm to reflect new mmap, munmap forms. + +* Filesys project: + + - Increase maximum disk size from 8 MB to something that actually + requires doubly indirect nodes. There is a negative pressure here + from the bitmap object--perhaps we need a specialized bitmap that + doesn't have to be all in-memory at once. + + Alternatively, shrink the inode size. + + - Add mkdir and ls example user programs. + + - Add option to disable buffer cache. + + - Get rid of "dump" commands--they're not really useful. + + - Sample solution. + * Documentation: - Finish writing tour. @@ -34,10 +83,11 @@ . Low-level x86 stuff, like paged page tables. + . Specifics on how to implement sbrk, malloc. + . Other good ideas. - - mmap/munmap should use segment IDs like Nachos. Too hard - otherwise. + . opendir/readdir/closedir - Add src/testcases/vm, src/testcases/filesys and make it clear to use them?