pintos-anon
19 years agoMore tests.
Ben Pfaff [Sat, 4 Dec 2004 01:45:43 +0000 (01:45 +0000)]
More tests.

19 years agoRevisions.
Ben Pfaff [Fri, 3 Dec 2004 23:44:28 +0000 (23:44 +0000)]
Revisions.

19 years agoComment.
Ben Pfaff [Fri, 3 Dec 2004 23:41:27 +0000 (23:41 +0000)]
Comment.

19 years agoRevisions.
Ben Pfaff [Fri, 3 Dec 2004 23:39:25 +0000 (23:39 +0000)]
Revisions.

19 years agoComments.
Ben Pfaff [Fri, 3 Dec 2004 21:27:44 +0000 (21:27 +0000)]
Comments.

19 years agoClarifications.
Ben Pfaff [Fri, 3 Dec 2004 21:22:15 +0000 (21:22 +0000)]
Clarifications.

19 years agoComment.
Ben Pfaff [Thu, 2 Dec 2004 06:51:42 +0000 (06:51 +0000)]
Comment.

19 years agoFirst stab at tests.
Ben Pfaff [Thu, 2 Dec 2004 02:03:36 +0000 (02:03 +0000)]
First stab at tests.

19 years agoRemove redundant test.
Ben Pfaff [Thu, 2 Dec 2004 00:39:30 +0000 (00:39 +0000)]
Remove redundant test.

19 years agoAdd recommendation.
Ben Pfaff [Thu, 2 Dec 2004 00:18:10 +0000 (00:18 +0000)]
Add recommendation.

19 years agoOops, remove => unlink.
Ben Pfaff [Wed, 1 Dec 2004 22:26:23 +0000 (22:26 +0000)]
Oops, remove => unlink.

19 years agoRemove fs.dsk, swap.dsk after grading.
Ben Pfaff [Wed, 1 Dec 2004 22:21:56 +0000 (22:21 +0000)]
Remove fs.dsk, swap.dsk after grading.

19 years agoClarifications.
Ben Pfaff [Wed, 1 Dec 2004 19:50:23 +0000 (19:50 +0000)]
Clarifications.

19 years agoClarifications.
Ben Pfaff [Wed, 1 Dec 2004 19:45:43 +0000 (19:45 +0000)]
Clarifications.

19 years agoFix Info file name.
Ben Pfaff [Wed, 1 Dec 2004 19:40:12 +0000 (19:40 +0000)]
Fix Info file name.

19 years agoClarifications.
Ben Pfaff [Wed, 1 Dec 2004 19:37:51 +0000 (19:37 +0000)]
Clarifications.

19 years agoAdd qsort(), bsearch().
Ben Pfaff [Wed, 1 Dec 2004 01:30:54 +0000 (01:30 +0000)]
Add qsort(), bsearch().

19 years agoClarify.
Ben Pfaff [Tue, 30 Nov 2004 19:15:56 +0000 (19:15 +0000)]
Clarify.

19 years agoTalk about the stack some more.
Ben Pfaff [Wed, 24 Nov 2004 05:25:13 +0000 (05:25 +0000)]
Talk about the stack some more.

19 years agoFix spelling mistake in message.
Ben Pfaff [Wed, 24 Nov 2004 00:51:43 +0000 (00:51 +0000)]
Fix spelling mistake in message.

19 years agoUpdate tests.
Ben Pfaff [Wed, 24 Nov 2004 00:41:12 +0000 (00:41 +0000)]
Update tests.

19 years agoDeal with update `pintos' script.
Ben Pfaff [Wed, 24 Nov 2004 00:31:39 +0000 (00:31 +0000)]
Deal with update `pintos' script.

19 years agoFinish that thought.
Ben Pfaff [Wed, 24 Nov 2004 00:16:35 +0000 (00:16 +0000)]
Finish that thought.

19 years agoUpdate docs.
Ben Pfaff [Tue, 23 Nov 2004 23:52:36 +0000 (23:52 +0000)]
Update docs.

19 years agoAdd Algorithm::Diff to lib.
Ben Pfaff [Tue, 23 Nov 2004 06:51:43 +0000 (06:51 +0000)]
Add Algorithm::Diff to lib.

19 years agoNow add ../lib to @INC.
Ben Pfaff [Tue, 23 Nov 2004 06:51:08 +0000 (06:51 +0000)]
Now add ../lib to @INC.

19 years ago%d -> %zu.
Ben Pfaff [Tue, 23 Nov 2004 06:50:35 +0000 (06:50 +0000)]
%d -> %zu.

19 years agoFix `get' behavior.
Ben Pfaff [Tue, 23 Nov 2004 06:49:26 +0000 (06:49 +0000)]
Fix `get' behavior.

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

19 years agoClarify.
Ben Pfaff [Tue, 23 Nov 2004 01:47:53 +0000 (01:47 +0000)]
Clarify.

19 years agoClarify.
Ben Pfaff [Tue, 23 Nov 2004 01:45:21 +0000 (01:45 +0000)]
Clarify.

19 years agoFirst version.
Ben Pfaff [Tue, 23 Nov 2004 01:34:52 +0000 (01:34 +0000)]
First version.

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

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

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

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

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

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

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

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

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

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

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

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

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