pintos-os.org Git - pintos-anon/blob - TODO

   1 -*- text -*-
   2
   3 * Grader:
   4
   5   - Fix bug where failures are being treated as warnings.
   6
   7 * Userprog project:
   8
   9   - Move `join' implementation here, from `threads' project, to help
  10     normalize the project difficulties.
  11
  12   - The semantics of the join system call should change so that it
  13     only returns the exit code once.
  14
  15   - Mark read-only pages as actually read-only in the page table.  Or,
  16     since this was consistently rated as the easiest project by the
  17     students, require them to do it.
  18
  19   - Don't provide per-process pagedir implementation but only
  20     single-process implementation and require students to implement
  21     the separation?  This project was rated as the easiest after all.
  22     Alternately we could just remove the synchronization on pid
  23     selection and check that students fix it.
  24
  25 * Documentation:
  26
  27   - Finish writing tour.
  28
  29   - Add "Digging Deeper" sections that describe the nitty-gritty x86
  30     details for the benefit of those interested.
  31
  32   - Add explanations of what "real" OSes do to give students some
  33     perspective.
  34
  35 * Assignments:
  36
  37   - Add extra credit:
  38
  39     . Low-level x86 stuff, like paged page tables.
  40
  41     . Other good ideas.
  42
  43   - mmap/munmap should use segment IDs like Nachos.  Too hard
  44     otherwise.
  45
  46   - Add src/testcases/vm, src/testcases/filesys and make it clear to use
  47     them?
  48
  49 * Tests:
  50
  51   - Release some of them.
  52
  53   - The threads, userprog, vm test source files could use
  54     factorization and cleanup along the lines of fslib in the filesys
  55     tests.
  56
  57   - The p1-4.c testcase needs significant tuning.  Currently it takes
  58     too long (especially when SHOW_PROGRESS is turned on) and doesn't
  59     show significant improvement.
  60