pintos-anon
19 years agoRevise makefile structure.
Ben Pfaff [Mon, 20 Sep 2004 03:01:41 +0000 (03:01 +0000)]
Revise makefile structure.
Add user tests.

19 years agoUpdate docs.
Ben Pfaff [Mon, 20 Sep 2004 02:48:26 +0000 (02:48 +0000)]
Update docs.

19 years agoAdd instructions for compiling and modifying Bochs.
Ben Pfaff [Sun, 19 Sep 2004 20:14:14 +0000 (20:14 +0000)]
Add instructions for compiling and modifying Bochs.

19 years agoExplain how to use patch.
Ben Pfaff [Sun, 19 Sep 2004 20:07:40 +0000 (20:07 +0000)]
Explain how to use patch.

19 years agoExplain how to use patch.
Ben Pfaff [Sun, 19 Sep 2004 20:06:51 +0000 (20:06 +0000)]
Explain how to use patch.

19 years agoComments.
Ben Pfaff [Sun, 19 Sep 2004 07:29:32 +0000 (07:29 +0000)]
Comments.

19 years agoImprove description.
Ben Pfaff [Sun, 19 Sep 2004 07:07:30 +0000 (07:07 +0000)]
Improve description.

19 years agoSyscall handler doesn't expect to see return address on stack,
Ben Pfaff [Sun, 19 Sep 2004 07:07:19 +0000 (07:07 +0000)]
Syscall handler doesn't expect to see return address on stack,
so pop it off before invoking interrupt.

19 years agoPass return code from main() to exit().
Ben Pfaff [Sun, 19 Sep 2004 07:05:59 +0000 (07:05 +0000)]
Pass return code from main() to exit().

19 years agoUpdate.
Ben Pfaff [Sun, 19 Sep 2004 07:05:42 +0000 (07:05 +0000)]
Update.

19 years agoUpdate docs.
Ben Pfaff [Sun, 19 Sep 2004 07:05:23 +0000 (07:05 +0000)]
Update docs.

19 years agoOnly destroy pages up to PHYS_BASE.
Ben Pfaff [Sat, 18 Sep 2004 17:33:18 +0000 (17:33 +0000)]
Only destroy pages up to PHYS_BASE.

19 years agoBug fixes.
Ben Pfaff [Sat, 18 Sep 2004 17:01:47 +0000 (17:01 +0000)]
Bug fixes.

19 years agoClarify strtok_r() description.
Ben Pfaff [Sat, 18 Sep 2004 06:34:27 +0000 (06:34 +0000)]
Clarify strtok_r() description.

19 years agoAdd threads tests.
Ben Pfaff [Fri, 17 Sep 2004 06:53:04 +0000 (06:53 +0000)]
Add threads tests.

19 years agoAdd thread priority support.
Ben Pfaff [Fri, 17 Sep 2004 06:52:27 +0000 (06:52 +0000)]
Add thread priority support.

19 years agoUpdate docs.
Ben Pfaff [Fri, 17 Sep 2004 06:51:46 +0000 (06:51 +0000)]
Update docs.

19 years agoMove pagedir stuff into userprog.
Ben Pfaff [Thu, 16 Sep 2004 23:51:14 +0000 (23:51 +0000)]
Move pagedir stuff into userprog.
Move flags into their own header.

19 years agoMake thread_unblock() on a thread that isn't blocked an error.
Ben Pfaff [Thu, 16 Sep 2004 21:11:40 +0000 (21:11 +0000)]
Make thread_unblock() on a thread that isn't blocked an error.

19 years agoInvent tid_t data type and use it in many places where we current use
Ben Pfaff [Thu, 16 Sep 2004 21:07:03 +0000 (21:07 +0000)]
Invent tid_t data type and use it in many places where we current use
struct thread *.
Remove thread_name() argument.

19 years agoMerge 16550a.h into serial.c.
Ben Pfaff [Thu, 16 Sep 2004 21:05:54 +0000 (21:05 +0000)]
Merge 16550a.h into serial.c.

19 years agoUpdate.
Ben Pfaff [Thu, 16 Sep 2004 06:40:22 +0000 (06:40 +0000)]
Update.

19 years agoUpdate docs.
Ben Pfaff [Thu, 16 Sep 2004 06:40:16 +0000 (06:40 +0000)]
Update docs.

19 years agobacktrace utility
Ben Pfaff [Thu, 16 Sep 2004 00:53:41 +0000 (00:53 +0000)]
backtrace utility

19 years agoReorder.
Ben Pfaff [Thu, 16 Sep 2004 00:53:27 +0000 (00:53 +0000)]
Reorder.
#include <stdint.h>

19 years agoSkeleton for students to use.
Ben Pfaff [Thu, 16 Sep 2004 00:53:17 +0000 (00:53 +0000)]
Skeleton for students to use.

19 years agoUpdate.
Ben Pfaff [Thu, 16 Sep 2004 00:53:04 +0000 (00:53 +0000)]
Update.

19 years agoInclude constants.h into all source files with a -include directive.
Ben Pfaff [Thu, 16 Sep 2004 00:53:00 +0000 (00:53 +0000)]
Include constants.h into all source files with a -include directive.

19 years agoUpdate docs.
Ben Pfaff [Thu, 16 Sep 2004 00:52:10 +0000 (00:52 +0000)]
Update docs.

19 years agoAdd -u to usage message.
Ben Pfaff [Thu, 16 Sep 2004 00:50:42 +0000 (00:50 +0000)]
Add -u to usage message.
Make usage power off.
Print kernel command line at start up.

19 years agoUpdate docs.
Ben Pfaff [Wed, 15 Sep 2004 23:41:50 +0000 (23:41 +0000)]
Update docs.

19 years agoUpdate docs.
Ben Pfaff [Wed, 15 Sep 2004 23:26:27 +0000 (23:26 +0000)]
Update docs.

19 years agoUpdate docs.
Ben Pfaff [Wed, 15 Sep 2004 21:41:12 +0000 (21:41 +0000)]
Update docs.

19 years agoUpdate docs.
Ben Pfaff [Wed, 15 Sep 2004 21:15:14 +0000 (21:15 +0000)]
Update docs.

19 years agoFix serial device handling.
Ben Pfaff [Wed, 15 Sep 2004 06:43:07 +0000 (06:43 +0000)]
Fix serial device handling.

19 years agoUpdate.
Ben Pfaff [Wed, 15 Sep 2004 06:42:25 +0000 (06:42 +0000)]
Update.

19 years agoAdd Solaris serial support.
Ben Pfaff [Wed, 15 Sep 2004 06:38:55 +0000 (06:38 +0000)]
Add Solaris serial support.

19 years agoInitial intro.
Ben Pfaff [Wed, 15 Sep 2004 01:14:04 +0000 (01:14 +0000)]
Initial intro.

19 years agoWork on intro.
Ben Pfaff [Wed, 15 Sep 2004 01:13:36 +0000 (01:13 +0000)]
Work on intro.

19 years agoFoo.
Ben Pfaff [Wed, 15 Sep 2004 01:13:25 +0000 (01:13 +0000)]
Foo.

19 years agoAdd rule for refreshing from Makefile.build.
Ben Pfaff [Wed, 15 Sep 2004 01:13:20 +0000 (01:13 +0000)]
Add rule for refreshing from Makefile.build.

19 years agoImprove flexibility.
Ben Pfaff [Wed, 15 Sep 2004 01:10:38 +0000 (01:10 +0000)]
Improve flexibility.

19 years agoRemove obsolete vmware directory.
Ben Pfaff [Tue, 14 Sep 2004 21:41:13 +0000 (21:41 +0000)]
Remove obsolete vmware directory.

19 years agoRemove obsolete bochs directory.
Ben Pfaff [Tue, 14 Sep 2004 21:40:10 +0000 (21:40 +0000)]
Remove obsolete bochs directory.

19 years agoNo longer needed.
Ben Pfaff [Tue, 14 Sep 2004 21:33:57 +0000 (21:33 +0000)]
No longer needed.

19 years agoImprove VMware GSX Server support.
Ben Pfaff [Tue, 14 Sep 2004 21:27:11 +0000 (21:27 +0000)]
Improve VMware GSX Server support.

19 years agoSupport VMware Workstation.
Ben Pfaff [Tue, 14 Sep 2004 20:46:27 +0000 (20:46 +0000)]
Support VMware Workstation.

19 years agoMake it work.
Ben Pfaff [Tue, 14 Sep 2004 20:10:16 +0000 (20:10 +0000)]
Make it work.

19 years agoUse cp instead of ln.
Ben Pfaff [Tue, 14 Sep 2004 20:09:58 +0000 (20:09 +0000)]
Use cp instead of ln.

19 years agoDetect x86 systems, use the native tools.
Ben Pfaff [Tue, 14 Sep 2004 20:09:50 +0000 (20:09 +0000)]
Detect x86 systems, use the native tools.

19 years agoChange -cp option to -ci ("copy in").
Ben Pfaff [Tue, 14 Sep 2004 06:55:15 +0000 (06:55 +0000)]
Change -cp option to -ci ("copy in").
Add -co option ("copy out").
Add filesys_done() for closing up filesystem shop.
Add -q option for powering off.

19 years agofirst try
Ben Pfaff [Tue, 14 Sep 2004 06:53:02 +0000 (06:53 +0000)]
first try

19 years agoAdd gdb to cross-compiler installation instructions.
Ben Pfaff [Tue, 14 Sep 2004 00:25:00 +0000 (00:25 +0000)]
Add gdb to cross-compiler installation instructions.

19 years agoBochs patches for Solaris.
Ben Pfaff [Mon, 13 Sep 2004 23:58:00 +0000 (23:58 +0000)]
Bochs patches for Solaris.

19 years agoAdd instructions for building cross-compiler.
Ben Pfaff [Mon, 13 Sep 2004 22:59:23 +0000 (22:59 +0000)]
Add instructions for building cross-compiler.

19 years agoFor some reason i386-elf-as doesn't like 512/4, so replace it by 128.
Ben Pfaff [Mon, 13 Sep 2004 22:58:51 +0000 (22:58 +0000)]
For some reason i386-elf-as doesn't like 512/4, so replace it by 128.
Actually, replace it by 256 and use insw instead of insl.

19 years agoUse __SIZE_TYPE__ for size_t, __PTRDIFF_TYPE__ for ptrdiff_t.
Ben Pfaff [Mon, 13 Sep 2004 22:57:25 +0000 (22:57 +0000)]
Use __SIZE_TYPE__ for size_t, __PTRDIFF_TYPE__ for ptrdiff_t.

19 years agoUse `z' modifier to printf size_t.
Ben Pfaff [Mon, 13 Sep 2004 22:57:01 +0000 (22:57 +0000)]
Use `z' modifier to printf size_t.

19 years agoUse i386-elf-* tools by default.
Ben Pfaff [Mon, 13 Sep 2004 22:56:14 +0000 (22:56 +0000)]
Use i386-elf-* tools by default.

19 years agoUse symbolic links instead of hard links, because hard links don't
Ben Pfaff [Mon, 13 Sep 2004 22:55:54 +0000 (22:55 +0000)]
Use symbolic links instead of hard links, because hard links don't
work between directories on AFS.

19 years agoRemove FIXME that I fixed in the sources.
Ben Pfaff [Mon, 13 Sep 2004 03:17:59 +0000 (03:17 +0000)]
Remove FIXME that I fixed in the sources.

19 years agoRewrite filesystem to support Unix "delete" semantics.
Ben Pfaff [Mon, 13 Sep 2004 03:02:50 +0000 (03:02 +0000)]
Rewrite filesystem to support Unix "delete" semantics.
Also, make objects responsible for their own allocation for better
abstraction.
Rename filehdr to inode.
Zero out files at creation time.
Introduce "kernel" and "user" pools as a band-aid for user memory
pressure on kernel.

19 years agoDon't assume 4 kB pages.
Ben Pfaff [Mon, 13 Sep 2004 03:00:49 +0000 (03:00 +0000)]
Don't assume 4 kB pages.

19 years agoMake the bitmap responsible for allocation.
Ben Pfaff [Mon, 13 Sep 2004 02:58:44 +0000 (02:58 +0000)]
Make the bitmap responsible for allocation.

19 years agoChange "stddef.h" to <stddef.h>
Ben Pfaff [Mon, 13 Sep 2004 02:14:24 +0000 (02:14 +0000)]
Change "stddef.h" to <stddef.h>

19 years agoDon't palloc_free() the initial thread, because it's not allocated
Ben Pfaff [Mon, 13 Sep 2004 02:13:52 +0000 (02:13 +0000)]
Don't palloc_free() the initial thread, because it's not allocated
from a palloc pool.

19 years agoAdd magic numbers for safety.
Ben Pfaff [Mon, 13 Sep 2004 02:13:10 +0000 (02:13 +0000)]
Add magic numbers for safety.
Fix behavior on free(NULL).

19 years agoFlush serial device on panic.
Ben Pfaff [Mon, 13 Sep 2004 01:24:28 +0000 (01:24 +0000)]
Flush serial device on panic.

19 years agoNeeds #include <console.h>.
Ben Pfaff [Mon, 13 Sep 2004 01:24:01 +0000 (01:24 +0000)]
Needs #include <console.h>.

19 years agoIntroduce "kernel" and "user" pools as a band-aid for user memory
Ben Pfaff [Mon, 13 Sep 2004 01:23:24 +0000 (01:23 +0000)]
Introduce "kernel" and "user" pools as a band-aid for user memory
pressure on kernel.

19 years agoAdd MLFQS credit.
Ben Pfaff [Sun, 12 Sep 2004 05:46:54 +0000 (05:46 +0000)]
Add MLFQS credit.

19 years agoDescribe multi-level feedback queue scheduler.
Ben Pfaff [Sun, 12 Sep 2004 05:45:47 +0000 (05:45 +0000)]
Describe multi-level feedback queue scheduler.

19 years agoWork on projects.
Ben Pfaff [Sun, 12 Sep 2004 00:00:42 +0000 (00:00 +0000)]
Work on projects.

19 years agoMake less sensitive to slow processors.
Ben Pfaff [Sat, 11 Sep 2004 23:35:48 +0000 (23:35 +0000)]
Make less sensitive to slow processors.

19 years agoUpdate initialization order.
Ben Pfaff [Sat, 11 Sep 2004 23:35:30 +0000 (23:35 +0000)]
Update initialization order.

19 years agoDo console locking.
Ben Pfaff [Sat, 11 Sep 2004 23:35:13 +0000 (23:35 +0000)]
Do console locking.
Rename printf.c to console.c to better explain its function.
Move puts() from lib to lib/{user,kernel} so it can take console lock.

19 years agoDo console locking.
Ben Pfaff [Sat, 11 Sep 2004 23:27:29 +0000 (23:27 +0000)]
Do console locking.
Rename printf.c to console.c to better explain its function.
Move puts() from lib to lib/{user,kernel} so it can take console lock.

19 years agoFormat null pointers as 0x0.
Ben Pfaff [Sat, 11 Sep 2004 23:18:06 +0000 (23:18 +0000)]
Format null pointers as 0x0.

19 years agoTurn off interrupts on output to lock out interrupt handlers that
Ben Pfaff [Sat, 11 Sep 2004 23:17:23 +0000 (23:17 +0000)]
Turn off interrupts on output to lock out interrupt handlers that
might want to write to the console.

19 years agoCall thread_yield() in timer_sleep() if interrupts are on.
Ben Pfaff [Sat, 11 Sep 2004 23:16:45 +0000 (23:16 +0000)]
Call thread_yield() in timer_sleep() if interrupts are on.

19 years agoOnly poll on output if the txq is full and interrupts are off, and
Ben Pfaff [Sat, 11 Sep 2004 23:16:03 +0000 (23:16 +0000)]
Only poll on output if the txq is full and interrupts are off, and
only one byte's worth.

19 years agoDeclare start symbol for linker's use.
Ben Pfaff [Sat, 11 Sep 2004 23:08:19 +0000 (23:08 +0000)]
Declare start symbol for linker's use.

19 years agoReally make it safe to call printf() from any context.
Ben Pfaff [Sat, 11 Sep 2004 22:43:06 +0000 (22:43 +0000)]
Really make it safe to call printf() from any context.

19 years agoComments.
Ben Pfaff [Sat, 11 Sep 2004 22:05:30 +0000 (22:05 +0000)]
Comments.

19 years agoAdd a little demo/test code for the `threads' project.
Ben Pfaff [Sat, 11 Sep 2004 19:32:54 +0000 (19:32 +0000)]
Add a little demo/test code for the `threads' project.

19 years agoIncrease queue size to 64.
Ben Pfaff [Sat, 11 Sep 2004 19:31:13 +0000 (19:31 +0000)]
Increase queue size to 64.

19 years agoRewrite loader, improving comments greatly.
Ben Pfaff [Sat, 11 Sep 2004 19:29:05 +0000 (19:29 +0000)]
Rewrite loader, improving comments greatly.
Also: load GDT relative to at LOADER_PHYS_BASE.

19 years agoUse ln -f for linking Makefile into build dir.
Ben Pfaff [Sat, 11 Sep 2004 18:48:38 +0000 (18:48 +0000)]
Use ln -f for linking Makefile into build dir.

19 years agoAdd timer_sleep() that takes an argument in timer ticks.
Ben Pfaff [Fri, 10 Sep 2004 00:19:06 +0000 (00:19 +0000)]
Add timer_sleep() that takes an argument in timer ticks.
Remove timer_msleep(), timer_usleep(), timer_nsleep()
and add corresponding timer_ms2ticks(), timer_us2ticks(), and
timer_ns2ticks() to make the conversions.

19 years agoAdd comment.
Ben Pfaff [Thu, 9 Sep 2004 22:43:45 +0000 (22:43 +0000)]
Add comment.

19 years agoAdd some prototypes.
Ben Pfaff [Thu, 9 Sep 2004 22:43:32 +0000 (22:43 +0000)]
Add some prototypes.

19 years agoRename run_queue to ready_list.
Ben Pfaff [Thu, 9 Sep 2004 22:43:28 +0000 (22:43 +0000)]
Rename run_queue to ready_list.

19 years agoAdd new syscall stubs.
Ben Pfaff [Thu, 9 Sep 2004 22:43:12 +0000 (22:43 +0000)]
Add new syscall stubs.

19 years agoAdd syscalls.
Ben Pfaff [Thu, 9 Sep 2004 22:38:20 +0000 (22:38 +0000)]
Add syscalls.

19 years agoAdd comment.
Ben Pfaff [Thu, 9 Sep 2004 22:38:14 +0000 (22:38 +0000)]
Add comment.

19 years agoAdd some former CS140 TAs.
Ben Pfaff [Thu, 9 Sep 2004 22:37:59 +0000 (22:37 +0000)]
Add some former CS140 TAs.

19 years agoInitial projects.
Ben Pfaff [Thu, 9 Sep 2004 22:37:50 +0000 (22:37 +0000)]
Initial projects.

19 years agoAdd `projects' files authors.
Ben Pfaff [Thu, 9 Sep 2004 21:15:35 +0000 (21:15 +0000)]
Add `projects' files authors.

19 years agoAllow students to easily disable VM.
Ben Pfaff [Thu, 9 Sep 2004 20:55:11 +0000 (20:55 +0000)]
Allow students to easily disable VM.

19 years ago#error if TIMER_FREQ too high.
Ben Pfaff [Thu, 9 Sep 2004 19:24:59 +0000 (19:24 +0000)]
#error if TIMER_FREQ too high.
Configurable time slice.
Make timer_msleep() round up to nearest timer tick.