pintos-anon
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 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 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 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 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 agoStandard disk assignments.
Ben Pfaff [Tue, 10 May 2005 23:09:34 +0000 (23:09 +0000)]
Standard disk assignments.

19 years agoUse runtime options instead of conditional compilation for MLFQS,
Ben Pfaff [Wed, 13 Apr 2005 05:32:09 +0000 (05:32 +0000)]
Use runtime options instead of conditional compilation for MLFQS,
RANDOM_REPLACEMENT, extra credit.  Update documentation, grading.

19 years agoClean TAGS, tags targets.
Ben Pfaff [Wed, 13 Apr 2005 05:20:30 +0000 (05:20 +0000)]
Clean TAGS, tags targets.

19 years agoAlign comments.
Ben Pfaff [Tue, 12 Apr 2005 06:27:56 +0000 (06:27 +0000)]
Align comments.

19 years agoUpdate message.
Ben Pfaff [Tue, 12 Apr 2005 06:09:46 +0000 (06:09 +0000)]
Update message.

19 years agoUpdate message.
Ben Pfaff [Tue, 12 Apr 2005 05:43:46 +0000 (05:43 +0000)]
Update message.

19 years agoGet rid of file system "dump" operations because they weren't useful
Ben Pfaff [Tue, 12 Apr 2005 05:24:37 +0000 (05:24 +0000)]
Get rid of file system "dump" operations because they weren't useful
and occasionally provoked student questions.

19 years agoClean better.
Ben Pfaff [Tue, 12 Apr 2005 05:09:28 +0000 (05:09 +0000)]
Clean better.

19 years agoGet rid of DEBUG macro, supporting code, and documentation,
Ben Pfaff [Tue, 12 Apr 2005 05:05:47 +0000 (05:05 +0000)]
Get rid of DEBUG macro, supporting code, and documentation,
because no one ever used it.

19 years agoIn idle(), "sti; hlt" must be atomic or we can waste time waiting for
Ben Pfaff [Thu, 7 Apr 2005 18:00:06 +0000 (18:00 +0000)]
In idle(), "sti; hlt" must be atomic or we can waste time waiting for
the next clock tick.
Fix inspired by Linus Torvalds in message
<Pine.LNX.4.58.0504071000450.28951@ppc970.osdl.org>.

19 years agoEnhance shell.
Ben Pfaff [Wed, 6 Apr 2005 21:13:00 +0000 (21:13 +0000)]
Enhance shell.

19 years agoEnhance shell.
Ben Pfaff [Wed, 6 Apr 2005 20:56:02 +0000 (20:56 +0000)]
Enhance shell.

19 years agoAdd ls, mkdir user test programs.
Ben Pfaff [Wed, 6 Apr 2005 20:55:40 +0000 (20:55 +0000)]
Add ls, mkdir user test programs.

19 years agoRevise.
Ben Pfaff [Wed, 6 Apr 2005 18:55:18 +0000 (18:55 +0000)]
Revise.

19 years agoAdd SUBMAKEFLAGS.
Ben Pfaff [Wed, 6 Apr 2005 18:47:48 +0000 (18:47 +0000)]
Add SUBMAKEFLAGS.
Move < from apply-patch to invocations.

19 years agoOnly need single 0x90.
Ben Pfaff [Wed, 6 Apr 2005 18:47:26 +0000 (18:47 +0000)]
Only need single 0x90.

19 years agoAlways use a custom linker script, to avoid oddities in the default.
Ben Pfaff [Wed, 6 Apr 2005 18:47:14 +0000 (18:47 +0000)]
Always use a custom linker script, to avoid oddities in the default.
Put linker scripts in lib/user.
Eliminate redundant dependency in Makefile.userprog.
Document change.

19 years agoAdd `dirs' target.
Ben Pfaff [Wed, 6 Apr 2005 18:44:37 +0000 (18:44 +0000)]
Add `dirs' target.
Simplify and improve.

19 years agoFix comment.
Ben Pfaff [Tue, 5 Apr 2005 23:56:39 +0000 (23:56 +0000)]
Fix comment.

19 years agoUpdate to match printf() fix.
Ben Pfaff [Fri, 1 Apr 2005 22:12:43 +0000 (22:12 +0000)]
Update to match printf() fix.

19 years agoAdd stdio test.
Ben Pfaff [Fri, 1 Apr 2005 21:09:03 +0000 (21:09 +0000)]
Add stdio test.

19 years agoImprove test program.
Ben Pfaff [Fri, 1 Apr 2005 21:08:47 +0000 (21:08 +0000)]
Improve test program.

19 years agoFix parenthesization.
Ben Pfaff [Fri, 1 Apr 2005 21:06:38 +0000 (21:06 +0000)]
Fix parenthesization.

19 years agoFix more printf() conformance problems.
Ben Pfaff [Fri, 1 Apr 2005 21:03:40 +0000 (21:03 +0000)]
Fix more printf() conformance problems.

19 years agoRevert to old version because it doesn't break preprocessor
Ben Pfaff [Fri, 1 Apr 2005 19:31:31 +0000 (19:31 +0000)]
Revert to old version because it doesn't break preprocessor
directives.

19 years agoMake sure PTRDIFF_MIN, PTRDIFF_MAX, and SIZE_MAX have the proper types.
Ben Pfaff [Fri, 1 Apr 2005 18:44:07 +0000 (18:44 +0000)]
Make sure PTRDIFF_MIN, PTRDIFF_MAX, and SIZE_MAX have the proper types.

19 years ago127 is a control character.
Ben Pfaff [Fri, 1 Apr 2005 18:43:22 +0000 (18:43 +0000)]
127 is a control character.

19 years agoFix comment.
Ben Pfaff [Fri, 1 Apr 2005 00:11:54 +0000 (00:11 +0000)]
Fix comment.

19 years agoImprove.
Ben Pfaff [Fri, 1 Apr 2005 00:10:50 +0000 (00:10 +0000)]
Improve.

19 years agoMove problem 1-2 (join) into project 2 as the "wait" system call.
Ben Pfaff [Thu, 31 Mar 2005 04:58:27 +0000 (04:58 +0000)]
Move problem 1-2 (join) into project 2 as the "wait" system call.
Update the documentation, solutions, grading scripts, and regression
tests.

In execute_thread(), rephrase the code slightly.
Move process_activate() call from execute_thread() to load() to remove
potential race condition that students and TAs found confusing.
Add memory barrier in process_exit().

19 years agoUpdate license section.
Ben Pfaff [Wed, 30 Mar 2005 06:11:53 +0000 (06:11 +0000)]
Update license section.

19 years agoTalk about license in intro to docs.
Ben Pfaff [Wed, 30 Mar 2005 06:11:08 +0000 (06:11 +0000)]
Talk about license in intro to docs.

19 years agoReplace quick_sort() that uses quick sort and O(lg n) space
Ben Pfaff [Wed, 30 Mar 2005 05:17:28 +0000 (05:17 +0000)]
Replace quick_sort() that uses quick sort and O(lg n) space
by sort() that uses heap sort and O(1) space.

19 years agoReimplement list_sort() iteratively, reducing memory requirements to
Ben Pfaff [Wed, 30 Mar 2005 02:11:12 +0000 (02:11 +0000)]
Reimplement list_sort() iteratively, reducing memory requirements to
O(1).
Remove list_merge().

19 years agoAdd printf() test.
Ben Pfaff [Tue, 29 Mar 2005 23:45:14 +0000 (23:45 +0000)]
Add printf() test.

19 years agoUpdate mmap() tests.
Ben Pfaff [Tue, 29 Mar 2005 07:41:20 +0000 (07:41 +0000)]
Update mmap() tests.
Change MAPID_ERROR to MAP_FAILED to be closer to POSIX.

19 years agoChange list_elem from typedef to struct.
Ben Pfaff [Tue, 29 Mar 2005 07:40:25 +0000 (07:40 +0000)]
Change list_elem from typedef to struct.
Ditto for hash_elem.

19 years agoFix 3 distinct bugs reported by Cristian Cadar.
Ben Pfaff [Thu, 24 Mar 2005 09:01:16 +0000 (09:01 +0000)]
Fix 3 distinct bugs reported by Cristian Cadar.

19 years agoUpdate mmap, munmap stubs to match new prototypes.
Ben Pfaff [Thu, 24 Mar 2005 06:37:53 +0000 (06:37 +0000)]
Update mmap, munmap stubs to match new prototypes.

19 years agoFix handling of `+' and ` ' flags for unsigned conversions in
Ben Pfaff [Wed, 23 Mar 2005 23:31:36 +0000 (23:31 +0000)]
Fix handling of `+' and ` ' flags for unsigned conversions in
printf().  Thanks to Cristian Cadar for reporting this bug.

19 years agoWhen run.out is missing in &grade_test, just return an error that
Ben Pfaff [Thu, 17 Mar 2005 18:52:52 +0000 (18:52 +0000)]
When run.out is missing in &grade_test, just return an error that
preparation failed, instead of dying.  This can happen legitimately
when a `pintos put' fails.

19 years agoRemove patch no longer needed.
Ben Pfaff [Thu, 17 Mar 2005 18:23:05 +0000 (18:23 +0000)]
Remove patch no longer needed.

19 years agoCrossport 1.2.4.1 to main.
Ben Pfaff [Sat, 5 Mar 2005 19:47:28 +0000 (19:47 +0000)]
Crossport 1.2.4.1 to main.

19 years agoCrossport 1.2.4.1 into main.
Ben Pfaff [Sat, 5 Mar 2005 19:45:57 +0000 (19:45 +0000)]
Crossport 1.2.4.1 into main.

19 years agoMake mmap use segment IDs.
Ben Pfaff [Sat, 5 Mar 2005 07:33:56 +0000 (07:33 +0000)]
Make mmap use segment IDs.

19 years agoFix menu.
Ben Pfaff [Sat, 5 Mar 2005 07:14:52 +0000 (07:14 +0000)]
Fix menu.

19 years agoComment.
Ben Pfaff [Sat, 5 Mar 2005 05:33:07 +0000 (05:33 +0000)]
Comment.

19 years agoUpdate documentation.
Ben Pfaff [Sat, 5 Mar 2005 05:31:47 +0000 (05:31 +0000)]
Update documentation.

19 years agoactive_pd() should return a virtual address. Thanks to Guy Isely
Ben Pfaff [Thu, 24 Feb 2005 22:23:50 +0000 (22:23 +0000)]
active_pd() should return a virtual address.  Thanks to Guy Isely
<guyi@stanford.edu> for reporting this bug.

19 years agoDon't consider zero-size disks to exist.
Ben Pfaff [Tue, 22 Feb 2005 20:55:13 +0000 (20:55 +0000)]
Don't consider zero-size disks to exist.
(Crossport from win0405.)

19 years agoSuggest a line limit of 79 characters.
Ben Pfaff [Tue, 22 Feb 2005 04:39:52 +0000 (04:39 +0000)]
Suggest a line limit of 79 characters.