pintos-anon
16 years agoRename .cvsignore files to .gitignore.
Ben Pfaff [Fri, 7 Nov 2008 05:11:26 +0000 (21:11 -0800)]
Rename .cvsignore files to .gitignore.

16 years agoremoved trailing whitespace
Godmar Back [Wed, 5 Nov 2008 04:53:26 +0000 (23:53 -0500)]
removed trailing whitespace

16 years agoclarified specification for wait() system call
Godmar Back [Wed, 5 Nov 2008 04:31:45 +0000 (23:31 -0500)]
clarified specification for wait() system call

16 years agoadded documentation for thread_foreach functions
Godmar Back [Fri, 17 Oct 2008 03:26:23 +0000 (03:26 +0000)]
added documentation for thread_foreach functions

16 years agoAlways make the scratch disk an even multiple of a cylinder in size.
Ben Pfaff [Thu, 16 Oct 2008 22:49:48 +0000 (22:49 +0000)]
Always make the scratch disk an even multiple of a cylinder in size.

The pintos script tried to do so before but "print" and "syswrite"
are buffered differently and interfere with one another.

Thanks to Karan Misra <kmisra@stanford.edu> for pointing out the
problem and confirming the solution.

16 years agoupdate after thread_foreach
Godmar Back [Mon, 8 Sep 2008 01:30:24 +0000 (01:30 +0000)]
update after thread_foreach

16 years agosubmitted!
Godmar Back [Sat, 30 Aug 2008 03:07:56 +0000 (03:07 +0000)]
submitted!

16 years agovarious updates
Godmar Back [Sat, 30 Aug 2008 02:45:54 +0000 (02:45 +0000)]
various updates

16 years agounder 5 pages!
Godmar Back [Fri, 29 Aug 2008 22:26:57 +0000 (22:26 +0000)]
under 5 pages!

16 years agorearranged figures, various fixes for style, grammar, and clarity
Godmar Back [Fri, 29 Aug 2008 20:42:15 +0000 (20:42 +0000)]
rearranged figures, various fixes for style, grammar, and clarity

16 years agofixed formatting and added keywords/categories
Godmar Back [Fri, 29 Aug 2008 17:26:59 +0000 (17:26 +0000)]
fixed formatting and added keywords/categories

16 years agomore stuff
Godmar Back [Fri, 29 Aug 2008 15:54:26 +0000 (15:54 +0000)]
more stuff

16 years agoadded test case table
Godmar Back [Fri, 29 Aug 2008 14:00:35 +0000 (14:00 +0000)]
added test case table

16 years agomore fixes
Godmar Back [Fri, 29 Aug 2008 13:08:12 +0000 (13:08 +0000)]
more fixes

16 years agoadded point about documentation
Godmar Back [Fri, 29 Aug 2008 12:47:33 +0000 (12:47 +0000)]
added point about documentation

16 years agoadded refs and fixed up intro
Godmar Back [Fri, 29 Aug 2008 12:37:46 +0000 (12:37 +0000)]
added refs and fixed up intro

16 years agoupdates
Godmar Back [Fri, 29 Aug 2008 02:03:49 +0000 (02:03 +0000)]
updates

16 years agoupdate - made to pass again after thread_foreach
Godmar Back [Thu, 28 Aug 2008 04:25:48 +0000 (04:25 +0000)]
update - made to pass again after thread_foreach

16 years agoremoved accidental checkin of Make.tests change
Godmar Back [Wed, 27 Aug 2008 17:15:49 +0000 (17:15 +0000)]
removed accidental checkin of Make.tests change

16 years agoupdate for thread_foreach patch
Godmar Back [Wed, 27 Aug 2008 17:04:08 +0000 (17:04 +0000)]
update for thread_foreach patch

16 years ago- added thread_foreach
Godmar Back [Wed, 27 Aug 2008 16:52:04 +0000 (16:52 +0000)]
- added thread_foreach
- added debug_backtrace_all
- updated P1 solution to take advantage of this new code

16 years agoremoved 'address' option for Bochs.
Godmar Back [Wed, 27 Aug 2008 14:34:24 +0000 (14:34 +0000)]
removed 'address' option for Bochs.
It makes Bochs > 2.2.6 fail with "[MEM0 ] ROM: System BIOS must end at 0xfffff"
and, according to http://www.nabble.com/Strange-error-message-when-bringing-up-a-CVS-build-td7532679.html
isn't even necessary for 2.2.6

16 years agocleaned up comments for reboot code and adopted GNU coding standards
Godmar Back [Wed, 27 Aug 2008 11:50:49 +0000 (11:50 +0000)]
cleaned up comments for reboot code and adopted GNU coding standards

16 years agoinitial draft
Godmar Back [Wed, 27 Aug 2008 04:02:44 +0000 (04:02 +0000)]
initial draft

16 years agomore material
Godmar Back [Wed, 27 Aug 2008 04:01:31 +0000 (04:01 +0000)]
more material

16 years agoReboot when Ctrl+Alt+Del is pressed.
Ben Pfaff [Tue, 26 Aug 2008 03:05:05 +0000 (03:05 +0000)]
Reboot when Ctrl+Alt+Del is pressed.

Suggested by Anthony Romano.
Implementation with assistance from and reviewed by Godmar Back.

16 years agoImprove comments.
Ben Pfaff [Mon, 25 Aug 2008 03:50:49 +0000 (03:50 +0000)]
Improve comments.

Suggested by Godmar Back.

16 years agoNew option -r to reboot the VM after actions are complete.
Ben Pfaff [Sun, 24 Aug 2008 17:16:32 +0000 (17:16 +0000)]
New option -r to reboot the VM after actions are complete.

From Godmar Back, with minor tweaks.

16 years agoUse standard POSIX "ustar" format for the scratch disk.
Ben Pfaff [Sun, 24 Aug 2008 04:31:40 +0000 (04:31 +0000)]
Use standard POSIX "ustar" format for the scratch disk.

This should make it easier to work with scratch disks directly,
instead of through the "pintos" script.

With naming suggestion from Godmar Back.

16 years agoRTC support.
Ben Pfaff [Sat, 23 Aug 2008 03:52:54 +0000 (03:52 +0000)]
RTC support.

Adapted from Anthony Romano's patch with the following changes:

        * Style adjusted to fit rest of Pintos.

        * Don't modify the RTC registers.  It shouldn't be necessary.
          We shouldn't need any initialization in fact.

        * Drop rtc_set_time stub.

        * Do handle time advancing while reading the RTC registers in
          rtc_get_time, using the strategy from Linux.

        * Fix leap year handling: adding (year / 4) * 24 * 60 * 60 is
          wrong for first 2 months of a leap year; the test (year & 4)
          should be (year % 4).

        * Simplify month code.

        * Drop enable_rtc_int, disable_rtc_int, rtc_updating that are
          not needed.

        * Update documentation.

16 years agoUse macros for 8259A PIC registers, instead of writing them literally.
Ben Pfaff [Sat, 23 Aug 2008 03:44:32 +0000 (03:44 +0000)]
Use macros for 8259A PIC registers, instead of writing them literally.

Based on patch from Anthony Romano <chz@vt.edu>, so update authorship
information given that Anthony is going to be contributing quite a
bit.

16 years agoUse --build-id=none to avoid build-id sections on FC8.
Ben Pfaff [Thu, 21 Aug 2008 04:49:45 +0000 (04:49 +0000)]
Use --build-id=none to avoid build-id sections on FC8.

These build-id sections cause the Pintos ELF loader to reject
binaries.  The preferred way to eliminate them would be to add
/DISCARD/ : { *(.note.gnu.build-id) }
to the linker script, but (as reported by Godmar Back) this causes a
segmentation fault in ld, as reported in a bug filed at:
http://sourceware.org/bugzilla/show_bug.cgi?id=5025

16 years agoFix asm constraints to avoid SI, DI for byte and word access.
Ben Pfaff [Sat, 2 Aug 2008 11:30:43 +0000 (11:30 +0000)]
Fix asm constraints to avoid SI, DI for byte and word access.
Thanks to Ed Lyle Karrels <karrels@stanford.edu> for reporting the
problem.

16 years agoFix bug in --sim and --debug options reported by Bob Lantz.
Ben Pfaff [Fri, 18 Jul 2008 01:13:29 +0000 (01:13 +0000)]
Fix bug in --sim and --debug options reported by Bob Lantz.

16 years agoSpecify rounding for priority calculations.
Ben Pfaff [Thu, 3 Jul 2008 20:10:32 +0000 (20:10 +0000)]
Specify rounding for priority calculations.

Pointed out by Ed Karrels <karrels@stanford.edu>.

16 years agoNo longer recommend SourceForge.
Ben Pfaff [Thu, 3 Jul 2008 19:31:27 +0000 (19:31 +0000)]
No longer recommend SourceForge.

Really it seems like a bad idea for students.

16 years agoMake recent Texinfo accept devel.texi.
Ben Pfaff [Thu, 3 Jul 2008 19:30:05 +0000 (19:30 +0000)]
Make recent Texinfo accept devel.texi.

16 years agoWording improvements, from "Valentin I. Spitkovsky"
Ben Pfaff [Mon, 17 Mar 2008 11:56:48 +0000 (11:56 +0000)]
Wording improvements, from "Valentin I. Spitkovsky"
<vspitkovsky@yahoo.com>.

16 years agoReference to threads/exception.c should be to userprog/exception.c.
Ben Pfaff [Thu, 21 Feb 2008 04:25:17 +0000 (04:25 +0000)]
Reference to threads/exception.c should be to userprog/exception.c.

Thanks to Matt Jones <mkjones@stanford.edu> for reporting this bug.

16 years agoExplain why a null pointer sentinel must be pushed on the stack.
Ben Pfaff [Thu, 14 Feb 2008 08:17:14 +0000 (08:17 +0000)]
Explain why a null pointer sentinel must be pushed on the stack.
From Valentin I. Spitkovsky <vspitkovsky@yahoo.com>.

16 years agoGrammar fixes.
Ben Pfaff [Thu, 14 Feb 2008 08:12:21 +0000 (08:12 +0000)]
Grammar fixes.
From Valentin I. Spitkovsky <vspitkovsky@yahoo.com>.

16 years agoUse -fno-stack-protector with GCC versions that support it, to fix a
Ben Pfaff [Sat, 26 Jan 2008 16:43:15 +0000 (16:43 +0000)]
Use -fno-stack-protector with GCC versions that support it, to fix a
linker error on platform on which -fstack-protector is default, such
as recent versions of Ubuntu.

16 years agoFix typos.
Ben Pfaff [Thu, 24 Jan 2008 18:49:45 +0000 (18:49 +0000)]
Fix typos.

Reported by Valentin I. Spitkovsky <vspitkovsky@yahoo.com>.

16 years agoFix reversal of "acquire" and "release" in Locks section.
Ben Pfaff [Thu, 24 Jan 2008 18:48:41 +0000 (18:48 +0000)]
Fix reversal of "acquire" and "release" in Locks section.

Reported by Valentin I. Spitkovsky <vspitkovsky@yahoo.com>.

16 years ago- updated some tasks to reflect current state/work already done.
Godmar Back [Wed, 9 Jan 2008 20:07:35 +0000 (20:07 +0000)]
- updated some tasks to reflect current state/work already done.
- still in need of update

16 years ago- moved all instructions that related to local CVS/group setup in localcvsinstruction...
Godmar Back [Wed, 9 Jan 2008 19:48:05 +0000 (19:48 +0000)]
- moved all instructions that related to local CVS/group setup in localcvsinstructions.texi
- added variables recommendsourceforge, recommendvnc, and recommendcygwin to include/exclude
  recommendations to use sourceforge, VNC, and Cygwin, resp.

17 years ago- add localsettings.texi which contains Stanford-local macros and variables
Godmar Back [Sat, 17 Nov 2007 09:42:26 +0000 (09:42 +0000)]
- add localsettings.texi which contains Stanford-local macros and variables
- threads.texi - removed comment about being welcome to implement priority donation for semaphores
- vm.texi - added FAQ about how to resume.  It truely is a FAQ, at least here at Tech.
- debug.texi - updated Bochs build instructions

17 years agoadded IGNORE_USER_FAULTS clause to match specification
Godmar Back [Fri, 16 Nov 2007 02:18:35 +0000 (02:18 +0000)]
added IGNORE_USER_FAULTS clause to match specification

17 years agofixed typo: "pass" should be "fail"
Godmar Back [Sun, 23 Sep 2007 15:40:23 +0000 (15:40 +0000)]
fixed typo: "pass" should be "fail"

17 years agoClean some more files.
Ben Pfaff [Fri, 18 May 2007 23:23:51 +0000 (23:23 +0000)]
Clean some more files.

17 years agoFix warning.
Ben Pfaff [Mon, 7 May 2007 23:02:07 +0000 (23:02 +0000)]
Fix warning.

17 years agoCorrectly initialize the esp0 pointer in the TSS for the initial
Ben Pfaff [Mon, 23 Apr 2007 00:05:33 +0000 (00:05 +0000)]
Correctly initialize the esp0 pointer in the TSS for the initial
kernel thread.  Shouldn't actually matter in practice, because that
pointer is only used on a user->kernel transition, and the initial
kernel thread never runs a user process.

Reported by Godmar Back.

17 years agoIgnore tags and cscope files.
Ben Pfaff [Mon, 2 Apr 2007 08:10:25 +0000 (08:10 +0000)]
Ignore tags and cscope files.

17 years agoImprove comment on thread_unblock().
Ben Pfaff [Mon, 2 Apr 2007 07:23:22 +0000 (07:23 +0000)]
Improve comment on thread_unblock().
Suggested by Godmar Back.

17 years agoFix bugs in -j and -r options reported by Godmar Back.
Ben Pfaff [Sat, 31 Mar 2007 14:40:52 +0000 (14:40 +0000)]
Fix bugs in -j and -r options reported by Godmar Back.

17 years agoFix bug in jitter reported by Godmar Back (BIOS wouldn't finish
Ben Pfaff [Sat, 31 Mar 2007 14:40:29 +0000 (14:40 +0000)]
Fix bug in jitter reported by Godmar Back (BIOS wouldn't finish
initializing).

17 years agoFix specification of "write" system call to match the file system
Ben Pfaff [Sat, 31 Mar 2007 14:12:03 +0000 (14:12 +0000)]
Fix specification of "write" system call to match the file system
implementation and the tests.

17 years agoDescribe cscope.
Ben Pfaff [Sat, 31 Mar 2007 13:49:21 +0000 (13:49 +0000)]
Describe cscope.

17 years agoDelete question about pwd.c program, as agreed with Godmar earlier.
Ben Pfaff [Sat, 31 Mar 2007 12:26:45 +0000 (12:26 +0000)]
Delete question about pwd.c program, as agreed with Godmar earlier.

17 years agoImprove wording.
Ben Pfaff [Sat, 24 Mar 2007 01:26:18 +0000 (01:26 +0000)]
Improve wording.
From Godmar Back.

17 years agoExplain the semantics of exec in more detail.
Ben Pfaff [Sat, 24 Mar 2007 01:12:10 +0000 (01:12 +0000)]
Explain the semantics of exec in more detail.
From Godmar Back.

17 years agoAdd helpful comment.
Ben Pfaff [Sat, 24 Mar 2007 01:04:19 +0000 (01:04 +0000)]
Add helpful comment.
From Godmar Back.

17 years agoAdd "cscope" target.
Ben Pfaff [Sat, 24 Mar 2007 01:02:19 +0000 (01:02 +0000)]
Add "cscope" target.

17 years agoRename execute_thread() to start_process().
Ben Pfaff [Sat, 24 Mar 2007 01:01:06 +0000 (01:01 +0000)]
Rename execute_thread() to start_process().
Thanks to Godmar Back for pointing out that it could be better named.

17 years agoClarify that create and remove work on files, not on file descriptors.
Ben Pfaff [Sat, 24 Mar 2007 00:56:57 +0000 (00:56 +0000)]
Clarify that create and remove work on files, not on file descriptors.
Thanks to Godmar Back for pointing out the need.

17 years agoNote that the GNU/Linux manpage for strtok claims that it uses a
Ben Pfaff [Thu, 8 Mar 2007 11:17:17 +0000 (11:17 +0000)]
Note that the GNU/Linux manpage for strtok claims that it uses a
static buffer, which is wrong.

17 years agoFix bug in *-persistence tests when prerequisites fail.
Ben Pfaff [Thu, 8 Mar 2007 03:56:24 +0000 (03:56 +0000)]
Fix bug in *-persistence tests when prerequisites fail.
Reported by Tanvi Vyas <tanvi@stanford.edu>.

17 years agoFix inconstiency in recent_cpu update description.
Ben Pfaff [Wed, 7 Mar 2007 14:52:06 +0000 (14:52 +0000)]
Fix inconstiency in recent_cpu update description.

17 years agoFix typo.
Ben Pfaff [Sun, 11 Feb 2007 04:45:07 +0000 (04:45 +0000)]
Fix typo.

17 years agoClarify description of "wait" syscall. Thanks to Evan Kutter
Ben Pfaff [Sun, 11 Feb 2007 04:44:25 +0000 (04:44 +0000)]
Clarify description of "wait" syscall.  Thanks to Evan Kutter
<ejk@stanford.edu> for describing the issue.

17 years agoImprove example for "Can a thread's priority change while it is on the
Ben Pfaff [Tue, 6 Feb 2007 21:09:10 +0000 (21:09 +0000)]
Improve example for "Can a thread's priority change while it is on the
ready queue?" FAQ.  From Godmar Back.

17 years agoadded patch to make bochs work with gdb 6.5
Godmar Back [Tue, 6 Feb 2007 06:44:01 +0000 (06:44 +0000)]
added patch to make bochs work with gdb 6.5

17 years agoFix order of checks on load average.
Ben Pfaff [Sun, 28 Jan 2007 04:21:55 +0000 (04:21 +0000)]
Fix order of checks on load average.
From a CS140 student, via Ben Sapp.

17 years agoAdd i86pc to unames detected as x86 (used by Solaris).
Ben Pfaff [Sun, 21 Jan 2007 10:29:26 +0000 (10:29 +0000)]
Add i86pc to unames detected as x86 (used by Solaris).
From Michael Gregory <mpgreg@stanford.edu>.

17 years agofixed grammar/typo
Godmar Back [Sat, 13 Jan 2007 14:39:41 +0000 (14:39 +0000)]
fixed grammar/typo

17 years agoSet VERBOSE to empty string by default, which prevents an environment
Ben Pfaff [Thu, 11 Jan 2007 08:02:13 +0000 (08:02 +0000)]
Set VERBOSE to empty string by default, which prevents an environment
variable named VERBOSE from causing trouble but still allows it to be
overridden by the user on the command line.  (Some of the Stanford
machines set VERBOSE=yes in the environment by default on log-in.)

17 years agoRemove unnecessary semicolon that gives GNU make 3.80 fits.
Ben Pfaff [Thu, 11 Jan 2007 07:48:07 +0000 (07:48 +0000)]
Remove unnecessary semicolon that gives GNU make 3.80 fits.

17 years agoDon't call bx_gdbstub_exception when we're not compiling the gdb stub.
Ben Pfaff [Thu, 11 Jan 2007 06:57:40 +0000 (06:57 +0000)]
Don't call bx_gdbstub_exception when we're not compiling the gdb stub.
Thanks to Godmar Back for pointing this out.

17 years agoAdd -MF to GCC invocation to make ccache happy on Fedora Core 6.
Ben Pfaff [Tue, 9 Jan 2007 17:46:42 +0000 (17:46 +0000)]
Add -MF to GCC invocation to make ccache happy on Fedora Core 6.

17 years agoclarified stack limit issue and removed comment about first instruction faulting...
Godmar Back [Mon, 8 Jan 2007 09:55:17 +0000 (09:55 +0000)]
clarified stack limit issue and removed comment about first instruction faulting in stack page

17 years ago- removed @ref to "printf Reboots" since this no longer applies and the @anchor is...
Godmar Back [Mon, 8 Jan 2007 08:46:49 +0000 (08:46 +0000)]
- removed @ref to "printf Reboots" since this no longer applies and the @anchor is gone
- fixed typo print -> printf

17 years agoadjusted scores for P4 as discussed
Godmar Back [Mon, 8 Jan 2007 06:11:37 +0000 (06:11 +0000)]
adjusted scores for P4 as discussed

17 years agoCosmetic fix: make first column wider to account for longer names in p4.
Godmar Back [Sun, 7 Jan 2007 21:38:02 +0000 (21:38 +0000)]
Cosmetic fix: make first column wider to account for longer names in p4.

17 years ago- adjustments to scores for P3 as discussed.
Godmar Back [Sun, 7 Jan 2007 20:55:28 +0000 (20:55 +0000)]
- adjustments to scores for P3 as discussed.
- increased problem size for page-* tests to force eviction

17 years agoadjustments to scores for P2 as discussed.
Godmar Back [Sun, 7 Jan 2007 20:54:54 +0000 (20:54 +0000)]
adjustments to scores for P2 as discussed.

17 years ago- added priority-donate-chain test which tests 8-level deep nested donation
Godmar Back [Sat, 6 Jan 2007 19:00:52 +0000 (19:00 +0000)]
- added priority-donate-chain test which tests 8-level deep nested donation
- adjusted weights for P1 Grading file

17 years agoSeparate persistence tests from the extended filesys tests.
Ben Pfaff [Thu, 4 Jan 2007 15:13:49 +0000 (15:13 +0000)]
Separate persistence tests from the extended filesys tests.
Suggested by Godmar Back.

17 years agoNew page-merge-mm, page-merge-stk tests.
Ben Pfaff [Thu, 4 Jan 2007 14:19:25 +0000 (14:19 +0000)]
New page-merge-mm, page-merge-stk tests.
Thanks to Godmar Back for suggestion.

17 years agoMake comment more readable.
Ben Pfaff [Mon, 18 Dec 2006 18:33:52 +0000 (18:33 +0000)]
Make comment more readable.

17 years agoFix expected output.
Ben Pfaff [Fri, 15 Dec 2006 19:40:03 +0000 (19:40 +0000)]
Fix expected output.

17 years agoDon't require distinguishing data and metadata for caching.
Ben Pfaff [Fri, 15 Dec 2006 14:58:10 +0000 (14:58 +0000)]
Don't require distinguishing data and metadata for caching.

Another suggestion for implementation order.

From Godmar.

17 years agoFix comment.
Ben Pfaff [Fri, 15 Dec 2006 14:24:48 +0000 (14:24 +0000)]
Fix comment.

17 years agoWhen printing a directory tree, indicate explicitly if it's empty.
Ben Pfaff [Fri, 15 Dec 2006 14:21:04 +0000 (14:21 +0000)]
When printing a directory tree, indicate explicitly if it's empty.

17 years agoParse command-line options much earlier, so that thread_mlfqs is
Ben Pfaff [Mon, 11 Dec 2006 20:40:20 +0000 (20:40 +0000)]
Parse command-line options much earlier, so that thread_mlfqs is
initialized before thread_init() gets hold of it.

Also allow console output much earlier, by doing initialization
whenever we call into it first and by only trying to take the console
lock after threads have been initialized.

Don't try to take the console lock after the kernel panics, to avoid
getting nailed so hard by bugs in lock_acquire().

Suggested by Godmar Back.

17 years agoNew target to generate cscope.files.
Ben Pfaff [Fri, 8 Dec 2006 23:40:23 +0000 (23:40 +0000)]
New target to generate cscope.files.

17 years agoMake it possible to ignore page faults in GDB.
Ben Pfaff [Fri, 8 Dec 2006 18:47:37 +0000 (18:47 +0000)]
Make it possible to ignore page faults in GDB.
From su.class.cs140 and Godmar Back.

17 years agoRevert the bitmap randomization change, which had the side effect of
Ben Pfaff [Fri, 8 Dec 2006 16:06:31 +0000 (16:06 +0000)]
Revert the bitmap randomization change, which had the side effect of
causing enough disk fragmentation for the base (extent-based) file
system that in some cases tests would fail.  Also, it confused the
hell out of everyone.  Failed experiment.

17 years agoClarify description to avoid unjustly nailing students.
Ben Pfaff [Fri, 8 Dec 2006 16:03:50 +0000 (16:03 +0000)]
Clarify description to avoid unjustly nailing students.
From Vincenzo Di Nicola <dinicola@stanford.edu>.

17 years agoFix lost thought.
Ben Pfaff [Fri, 8 Dec 2006 15:58:57 +0000 (15:58 +0000)]
Fix lost thought.
From Godmar Back.

17 years agoGrab hard disk statistics from submissions and put them in hdd.stats.
Ben Pfaff [Fri, 8 Dec 2006 15:52:37 +0000 (15:52 +0000)]
Grab hard disk statistics from submissions and put them in hdd.stats.