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

   1 -*- text -*-
   2
   3 General:
   4
   5   - Lots of groups only tried combining the 3 group members' parts
   6     only in the last few hours.  Emphasize that this is a bad choice.
   7     Encourage them to use CVS/sourceforge/etc.
   8
   9   - Suggest where to start in each assignment?
  10
  11   - Provide more tests!
  12
  13 Threads project:
  14
  15   - Many students thought this was by far the hardest.  What can we do
  16     to make it a little easier?
  17
  18     Move `join' part to project 2?
  19
  20   - Students don't understand that they'll need to read lots of code
  21     before they can start writing.
  22
  23   - Students don't read the debugging documentation.  Point out in
  24     multiple places, and especially point to the backtrace
  25     description.
  26
  27   - Students think data structures are more important than they really
  28     are.  Say that clever data structures won't get you too much extra
  29     credit compared to simpler ones.  Really bad or "stupid" data
  30     structures might cost points though.
  31
  32   - Some students would appreciate more discussion of nitty-gritty
  33     details:
  34
  35       Finally, by doing pintos, an x86 OS, I was hoping to gain some
  36       knowledge about how an X86 OS really works. Instead we ended up
  37       banging on a black box with magical ASM that would pop up in gdb
  38       when we had memory corruption. While one could make the argument
  39       that this is too much application over theory, I feel like the
  40       theory of OS/140 is application oriented enough that going over
  41       what an x86 OS really does would not be harmful or
  42       unacademic. What's in those first few bytes to bootstrap the OS?
  43       How does it find a kernel that is scattered across a filesystem
  44       that the bootloader/computer knows nothing about. How does I/O
  45       initiailization works? What is that magic about transforming a
  46       thread into a process? I have absolutely no idea.
  47
  48       This feeling of not having a better grasp of OS/low-level
  49       programming is something I can't shake, but that I'm not sure how
  50       one would be rectified. How on earth did pintos get written in ~2
  51       months? I'm again at a loss.
  52
  53   - printf()s can fail in weird circumstances.  Should we try adding
  54     code for using the special output port, which doesn't need any
  55     synchronization etc.?
  56
  57 Userprog project:
  58
  59   - Students thought project 2 was especially easy.  Reduce amount of
  60     time to allow more time for another project?  Add something to do
  61     with the page table?  Move `join' functionality here from project
  62     1?
  63
  64 VM project:
  65
  66   - One student suggestion:
  67
  68       Second point of confusion: the difference between kernel address
  69       space and actual physical addresses (kernel address minus
  70       PHYS_BASE).  It seemed weird that the functions to access
  71       pagedir entries used kernel virtual addresses instead of
  72       physical addresses.  We eventually realized that when the
  73       assignment refers to the virtual-to-physical translations that
  74       we're supposed to do, 'physical' actually means 'kernel virtual'
  75       (or a location on disk).  A sentence or two clearing up this
  76       ambiguity would have been helpful.
  77
  78 Filesys project:
  79
  80   - A fair number of students thought this was the hardest project.
  81     Perhaps we could add some notes about where to start?
  82
  83
  84 Another student note:
  85
  86       3) This is probably an "unsupported" configuration, however I'll point
  87       it out anyway.  Running user programs under Pintos compiled on my
  88       desktop I get the following warning:
  89
  90       unknown ELF segment type 65041580
  91
  92       If you look at /usr/include/elf.h you will find:
  93
  94       #define PT_LOOS 0x60000000 /* Start of OS-specific */
  95
  96       It would appear that elf segments starting with this program header
  97       are "OS-specific" My Occam's Razor explanation here is that the
  98       segment holds the bits to configure the stack protection features in
  99       newer GCCs.
 100
 101       gcc version is: gcc version 3.3.4 20040623 (Gentoo Linux 3.3.4-r1,
 102       ssp-3.3.2-2, pie-8.7.6)
 103
 104 This probably means that we should provide a linker script that leaves
 105 out weird stuff.