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

   1 -*- text -*-
   2
   3 * Put time limits on tests.
   4
   5 * `make grade'
   6
   7 * We need better and more example programs.
   8
   9   - Need an mmap example program as a replacement for the crappy mmap FAQ
  10     question.
  11
  12 * Give advice on how to use `diff' to find out what has changed
  13
  14 * pintos script doesn't (always?) delete temp disks
  15
  16 * GNU make 3.80 or later is required.
  17
  18 * Finish writing tour.
  19
  20
  21
  22
  23
  24 * process_death test needs improvement
  25
  26 * Internal tests.
  27
  28 * Improve automatic interpretation of exception messages.
  29
  30 * Userprog project:
  31
  32   - Mark read-only pages as actually read-only in the page table.  Or,
  33     since this was consistently rated as the easiest project by the
  34     students, require them to do it.
  35
  36   - Don't provide per-process pagedir implementation but only
  37     single-process implementation and require students to implement
  38     the separation?  This project was rated as the easiest after all.
  39     Alternately we could just remove the synchronization on pid
  40     selection and check that students fix it.
  41
  42 * Filesys project:
  43
  44   - Need a better way to measure performance improvement of buffer
  45     cache.  Some students reported that their system was slower with
  46     cache--likely, Bochs doesn't simulate a disk with a realistic
  47     speed.
  48
  49 * Documentation:
  50
  51   - Add "Digging Deeper" sections that describe the nitty-gritty x86
  52     details for the benefit of those interested.
  53
  54   - Add explanations of what "real" OSes do to give students some
  55     perspective.
  56
  57 * Assignments:
  58
  59   - Add extra credit:
  60
  61     . Low-level x86 stuff, like paged page tables.
  62
  63     . Specifics on how to implement sbrk, malloc.
  64
  65     . Other good ideas.
  66
  67     . opendir/readdir/closedir
  68
  69     . everything needed for getcwd()