pintos-anon
20 years agoFix use of arbitrary files for disks with "get" and "put" commands.
Ben Pfaff [Mon, 1 Nov 2004 06:25:09 +0000 (06:25 +0000)]
Fix use of arbitrary files for disks with "get" and "put" commands.

20 years agoAdd more tests.
Ben Pfaff [Mon, 1 Nov 2004 05:33:30 +0000 (05:33 +0000)]
Add more tests.
Fix - in makefile var bug reported by Jim.
Make pintos util able to format and put in one step.

20 years agoAdd -*- makefile -*- line.
Ben Pfaff [Sun, 31 Oct 2004 06:29:22 +0000 (06:29 +0000)]
Add -*- makefile -*- line.

20 years agoAdd more tests.
Ben Pfaff [Fri, 29 Oct 2004 18:37:39 +0000 (18:37 +0000)]
Add more tests.

20 years agoFix bug in strlcpy() that could cause reading too much data from the
Ben Pfaff [Fri, 29 Oct 2004 04:29:29 +0000 (04:29 +0000)]
Fix bug in strlcpy() that could cause reading too much data from the
source string.  Thanks to Jim Chow for reporting the bug and providing
the fix.

20 years agoWork on userprog tests.
Ben Pfaff [Fri, 29 Oct 2004 01:07:36 +0000 (01:07 +0000)]
Work on userprog tests.

20 years agoWork on userprog testing.
Ben Pfaff [Thu, 28 Oct 2004 01:00:02 +0000 (01:00 +0000)]
Work on userprog testing.

20 years agoRevise.
Ben Pfaff [Wed, 27 Oct 2004 05:22:47 +0000 (05:22 +0000)]
Revise.

20 years agoRevise.
Ben Pfaff [Wed, 27 Oct 2004 05:12:58 +0000 (05:12 +0000)]
Revise.

20 years agoMove segment rounding LDFLAGS into tests/userprog/Makefile.
Ben Pfaff [Wed, 27 Oct 2004 03:55:03 +0000 (03:55 +0000)]
Move segment rounding LDFLAGS into tests/userprog/Makefile.

20 years agoClarifications.
Ben Pfaff [Wed, 27 Oct 2004 03:13:45 +0000 (03:13 +0000)]
Clarifications.

20 years agoClarifications.
Ben Pfaff [Wed, 27 Oct 2004 03:10:39 +0000 (03:10 +0000)]
Clarifications.

20 years agoClarifications.
Ben Pfaff [Wed, 27 Oct 2004 01:48:42 +0000 (01:48 +0000)]
Clarifications.

20 years agoWork on userprog tests.
Ben Pfaff [Wed, 27 Oct 2004 00:48:14 +0000 (00:48 +0000)]
Work on userprog tests.

20 years agoClean up. Use perl -w and strict.
Ben Pfaff [Wed, 27 Oct 2004 00:47:57 +0000 (00:47 +0000)]
Clean up.  Use perl -w and strict.
Add ability to use arbitrary files for disks.

20 years ago(file_read_at) Fix behavior of read when position is past EOF.
Ben Pfaff [Tue, 26 Oct 2004 19:15:32 +0000 (19:15 +0000)]
(file_read_at) Fix behavior of read when position is past EOF.
(file_write_at) Ditto.  Also, fix test for needing read-modify-write.

20 years agoStart of userprog tests.
Ben Pfaff [Tue, 26 Oct 2004 19:05:39 +0000 (19:05 +0000)]
Start of userprog tests.

20 years agoAdd comment to clarify behavior.
Ben Pfaff [Tue, 26 Oct 2004 19:02:51 +0000 (19:02 +0000)]
Add comment to clarify behavior.

20 years agoMake tests/userprog makefile modular so we can reuse it for
Ben Pfaff [Tue, 26 Oct 2004 19:02:22 +0000 (19:02 +0000)]
Make tests/userprog makefile modular so we can reuse it for
grading/userprog.

20 years agoRevise.
Ben Pfaff [Tue, 26 Oct 2004 06:44:55 +0000 (06:44 +0000)]
Revise.

20 years agoAdd some more correctness assertions to free().
Ben Pfaff [Mon, 25 Oct 2004 23:39:46 +0000 (23:39 +0000)]
Add some more correctness assertions to free().
(I did some basic testing on this.)

20 years agoDisallow the empty string as a file name.
Ben Pfaff [Mon, 25 Oct 2004 22:56:10 +0000 (22:56 +0000)]
Disallow the empty string as a file name.

20 years agoReverse LIB order so that programs that don't make system
Ben Pfaff [Mon, 25 Oct 2004 21:48:45 +0000 (21:48 +0000)]
Reverse LIB order so that programs that don't make system
calls link properly

20 years agoImprove implementation of puts().
Ben Pfaff [Mon, 25 Oct 2004 00:13:24 +0000 (00:13 +0000)]
Improve implementation of puts().

20 years agoAdd filesize() stub.
Ben Pfaff [Sat, 23 Oct 2004 02:49:20 +0000 (02:49 +0000)]
Add filesize() stub.

20 years agoFix description of remove() and create() return values.
Ben Pfaff [Fri, 22 Oct 2004 16:31:59 +0000 (16:31 +0000)]
Fix description of remove() and create() return values.

20 years agoComments.
Ben Pfaff [Fri, 22 Oct 2004 16:30:53 +0000 (16:30 +0000)]
Comments.

20 years agoFix.
Ben Pfaff [Fri, 22 Oct 2004 06:30:36 +0000 (06:30 +0000)]
Fix.

20 years agoRevise.
Ben Pfaff [Fri, 22 Oct 2004 05:57:51 +0000 (05:57 +0000)]
Revise.

20 years agoFix.
Ben Pfaff [Fri, 22 Oct 2004 05:18:55 +0000 (05:18 +0000)]
Fix.

20 years agoRevise.
Ben Pfaff [Fri, 22 Oct 2004 05:16:37 +0000 (05:16 +0000)]
Revise.

20 years agoClarifications.
Ben Pfaff [Thu, 21 Oct 2004 06:09:39 +0000 (06:09 +0000)]
Clarifications.

20 years agoFinal updates for grading project 1.
Ben Pfaff [Thu, 21 Oct 2004 00:45:06 +0000 (00:45 +0000)]
Final updates for grading project 1.

20 years agoTry it a different way.
Ben Pfaff [Wed, 20 Oct 2004 20:19:22 +0000 (20:19 +0000)]
Try it a different way.

20 years agoFix donate-multiple test.
Ben Pfaff [Wed, 20 Oct 2004 18:45:21 +0000 (18:45 +0000)]
Fix donate-multiple test.

20 years agoRevise MLFQS bits.
Ben Pfaff [Wed, 20 Oct 2004 07:25:27 +0000 (07:25 +0000)]
Revise MLFQS bits.

20 years agoGrade MLFQS.
Ben Pfaff [Wed, 20 Oct 2004 07:24:41 +0000 (07:24 +0000)]
Grade MLFQS.
Generate final grade file.

20 years agoFix bug in pagedir_get_page(): didn't apply uaddr page offset to kaddr
Ben Pfaff [Wed, 20 Oct 2004 06:12:36 +0000 (06:12 +0000)]
Fix bug in pagedir_get_page(): didn't apply uaddr page offset to kaddr
return value (!)

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:50:44 +0000 (22:50 +0000)]
Improve.

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:49:25 +0000 (22:49 +0000)]
Improve.

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:48:47 +0000 (22:48 +0000)]
Improve.

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:45:22 +0000 (22:45 +0000)]
Improve.

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:44:31 +0000 (22:44 +0000)]
Improve.

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:41:37 +0000 (22:41 +0000)]
Improve.

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:41:04 +0000 (22:41 +0000)]
Improve.

20 years agoImprove.
Ben Pfaff [Tue, 19 Oct 2004 22:40:14 +0000 (22:40 +0000)]
Improve.

20 years agoAllow cpp to remove comments when producing kernel.lds.s.
Ben Pfaff [Tue, 19 Oct 2004 17:37:30 +0000 (17:37 +0000)]
Allow cpp to remove comments when producing kernel.lds.s.
This allows // comments to be used.

20 years agoComments.
Ben Pfaff [Tue, 19 Oct 2004 17:22:16 +0000 (17:22 +0000)]
Comments.

20 years agoClarify.
Ben Pfaff [Tue, 19 Oct 2004 02:05:09 +0000 (02:05 +0000)]
Clarify.

20 years agoRevert to previous version.
Ben Pfaff [Mon, 18 Oct 2004 23:54:56 +0000 (23:54 +0000)]
Revert to previous version.

20 years agoImprove run-tests.
Ben Pfaff [Mon, 18 Oct 2004 22:22:42 +0000 (22:22 +0000)]
Improve run-tests.
Edit the grading result files.

20 years agoDocument tab width.
Ben Pfaff [Mon, 18 Oct 2004 18:42:47 +0000 (18:42 +0000)]
Document tab width.

20 years agoWarn that coding style costs points.
Ben Pfaff [Mon, 18 Oct 2004 18:39:11 +0000 (18:39 +0000)]
Warn that coding style costs points.

20 years agoASSERT should evaluate to an expression not a statement.
Ben Pfaff [Mon, 18 Oct 2004 17:42:40 +0000 (17:42 +0000)]
ASSERT should evaluate to an expression not a statement.

20 years agoAdd -s to LDFLAGS to strip output binaries.
Ben Pfaff [Sun, 17 Oct 2004 23:31:35 +0000 (23:31 +0000)]
Add -s to LDFLAGS to strip output binaries.

20 years agoComments.
Ben Pfaff [Sun, 17 Oct 2004 23:30:22 +0000 (23:30 +0000)]
Comments.

20 years agoWork on grading.
Ben Pfaff [Sun, 17 Oct 2004 07:11:17 +0000 (07:11 +0000)]
Work on grading.

20 years agoFix typo.
Ben Pfaff [Sun, 17 Oct 2004 00:47:24 +0000 (00:47 +0000)]
Fix typo.

20 years agoUpdate FAQ.
Ben Pfaff [Sat, 16 Oct 2004 23:28:59 +0000 (23:28 +0000)]
Update FAQ.

20 years agoAdd test scripts.
Ben Pfaff [Sat, 16 Oct 2004 00:06:01 +0000 (00:06 +0000)]
Add test scripts.

20 years agoFix a few details.
Ben Pfaff [Fri, 15 Oct 2004 04:42:32 +0000 (04:42 +0000)]
Fix a few details.

20 years agoSpelling fix.
Ben Pfaff [Thu, 14 Oct 2004 06:23:53 +0000 (06:23 +0000)]
Spelling fix.

20 years agoAdd more tests.
Ben Pfaff [Thu, 14 Oct 2004 06:14:16 +0000 (06:14 +0000)]
Add more tests.

20 years agoAdd 14 (page fault) to named exceptions.
Ben Pfaff [Thu, 14 Oct 2004 04:22:51 +0000 (04:22 +0000)]
Add 14 (page fault) to named exceptions.
(Why wasn't this here before?)

20 years agoShould iterate 10 times not 5.
Ben Pfaff [Thu, 14 Oct 2004 03:58:07 +0000 (03:58 +0000)]
Should iterate 10 times not 5.

20 years agoAdd some grading test programs.
Ben Pfaff [Thu, 14 Oct 2004 00:41:53 +0000 (00:41 +0000)]
Add some grading test programs.

20 years agoRestore verbatim.
Ben Pfaff [Thu, 14 Oct 2004 00:10:41 +0000 (00:10 +0000)]
Restore verbatim.
Fix table.

20 years agoImplement verbatim as equivalent to example.
Ben Pfaff [Thu, 14 Oct 2004 00:10:34 +0000 (00:10 +0000)]
Implement verbatim as equivalent to example.

20 years agoRedo menu.
Ben Pfaff [Thu, 14 Oct 2004 00:10:23 +0000 (00:10 +0000)]
Redo menu.

20 years agoTypo fixes.
Ben Pfaff [Thu, 14 Oct 2004 00:04:45 +0000 (00:04 +0000)]
Typo fixes.

20 years agoPunctuation fix.
Ben Pfaff [Wed, 13 Oct 2004 05:12:14 +0000 (05:12 +0000)]
Punctuation fix.

20 years agoDebugging by infinite loop.
Ben Pfaff [Tue, 12 Oct 2004 23:07:57 +0000 (23:07 +0000)]
Debugging by infinite loop.

20 years agoAdd and refine FAQ answers.
Ben Pfaff [Tue, 12 Oct 2004 22:53:09 +0000 (22:53 +0000)]
Add and refine FAQ answers.

20 years agoAdd `install' target.
Ben Pfaff [Tue, 12 Oct 2004 22:53:00 +0000 (22:53 +0000)]
Add `install' target.

20 years agoNeither of these tests works under MLFQS.
Ben Pfaff [Tue, 12 Oct 2004 17:17:18 +0000 (17:17 +0000)]
Neither of these tests works under MLFQS.

20 years agoAdjust wording of "static priority" comment.
Ben Pfaff [Mon, 11 Oct 2004 22:45:47 +0000 (22:45 +0000)]
Adjust wording of "static priority" comment.

20 years agoMake sure that we're not being tested with MLFQS on.
Ben Pfaff [Mon, 11 Oct 2004 22:34:27 +0000 (22:34 +0000)]
Make sure that we're not being tested with MLFQS on.

20 years agoMention that GCC reorders statements.
Ben Pfaff [Mon, 11 Oct 2004 00:10:28 +0000 (00:10 +0000)]
Mention that GCC reorders statements.

20 years agoAdd volatile to asm statement in intr_get_level(),
Ben Pfaff [Sun, 10 Oct 2004 23:56:14 +0000 (23:56 +0000)]
Add volatile to asm statement in intr_get_level(),
otherwise GCC will assume that two calls to this function can be
optimized into one, even across asm("sti") or asm("cli").

20 years agoFix logic problem.
Ben Pfaff [Sat, 9 Oct 2004 23:10:28 +0000 (23:10 +0000)]
Fix logic problem.

20 years agoFix compile problems.
Ben Pfaff [Sat, 9 Oct 2004 23:07:14 +0000 (23:07 +0000)]
Fix compile problems.
Thanks to Grant Patterson <grantp@stanford.edu>
for reporting the problem.

20 years agoFix compile problems.
Ben Pfaff [Sat, 9 Oct 2004 23:06:37 +0000 (23:06 +0000)]
Fix compile problems.

20 years agoClarify.
Ben Pfaff [Sat, 9 Oct 2004 21:26:38 +0000 (21:26 +0000)]
Clarify.

20 years agoComments.
Ben Pfaff [Sat, 9 Oct 2004 18:01:37 +0000 (18:01 +0000)]
Comments.

20 years agoUse 115.2 kbps instead of 9600 bps.
Ben Pfaff [Fri, 8 Oct 2004 05:25:54 +0000 (05:25 +0000)]
Use 115.2 kbps instead of 9600 bps.

20 years agoUpdate docs.
Ben Pfaff [Thu, 7 Oct 2004 02:44:59 +0000 (02:44 +0000)]
Update docs.

20 years agoAdd FAQ for making p1-1 work okay.
Ben Pfaff [Thu, 7 Oct 2004 00:36:49 +0000 (00:36 +0000)]
Add FAQ for making p1-1 work okay.

20 years agoCheck that the serial rate is reasonable.
Ben Pfaff [Thu, 7 Oct 2004 00:35:18 +0000 (00:35 +0000)]
Check that the serial rate is reasonable.

20 years agoMake freeing pages not require the pool lock,
Ben Pfaff [Wed, 6 Oct 2004 21:29:56 +0000 (21:29 +0000)]
Make freeing pages not require the pool lock,
so that schedule_tail() may legitimately call palloc_free_page().
Incidentally make bitmap mark/reset/flip atomic.

20 years agoFix wording.
Ben Pfaff [Wed, 6 Oct 2004 21:28:34 +0000 (21:28 +0000)]
Fix wording.

20 years agotimer_sleep() need interrupts on.
Ben Pfaff [Wed, 6 Oct 2004 18:27:00 +0000 (18:27 +0000)]
timer_sleep() need interrupts on.

20 years agoFix missing right paren.
Ben Pfaff [Tue, 5 Oct 2004 20:10:44 +0000 (20:10 +0000)]
Fix missing right paren.

20 years agoComment.
Ben Pfaff [Tue, 5 Oct 2004 00:44:27 +0000 (00:44 +0000)]
Comment.

20 years agoExplain why `break schedule' might not work and offer workarounds.
Ben Pfaff [Mon, 4 Oct 2004 00:07:39 +0000 (00:07 +0000)]
Explain why `break schedule' might not work and offer workarounds.

20 years agoFix comments.
Ben Pfaff [Sat, 2 Oct 2004 23:21:16 +0000 (23:21 +0000)]
Fix comments.

20 years agoCredit Mendel.
Ben Pfaff [Fri, 1 Oct 2004 21:54:34 +0000 (21:54 +0000)]
Credit Mendel.

20 years agoFix URLs.
Ben Pfaff [Wed, 29 Sep 2004 16:09:07 +0000 (16:09 +0000)]
Fix URLs.

20 years agoFix typos.
Ben Pfaff [Wed, 29 Sep 2004 16:01:40 +0000 (16:01 +0000)]
Fix typos.

20 years agoFix printf() format specifier.
Ben Pfaff [Wed, 29 Sep 2004 15:51:13 +0000 (15:51 +0000)]
Fix printf() format specifier.

20 years agoMove TODO.
Ben Pfaff [Wed, 29 Sep 2004 15:41:01 +0000 (15:41 +0000)]
Move TODO.