From: Godmar Back Date: Fri, 29 Aug 2008 12:47:33 +0000 (+0000) Subject: added point about documentation X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8a04aea2d898a5715c345769931b7cf9dc40c08c;p=pintos-anon added point about documentation --- diff --git a/sigcse2009/principles.tex b/sigcse2009/principles.tex index 1b9db19..da1357c 100644 --- a/sigcse2009/principles.tex +++ b/sigcse2009/principles.tex @@ -52,8 +52,18 @@ of running Pintos in a simulated environment eliminates this non-determinism. As a result, Pintos kernels can be debugged in a manner that is substantially similar to how user programs are being debugged. -\paragraph{Provide analysis tools.} +\paragraph{Include Analysis Tools} Static and dynamic analysis tools are now widely being used; an OS course should be no exception. We have extended the Qemu emulator that perform tailored analyses that can point out errors such as race conditions. +\paragraph{Provide Extensive and Structured Documentation} +Instructional systems often are not shared, or fall in disuse because the expertise to use them +in a teaching setting relies on too much undocumented knowledge, making training of +teaching assistants difficult and providing a steep learning curve for instructors +wishing to use. Pintos includes an extensive 129 page manual, a sample solution, +and instructions for teaching assistants. The assignment documentation separates those parts +students must read from those parts that merely provide supplemental information. +%Even though Pintos uses an existing and complex architecture, our experience indicates +%that the manual is sufficient for most students. +