X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=ac46639a58fe89733ad6889dfd728a1a262e80e8;hb=d80dc83cd65332de026aa01035967fc031d0f305;hp=1b0d43f0e8faaf20ee7c1bd47d53438401f00da8;hpb=b54220fb8ef7c55748cba4cdc7035dd4d5afc161;p=pintos-anon diff --git a/TODO b/TODO index 1b0d43f..ac46639 100644 --- a/TODO +++ b/TODO @@ -1,14 +1,36 @@ -*- text -*- -* Grader: +* The tests in tests/ don't apply the grading patches. - - Fix bug where failures are being treated as warnings. +* 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. + - The semantics of the join system call should change so that it + only returns the exit code once. + - 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. @@ -19,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. @@ -35,13 +83,9 @@ . 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. + . Specifics on how to implement sbrk, malloc. - - mmap/munmap should use segment IDs like Nachos. Too hard - otherwise. + . Other good ideas. - Add src/testcases/vm, src/testcases/filesys and make it clear to use them?