X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=1b0d43f0e8faaf20ee7c1bd47d53438401f00da8;hb=3ed7340d796b1a5cafe45ec78b80415f09eb3fa9;hp=f02d750548fb15914974bcd99d7515bcb8efb49c;hpb=c37b82251bbe85edf2d46284f6d4b43b92b09182;p=pintos-anon diff --git a/TODO b/TODO index f02d750..1b0d43f 100644 --- a/TODO +++ b/TODO @@ -1,20 +1,23 @@ -*- text -*- -* Code: +* Grader: - - 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.) + - Fix bug where failures are being treated as warnings. - - 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. +* Userprog project: - - 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. + - Move `join' implementation here, from `threads' project, to help + normalize the project difficulties. + + - 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. * Documentation: @@ -23,6 +26,9 @@ - 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: