pintos-anon
19 years agoAdd a `null' test for testing src/userprog before system calls have
Ben Pfaff [Sun, 9 Jan 2005 00:45:47 +0000 (00:45 +0000)]
Add a `null' test for testing src/userprog before system calls have
been implemented.

19 years agoPrint PASS messages when complete.
Ben Pfaff [Sun, 9 Jan 2005 00:36:06 +0000 (00:36 +0000)]
Print PASS messages when complete.

19 years agoWhen running a "test" or "assemble" target, run-tests now returns zero
Ben Pfaff [Sun, 9 Jan 2005 00:31:45 +0000 (00:31 +0000)]
When running a "test" or "assemble" target, run-tests now returns zero
if all tests succeeded or nonzero if at least one failed.

19 years agoFix ASCII art diagram. Thanks to Roy Zeighami <zeighami@stanford.edu>
Ben Pfaff [Sat, 8 Jan 2005 18:13:54 +0000 (18:13 +0000)]
Fix ASCII art diagram.  Thanks to Roy Zeighami <zeighami@stanford.edu>
for reporting this bug.

19 years agoFix typo.
Ben Pfaff [Thu, 6 Jan 2005 08:01:49 +0000 (08:01 +0000)]
Fix typo.

19 years agoFix condition variable example.
Ben Pfaff [Thu, 6 Jan 2005 04:56:25 +0000 (04:56 +0000)]
Fix condition variable example.
Thanks to Adam L Beberg <beberg@stanford.edu> for reporting this bug.

19 years agoOnly grade mlfqs-speedup and mlfqs-priority if mlfqs-on and mlfqs-off
Ben Pfaff [Wed, 5 Jan 2005 08:29:33 +0000 (08:29 +0000)]
Only grade mlfqs-speedup and mlfqs-priority if mlfqs-on and mlfqs-off
were tested.

19 years agoUpdate Bochs and toolchain build summaries.
Ben Pfaff [Tue, 4 Jan 2005 08:07:05 +0000 (08:07 +0000)]
Update Bochs and toolchain build summaries.

19 years agoFix "%d"s that should be "%zu"s.
Ben Pfaff [Tue, 4 Jan 2005 07:55:25 +0000 (07:55 +0000)]
Fix "%d"s that should be "%zu"s.

19 years agoFix multiple-output to stdout bug.
Ben Pfaff [Tue, 4 Jan 2005 07:38:14 +0000 (07:38 +0000)]
Fix multiple-output to stdout bug.

19 years agoChange to deal with crappy GAS bug.
Ben Pfaff [Tue, 4 Jan 2005 07:12:08 +0000 (07:12 +0000)]
Change to deal with crappy GAS bug.

19 years agoPatch for gcc-3.3.5.
Ben Pfaff [Tue, 4 Jan 2005 05:19:30 +0000 (05:19 +0000)]
Patch for gcc-3.3.5.

19 years agoChange assembly from AT&T to Intel syntax.
Ben Pfaff [Sun, 2 Jan 2005 02:09:58 +0000 (02:09 +0000)]
Change assembly from AT&T to Intel syntax.
Update makefile.
Apply corresponding changes to the documentation,
the sample solutions, and the grading programs.

19 years agoAdd makefiles for cleaning grades, top level.
Ben Pfaff [Sun, 2 Jan 2005 01:37:40 +0000 (01:37 +0000)]
Add makefiles for cleaning grades, top level.

19 years agoComment.
Ben Pfaff [Sun, 2 Jan 2005 01:37:05 +0000 (01:37 +0000)]
Comment.

19 years agoComment.
Ben Pfaff [Sun, 2 Jan 2005 00:26:52 +0000 (00:26 +0000)]
Comment.

19 years agoRemove redundant footnote.
Ben Pfaff [Sun, 2 Jan 2005 00:08:17 +0000 (00:08 +0000)]
Remove redundant footnote.

19 years agoFix typo.
Ben Pfaff [Sun, 2 Jan 2005 00:04:20 +0000 (00:04 +0000)]
Fix typo.

19 years agoFix command line
Ben Pfaff [Sun, 2 Jan 2005 00:02:05 +0000 (00:02 +0000)]
Fix command line

19 years agoAdd a suggestion to use `backtrace' and a reference to the manual to
Ben Pfaff [Sat, 1 Jan 2005 23:21:51 +0000 (23:21 +0000)]
Add a suggestion to use `backtrace' and a reference to the manual to
the message printed by debug_panic().
Improve backtrace program.
Document improvements.

19 years agoComment.
Ben Pfaff [Sat, 1 Jan 2005 19:40:50 +0000 (19:40 +0000)]
Comment.

19 years agoComment.
Ben Pfaff [Sat, 1 Jan 2005 19:40:26 +0000 (19:40 +0000)]
Comment.

19 years agoComments.
Ben Pfaff [Sat, 1 Jan 2005 19:35:14 +0000 (19:35 +0000)]
Comments.

19 years agoAdd another pointer to the debugging documentation.
Ben Pfaff [Sat, 1 Jan 2005 03:35:08 +0000 (03:35 +0000)]
Add another pointer to the debugging documentation.

19 years agoDiscourage combining student contributions late.
Ben Pfaff [Sat, 1 Jan 2005 03:28:16 +0000 (03:28 +0000)]
Discourage combining student contributions late.
Talk about SourceForge.

19 years agoMake close-stdin, close-stdout expected output more flexible.
Ben Pfaff [Sat, 1 Jan 2005 02:22:44 +0000 (02:22 +0000)]
Make close-stdin, close-stdout expected output more flexible.

19 years agoImprove error message for grading when the make failed.
Ben Pfaff [Sat, 1 Jan 2005 02:22:27 +0000 (02:22 +0000)]
Improve error message for grading when the make failed.
Still not ideal.

19 years agoFix syntax errors.
Ben Pfaff [Sat, 1 Jan 2005 02:22:03 +0000 (02:22 +0000)]
Fix syntax errors.

19 years agoRevert to requiring that exec return -1 if there is a problem loading
Ben Pfaff [Sat, 1 Jan 2005 01:03:31 +0000 (01:03 +0000)]
Revert to requiring that exec return -1 if there is a problem loading
a program.

19 years agoTalk about write() to stdout more.
Ben Pfaff [Sat, 1 Jan 2005 00:38:35 +0000 (00:38 +0000)]
Talk about write() to stdout more.

19 years agoWording.
Ben Pfaff [Fri, 31 Dec 2004 23:28:17 +0000 (23:28 +0000)]
Wording.

19 years agoClarify.
Ben Pfaff [Fri, 31 Dec 2004 23:13:46 +0000 (23:13 +0000)]
Clarify.

19 years agoTry to clarify synchronization.
Ben Pfaff [Fri, 31 Dec 2004 23:11:33 +0000 (23:11 +0000)]
Try to clarify synchronization.

19 years agoTypographic fixes.
Ben Pfaff [Fri, 31 Dec 2004 22:41:32 +0000 (22:41 +0000)]
Typographic fixes.

19 years agoAdd list_min(), list_max().
Ben Pfaff [Fri, 31 Dec 2004 22:05:29 +0000 (22:05 +0000)]
Add list_min(), list_max().
Refactor list_sort().
Add tests for list_min(), list_max().

19 years agoFix comment.
Ben Pfaff [Fri, 31 Dec 2004 21:13:38 +0000 (21:13 +0000)]
Fix comment.

19 years agoClarifications.
Ben Pfaff [Fri, 31 Dec 2004 20:13:15 +0000 (20:13 +0000)]
Clarifications.

19 years agoClarification.
Ben Pfaff [Fri, 31 Dec 2004 19:46:36 +0000 (19:46 +0000)]
Clarification.

19 years agoClarification.
Ben Pfaff [Fri, 31 Dec 2004 19:43:34 +0000 (19:43 +0000)]
Clarification.

19 years agoWording.
Ben Pfaff [Fri, 31 Dec 2004 19:28:12 +0000 (19:28 +0000)]
Wording.

19 years agoImprove command-line interface to run-tests.
Ben Pfaff [Fri, 31 Dec 2004 07:42:50 +0000 (07:42 +0000)]
Improve command-line interface to run-tests.

19 years agoImprove basic alarm clock test.
Ben Pfaff [Fri, 31 Dec 2004 07:10:02 +0000 (07:10 +0000)]
Improve basic alarm clock test.

19 years agoUpdates.
Ben Pfaff [Fri, 31 Dec 2004 07:06:38 +0000 (07:06 +0000)]
Updates.

19 years agoClarification.
Ben Pfaff [Fri, 31 Dec 2004 07:06:14 +0000 (07:06 +0000)]
Clarification.

19 years agoAlways try to create output directory, even if pintos directory exists.
Ben Pfaff [Fri, 31 Dec 2004 07:04:34 +0000 (07:04 +0000)]
Always try to create output directory, even if pintos directory exists.

19 years agoFix brown-bag error.
Ben Pfaff [Fri, 31 Dec 2004 01:20:32 +0000 (01:20 +0000)]
Fix brown-bag error.

19 years agoFix brown bag bug in previous version.
Ben Pfaff [Fri, 31 Dec 2004 00:30:33 +0000 (00:30 +0000)]
Fix brown bag bug in previous version.

19 years agoFix bug that converted errors into warnings.
Ben Pfaff [Wed, 29 Dec 2004 23:30:20 +0000 (23:30 +0000)]
Fix bug that converted errors into warnings.
Fix bug that broke backtraces for threads project.
Fix bug in parsing command line.

19 years agoClean up.
Ben Pfaff [Wed, 15 Dec 2004 06:53:22 +0000 (06:53 +0000)]
Clean up.

19 years agoClean up inode code:
Ben Pfaff [Wed, 15 Dec 2004 06:08:55 +0000 (06:08 +0000)]
Clean up inode code:

  - Change inode_byte_to_sector() to insist that its argument be a valid
    file offset, and change file_read_at() and file_write_at() to always
    call it with one.

  - Change inode_create() to just create the inode on disk without
    returning a struct inode.  Change return value to bool.  Update
    callers to understand.

  - Integrate alloc_inode() into its one remaining caller.

  - Break inode deallocation into new static function deallocate_inode().

Change bitmap code from using (start...end) to indicate ranges to
using (start, cnt).  Update all callers.  Other minor internal bitmap
cleanups.

19 years agoComment.
Ben Pfaff [Wed, 15 Dec 2004 05:53:19 +0000 (05:53 +0000)]
Comment.

19 years agoUse 0xcc (not 0xcd) for clearing malloc() blocks too.
Ben Pfaff [Wed, 15 Dec 2004 05:50:42 +0000 (05:50 +0000)]
Use 0xcc (not 0xcd) for clearing malloc() blocks too.
Update documentation.

19 years agoFix warnings.
Ben Pfaff [Wed, 15 Dec 2004 02:32:02 +0000 (02:32 +0000)]
Fix warnings.

19 years agoWording fixes.
Ben Pfaff [Wed, 15 Dec 2004 02:27:20 +0000 (02:27 +0000)]
Wording fixes.

19 years agoGet rid of install target: not needed anymore.
Ben Pfaff [Wed, 15 Dec 2004 01:11:52 +0000 (01:11 +0000)]
Get rid of install target: not needed anymore.

19 years agoSwitch the base file system from direct-indexed inodes to extents.
Ben Pfaff [Wed, 15 Dec 2004 00:53:11 +0000 (00:53 +0000)]
Switch the base file system from direct-indexed inodes to extents.
This has the direct effect of allowing arbitrarily large files, and
the indirect effect that we don't need to strip debug symbols from
userprog test programs anymore, which makes userspace backtraces
easier to obtain.

19 years agoTurn off optimization by default.
Ben Pfaff [Wed, 15 Dec 2004 00:51:19 +0000 (00:51 +0000)]
Turn off optimization by default.

19 years agoWording improvements.
Ben Pfaff [Tue, 14 Dec 2004 18:13:34 +0000 (18:13 +0000)]
Wording improvements.

19 years agoFix sentence that trailed off.
Ben Pfaff [Tue, 14 Dec 2004 18:09:07 +0000 (18:09 +0000)]
Fix sentence that trailed off.

19 years agoAdd warnings for missing disks with various projects.
Ben Pfaff [Tue, 14 Dec 2004 18:04:52 +0000 (18:04 +0000)]
Add warnings for missing disks with various projects.

19 years agoClarifications.
Ben Pfaff [Tue, 14 Dec 2004 08:53:05 +0000 (08:53 +0000)]
Clarifications.

19 years agoComment.
Ben Pfaff [Tue, 14 Dec 2004 01:34:56 +0000 (01:34 +0000)]
Comment.

19 years agoFix zero-length file case on put.
Ben Pfaff [Tue, 14 Dec 2004 01:33:44 +0000 (01:33 +0000)]
Fix zero-length file case on put.

19 years agoSupport accurate short delays in the timer code, to speed up disk
Ben Pfaff [Mon, 13 Dec 2004 22:42:01 +0000 (22:42 +0000)]
Support accurate short delays in the timer code, to speed up disk
access.  (Before, a "400 ns" sleep took up to 1/TIMER_FREQ seconds.
Now it should be an accurate delays.)

Update projects, tour.

19 years agoClarifications.
Ben Pfaff [Fri, 10 Dec 2004 07:29:22 +0000 (07:29 +0000)]
Clarifications.

19 years agoAdd "real-time" option to pintos utility and document its usage.
Ben Pfaff [Fri, 10 Dec 2004 06:24:57 +0000 (06:24 +0000)]
Add "real-time" option to pintos utility and document its usage.

19 years agoClean up grading scripts.
Ben Pfaff [Fri, 10 Dec 2004 02:02:12 +0000 (02:02 +0000)]
Clean up grading scripts.

19 years agoRename do_power_off to power_off_when_done.
Ben Pfaff [Thu, 9 Dec 2004 19:50:39 +0000 (19:50 +0000)]
Rename do_power_off to power_off_when_done.
Only power off on kernel panic if power_off_when_done set.

19 years agoPower off on kernel panic.
Ben Pfaff [Thu, 9 Dec 2004 19:44:05 +0000 (19:44 +0000)]
Power off on kernel panic.
Print different messages on kernel and user panics.

19 years agoFinish up filesys grading stuff.
Ben Pfaff [Thu, 9 Dec 2004 09:08:40 +0000 (09:08 +0000)]
Finish up filesys grading stuff.

19 years agoBegin restructuring test suite.
Ben Pfaff [Thu, 9 Dec 2004 02:46:18 +0000 (02:46 +0000)]
Begin restructuring test suite.

19 years agoTalk more about backtraces.
Ben Pfaff [Wed, 8 Dec 2004 22:56:35 +0000 (22:56 +0000)]
Talk more about backtraces.

19 years agoMake it easier to include debug symbols in executables.
Ben Pfaff [Wed, 8 Dec 2004 22:48:19 +0000 (22:48 +0000)]
Make it easier to include debug symbols in executables.

19 years agoPrint addresses along with function name/filename/line number.
Ben Pfaff [Wed, 8 Dec 2004 22:36:17 +0000 (22:36 +0000)]
Print addresses along with function name/filename/line number.

19 years agoAdd copy of LICENSE in src directory.
Ben Pfaff [Wed, 8 Dec 2004 08:05:23 +0000 (08:05 +0000)]
Add copy of LICENSE in src directory.

19 years agoIgnore more files.
Ben Pfaff [Wed, 8 Dec 2004 07:55:17 +0000 (07:55 +0000)]
Ignore more files.

19 years agoAdd more tests, results.
Ben Pfaff [Wed, 8 Dec 2004 07:54:45 +0000 (07:54 +0000)]
Add more tests, results.

19 years agoEmphasize importance of corner cases.
Ben Pfaff [Wed, 8 Dec 2004 04:29:54 +0000 (04:29 +0000)]
Emphasize importance of corner cases.

19 years agoIgnore more files.
Ben Pfaff [Wed, 8 Dec 2004 01:48:06 +0000 (01:48 +0000)]
Ignore more files.

19 years agoMark as -*- makefile -*-
Ben Pfaff [Wed, 8 Dec 2004 01:47:15 +0000 (01:47 +0000)]
Mark as -*- makefile -*-

19 years agoMore filesys tests.
Ben Pfaff [Wed, 8 Dec 2004 01:47:03 +0000 (01:47 +0000)]
More filesys tests.

19 years agoValidate offsets before passing into file_seek().
Ben Pfaff [Wed, 8 Dec 2004 00:17:58 +0000 (00:17 +0000)]
Validate offsets before passing into file_seek().

19 years agoIgnore files.
Ben Pfaff [Tue, 7 Dec 2004 02:36:45 +0000 (02:36 +0000)]
Ignore files.

19 years agoGrading library files.
Ben Pfaff [Tue, 7 Dec 2004 02:34:09 +0000 (02:34 +0000)]
Grading library files.

19 years agoInitial file system tests.
Ben Pfaff [Tue, 7 Dec 2004 02:31:22 +0000 (02:31 +0000)]
Initial file system tests.

19 years agoStart factoring out common pieces of run-tests scripts.
Ben Pfaff [Mon, 6 Dec 2004 20:03:56 +0000 (20:03 +0000)]
Start factoring out common pieces of run-tests scripts.

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.