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