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

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.

20 years agoComments.
Ben Pfaff [Sat, 9 Oct 2004 18:01:37 +0000 (18:01 +0000)]
Comments.

20 years agoUse 115.2 kbps instead of 9600 bps.
Ben Pfaff [Fri, 8 Oct 2004 05:25:54 +0000 (05:25 +0000)]
Use 115.2 kbps instead of 9600 bps.

20 years agoUpdate docs.
Ben Pfaff [Thu, 7 Oct 2004 02:44:59 +0000 (02:44 +0000)]
Update docs.

20 years agoAdd FAQ for making p1-1 work okay.
Ben Pfaff [Thu, 7 Oct 2004 00:36:49 +0000 (00:36 +0000)]
Add FAQ for making p1-1 work okay.

20 years agoCheck that the serial rate is reasonable.
Ben Pfaff [Thu, 7 Oct 2004 00:35:18 +0000 (00:35 +0000)]
Check that the serial rate is reasonable.

20 years agoMake freeing pages not require the pool lock,
Ben Pfaff [Wed, 6 Oct 2004 21:29:56 +0000 (21:29 +0000)]
Make freeing pages not require the pool lock,
so that schedule_tail() may legitimately call palloc_free_page().
Incidentally make bitmap mark/reset/flip atomic.

20 years agoFix wording.
Ben Pfaff [Wed, 6 Oct 2004 21:28:34 +0000 (21:28 +0000)]
Fix wording.

20 years agotimer_sleep() need interrupts on.
Ben Pfaff [Wed, 6 Oct 2004 18:27:00 +0000 (18:27 +0000)]
timer_sleep() need interrupts on.

20 years agoFix missing right paren.
Ben Pfaff [Tue, 5 Oct 2004 20:10:44 +0000 (20:10 +0000)]
Fix missing right paren.

20 years agoComment.
Ben Pfaff [Tue, 5 Oct 2004 00:44:27 +0000 (00:44 +0000)]
Comment.

20 years agoExplain why `break schedule' might not work and offer workarounds.
Ben Pfaff [Mon, 4 Oct 2004 00:07:39 +0000 (00:07 +0000)]
Explain why `break schedule' might not work and offer workarounds.

20 years agoFix comments.
Ben Pfaff [Sat, 2 Oct 2004 23:21:16 +0000 (23:21 +0000)]
Fix comments.

20 years agoCredit Mendel.
Ben Pfaff [Fri, 1 Oct 2004 21:54:34 +0000 (21:54 +0000)]
Credit Mendel.

20 years agoFix URLs.
Ben Pfaff [Wed, 29 Sep 2004 16:09:07 +0000 (16:09 +0000)]
Fix URLs.

20 years agoFix typos.
Ben Pfaff [Wed, 29 Sep 2004 16:01:40 +0000 (16:01 +0000)]
Fix typos.

20 years agoFix printf() format specifier.
Ben Pfaff [Wed, 29 Sep 2004 15:51:13 +0000 (15:51 +0000)]
Fix printf() format specifier.

20 years agoMove TODO.
Ben Pfaff [Wed, 29 Sep 2004 15:41:01 +0000 (15:41 +0000)]
Move TODO.

20 years agoUpdate docs.
Ben Pfaff [Wed, 29 Sep 2004 04:07:15 +0000 (04:07 +0000)]
Update docs.

20 years agoReorder functions.
Ben Pfaff [Wed, 29 Sep 2004 01:04:16 +0000 (01:04 +0000)]
Reorder functions.

20 years agoComments.
Ben Pfaff [Wed, 29 Sep 2004 01:04:09 +0000 (01:04 +0000)]
Comments.

20 years ago%zd -> %zu
Ben Pfaff [Wed, 29 Sep 2004 01:03:37 +0000 (01:03 +0000)]
%zd -> %zu

20 years agoUpdate docs.
Ben Pfaff [Wed, 29 Sep 2004 01:03:24 +0000 (01:03 +0000)]
Update docs.

20 years agoUpdate docs.
Ben Pfaff [Tue, 28 Sep 2004 07:40:29 +0000 (07:40 +0000)]
Update docs.

20 years agoComments.
Ben Pfaff [Tue, 28 Sep 2004 07:40:15 +0000 (07:40 +0000)]
Comments.

20 years agoComments and a bit of initialization order cleanup.
Ben Pfaff [Tue, 28 Sep 2004 07:39:45 +0000 (07:39 +0000)]
Comments and a bit of initialization order cleanup.

20 years agoUpdate.
Ben Pfaff [Tue, 28 Sep 2004 01:29:10 +0000 (01:29 +0000)]
Update.

20 years agoBeginnings of tour.
Ben Pfaff [Tue, 28 Sep 2004 01:29:03 +0000 (01:29 +0000)]
Beginnings of tour.

20 years agoMention style for references.
Ben Pfaff [Tue, 28 Sep 2004 00:03:07 +0000 (00:03 +0000)]
Mention style for references.

20 years agoUpdate docs.
Ben Pfaff [Mon, 27 Sep 2004 23:33:15 +0000 (23:33 +0000)]
Update docs.

20 years agoAdd John Rector.
Ben Pfaff [Mon, 27 Sep 2004 23:24:12 +0000 (23:24 +0000)]
Add John Rector.

20 years agoUpdate.
Ben Pfaff [Mon, 27 Sep 2004 23:24:06 +0000 (23:24 +0000)]
Update.

20 years agoAdd -ul option for limiting user pool size.
Ben Pfaff [Mon, 27 Sep 2004 23:16:50 +0000 (23:16 +0000)]
Add -ul option for limiting user pool size.

20 years agoBug fix.
Ben Pfaff [Mon, 27 Sep 2004 21:57:01 +0000 (21:57 +0000)]
Bug fix.

20 years agoNew file.
Ben Pfaff [Mon, 27 Sep 2004 16:55:13 +0000 (16:55 +0000)]
New file.

20 years agoComments.
Ben Pfaff [Mon, 27 Sep 2004 16:54:46 +0000 (16:54 +0000)]
Comments.

20 years agoUpdate.
Ben Pfaff [Mon, 27 Sep 2004 16:54:41 +0000 (16:54 +0000)]
Update.

20 years agoUpdate docs.
Ben Pfaff [Mon, 27 Sep 2004 16:54:38 +0000 (16:54 +0000)]
Update docs.

20 years agoAdd PTSPAN.
Ben Pfaff [Mon, 27 Sep 2004 16:53:24 +0000 (16:53 +0000)]
Add PTSPAN.
Comments.

20 years agoBug fix.
Ben Pfaff [Mon, 27 Sep 2004 16:44:38 +0000 (16:44 +0000)]
Bug fix.

20 years agoBug fixes.
Ben Pfaff [Mon, 27 Sep 2004 16:44:06 +0000 (16:44 +0000)]
Bug fixes.

20 years agoComments.
Ben Pfaff [Mon, 27 Sep 2004 16:04:34 +0000 (16:04 +0000)]
Comments.

20 years agoUpdate.
Ben Pfaff [Mon, 27 Sep 2004 04:40:16 +0000 (04:40 +0000)]
Update.

20 years agoTest for linked list implementation.
Ben Pfaff [Mon, 27 Sep 2004 04:37:41 +0000 (04:37 +0000)]
Test for linked list implementation.

20 years agoFix bugs.
Ben Pfaff [Mon, 27 Sep 2004 04:34:05 +0000 (04:34 +0000)]
Fix bugs.

20 years agoComments.
Ben Pfaff [Mon, 27 Sep 2004 04:31:40 +0000 (04:31 +0000)]
Comments.
Make print_stats() message consistent with others.

20 years agoFix name.
Ben Pfaff [Sun, 26 Sep 2004 21:52:17 +0000 (21:52 +0000)]
Fix name.

20 years agoNot really relevant, removed.
Ben Pfaff [Sun, 26 Sep 2004 21:49:26 +0000 (21:49 +0000)]
Not really relevant, removed.

20 years agoRemove Intel reference manuals.
Ben Pfaff [Sun, 26 Sep 2004 21:44:06 +0000 (21:44 +0000)]
Remove Intel reference manuals.

20 years agoPrint statistics at power off.
Ben Pfaff [Sun, 26 Sep 2004 21:15:17 +0000 (21:15 +0000)]
Print statistics at power off.

20 years agoFix texi2html options.
Ben Pfaff [Sun, 26 Sep 2004 21:11:34 +0000 (21:11 +0000)]
Fix texi2html options.

20 years agoAdd .eps files because most people don't have jgraph,
Ben Pfaff [Sun, 26 Sep 2004 21:09:59 +0000 (21:09 +0000)]
Add .eps files because most people don't have jgraph,
useful as it is.

20 years agoUpdate docs.
Ben Pfaff [Sun, 26 Sep 2004 21:06:17 +0000 (21:06 +0000)]
Update docs.
Integrate texi2html into source tree.

20 years agoComments.
Ben Pfaff [Sun, 26 Sep 2004 19:22:59 +0000 (19:22 +0000)]
Comments.

20 years agoUpdate docs.
Ben Pfaff [Sun, 26 Sep 2004 07:58:01 +0000 (07:58 +0000)]
Update docs.

20 years agoUpdate docs.
Ben Pfaff [Sun, 26 Sep 2004 07:58:01 +0000 (07:58 +0000)]
Update docs.

20 years agoIgnore more files.
Ben Pfaff [Sun, 26 Sep 2004 02:55:50 +0000 (02:55 +0000)]
Ignore more files.

20 years agoUpdate docs.
Ben Pfaff [Sun, 26 Sep 2004 02:49:43 +0000 (02:49 +0000)]
Update docs.

20 years agoChange -nv to -v, -ns to -s, for consistency.
Ben Pfaff [Sun, 26 Sep 2004 02:47:32 +0000 (02:47 +0000)]
Change -nv to -v, -ns to -s, for consistency.
Remove fixed limits on make-disk.
Make -m same as --mem(ory).

20 years agoAdd some more features to pagedir.
Ben Pfaff [Sun, 26 Sep 2004 02:46:41 +0000 (02:46 +0000)]
Add some more features to pagedir.

20 years agoUpdate comments.
Ben Pfaff [Sun, 26 Sep 2004 02:33:38 +0000 (02:33 +0000)]
Update comments.

20 years agoTurn off assertions when running in the kernel.
Ben Pfaff [Sun, 26 Sep 2004 02:30:11 +0000 (02:30 +0000)]
Turn off assertions when running in the kernel.

20 years ago--enable-4meg-pages not needed after all
Ben Pfaff [Sun, 26 Sep 2004 00:45:35 +0000 (00:45 +0000)]
--enable-4meg-pages not needed after all

20 years agoMap first 64 MB of memory, not just 4 MB.
Ben Pfaff [Sun, 26 Sep 2004 00:40:27 +0000 (00:40 +0000)]
Map first 64 MB of memory, not just 4 MB.

20 years agoAdd --enable-4meg-pages to configure
Ben Pfaff [Sat, 25 Sep 2004 23:55:22 +0000 (23:55 +0000)]
Add --enable-4meg-pages to configure

20 years agoFix bitmap_scan_and_flip() calls.
Ben Pfaff [Thu, 23 Sep 2004 06:40:57 +0000 (06:40 +0000)]
Fix bitmap_scan_and_flip() calls.

20 years agoRewrite page allocator to support multi-page allocations.
Ben Pfaff [Thu, 23 Sep 2004 00:58:29 +0000 (00:58 +0000)]
Rewrite page allocator to support multi-page allocations.
Change interface to reflect it, update references.
Make malloc() and free() willing to handle big blocks.

20 years agoUpdate comments.
Ben Pfaff [Thu, 23 Sep 2004 00:57:23 +0000 (00:57 +0000)]
Update comments.

20 years agoChange bitmap interface, update references.
Ben Pfaff [Thu, 23 Sep 2004 00:57:01 +0000 (00:57 +0000)]
Change bitmap interface, update references.

20 years agoUpdate.
Ben Pfaff [Thu, 23 Sep 2004 00:56:08 +0000 (00:56 +0000)]
Update.

20 years agoUpdate docs.
Ben Pfaff [Thu, 23 Sep 2004 00:56:01 +0000 (00:56 +0000)]
Update docs.

20 years agoFix assertion.
Ben Pfaff [Wed, 22 Sep 2004 07:32:14 +0000 (07:32 +0000)]
Fix assertion.

20 years agoUpdate docs.
Ben Pfaff [Wed, 22 Sep 2004 07:17:53 +0000 (07:17 +0000)]
Update docs.

20 years agoMake console lock recursive.
Ben Pfaff [Wed, 22 Sep 2004 07:16:11 +0000 (07:16 +0000)]
Make console lock recursive.

20 years agoMove most process destruction earlier.
Ben Pfaff [Wed, 22 Sep 2004 05:42:17 +0000 (05:42 +0000)]
Move most process destruction earlier.

20 years agoMake more useful.
Ben Pfaff [Wed, 22 Sep 2004 00:29:01 +0000 (00:29 +0000)]
Make more useful.

20 years agoMake lookup_page() just return null for uaddr >= PHYS_BASE.
Ben Pfaff [Wed, 22 Sep 2004 00:28:44 +0000 (00:28 +0000)]
Make lookup_page() just return null for uaddr >= PHYS_BASE.
Add assert < PHYS_BASE for pagedir_set_page().