pintos-anon
20 years agoUpdate .cvsignore files.
Ben Pfaff [Tue, 23 Nov 2004 00:57:42 +0000 (00:57 +0000)]
Update .cvsignore files.

20 years agoFix treatment of timeouts in run-tests and pintos.
Ben Pfaff [Tue, 23 Nov 2004 00:36:46 +0000 (00:36 +0000)]
Fix treatment of timeouts in run-tests and pintos.

20 years agoAdvise about bounce buffers.
Ben Pfaff [Tue, 23 Nov 2004 00:36:34 +0000 (00:36 +0000)]
Advise about bounce buffers.

20 years agoFix treatment of timeouts in run-tests and pintos.
Ben Pfaff [Mon, 22 Nov 2004 23:37:11 +0000 (23:37 +0000)]
Fix treatment of timeouts in run-tests and pintos.

20 years agoUpdate tests.
Ben Pfaff [Mon, 22 Nov 2004 23:05:33 +0000 (23:05 +0000)]
Update tests.

20 years agoUse exec instead of system to start bochs.
Ben Pfaff [Mon, 22 Nov 2004 23:05:03 +0000 (23:05 +0000)]
Use exec instead of system to start bochs.

20 years agoOops. unpack("%V") -> unpack("V")
Ben Pfaff [Mon, 22 Nov 2004 19:34:42 +0000 (19:34 +0000)]
Oops.  unpack("%V") -> unpack("V")

20 years agoComment.
Ben Pfaff [Sat, 20 Nov 2004 02:32:28 +0000 (02:32 +0000)]
Comment.

20 years agoMore VM tests.
Ben Pfaff [Sat, 20 Nov 2004 02:31:09 +0000 (02:31 +0000)]
More VM tests.

20 years agoMore VM tests.
Ben Pfaff [Sat, 20 Nov 2004 00:21:29 +0000 (00:21 +0000)]
More VM tests.

20 years agoSome initial VM tests.
Ben Pfaff [Thu, 18 Nov 2004 01:14:18 +0000 (01:14 +0000)]
Some initial VM tests.

20 years agoAdd -DPINTOS to DEFINES.
Ben Pfaff [Thu, 18 Nov 2004 01:13:40 +0000 (01:13 +0000)]
Add -DPINTOS to DEFINES.

20 years agoUpdate.
Ben Pfaff [Wed, 17 Nov 2004 19:55:46 +0000 (19:55 +0000)]
Update.

20 years agoUpdate tests.
Ben Pfaff [Fri, 12 Nov 2004 06:01:17 +0000 (06:01 +0000)]
Update tests.

20 years agoClarifications.
Ben Pfaff [Tue, 9 Nov 2004 00:33:38 +0000 (00:33 +0000)]
Clarifications.

20 years agoFix bug caused by previous change.
Ben Pfaff [Fri, 5 Nov 2004 23:43:14 +0000 (23:43 +0000)]
Fix bug caused by previous change.

20 years agoImprove list_remove().
Ben Pfaff [Fri, 5 Nov 2004 23:22:12 +0000 (23:22 +0000)]
Improve list_remove().

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 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.