pintos-anon
20 years agoPrevent bitmap_scan() from assert-failing if CNT is greater than the
Ben Pfaff [Fri, 5 Nov 2004 23:12:11 +0000 (23:12 +0000)]
Prevent bitmap_scan() from assert-failing if CNT is greater than the
bitmap's size.

20 years agoUpdate point values.
Ben Pfaff [Fri, 5 Nov 2004 20:03:06 +0000 (20:03 +0000)]
Update point values.

20 years agoImprove output.
Ben Pfaff [Fri, 5 Nov 2004 20:02:55 +0000 (20:02 +0000)]
Improve output.

20 years agoRefine exit code print spec.
Ben Pfaff [Thu, 4 Nov 2004 01:45:37 +0000 (01:45 +0000)]
Refine exit code print spec.

20 years agoImprove run-tests to accept more output code formats.
Ben Pfaff [Thu, 4 Nov 2004 01:22:23 +0000 (01:22 +0000)]
Improve run-tests to accept more output code formats.
Fix some tests.

20 years agoPatch to make bitmap choice random.
Ben Pfaff [Wed, 3 Nov 2004 23:31:55 +0000 (23:31 +0000)]
Patch to make bitmap choice random.

20 years agoRework makefiles to work with older make.
Ben Pfaff [Wed, 3 Nov 2004 23:31:30 +0000 (23:31 +0000)]
Rework makefiles to work with older make.

20 years agoMore tests.
Ben Pfaff [Wed, 3 Nov 2004 22:52:40 +0000 (22:52 +0000)]
More tests.

20 years agoUse "&& mv $@.tmp $@" for threads/intr-stubs.S.
Ben Pfaff [Wed, 3 Nov 2004 22:48:38 +0000 (22:48 +0000)]
Use "&& mv $@.tmp $@" for threads/intr-stubs.S.

20 years agoAdd more tests.
Ben Pfaff [Wed, 3 Nov 2004 21:57:01 +0000 (21:57 +0000)]
Add more tests.

20 years agoAdd more tests.
Ben Pfaff [Tue, 2 Nov 2004 03:18:48 +0000 (03:18 +0000)]
Add more tests.

20 years agoAdd more tests.
Ben Pfaff [Mon, 1 Nov 2004 06:28:03 +0000 (06:28 +0000)]
Add more tests.

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 agoAdd todo list.
Ben Pfaff [Tue, 26 Oct 2004 19:00:29 +0000 (19:00 +0000)]
Add todo list.

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 agoFix stuff.
Ben Pfaff [Thu, 14 Oct 2004 06:23:30 +0000 (06:23 +0000)]
Fix stuff.

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 agoRemove patch against test.c
Ben Pfaff [Thu, 14 Oct 2004 04:18:14 +0000 (04:18 +0000)]
Remove patch against test.c

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 agoFix race condition.
Ben Pfaff [Thu, 14 Oct 2004 00:43:07 +0000 (00:43 +0000)]
Fix race condition.

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 agoAdd p1-3 solution.
Ben Pfaff [Wed, 13 Oct 2004 05:14:01 +0000 (05:14 +0000)]
Add p1-3 solution.

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.