pintos-anon
18 years agoClarifications.
Ben Pfaff [Tue, 20 Dec 2005 20:44:39 +0000 (20:44 +0000)]
Clarifications.
Add FAQ for how to run tests.

18 years agoAdd summary of scheduler.
Ben Pfaff [Tue, 20 Dec 2005 20:42:15 +0000 (20:42 +0000)]
Add summary of scheduler.

18 years agoComment idle thread more thoroughly.
Ben Pfaff [Tue, 20 Dec 2005 20:03:51 +0000 (20:03 +0000)]
Comment idle thread more thoroughly.
Thanks to "Kevin Hart" <kevin.hart@hp.com> for asking questions.

18 years agoFix description of rounding to nearest in fixed point to take into
Ben Pfaff [Tue, 20 Dec 2005 19:47:32 +0000 (19:47 +0000)]
Fix description of rounding to nearest in fixed point to take into
account negative numbers.  Thanks to Nishit Sureshchandra Shah
<nishit@stanford.edu> for the correction.

18 years agoClarify that adding code where interrupts are already disabled may be
Ben Pfaff [Tue, 20 Dec 2005 18:35:50 +0000 (18:35 +0000)]
Clarify that adding code where interrupts are already disabled may be
necessary.

18 years agoWording clarifications.
Ben Pfaff [Tue, 20 Dec 2005 18:30:03 +0000 (18:30 +0000)]
Wording clarifications.

18 years agoTalk about CVS locks.
Ben Pfaff [Tue, 20 Dec 2005 18:17:30 +0000 (18:17 +0000)]
Talk about CVS locks.

18 years agoWording clarifications.
Ben Pfaff [Tue, 20 Dec 2005 18:03:02 +0000 (18:03 +0000)]
Wording clarifications.

18 years agoClarifying comment.
Ben Pfaff [Tue, 20 Dec 2005 18:02:50 +0000 (18:02 +0000)]
Clarifying comment.

18 years agoAdd comment that gdb and pintos have to run on the same machine.
Ben Pfaff [Tue, 20 Dec 2005 07:33:37 +0000 (07:33 +0000)]
Add comment that gdb and pintos have to run on the same machine.

18 years agoMention that aklog and/or logging out and back in may be necessary to
Ben Pfaff [Tue, 20 Dec 2005 07:28:19 +0000 (07:28 +0000)]
Mention that aklog and/or logging out and back in may be necessary to
gain new group membership.

18 years agoRevising "Setting Up CVS" section.
Ben Pfaff [Tue, 20 Dec 2005 07:19:43 +0000 (07:19 +0000)]
Revising "Setting Up CVS" section.
Need to `fs setacl' $HOME also.
Add summary of commands.

18 years agoAdd plaintext target.
Ben Pfaff [Tue, 20 Dec 2005 07:17:48 +0000 (07:17 +0000)]
Add plaintext target.

18 years agoCheck for the compiler's availability early in the `make' run, in
Ben Pfaff [Tue, 20 Dec 2005 06:27:07 +0000 (06:27 +0000)]
Check for the compiler's availability early in the `make' run, in
Make.config, and give a warning that points to the documentation if we
can't find it.
Also, modify other Makefiles so that Make.config is only included
once, so that the message is only printed once.

18 years agoAdd some clarifications to address question from "Kevin Hart"
Ben Pfaff [Tue, 20 Dec 2005 04:17:18 +0000 (04:17 +0000)]
Add some clarifications to address question from "Kevin Hart"
<kevin.hart@hp.com>.

18 years agoDon't use ! in shell--Solaris sh doesn't support it.
Ben Pfaff [Tue, 20 Dec 2005 03:27:15 +0000 (03:27 +0000)]
Don't use ! in shell--Solaris sh doesn't support it.

18 years agoCall qemu with "-nics 0" to avoid calling any network initialization
Ben Pfaff [Tue, 20 Dec 2005 00:26:27 +0000 (00:26 +0000)]
Call qemu with "-nics 0" to avoid calling any network initialization
script.

18 years agoRevert Intel-style assembly back to AT&T-style.
Ben Pfaff [Tue, 20 Dec 2005 00:25:23 +0000 (00:25 +0000)]
Revert Intel-style assembly back to AT&T-style.
The Intel-style assembly found too many bugs in GAS
and the GAS folks actually changed behavior on us
for lidt, lgdt.

18 years agoFix fencepost error in strstr().
Ben Pfaff [Tue, 13 Dec 2005 06:47:18 +0000 (06:47 +0000)]
Fix fencepost error in strstr().
Thanks to Bryan Branstetter for bug and fix.

19 years agoFix typo.
Ben Pfaff [Tue, 2 Aug 2005 02:15:36 +0000 (02:15 +0000)]
Fix typo.

19 years agoUpdate.
Ben Pfaff [Wed, 27 Jul 2005 23:13:15 +0000 (23:13 +0000)]
Update.

19 years agoAdd another possible ordering of lines.
Ben Pfaff [Wed, 13 Jul 2005 18:25:12 +0000 (18:25 +0000)]
Add another possible ordering of lines.
Needed by project submitted by Mike Brown <mbrown@vmware.com>.

19 years agoFix bug reported by Mike Brown <mbrown@vmware.com>, in which a
Ben Pfaff [Wed, 13 Jul 2005 17:40:23 +0000 (17:40 +0000)]
Fix bug reported by Mike Brown <mbrown@vmware.com>, in which a
secondary device was always detected on an IDE channel that had a
primary device.  Both qemu and Bochs report error/lbam/lbah register
values that are invalid for a device that exists in such a situation,
but GSX Server reports 1/0/0, which indicates a valid device.
Fortunately, GSX Server does report a useful value in the status
register, so the bug fix adds a check for that value also.

19 years agoAdd CVS instructions.
Ben Pfaff [Fri, 8 Jul 2005 05:56:25 +0000 (05:56 +0000)]
Add CVS instructions.

19 years agoAllow disks to come from build/ directory as well as current
Ben Pfaff [Wed, 6 Jul 2005 21:49:47 +0000 (21:49 +0000)]
Allow disks to come from build/ directory as well as current
directory, by default.

19 years agoEliminate race condition in timer_print_stats() found by Sorav's
Ben Pfaff [Wed, 6 Jul 2005 20:45:36 +0000 (20:45 +0000)]
Eliminate race condition in timer_print_stats() found by Sorav's
Checkbochs tool.

19 years agoAdd comment.
Ben Pfaff [Mon, 4 Jul 2005 00:06:43 +0000 (00:06 +0000)]
Add comment.

19 years agoClarify use of thread_get_nice() and thread_set_nice().
Ben Pfaff [Mon, 4 Jul 2005 00:04:24 +0000 (00:04 +0000)]
Clarify use of thread_get_nice() and thread_set_nice().
Thanks to "Bruce Schechter" <bruce@schechter.com> for pointing the
ambiguity.

19 years agoReword paragraph.
Ben Pfaff [Tue, 28 Jun 2005 20:09:56 +0000 (20:09 +0000)]
Reword paragraph.

19 years agoFix Mendel's name.
Ben Pfaff [Tue, 28 Jun 2005 20:09:26 +0000 (20:09 +0000)]
Fix Mendel's name.

19 years agoFix bug that shifted mlfqs-recent-1 output by 1 second.
Ben Pfaff [Mon, 27 Jun 2005 21:07:41 +0000 (21:07 +0000)]
Fix bug that shifted mlfqs-recent-1 output by 1 second.
Thanks to Atif Faheem for reporting this bug.

19 years agoRevise.
Ben Pfaff [Mon, 27 Jun 2005 20:01:13 +0000 (20:01 +0000)]
Revise.

19 years agoClarify that scheduler data updates are synchronous with the timer.
Ben Pfaff [Mon, 27 Jun 2005 19:58:08 +0000 (19:58 +0000)]
Clarify that scheduler data updates are synchronous with the timer.

19 years agoFix cond_wait prototype. Thanks to ASIF Erayath Thekke Valappil
Ben Pfaff [Mon, 27 Jun 2005 15:26:07 +0000 (15:26 +0000)]
Fix cond_wait prototype.  Thanks to ASIF Erayath Thekke Valappil
<etv@stanford.edu>.

19 years agoInitialize start_time. Thanks to Ankur Goyal <angoyal@stanford.edu> .
Ben Pfaff [Mon, 27 Jun 2005 15:19:51 +0000 (15:19 +0000)]
Initialize start_time.  Thanks to Ankur Goyal <angoyal@stanford.edu> .

19 years ago"thread_sleep" -> "timer_sleep"
Ben Pfaff [Mon, 27 Jun 2005 15:14:31 +0000 (15:14 +0000)]
"thread_sleep" -> "timer_sleep"

19 years agoFix summary table. Thanks to leith <eleith@stanford.edu>.
Ben Pfaff [Mon, 27 Jun 2005 15:13:04 +0000 (15:13 +0000)]
Fix summary table.  Thanks to leith <eleith@stanford.edu>.

19 years agoMake <STRONG> use boldface.
Ben Pfaff [Sat, 25 Jun 2005 03:44:25 +0000 (03:44 +0000)]
Make <STRONG> use boldface.

19 years agoBe specific about `nice' range.
Ben Pfaff [Sat, 25 Jun 2005 03:37:32 +0000 (03:37 +0000)]
Be specific about `nice' range.

19 years agoEmphasize backquotes.
Ben Pfaff [Sat, 25 Jun 2005 03:25:31 +0000 (03:25 +0000)]
Emphasize backquotes.
Put class bin dir at beginning of path.

19 years agoFix wording in priority donation section.
Ben Pfaff [Thu, 23 Jun 2005 01:39:18 +0000 (01:39 +0000)]
Fix wording in priority donation section.

19 years agoIncrease mmap-shuffle, page-shuffle timeouts further.
Ben Pfaff [Tue, 21 Jun 2005 14:15:22 +0000 (14:15 +0000)]
Increase mmap-shuffle, page-shuffle timeouts further.

19 years agoCheck for no warnings in grade report.
Ben Pfaff [Tue, 21 Jun 2005 06:43:31 +0000 (06:43 +0000)]
Check for no warnings in grade report.

19 years agoMake page-merge-seq, page-merge-par even longer.
Ben Pfaff [Tue, 21 Jun 2005 06:42:58 +0000 (06:42 +0000)]
Make page-merge-seq, page-merge-par even longer.

19 years agoAdd priority-donate-nest.
Ben Pfaff [Tue, 21 Jun 2005 06:28:16 +0000 (06:28 +0000)]
Add priority-donate-nest.

19 years agoFix stupid bug.
Ben Pfaff [Tue, 21 Jun 2005 06:23:40 +0000 (06:23 +0000)]
Fix stupid bug.

19 years agoCheck that `grade' reports are perfect.
Ben Pfaff [Tue, 21 Jun 2005 05:51:10 +0000 (05:51 +0000)]
Check that `grade' reports are perfect.

19 years agoUse temporary file instead of reference to string
Ben Pfaff [Tue, 21 Jun 2005 05:38:43 +0000 (05:38 +0000)]
Use temporary file instead of reference to string
on open() because old Perl doesn't support the latter.

19 years agoPrint message for perfect score.
Ben Pfaff [Tue, 21 Jun 2005 05:37:46 +0000 (05:37 +0000)]
Print message for perfect score.

19 years agoFix rubric files.
Ben Pfaff [Tue, 21 Jun 2005 05:32:39 +0000 (05:32 +0000)]
Fix rubric files.

19 years agoIncrease syn-read timeout even more.
Ben Pfaff [Tue, 21 Jun 2005 05:01:59 +0000 (05:01 +0000)]
Increase syn-read timeout even more.

19 years agoIncrease syn-read timeout.
Ben Pfaff [Tue, 21 Jun 2005 04:36:15 +0000 (04:36 +0000)]
Increase syn-read timeout.

19 years agoDeal with `wc -l' putting spaces in the output.
Ben Pfaff [Tue, 21 Jun 2005 04:08:53 +0000 (04:08 +0000)]
Deal with `wc -l' putting spaces in the output.

19 years agotexi2html doesn't support @verbatiminclude, so kluge it.
Ben Pfaff [Tue, 21 Jun 2005 03:59:08 +0000 (03:59 +0000)]
texi2html doesn't support @verbatiminclude, so kluge it.

19 years agoShorten lines.
Ben Pfaff [Tue, 21 Jun 2005 03:58:16 +0000 (03:58 +0000)]
Shorten lines.

19 years agoUntabify to fix Texinfo expansion.
Ben Pfaff [Tue, 21 Jun 2005 03:57:12 +0000 (03:57 +0000)]
Untabify to fix Texinfo expansion.

19 years agoUpdate spacing.
Ben Pfaff [Tue, 21 Jun 2005 01:26:44 +0000 (01:26 +0000)]
Update spacing.

19 years agoUpdate patch.
Ben Pfaff [Tue, 21 Jun 2005 00:53:01 +0000 (00:53 +0000)]
Update patch.

19 years agoAdd reference to mcp example.
Ben Pfaff [Tue, 21 Jun 2005 00:42:40 +0000 (00:42 +0000)]
Add reference to mcp example.

19 years agoAdd some more examples.
Ben Pfaff [Tue, 21 Jun 2005 00:41:29 +0000 (00:41 +0000)]
Add some more examples.

19 years agoUse qemu where appropriate and available.
Ben Pfaff [Tue, 21 Jun 2005 00:40:36 +0000 (00:40 +0000)]
Use qemu where appropriate and available.
Use $(MAKE) consistently.

19 years agoIncrease page-linear timeout.
Ben Pfaff [Tue, 21 Jun 2005 00:32:24 +0000 (00:32 +0000)]
Increase page-linear timeout.

19 years agoUpdate for modified test.
Ben Pfaff [Tue, 21 Jun 2005 00:32:12 +0000 (00:32 +0000)]
Update for modified test.

19 years agoFix releasing of free inode blocks.
Ben Pfaff [Tue, 21 Jun 2005 00:27:03 +0000 (00:27 +0000)]
Fix releasing of free inode blocks.

19 years agoIncrease time-outs for page-shuffle, mmap-shuffle.
Ben Pfaff [Mon, 20 Jun 2005 22:56:27 +0000 (22:56 +0000)]
Increase time-outs for page-shuffle, mmap-shuffle.

19 years agoFix file name.
Ben Pfaff [Mon, 20 Jun 2005 22:56:12 +0000 (22:56 +0000)]
Fix file name.

19 years agoDon't print output for triple faults.
Ben Pfaff [Mon, 20 Jun 2005 22:55:59 +0000 (22:55 +0000)]
Don't print output for triple faults.

19 years agoDon't print recursive reboots.
Ben Pfaff [Mon, 20 Jun 2005 22:55:36 +0000 (22:55 +0000)]
Don't print recursive reboots.

19 years agoAllow decimal point in percentages.
Ben Pfaff [Mon, 20 Jun 2005 21:53:43 +0000 (21:53 +0000)]
Allow decimal point in percentages.

19 years agoFix handling of timeouts.
Ben Pfaff [Mon, 20 Jun 2005 21:26:49 +0000 (21:26 +0000)]
Fix handling of timeouts.

19 years agoChange line spacing.
Ben Pfaff [Mon, 20 Jun 2005 21:01:51 +0000 (21:01 +0000)]
Change line spacing.

19 years agoAlways print output for failing test cases.
Ben Pfaff [Mon, 20 Jun 2005 20:59:24 +0000 (20:59 +0000)]
Always print output for failing test cases.

19 years agoAdd timeouts.
Ben Pfaff [Mon, 20 Jun 2005 20:59:12 +0000 (20:59 +0000)]
Add timeouts.

19 years agoRevise.
Ben Pfaff [Mon, 20 Jun 2005 20:31:32 +0000 (20:31 +0000)]
Revise.

19 years agoAdd grading system.
Ben Pfaff [Mon, 20 Jun 2005 20:24:19 +0000 (20:24 +0000)]
Add grading system.

19 years agoUse file count of 20.
Ben Pfaff [Mon, 20 Jun 2005 20:11:45 +0000 (20:11 +0000)]
Use file count of 20.

19 years agoUpdate.
Ben Pfaff [Mon, 20 Jun 2005 20:11:01 +0000 (20:11 +0000)]
Update.

19 years agoRecommend integrating cache early.
Ben Pfaff [Mon, 20 Jun 2005 17:54:20 +0000 (17:54 +0000)]
Recommend integrating cache early.

19 years agoComment fixes.
Ben Pfaff [Sun, 19 Jun 2005 18:55:55 +0000 (18:55 +0000)]
Comment fixes.

19 years agoComment fixes.
Ben Pfaff [Sun, 19 Jun 2005 18:55:30 +0000 (18:55 +0000)]
Comment fixes.

19 years agoUnused source file.
Ben Pfaff [Sun, 19 Jun 2005 18:53:22 +0000 (18:53 +0000)]
Unused source file.

19 years agoAdjust FAQ section naming for consistency.
Ben Pfaff [Sun, 19 Jun 2005 05:48:04 +0000 (05:48 +0000)]
Adjust FAQ section naming for consistency.

19 years agoInstall templates.
Ben Pfaff [Sun, 19 Jun 2005 05:41:39 +0000 (05:41 +0000)]
Install templates.

19 years agoGet rid of .png rules that are no longer used.
Ben Pfaff [Sun, 19 Jun 2005 05:38:20 +0000 (05:38 +0000)]
Get rid of .png rules that are no longer used.

19 years agoAdd texinfo.tex.
Ben Pfaff [Sun, 19 Jun 2005 05:36:00 +0000 (05:36 +0000)]
Add texinfo.tex.

19 years agoUse binutils 2.15, not 2.16, because it doesn't have a bug in the
Ben Pfaff [Sun, 19 Jun 2005 05:13:15 +0000 (05:13 +0000)]
Use binutils 2.15, not 2.16, because it doesn't have a bug in the
implementation of lidt and lgdt that bites us.

19 years agoAdd Algorithms::Diff to source tree for systems that don't have it
Ben Pfaff [Sun, 19 Jun 2005 03:44:53 +0000 (03:44 +0000)]
Add Algorithms::Diff to source tree for systems that don't have it
installed publicly.

19 years agoMake tests public. Rewrite most tests. Add tests.
Ben Pfaff [Sun, 19 Jun 2005 03:20:25 +0000 (03:20 +0000)]
Make tests public.  Rewrite most tests.  Add tests.
Major revisions to documentation and assignments.
Implement good solutions to all assignments.
Rewrite pintos script, fsutils, and Pintos command line parsing to
support put, get of multiple files.
New pintos-mkdisk script for what pintos doesn't do anymore.
Make backtrace more friendly.
Major revisions to base file system.
Get rid of names passed to synch primitives.
Break intr_register() into intr_register_ext() and intr_register_int().
Revise bitmap code.
Add console_locked_by_current_thread() and use it.
munmap() has void return value (in lib/user/syscall.c).
Update expected tools versions.
Document use of qemu.
Add realloc() function to malloc implementation.
Add is_user_vaddr() and is_kernel_vaddr(), use in mmu.h.
Add sema_try_down(), lock_try_acquire().
Add memory barrier.
Extend default time slice to 4 ticks and calculate time slices
properly (don't just switch whenever timer_ticks() % 4 == 0).
Fix writing to palloc'd memory without checking against null
in pagedir_create().
Invalidate TLB when we mark pages not accessed or not dirty.
Revise other pagedir code.
Make load() less nasty-looking.

19 years agoUpdate.
Ben Pfaff [Thu, 26 May 2005 20:23:37 +0000 (20:23 +0000)]
Update.

19 years agoGet rid of unnecessary barrier. Improve comment.
Ben Pfaff [Thu, 26 May 2005 20:21:35 +0000 (20:21 +0000)]
Get rid of unnecessary barrier.  Improve comment.

19 years agoUpdate.
Ben Pfaff [Wed, 25 May 2005 05:00:51 +0000 (05:00 +0000)]
Update.

19 years agoUpdate.
Ben Pfaff [Wed, 25 May 2005 04:29:09 +0000 (04:29 +0000)]
Update.

19 years agoHow to debug user programs with gdb.
Ben Pfaff [Wed, 25 May 2005 04:29:00 +0000 (04:29 +0000)]
How to debug user programs with gdb.

19 years agoUpdate.
Ben Pfaff [Tue, 24 May 2005 23:20:19 +0000 (23:20 +0000)]
Update.

19 years agoUpdate.
Ben Pfaff [Mon, 23 May 2005 17:18:49 +0000 (17:18 +0000)]
Update.

19 years agoUpdate Intel manual URLs.
Ben Pfaff [Tue, 17 May 2005 01:36:51 +0000 (01:36 +0000)]
Update Intel manual URLs.

19 years agoFix line wrapping.
Ben Pfaff [Thu, 12 May 2005 04:15:47 +0000 (04:15 +0000)]
Fix line wrapping.

19 years agoUpdate
Ben Pfaff [Thu, 12 May 2005 03:25:31 +0000 (03:25 +0000)]
Update

19 years agoUpdate
Ben Pfaff [Thu, 12 May 2005 03:23:46 +0000 (03:23 +0000)]
Update

19 years agoUpdate
Ben Pfaff [Thu, 12 May 2005 01:46:03 +0000 (01:46 +0000)]
Update