Ben Pfaff [Wed, 17 Nov 2004 19:55:46 +0000 (19:55 +0000)]
Update.
Ben Pfaff [Fri, 12 Nov 2004 06:01:17 +0000 (06:01 +0000)]
Update tests.
Ben Pfaff [Tue, 9 Nov 2004 00:33:38 +0000 (00:33 +0000)]
Clarifications.
Ben Pfaff [Fri, 5 Nov 2004 23:43:14 +0000 (23:43 +0000)]
Fix bug caused by previous change.
Ben Pfaff [Fri, 5 Nov 2004 23:22:12 +0000 (23:22 +0000)]
Improve list_remove().
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.
Ben Pfaff [Fri, 5 Nov 2004 20:03:06 +0000 (20:03 +0000)]
Update point values.
Ben Pfaff [Fri, 5 Nov 2004 20:02:55 +0000 (20:02 +0000)]
Improve output.
Ben Pfaff [Thu, 4 Nov 2004 01:45:37 +0000 (01:45 +0000)]
Refine exit code print spec.
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.
Ben Pfaff [Wed, 3 Nov 2004 23:31:55 +0000 (23:31 +0000)]
Patch to make bitmap choice random.
Ben Pfaff [Wed, 3 Nov 2004 23:31:30 +0000 (23:31 +0000)]
Rework makefiles to work with older make.
Ben Pfaff [Wed, 3 Nov 2004 22:52:40 +0000 (22:52 +0000)]
More tests.
Ben Pfaff [Wed, 3 Nov 2004 22:48:38 +0000 (22:48 +0000)]
Use "&& mv $@.tmp $@" for threads/intr-stubs.S.
Ben Pfaff [Wed, 3 Nov 2004 21:57:01 +0000 (21:57 +0000)]
Add more tests.
Ben Pfaff [Tue, 2 Nov 2004 03:18:48 +0000 (03:18 +0000)]
Add more tests.
Ben Pfaff [Mon, 1 Nov 2004 06:28:03 +0000 (06:28 +0000)]
Add more tests.
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.
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.
Ben Pfaff [Sun, 31 Oct 2004 06:29:22 +0000 (06:29 +0000)]
Add -*- makefile -*- line.
Ben Pfaff [Fri, 29 Oct 2004 18:37:39 +0000 (18:37 +0000)]
Add more tests.
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.
Ben Pfaff [Fri, 29 Oct 2004 01:07:36 +0000 (01:07 +0000)]
Work on userprog tests.
Ben Pfaff [Thu, 28 Oct 2004 01:00:02 +0000 (01:00 +0000)]
Work on userprog testing.
Ben Pfaff [Wed, 27 Oct 2004 05:22:47 +0000 (05:22 +0000)]
Revise.
Ben Pfaff [Wed, 27 Oct 2004 05:12:58 +0000 (05:12 +0000)]
Revise.
Ben Pfaff [Wed, 27 Oct 2004 03:55:03 +0000 (03:55 +0000)]
Move segment rounding LDFLAGS into tests/userprog/Makefile.
Ben Pfaff [Wed, 27 Oct 2004 03:13:45 +0000 (03:13 +0000)]
Clarifications.
Ben Pfaff [Wed, 27 Oct 2004 03:10:39 +0000 (03:10 +0000)]
Clarifications.
Ben Pfaff [Wed, 27 Oct 2004 01:48:42 +0000 (01:48 +0000)]
Clarifications.
Ben Pfaff [Wed, 27 Oct 2004 00:48:14 +0000 (00:48 +0000)]
Work on userprog tests.
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.
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.
Ben Pfaff [Tue, 26 Oct 2004 19:05:39 +0000 (19:05 +0000)]
Start of userprog tests.
Ben Pfaff [Tue, 26 Oct 2004 19:02:51 +0000 (19:02 +0000)]
Add comment to clarify behavior.
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.
Ben Pfaff [Tue, 26 Oct 2004 06:44:55 +0000 (06:44 +0000)]
Revise.
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.)
Ben Pfaff [Mon, 25 Oct 2004 22:56:10 +0000 (22:56 +0000)]
Disallow the empty string as a file name.
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
Ben Pfaff [Mon, 25 Oct 2004 00:13:24 +0000 (00:13 +0000)]
Improve implementation of puts().
Ben Pfaff [Sat, 23 Oct 2004 02:49:20 +0000 (02:49 +0000)]
Add filesize() stub.
Ben Pfaff [Fri, 22 Oct 2004 16:31:59 +0000 (16:31 +0000)]
Fix description of remove() and create() return values.
Ben Pfaff [Fri, 22 Oct 2004 16:30:53 +0000 (16:30 +0000)]
Comments.
Ben Pfaff [Fri, 22 Oct 2004 06:30:36 +0000 (06:30 +0000)]
Fix.
Ben Pfaff [Fri, 22 Oct 2004 05:57:51 +0000 (05:57 +0000)]
Revise.
Ben Pfaff [Fri, 22 Oct 2004 05:18:55 +0000 (05:18 +0000)]
Fix.
Ben Pfaff [Fri, 22 Oct 2004 05:16:37 +0000 (05:16 +0000)]
Revise.
Ben Pfaff [Thu, 21 Oct 2004 06:09:39 +0000 (06:09 +0000)]
Clarifications.
Ben Pfaff [Thu, 21 Oct 2004 00:45:06 +0000 (00:45 +0000)]
Final updates for grading project 1.
Ben Pfaff [Wed, 20 Oct 2004 20:19:22 +0000 (20:19 +0000)]
Try it a different way.
Ben Pfaff [Wed, 20 Oct 2004 18:45:21 +0000 (18:45 +0000)]
Fix donate-multiple test.
Ben Pfaff [Wed, 20 Oct 2004 07:25:27 +0000 (07:25 +0000)]
Revise MLFQS bits.
Ben Pfaff [Wed, 20 Oct 2004 07:24:41 +0000 (07:24 +0000)]
Grade MLFQS.
Generate final grade file.
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 (!)
Ben Pfaff [Tue, 19 Oct 2004 22:50:44 +0000 (22:50 +0000)]
Improve.
Ben Pfaff [Tue, 19 Oct 2004 22:49:25 +0000 (22:49 +0000)]
Improve.
Ben Pfaff [Tue, 19 Oct 2004 22:48:47 +0000 (22:48 +0000)]
Improve.
Ben Pfaff [Tue, 19 Oct 2004 22:45:22 +0000 (22:45 +0000)]
Improve.
Ben Pfaff [Tue, 19 Oct 2004 22:44:31 +0000 (22:44 +0000)]
Improve.
Ben Pfaff [Tue, 19 Oct 2004 22:41:37 +0000 (22:41 +0000)]
Improve.
Ben Pfaff [Tue, 19 Oct 2004 22:41:04 +0000 (22:41 +0000)]
Improve.
Ben Pfaff [Tue, 19 Oct 2004 22:40:14 +0000 (22:40 +0000)]
Improve.
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.
Ben Pfaff [Tue, 19 Oct 2004 17:22:16 +0000 (17:22 +0000)]
Comments.
Ben Pfaff [Tue, 19 Oct 2004 02:05:09 +0000 (02:05 +0000)]
Clarify.
Ben Pfaff [Mon, 18 Oct 2004 23:54:56 +0000 (23:54 +0000)]
Revert to previous version.
Ben Pfaff [Mon, 18 Oct 2004 22:22:42 +0000 (22:22 +0000)]
Improve run-tests.
Edit the grading result files.
Ben Pfaff [Mon, 18 Oct 2004 18:42:47 +0000 (18:42 +0000)]
Document tab width.
Ben Pfaff [Mon, 18 Oct 2004 18:39:11 +0000 (18:39 +0000)]
Warn that coding style costs points.
Ben Pfaff [Mon, 18 Oct 2004 17:42:40 +0000 (17:42 +0000)]
ASSERT should evaluate to an expression not a statement.
Ben Pfaff [Sun, 17 Oct 2004 23:31:35 +0000 (23:31 +0000)]
Add -s to LDFLAGS to strip output binaries.
Ben Pfaff [Sun, 17 Oct 2004 23:30:22 +0000 (23:30 +0000)]
Comments.
Ben Pfaff [Sun, 17 Oct 2004 07:11:17 +0000 (07:11 +0000)]
Work on grading.
Ben Pfaff [Sun, 17 Oct 2004 00:47:24 +0000 (00:47 +0000)]
Fix typo.
Ben Pfaff [Sat, 16 Oct 2004 23:28:59 +0000 (23:28 +0000)]
Update FAQ.
Ben Pfaff [Sat, 16 Oct 2004 00:06:01 +0000 (00:06 +0000)]
Add test scripts.
Ben Pfaff [Fri, 15 Oct 2004 04:42:32 +0000 (04:42 +0000)]
Fix a few details.
Ben Pfaff [Thu, 14 Oct 2004 06:23:53 +0000 (06:23 +0000)]
Spelling fix.
Ben Pfaff [Thu, 14 Oct 2004 06:14:16 +0000 (06:14 +0000)]
Add more tests.
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?)
Ben Pfaff [Thu, 14 Oct 2004 03:58:07 +0000 (03:58 +0000)]
Should iterate 10 times not 5.
Ben Pfaff [Thu, 14 Oct 2004 00:41:53 +0000 (00:41 +0000)]
Add some grading test programs.
Ben Pfaff [Thu, 14 Oct 2004 00:10:41 +0000 (00:10 +0000)]
Restore verbatim.
Fix table.
Ben Pfaff [Thu, 14 Oct 2004 00:10:34 +0000 (00:10 +0000)]
Implement verbatim as equivalent to example.
Ben Pfaff [Thu, 14 Oct 2004 00:10:23 +0000 (00:10 +0000)]
Redo menu.
Ben Pfaff [Thu, 14 Oct 2004 00:04:45 +0000 (00:04 +0000)]
Typo fixes.
Ben Pfaff [Wed, 13 Oct 2004 05:12:14 +0000 (05:12 +0000)]
Punctuation fix.
Ben Pfaff [Tue, 12 Oct 2004 23:07:57 +0000 (23:07 +0000)]
Debugging by infinite loop.
Ben Pfaff [Tue, 12 Oct 2004 22:53:09 +0000 (22:53 +0000)]
Add and refine FAQ answers.
Ben Pfaff [Tue, 12 Oct 2004 22:53:00 +0000 (22:53 +0000)]
Add `install' target.
Ben Pfaff [Tue, 12 Oct 2004 17:17:18 +0000 (17:17 +0000)]
Neither of these tests works under MLFQS.
Ben Pfaff [Mon, 11 Oct 2004 22:45:47 +0000 (22:45 +0000)]
Adjust wording of "static priority" comment.
Ben Pfaff [Mon, 11 Oct 2004 22:34:27 +0000 (22:34 +0000)]
Make sure that we're not being tested with MLFQS on.
Ben Pfaff [Mon, 11 Oct 2004 00:10:28 +0000 (00:10 +0000)]
Mention that GCC reorders statements.
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").
Ben Pfaff [Sat, 9 Oct 2004 23:10:28 +0000 (23:10 +0000)]
Fix logic problem.
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.
Ben Pfaff [Sat, 9 Oct 2004 23:06:37 +0000 (23:06 +0000)]
Fix compile problems.
Ben Pfaff [Sat, 9 Oct 2004 21:26:38 +0000 (21:26 +0000)]
Clarify.