Update.
[pintos-anon] / TODO
1 -*- text -*-
2
3 * Get rid of rox--causes more trouble than it's worth
4
5 * Reconsider command line arg style--confuses everyone.
6
7 * pintos script doesn't (always?) delete temp disks
8
9 * Finish writing tour.
10
11 via Godmar Back:
12
13 * Project 3 solution needs FS lock.
14
15 * Get rid of mmap syscall, add sbrk.
16
17 * Make backtrace program accept multiple object file arguments,
18   e.g. add -u option to allow backtracing user program also.
19
20 * VM projects do not use enough memory to force eviction.
21   Should reduce user limit or increase memory consumption.
22
23
24
25
26
27 * process_death test needs improvement
28
29 * Internal tests.
30
31 * Improve automatic interpretation of exception messages.
32
33 * Userprog project:
34
35   - Mark read-only pages as actually read-only in the page table.  Or,
36     since this was consistently rated as the easiest project by the
37     students, require them to do it.
38
39   - Don't provide per-process pagedir implementation but only
40     single-process implementation and require students to implement
41     the separation?  This project was rated as the easiest after all.
42     Alternately we could just remove the synchronization on pid
43     selection and check that students fix it.
44
45 * Filesys project:
46
47   - Need a better way to measure performance improvement of buffer
48     cache.  Some students reported that their system was slower with
49     cache--likely, Bochs doesn't simulate a disk with a realistic
50     speed.
51
52 * Documentation:
53
54   - Add "Digging Deeper" sections that describe the nitty-gritty x86
55     details for the benefit of those interested.
56
57   - Add explanations of what "real" OSes do to give students some
58     perspective.
59
60 * Assignments:
61
62   - Add extra credit:
63
64     . Low-level x86 stuff, like paged page tables.
65
66     . Specifics on how to implement sbrk, malloc.
67
68     . Other good ideas.
69
70     . opendir/readdir/closedir
71
72     . everything needed for getcwd()