pintos-anon
20 years agoComments.
Ben Pfaff [Tue, 21 Sep 2004 02:48:58 +0000 (02:48 +0000)]
Comments.
Remove pagedir_clear_page().
Add assertions to pagedir_set_page().

20 years agoCleanup.
Ben Pfaff [Tue, 21 Sep 2004 02:32:31 +0000 (02:32 +0000)]
Cleanup.

20 years agoRemove unneeded #include.
Ben Pfaff [Tue, 21 Sep 2004 02:28:36 +0000 (02:28 +0000)]
Remove unneeded #include.

20 years agoMerge new_thread() into thread_create().
Ben Pfaff [Tue, 21 Sep 2004 01:14:50 +0000 (01:14 +0000)]
Merge new_thread() into thread_create().

20 years agoSupport jitter feature.
Ben Pfaff [Tue, 21 Sep 2004 00:25:09 +0000 (00:25 +0000)]
Support jitter feature.

20 years agoAdd jitter feature to Bochs.
Ben Pfaff [Tue, 21 Sep 2004 00:25:03 +0000 (00:25 +0000)]
Add jitter feature to Bochs.

20 years agoComments.
Ben Pfaff [Tue, 21 Sep 2004 00:24:56 +0000 (00:24 +0000)]
Comments.

20 years agoUpdate docs.
Ben Pfaff [Tue, 21 Sep 2004 00:24:47 +0000 (00:24 +0000)]
Update docs.

20 years agoRename addrspace to process.
Ben Pfaff [Mon, 20 Sep 2004 22:29:18 +0000 (22:29 +0000)]
Rename addrspace to process.

20 years agoUpdate.
Ben Pfaff [Mon, 20 Sep 2004 22:25:33 +0000 (22:25 +0000)]
Update.

20 years agoMake pagedir_destroy(NULL) a no-op.
Ben Pfaff [Mon, 20 Sep 2004 22:25:28 +0000 (22:25 +0000)]
Make pagedir_destroy(NULL) a no-op.

20 years agoMake processes responsible for loading themselves.
Ben Pfaff [Mon, 20 Sep 2004 22:25:13 +0000 (22:25 +0000)]
Make processes responsible for loading themselves.

20 years agoMake page alignment optional.
Ben Pfaff [Mon, 20 Sep 2004 22:24:21 +0000 (22:24 +0000)]
Make page alignment optional.

20 years agoComments.
Ben Pfaff [Mon, 20 Sep 2004 19:06:58 +0000 (19:06 +0000)]
Comments.

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

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

20 years agoUpdate docs.
Ben Pfaff [Mon, 20 Sep 2004 18:03:47 +0000 (18:03 +0000)]
Update docs.

20 years agoImprove hex_dump().
Ben Pfaff [Mon, 20 Sep 2004 18:03:32 +0000 (18:03 +0000)]
Improve hex_dump().

20 years agoUpdate.
Ben Pfaff [Mon, 20 Sep 2004 06:44:36 +0000 (06:44 +0000)]
Update.

20 years agoIntroduce PID_ERROR as an invalid exec return value.
Ben Pfaff [Mon, 20 Sep 2004 06:44:03 +0000 (06:44 +0000)]
Introduce PID_ERROR as an invalid exec return value.
Make shell example check for invalid join return,
because passing an invalid value to exec is allowed to kill the
process.

20 years agoIgnore bochs return code, it's not useful.
Ben Pfaff [Mon, 20 Sep 2004 04:45:27 +0000 (04:45 +0000)]
Ignore bochs return code, it's not useful.

20 years agoEnable ata1 under Bochs if hdc or hdd is needed.
Ben Pfaff [Mon, 20 Sep 2004 04:37:43 +0000 (04:37 +0000)]
Enable ata1 under Bochs if hdc or hdd is needed.

20 years agoAdd some `const' qualifiers.
Ben Pfaff [Mon, 20 Sep 2004 04:33:15 +0000 (04:33 +0000)]
Add some `const' qualifiers.

20 years agoChange interface of addrspace_load() to provide initial stack pointer.
Ben Pfaff [Mon, 20 Sep 2004 04:33:01 +0000 (04:33 +0000)]
Change interface of addrspace_load() to provide initial stack pointer.
destroy_thread() doesn't really need thread in dying state.

20 years agoRemove `name' from lock because it duplicates its member sema's name.
Ben Pfaff [Mon, 20 Sep 2004 04:29:53 +0000 (04:29 +0000)]
Remove `name' from lock because it duplicates its member sema's name.

20 years agoComments.
Ben Pfaff [Mon, 20 Sep 2004 04:29:22 +0000 (04:29 +0000)]
Comments.

20 years agoAdd const to various functions.
Ben Pfaff [Mon, 20 Sep 2004 04:29:08 +0000 (04:29 +0000)]
Add const to various functions.

20 years agoSwap names of power_off and do_power_off().
Ben Pfaff [Mon, 20 Sep 2004 04:28:44 +0000 (04:28 +0000)]
Swap names of power_off and do_power_off().
Put now-power_off() into init.h

20 years agoAdd initial_size argument to create syscall.
Ben Pfaff [Mon, 20 Sep 2004 04:28:03 +0000 (04:28 +0000)]
Add initial_size argument to create syscall.

20 years agoAdd putbuf().
Ben Pfaff [Mon, 20 Sep 2004 04:27:43 +0000 (04:27 +0000)]
Add putbuf().

20 years agoAdd -Wsystem-headers.
Ben Pfaff [Mon, 20 Sep 2004 04:27:28 +0000 (04:27 +0000)]
Add -Wsystem-headers.

20 years agoFix comments.
Ben Pfaff [Mon, 20 Sep 2004 04:21:35 +0000 (04:21 +0000)]
Fix comments.

20 years agoFix call to create().
Ben Pfaff [Mon, 20 Sep 2004 03:58:38 +0000 (03:58 +0000)]
Fix call to create().

20 years agoAdd dummy file to ensure that lib/user is kept in CVS.
Ben Pfaff [Mon, 20 Sep 2004 03:56:41 +0000 (03:56 +0000)]
Add dummy file to ensure that lib/user is kept in CVS.

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

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

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

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

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

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

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

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

20 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().

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

20 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>

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