Ben Pfaff [Thu, 13 Apr 2006 17:35:41 +0000 (17:35 +0000)]
Improve wording.
Ben Pfaff [Tue, 11 Apr 2006 17:03:14 +0000 (17:03 +0000)]
Explicitly state that mmap'd files must be lazily loaded.
Don't suggest to implement executables as a special case of mmap.
Ben Pfaff [Mon, 10 Apr 2006 00:28:22 +0000 (00:28 +0000)]
Invert the priority scheme, so that PRI_MIN is now the lowest priority
and PRI_MAX is now the highest priority. This should reduce student
confusion (and at the same time subtly frustrate attempts to resubmit
work from previous quarters).
Ben Pfaff [Sun, 9 Apr 2006 20:19:35 +0000 (20:19 +0000)]
The lock functions don't really need to disable interrupts themselves,
since they're protected by the semaphore.
Thanks to Godmar Back for reporting this.
Ben Pfaff [Sun, 9 Apr 2006 20:12:50 +0000 (20:12 +0000)]
Ignore *.info*
Ben Pfaff [Sun, 9 Apr 2006 20:05:52 +0000 (20:05 +0000)]
Fix typo in comment.
Ben Pfaff [Sun, 9 Apr 2006 20:01:51 +0000 (20:01 +0000)]
Fix wrong explanation of sleeping in an interrupt handler.
Thanks to Godmar Back for reporting this bug.
Ben Pfaff [Sun, 9 Apr 2006 19:54:42 +0000 (19:54 +0000)]
Improve comment.
Ben Pfaff [Sun, 9 Apr 2006 19:52:03 +0000 (19:52 +0000)]
Remove unnecessary test for switching from null current thread.
Thanks to "Waqar Mohsin" <wmohsin@gmail.com> for reporting this.
Ben Pfaff [Sun, 9 Apr 2006 04:13:33 +0000 (04:13 +0000)]
Revise documentation of debugging tools.
Integrate Godmar's description of his macros and one of
his sample GDB debugging sessions.
Talk about pintos-gdb.
Talk about debugging triple faults with the Bochs triple-fault patch.
Ben Pfaff [Sun, 9 Apr 2006 01:27:46 +0000 (01:27 +0000)]
Break load_segment() into two functions for increased clarity.
Don't read anything from disk if p_filesz == 0.
Thanks to Godmar for suggesting these changes.
Also, enforce read-only page protection out-of-the-box.
Fixes for reference solutions to follow.
Ben Pfaff [Sat, 8 Apr 2006 20:42:43 +0000 (20:42 +0000)]
Add patch to make a triple fault break to the gdb stub if active.
Ben Pfaff [Sat, 8 Apr 2006 18:34:47 +0000 (18:34 +0000)]
Don't read anything from the disk for a segment with p_filesz == 0.
Thanks to Godmar Back for reporting this bug.
Ben Pfaff [Sat, 8 Apr 2006 00:23:55 +0000 (00:23 +0000)]
Style.
Ben Pfaff [Sat, 8 Apr 2006 00:23:31 +0000 (00:23 +0000)]
Fix for Bochs 2.2.6.
(I think this might actually be a bug in Bochs, though.)
Ben Pfaff [Fri, 7 Apr 2006 23:17:50 +0000 (23:17 +0000)]
Fix clock: line in bochsrc.
Ben Pfaff [Fri, 7 Apr 2006 18:30:09 +0000 (18:30 +0000)]
Utility for invoking the proper GDB and loading Pintos macros.
Ben Pfaff [Fri, 7 Apr 2006 18:29:34 +0000 (18:29 +0000)]
Add GDB macros written by Godmar Back.
Ben Pfaff [Wed, 5 Apr 2006 22:45:50 +0000 (22:45 +0000)]
Wordsmithing.
Ben Pfaff [Wed, 5 Apr 2006 22:44:11 +0000 (22:44 +0000)]
Typo.
Ben Pfaff [Wed, 5 Apr 2006 21:17:44 +0000 (21:17 +0000)]
Clarify that fixed-point.h is a new file in the reference solution.
Thanks to Megan Anneke Wachs <wachs@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 20:59:27 +0000 (20:59 +0000)]
Comment.
Thanks to "Vincenzo Di Nicola" <dinicola@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 20:34:13 +0000 (20:34 +0000)]
Clarify parallelism requirements.
Thanks to Alicia Chen <achen530@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 20:30:48 +0000 (20:30 +0000)]
Allow PINTOSSIM environment variable to select default simulator.
Ben Pfaff [Wed, 5 Apr 2006 20:11:14 +0000 (20:11 +0000)]
Remark that ^ is xor.
Thanks to Jennifer G <jgee@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 20:09:13 +0000 (20:09 +0000)]
Add section heading for Debugging User Programs.
Thanks to "Huey Kwik" <kwik@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 20:08:06 +0000 (20:08 +0000)]
Clarify directive not to modify file system.
Thanks to "JaJ" <joshi83@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 20:02:21 +0000 (20:02 +0000)]
Clarify comment.
Thanks to Nathan Marz <nathanm@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 19:56:02 +0000 (19:56 +0000)]
Clarify need for virt-to-phys translation table.
Thanks to Nico R Benitez <nicorb@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 19:45:37 +0000 (19:45 +0000)]
Make it clear that the tour is not soon forthcoming.
Thanks to "M Payne" <m@m.com> for the question.
Ben Pfaff [Wed, 5 Apr 2006 19:43:13 +0000 (19:43 +0000)]
Clarify how termination treats file descriptors.
Thanks to Nathan Marz <nathanm@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 19:36:53 +0000 (19:36 +0000)]
Clarify page fault handler for get/put_user().
Thanks to Poornima Vijayashanker <pv6@stanford.edu> for question.
Ben Pfaff [Wed, 5 Apr 2006 19:33:33 +0000 (19:33 +0000)]
Warn if timeout used with debugger.
Thanks to Alicia Chen <achen530@stanford.edu> for question.
Ben Pfaff [Wed, 5 Apr 2006 19:29:30 +0000 (19:29 +0000)]
Make explicit that open doesn't return fd 0 or 1.
Make independence of fds across processes explicit.
Thanks to Ryan Seth Propper <rpropper@stanford.edu> for question.
Ben Pfaff [Wed, 5 Apr 2006 19:25:49 +0000 (19:25 +0000)]
Add comment to explain why we don't free initial_thread.
Thanks to Sunit Pal <sunit@stanford.edu> for the question.
Ben Pfaff [Wed, 5 Apr 2006 19:22:43 +0000 (19:22 +0000)]
Add references to tour of pintos.
Ben Pfaff [Wed, 5 Apr 2006 18:02:49 +0000 (18:02 +0000)]
Rename putchar_unlocked() to putchar_have_lock() to avoid GCC warning.
Ben Pfaff [Wed, 5 Apr 2006 17:59:30 +0000 (17:59 +0000)]
Explain new patches.
Ben Pfaff [Mon, 3 Apr 2006 23:51:21 +0000 (23:51 +0000)]
Now it actually works.
Ben Pfaff [Mon, 3 Apr 2006 23:31:12 +0000 (23:31 +0000)]
Stupid me.
Ben Pfaff [Mon, 3 Apr 2006 23:09:39 +0000 (23:09 +0000)]
Solaris patch.
Ben Pfaff [Mon, 3 Apr 2006 23:09:28 +0000 (23:09 +0000)]
Make it more robust.
Apply Solaris patch, but only on Solaris.
Ben Pfaff [Mon, 3 Apr 2006 22:16:07 +0000 (22:16 +0000)]
Add another necessary patch.
Ben Pfaff [Mon, 3 Apr 2006 22:05:37 +0000 (22:05 +0000)]
Reverse patches (oops).
Ben Pfaff [Mon, 3 Apr 2006 22:04:44 +0000 (22:04 +0000)]
Fix typos.
Ben Pfaff [Mon, 3 Apr 2006 21:27:09 +0000 (21:27 +0000)]
First stab at Bochs 2.2.6 upgrade (not yet tested).
Ben Pfaff [Mon, 3 Apr 2006 21:24:09 +0000 (21:24 +0000)]
Ignore setitimer-helper.
Godmar Back [Sun, 2 Apr 2006 00:15:15 +0000 (00:15 +0000)]
fixed typo in mmap example
Godmar Back [Fri, 17 Mar 2006 02:33:34 +0000 (02:33 +0000)]
fixed typo.
Ben Pfaff [Wed, 15 Mar 2006 22:15:40 +0000 (22:15 +0000)]
Make timeouts based on CPU time.
Ben Pfaff [Wed, 15 Mar 2006 01:31:51 +0000 (01:31 +0000)]
Add question.
Ben Pfaff [Tue, 14 Mar 2006 22:43:44 +0000 (22:43 +0000)]
Test commit.
Ben Pfaff [Thu, 9 Mar 2006 05:59:39 +0000 (05:59 +0000)]
Fix type of sector_idx in inode_write_at().
Thanks to Ryan Seth Propper <rpropper@stanford.edu> for reporting this
bug.
Ben Pfaff [Mon, 6 Mar 2006 17:14:40 +0000 (17:14 +0000)]
-u option should be -ul.
Thanks to Josh Wiseman <joshwise@stanford.edu> for reporting this bug.
Ben Pfaff [Thu, 2 Feb 2006 14:47:50 +0000 (14:47 +0000)]
PHYS_ADDR should be PHYS_BASE.
Thanks to "Ryan Seth Propper" <rpropper@stanford.edu> for pointing it
out.
Ben Pfaff [Wed, 1 Feb 2006 20:58:50 +0000 (20:58 +0000)]
Attempting to pass command-line arguments before they've been
implemented will fail.
Thanks to Josh Wiseman for pointing this out.
Ben Pfaff [Sun, 29 Jan 2006 21:55:08 +0000 (21:55 +0000)]
Clarify when enable_mlfqs gets set.
Thanks to "Yi Lang Mok" <yilangmok@stanford.edu> and others for
pointing this out.
Ben Pfaff [Sun, 29 Jan 2006 21:54:44 +0000 (21:54 +0000)]
Clarify when enable_mlfqs gets set.
Thanks to "Yi Lang Mok" <yilangmok@stanford.edu> and others for
pointing this out.
Ben Pfaff [Sun, 29 Jan 2006 21:32:55 +0000 (21:32 +0000)]
Update Intel architecture guide references to latest.
Thanks to Josh Wiseman <joshwise@stanford.edu> and Godmar Back
<godmar@gmail.com> for pointing this out.
Ben Pfaff [Wed, 25 Jan 2006 22:10:19 +0000 (22:10 +0000)]
Add examples of how to iterate and remove elements from a list.
Pointed out by Ben Sapp.
Ben Pfaff [Thu, 12 Jan 2006 17:04:09 +0000 (17:04 +0000)]
Clean up temp files on signal.
Ben Pfaff [Tue, 10 Jan 2006 22:56:29 +0000 (22:56 +0000)]
Fix priority donation example.
From Godmar Back's TA.
Ben Pfaff [Tue, 10 Jan 2006 00:14:14 +0000 (00:14 +0000)]
Typo fixes found by Godmar Back's TA.
Ben Pfaff [Tue, 10 Jan 2006 00:13:01 +0000 (00:13 +0000)]
Add "panic: action=fatal" to bochsrc.txt to avoid a potentially
confusing dialogue on control+c or timeout.
Via Godmar Back.
Ben Pfaff [Sun, 8 Jan 2006 20:21:31 +0000 (20:21 +0000)]
Fix comment.
Ben Pfaff [Sun, 8 Jan 2006 20:09:25 +0000 (20:09 +0000)]
Remove -Wdeclaration-after-statement because it's not supported by GCC
(GCC 3.4) on the elaines. Ugh.
Ben Pfaff [Sun, 8 Jan 2006 19:00:20 +0000 (19:00 +0000)]
Add explanatory comments to vm tests.
Ben Pfaff [Sun, 8 Jan 2006 18:59:11 +0000 (18:59 +0000)]
Add explanatory comments to filesys tests.
Ben Pfaff [Sun, 8 Jan 2006 18:02:41 +0000 (18:02 +0000)]
Add explanatory comments to vm tests.
Ben Pfaff [Sun, 8 Jan 2006 03:35:04 +0000 (03:35 +0000)]
Formatting.
Ben Pfaff [Sun, 8 Jan 2006 03:24:27 +0000 (03:24 +0000)]
Add explanatory comments to vm tests.
Ben Pfaff [Sun, 8 Jan 2006 01:08:06 +0000 (01:08 +0000)]
Add explanatory comments to userprog tests.
Ben Pfaff [Sun, 8 Jan 2006 01:07:21 +0000 (01:07 +0000)]
Remove file that was not used.
Ben Pfaff [Sat, 7 Jan 2006 02:08:18 +0000 (02:08 +0000)]
Add explanatory comments to threads tests.
Ben Pfaff [Wed, 4 Jan 2006 22:45:01 +0000 (22:45 +0000)]
Elaborate on how to get the user program's stack pointer.
Suggested by Godmar Back.
Ben Pfaff [Wed, 4 Jan 2006 21:51:59 +0000 (21:51 +0000)]
Don't check return value of write().
Ben Pfaff [Wed, 4 Jan 2006 21:33:25 +0000 (21:33 +0000)]
Clarify question.
Via "Bruce Schechter" <bruceds@stanford.edu>.
Ben Pfaff [Wed, 4 Jan 2006 21:30:15 +0000 (21:30 +0000)]
Clarify stack limit.
Ben Pfaff [Wed, 4 Jan 2006 21:27:52 +0000 (21:27 +0000)]
Clarifying comments.
Via "Amit Nagpal" <anagpal1@stanford.edu>.
Ben Pfaff [Wed, 4 Jan 2006 21:21:50 +0000 (21:21 +0000)]
Helpful comment.
Via Megan Anneke Wachs <wachs@stanford.edu>.
Ben Pfaff [Wed, 4 Jan 2006 21:17:34 +0000 (21:17 +0000)]
Add additional disclaimer to "diffstat"s.
Ben Pfaff [Wed, 4 Jan 2006 21:16:36 +0000 (21:16 +0000)]
Typo in comment.
Ben Pfaff [Wed, 4 Jan 2006 21:15:37 +0000 (21:15 +0000)]
New test for growing the stack using a system call.
From Godmar Back.
Ben Pfaff [Wed, 4 Jan 2006 21:07:01 +0000 (21:07 +0000)]
Grammar.
From Godmar Back.
Ben Pfaff [Wed, 4 Jan 2006 21:05:17 +0000 (21:05 +0000)]
Mention that other aliases should only arise from sharing or bugs.
Ben Pfaff [Wed, 4 Jan 2006 20:14:45 +0000 (20:14 +0000)]
Clarify that swap needs to be written when needed, not before.
Ben Pfaff [Wed, 4 Jan 2006 20:08:04 +0000 (20:08 +0000)]
Add clarifying comment.
Via Bruce Schechter.
Ben Pfaff [Wed, 4 Jan 2006 20:03:28 +0000 (20:03 +0000)]
Note about testing.
Ben Pfaff [Wed, 4 Jan 2006 19:52:43 +0000 (19:52 +0000)]
Clarify that an ELF loader is provided.
Via Ben Sapp.
Ben Pfaff [Wed, 4 Jan 2006 19:49:20 +0000 (19:49 +0000)]
Clarify ROX.
Ben Pfaff [Wed, 4 Jan 2006 18:56:16 +0000 (18:56 +0000)]
Move PF_* from exception.c to exception.h, because some students may
wish to pass them around.
Suggested by Godmar Back.
Ben Pfaff [Wed, 4 Jan 2006 18:56:16 +0000 (18:56 +0000)]
Move PF_* from exception.c to exception.h, because some students may
wish to pass them around.
Suggested by Godmar Back.
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".