Ben Pfaff [Wed, 20 Jul 2005 04:43:55 +0000 (04:43 +0000)]
Eliminate race condition in timer_print_stats() found by Sorav's
Checkbochs tool.
Ben Pfaff [Tue, 19 Jul 2005 04:28:25 +0000 (04:28 +0000)]
Rename putchar_unlocked() so as not to interfere with a GCC builtin.
Ben Pfaff [Tue, 19 Jul 2005 04:26:46 +0000 (04:26 +0000)]
Use explicit cast to change character type.
Ben Pfaff [Tue, 19 Jul 2005 03:59:52 +0000 (03:59 +0000)]
Turns out GCC 3.x support -isystem also, they just don't document it.
Use -isystem unconditionally instead of trying to detect support for it.
Ben Pfaff [Tue, 19 Jul 2005 03:42:55 +0000 (03:42 +0000)]
Detect GCC 3.x versus 4.x and use -I- or -isystem, respectively, to
avoid ugly warnings on 4.x with -I-.
Ben Pfaff [Tue, 19 Jul 2005 03:41:46 +0000 (03:41 +0000)]
Use "r" (&uint64) instead of "m" (uint64) as constraints on lidt, lgdt
because newer gas gives an error on the latter.
Ben Pfaff [Tue, 19 Jul 2005 03:40:16 +0000 (03:40 +0000)]
Ignore *.d files.
Ben Pfaff [Sun, 3 Jul 2005 22:41:47 +0000 (22:41 +0000)]
Basic Eraser support.
Ben Pfaff [Sun, 3 Jul 2005 22:09:19 +0000 (22:09 +0000)]
Basic Eraser support.
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.
Ben Pfaff [Tue, 21 Jun 2005 00:32:12 +0000 (00:32 +0000)]
Update for modified test.
Ben Pfaff [Tue, 21 Jun 2005 00:27:03 +0000 (00:27 +0000)]
Fix releasing of free inode blocks.
Ben Pfaff [Mon, 20 Jun 2005 22:56:27 +0000 (22:56 +0000)]
Increase time-outs for page-shuffle, mmap-shuffle.
Ben Pfaff [Mon, 20 Jun 2005 22:56:12 +0000 (22:56 +0000)]
Fix file name.
Ben Pfaff [Mon, 20 Jun 2005 22:55:59 +0000 (22:55 +0000)]
Don't print output for triple faults.
Ben Pfaff [Mon, 20 Jun 2005 22:55:36 +0000 (22:55 +0000)]
Don't print recursive reboots.
Ben Pfaff [Mon, 20 Jun 2005 21:53:43 +0000 (21:53 +0000)]
Allow decimal point in percentages.
Ben Pfaff [Mon, 20 Jun 2005 21:26:49 +0000 (21:26 +0000)]
Fix handling of timeouts.
Ben Pfaff [Mon, 20 Jun 2005 21:01:51 +0000 (21:01 +0000)]
Change line spacing.
Ben Pfaff [Mon, 20 Jun 2005 20:59:24 +0000 (20:59 +0000)]
Always print output for failing test cases.
Ben Pfaff [Mon, 20 Jun 2005 20:59:12 +0000 (20:59 +0000)]
Add timeouts.
Ben Pfaff [Mon, 20 Jun 2005 20:31:32 +0000 (20:31 +0000)]
Revise.
Ben Pfaff [Mon, 20 Jun 2005 20:24:19 +0000 (20:24 +0000)]
Add grading system.
Ben Pfaff [Mon, 20 Jun 2005 20:11:45 +0000 (20:11 +0000)]
Use file count of 20.
Ben Pfaff [Mon, 20 Jun 2005 20:11:01 +0000 (20:11 +0000)]
Update.
Ben Pfaff [Mon, 20 Jun 2005 17:54:20 +0000 (17:54 +0000)]
Recommend integrating cache early.
Ben Pfaff [Sun, 19 Jun 2005 18:55:55 +0000 (18:55 +0000)]
Comment fixes.
Ben Pfaff [Sun, 19 Jun 2005 18:55:30 +0000 (18:55 +0000)]
Comment fixes.
Ben Pfaff [Sun, 19 Jun 2005 18:53:22 +0000 (18:53 +0000)]
Unused source file.
Ben Pfaff [Sun, 19 Jun 2005 05:48:04 +0000 (05:48 +0000)]
Adjust FAQ section naming for consistency.
Ben Pfaff [Sun, 19 Jun 2005 05:41:39 +0000 (05:41 +0000)]
Install templates.
Ben Pfaff [Sun, 19 Jun 2005 05:38:20 +0000 (05:38 +0000)]
Get rid of .png rules that are no longer used.
Ben Pfaff [Sun, 19 Jun 2005 05:36:00 +0000 (05:36 +0000)]
Add texinfo.tex.
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.
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.
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.
Ben Pfaff [Thu, 26 May 2005 20:21:35 +0000 (20:21 +0000)]
Get rid of unnecessary barrier. Improve comment.
Ben Pfaff [Wed, 25 May 2005 04:29:00 +0000 (04:29 +0000)]
How to debug user programs with gdb.
Ben Pfaff [Tue, 17 May 2005 01:36:51 +0000 (01:36 +0000)]
Update Intel manual URLs.
Ben Pfaff [Thu, 12 May 2005 04:15:47 +0000 (04:15 +0000)]
Fix line wrapping.
Ben Pfaff [Tue, 10 May 2005 23:09:34 +0000 (23:09 +0000)]
Standard disk assignments.
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.
Ben Pfaff [Wed, 13 Apr 2005 05:20:30 +0000 (05:20 +0000)]
Clean TAGS, tags targets.
Ben Pfaff [Tue, 12 Apr 2005 06:27:56 +0000 (06:27 +0000)]
Align comments.
Ben Pfaff [Tue, 12 Apr 2005 06:09:46 +0000 (06:09 +0000)]
Update message.
Ben Pfaff [Tue, 12 Apr 2005 05:43:46 +0000 (05:43 +0000)]
Update message.
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.
Ben Pfaff [Tue, 12 Apr 2005 05:09:28 +0000 (05:09 +0000)]
Clean better.
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.
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>.
Ben Pfaff [Wed, 6 Apr 2005 21:13:00 +0000 (21:13 +0000)]
Enhance shell.
Ben Pfaff [Wed, 6 Apr 2005 20:56:02 +0000 (20:56 +0000)]
Enhance shell.
Ben Pfaff [Wed, 6 Apr 2005 20:55:40 +0000 (20:55 +0000)]
Add ls, mkdir user test programs.
Ben Pfaff [Wed, 6 Apr 2005 18:55:18 +0000 (18:55 +0000)]
Revise.
Ben Pfaff [Wed, 6 Apr 2005 18:47:48 +0000 (18:47 +0000)]
Add SUBMAKEFLAGS.
Move < from apply-patch to invocations.
Ben Pfaff [Wed, 6 Apr 2005 18:47:26 +0000 (18:47 +0000)]
Only need single 0x90.
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.
Ben Pfaff [Wed, 6 Apr 2005 18:44:37 +0000 (18:44 +0000)]
Add `dirs' target.
Simplify and improve.
Ben Pfaff [Tue, 5 Apr 2005 23:56:39 +0000 (23:56 +0000)]
Fix comment.
Ben Pfaff [Fri, 1 Apr 2005 22:12:43 +0000 (22:12 +0000)]
Update to match printf() fix.
Ben Pfaff [Fri, 1 Apr 2005 21:09:03 +0000 (21:09 +0000)]
Add stdio test.
Ben Pfaff [Fri, 1 Apr 2005 21:08:47 +0000 (21:08 +0000)]
Improve test program.
Ben Pfaff [Fri, 1 Apr 2005 21:06:38 +0000 (21:06 +0000)]
Fix parenthesization.
Ben Pfaff [Fri, 1 Apr 2005 21:03:40 +0000 (21:03 +0000)]
Fix more printf() conformance problems.
Ben Pfaff [Fri, 1 Apr 2005 19:31:31 +0000 (19:31 +0000)]
Revert to old version because it doesn't break preprocessor
directives.
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.
Ben Pfaff [Fri, 1 Apr 2005 18:43:22 +0000 (18:43 +0000)]
127 is a control character.
Ben Pfaff [Fri, 1 Apr 2005 00:11:54 +0000 (00:11 +0000)]
Fix comment.