Ben Pfaff [Wed, 4 Jan 2006 18:53:03 +0000 (18:53 +0000)]
Move some FAQs into the specification for mmap'd files.
Ben Pfaff [Wed, 4 Jan 2006 18:36:53 +0000 (18:36 +0000)]
Add hash_apply() function.
Revise hash_clear(), hash_delete() to take destructor function
argument.
Fully document hash table.
Ben Pfaff [Tue, 3 Jan 2006 20:20:18 +0000 (20:20 +0000)]
Always round up disk sizes to multiple of a cylinder,
because Bochs 2.2.5 requires that.
Based on patch from Godmar Back.
Ben Pfaff [Tue, 3 Jan 2006 17:03:46 +0000 (17:03 +0000)]
Move mmap consistency FAQ into assignment description.
Ben Pfaff [Tue, 3 Jan 2006 17:00:02 +0000 (17:00 +0000)]
Partial mmap'd pages need not be lazy loaded.
Ben Pfaff [Tue, 3 Jan 2006 16:50:59 +0000 (16:50 +0000)]
Get rid of -rndpg option for now, because none of the tests use it.
In the future it may make sense to reintroduce it (and test it).
Ben Pfaff [Thu, 22 Dec 2005 20:51:30 +0000 (20:51 +0000)]
Clarification.
Ben Pfaff [Thu, 22 Dec 2005 20:49:13 +0000 (20:49 +0000)]
Mention that keyboard input does not work with "pintos -v".
Ben Pfaff [Thu, 22 Dec 2005 20:47:21 +0000 (20:47 +0000)]
Clarification.
Ben Pfaff [Thu, 22 Dec 2005 20:44:27 +0000 (20:44 +0000)]
Mention that process_wait() can be changed to an infinite loop
temporarily.
Ben Pfaff [Thu, 22 Dec 2005 01:18:35 +0000 (01:18 +0000)]
Fix formula.
Ben Pfaff [Wed, 21 Dec 2005 23:48:57 +0000 (23:48 +0000)]
Use -Wdeclaration-after-statement.
Ben Pfaff [Wed, 21 Dec 2005 23:48:40 +0000 (23:48 +0000)]
Don't need GCC patch anymore because we don't use Intel syntax.
Ben Pfaff [Wed, 21 Dec 2005 23:46:05 +0000 (23:46 +0000)]
Comments.
Ben Pfaff [Wed, 21 Dec 2005 23:44:35 +0000 (23:44 +0000)]
Use AT&T syntax instead of Intel.
Ben Pfaff [Wed, 21 Dec 2005 22:35:07 +0000 (22:35 +0000)]
Don't use -I- because GCC 4.0 complains.
(Can't use -iquote because GCC 3.x doesn't have it.)
Ben Pfaff [Wed, 21 Dec 2005 22:31:36 +0000 (22:31 +0000)]
Add cast to silence new warning in GCC 4.0.
Ben Pfaff [Wed, 21 Dec 2005 04:56:23 +0000 (04:56 +0000)]
Use bool vars instead of bits for shift keys.
Ben Pfaff [Wed, 21 Dec 2005 03:21:33 +0000 (03:21 +0000)]
Revise "Design" description.
Based on Ben Sapp <bensapp@stanford.edu> comments.
Ben Pfaff [Wed, 21 Dec 2005 01:00:32 +0000 (01:00 +0000)]
Clarify "invalid PID".
Thanks to "Kevin Hart" <kevin.hart@hp.com> for question.
Ben Pfaff [Wed, 21 Dec 2005 00:58:30 +0000 (00:58 +0000)]
Clarify function comment.
Via Ben Sapp <bensapp@stanford.edu>.
Ben Pfaff [Wed, 21 Dec 2005 00:56:06 +0000 (00:56 +0000)]
Add "suggested order of implementation" section.
Ben Pfaff [Tue, 20 Dec 2005 23:45:09 +0000 (23:45 +0000)]
Clarify that multithreaded processes not supported.
Ben Pfaff [Tue, 20 Dec 2005 23:41:15 +0000 (23:41 +0000)]
Clarify.
Ben Pfaff [Tue, 20 Dec 2005 23:39:13 +0000 (23:39 +0000)]
Add suggested implementations for filesys syscalls.
Clarify write syscall description.
Ben Pfaff [Tue, 20 Dec 2005 23:24:52 +0000 (23:24 +0000)]
Clarify that struct intr_frame is on the kernel stack.
Thanks to "Kevin Hart" <kevin.hart@hp.com> for the question.
Ben Pfaff [Tue, 20 Dec 2005 23:21:15 +0000 (23:21 +0000)]
Clarifications.
Pointer to instructions for debugging user programs.
Ben Pfaff [Tue, 20 Dec 2005 22:58:44 +0000 (22:58 +0000)]
Allow .png as alternate for ASCII art.
Ben Pfaff [Tue, 20 Dec 2005 22:54:51 +0000 (22:54 +0000)]
Clarify that the idle thread does not receive recent_cpu.
Ben Pfaff [Tue, 20 Dec 2005 22:52:01 +0000 (22:52 +0000)]
Wording.
Ben Pfaff [Tue, 20 Dec 2005 22:32:05 +0000 (22:32 +0000)]
It's okay to use a single sorted queue for MLFQS.
Ben Pfaff [Tue, 20 Dec 2005 22:26:13 +0000 (22:26 +0000)]
Suggest order of operations for recent_cpu calculation.
Thanks to "Jeff Sun" <precisely@gmail.com> for report.
Ben Pfaff [Tue, 20 Dec 2005 22:15:44 +0000 (22:15 +0000)]
Suggest 17.14 instead of 21.10 because the extra precision may be
necessary for some implementations.
Thanks to Matt Page <mpage@stanford.edu> and "Jeff Sun"
<precisely@gmail.com> for the suggestion.
Ben Pfaff [Tue, 20 Dec 2005 21:27:33 +0000 (21:27 +0000)]
Explain why it sometimes looks like pass() fails.
Ben Pfaff [Tue, 20 Dec 2005 21:11:42 +0000 (21:11 +0000)]
Make backtrace chop long filenames to just the last few characters.
Ben Pfaff [Tue, 20 Dec 2005 20:47:43 +0000 (20:47 +0000)]
Wording.
Ben Pfaff [Tue, 20 Dec 2005 20:47:21 +0000 (20:47 +0000)]
Add CVS Locking to menu.
Ben Pfaff [Tue, 20 Dec 2005 20:47:01 +0000 (20:47 +0000)]
Ignore pintos.text.
Ben Pfaff [Tue, 20 Dec 2005 20:46:38 +0000 (20:46 +0000)]
Be slightly more lenient.
Ben Pfaff [Tue, 20 Dec 2005 20:45:41 +0000 (20:45 +0000)]
Ignore *.d.
Ben Pfaff [Tue, 20 Dec 2005 20:44:39 +0000 (20:44 +0000)]
Clarifications.
Add FAQ for how to run tests.
Ben Pfaff [Tue, 20 Dec 2005 20:42:15 +0000 (20:42 +0000)]
Add summary of scheduler.
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.
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.
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.
Ben Pfaff [Tue, 20 Dec 2005 18:30:03 +0000 (18:30 +0000)]
Wording clarifications.
Ben Pfaff [Tue, 20 Dec 2005 18:17:30 +0000 (18:17 +0000)]
Talk about CVS locks.
Ben Pfaff [Tue, 20 Dec 2005 18:03:02 +0000 (18:03 +0000)]
Wording clarifications.
Ben Pfaff [Tue, 20 Dec 2005 18:02:50 +0000 (18:02 +0000)]
Clarifying comment.
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.
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.
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.
Ben Pfaff [Tue, 20 Dec 2005 07:17:48 +0000 (07:17 +0000)]
Add plaintext target.
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.
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>.
Ben Pfaff [Tue, 20 Dec 2005 03:27:15 +0000 (03:27 +0000)]
Don't use ! in shell--Solaris sh doesn't support it.
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.
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.
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.
Ben Pfaff [Tue, 2 Aug 2005 02:15:36 +0000 (02:15 +0000)]
Fix typo.
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>.
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.
Ben Pfaff [Fri, 8 Jul 2005 05:56:25 +0000 (05:56 +0000)]
Add CVS instructions.
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.
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.
Ben Pfaff [Mon, 4 Jul 2005 00:06:43 +0000 (00:06 +0000)]
Add comment.
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.
Ben Pfaff [Tue, 28 Jun 2005 20:09:56 +0000 (20:09 +0000)]
Reword paragraph.
Ben Pfaff [Tue, 28 Jun 2005 20:09:26 +0000 (20:09 +0000)]
Fix Mendel's name.
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.
Ben Pfaff [Mon, 27 Jun 2005 20:01:13 +0000 (20:01 +0000)]
Revise.
Ben Pfaff [Mon, 27 Jun 2005 19:58:08 +0000 (19:58 +0000)]
Clarify that scheduler data updates are synchronous with the timer.
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>.
Ben Pfaff [Mon, 27 Jun 2005 15:19:51 +0000 (15:19 +0000)]
Initialize start_time. Thanks to Ankur Goyal <angoyal@stanford.edu> .
Ben Pfaff [Mon, 27 Jun 2005 15:14:31 +0000 (15:14 +0000)]
"thread_sleep" -> "timer_sleep"
Ben Pfaff [Mon, 27 Jun 2005 15:13:04 +0000 (15:13 +0000)]
Fix summary table. Thanks to leith <eleith@stanford.edu>.
Ben Pfaff [Sat, 25 Jun 2005 03:44:25 +0000 (03:44 +0000)]
Make <STRONG> use boldface.
Ben Pfaff [Sat, 25 Jun 2005 03:37:32 +0000 (03:37 +0000)]
Be specific about `nice' range.
Ben Pfaff [Sat, 25 Jun 2005 03:25:31 +0000 (03:25 +0000)]
Emphasize backquotes.
Put class bin dir at beginning of path.
Ben Pfaff [Thu, 23 Jun 2005 01:39:18 +0000 (01:39 +0000)]
Fix wording in priority donation section.
Ben Pfaff [Tue, 21 Jun 2005 14:15:22 +0000 (14:15 +0000)]
Increase mmap-shuffle, page-shuffle timeouts further.
Ben Pfaff [Tue, 21 Jun 2005 06:43:31 +0000 (06:43 +0000)]
Check for no warnings in grade report.
Ben Pfaff [Tue, 21 Jun 2005 06:42:58 +0000 (06:42 +0000)]
Make page-merge-seq, page-merge-par even longer.
Ben Pfaff [Tue, 21 Jun 2005 06:28:16 +0000 (06:28 +0000)]
Add priority-donate-nest.
Ben Pfaff [Tue, 21 Jun 2005 06:23:40 +0000 (06:23 +0000)]
Fix stupid bug.
Ben Pfaff [Tue, 21 Jun 2005 05:51:10 +0000 (05:51 +0000)]
Check that `grade' reports are perfect.
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.
Ben Pfaff [Tue, 21 Jun 2005 05:37:46 +0000 (05:37 +0000)]
Print message for perfect score.
Ben Pfaff [Tue, 21 Jun 2005 05:32:39 +0000 (05:32 +0000)]
Fix rubric files.
Ben Pfaff [Tue, 21 Jun 2005 05:01:59 +0000 (05:01 +0000)]
Increase syn-read timeout even more.
Ben Pfaff [Tue, 21 Jun 2005 04:36:15 +0000 (04:36 +0000)]
Increase syn-read timeout.
Ben Pfaff [Tue, 21 Jun 2005 04:08:53 +0000 (04:08 +0000)]
Deal with `wc -l' putting spaces in the output.
Ben Pfaff [Tue, 21 Jun 2005 03:59:08 +0000 (03:59 +0000)]
texi2html doesn't support @verbatiminclude, so kluge it.
Ben Pfaff [Tue, 21 Jun 2005 03:58:16 +0000 (03:58 +0000)]
Shorten lines.
Ben Pfaff [Tue, 21 Jun 2005 03:57:12 +0000 (03:57 +0000)]
Untabify to fix Texinfo expansion.
Ben Pfaff [Tue, 21 Jun 2005 01:26:44 +0000 (01:26 +0000)]
Update spacing.
Ben Pfaff [Tue, 21 Jun 2005 00:42:40 +0000 (00:42 +0000)]
Add reference to mcp example.
Ben Pfaff [Tue, 21 Jun 2005 00:41:29 +0000 (00:41 +0000)]
Add some more examples.
Ben Pfaff [Tue, 21 Jun 2005 00:40:36 +0000 (00:40 +0000)]
Use qemu where appropriate and available.
Use $(MAKE) consistently.
Ben Pfaff [Tue, 21 Jun 2005 00:32:24 +0000 (00:32 +0000)]
Increase page-linear timeout.