akaros.git
8 years agoAdded support for another pthread related function
Kevin Klues [Tue, 6 Apr 2010 03:57:11 +0000 (20:57 -0700)]
Added support for another pthread related function

This function is needed to compile fluidanimate, but
is currently meaningless in our current implementation of
pthreads.

8 years agoFixed problem with open() mode flags not matching
Kevin Klues [Tue, 6 Apr 2010 03:53:57 +0000 (20:53 -0700)]
Fixed problem with open() mode flags not matching

We want the ROS mode flags and the appserver mode flags
to match.  This commit makes them that way.

8 years agoMakefiles take an adjustable number of jobs
Barret Rhoden [Tue, 6 Apr 2010 00:39:42 +0000 (17:39 -0700)]
Makefiles take an adjustable number of jobs

Set MAKE_JOBS in your Makelocal if you want to provide an argument to
make -j (like if you don't have an obscene number of cores).

8 years agoVcore0 can restart in _M mode
Barret Rhoden [Mon, 5 Apr 2010 22:25:18 +0000 (15:25 -0700)]
Vcore0 can restart in _M mode

When notified or for other reasons that may cause a restart, vcore0 will
come up on a fresh transition stack (not USTACKTOP) with a fresh TLS
region.  In essence, the context from _S mode is just a user thread that
will need to be managed by a scheduler that needs to be invoked from
hart_entry().

Rebuild your cross compiler.

8 years agoPrints stderr to the kernel monitor
Barret Rhoden [Mon, 5 Apr 2010 00:11:23 +0000 (17:11 -0700)]
Prints stderr to the kernel monitor

For apps that write directly to file descriptor 2, it will be
interpreted as an attempt to write to stderr.  While not complete, it
will catch some error messages when the appserver isn't configured.

8 years agoNotification support in the kernel
Barret Rhoden [Mon, 29 Mar 2010 23:40:11 +0000 (16:40 -0700)]
Notification support in the kernel

The kernel can send notifications to a process.  Will need some merging
work with the glibc branch, especially regarding transition stacks and
userspace's job.  mhello has example code for what low-level user code
needs to do to request and receive notifications.

Note that you cannot notify vcore0 at this point, due to some glibc
issues.

8 years agoAdded BCQs to the preempt structs in procdata
Barret Rhoden [Fri, 26 Mar 2010 23:43:18 +0000 (16:43 -0700)]
Added BCQs to the preempt structs in procdata

This involved duplicating the code for atomic operations (though for
now, only CAS was needed, and that might go away).  On sparc, this means
copying all of the spinlock stuff too.

Also, bcq_struct.h is included with the structure and other things, with
the actual work done in bcq.h.  This is because libc includes
bcq_struct, but doesn't actually do the ops, and we want to limit the
amount of crap in the ros interface (like comp_and_swap).

8 years agoPer-arch user include directories
Barret Rhoden [Mon, 5 Apr 2010 04:56:49 +0000 (21:56 -0700)]
Per-arch user include directories

Accessible via arch/*.  I don't particularly care how they are arranged
(the way they are, or the way the kernel does it), so long as it's easy
to figure out and not sharing the kernel's files.

8 years agoUserspace no longer includes the kernel's arch/*
Barret Rhoden [Mon, 5 Apr 2010 04:10:50 +0000 (21:10 -0700)]
Userspace no longer includes the kernel's arch/*

The kernel and userspace still share kern/include/ros/arch, which points
to arch specific folders, but not the entire kern/arch/XXX/ folder
(which is what kern/include/arch pointed to).  This helps sort out some
issues with repeated symbols (reboot in arch/arch.h conflicts with
libc), makes the kernel interface more explicit, and will help us to
avoid making changes to the kernel for no reason other than userspace
includes its files.

There are a few places where things are ghetto - mostly because they
ought to be solved properly (read_tsc()) or will go away with future
commits (segmentation stuff).

Long term, I'd like to minimize the amount of stuff in kern/include/ros,
even if it means having copies of arch-specific things.  And the copies
are not always copies - often there are slight differences between the
kernel and userspace.

8 years agoBounded concurrent queues (BCQ)
Barret Rhoden [Fri, 26 Mar 2010 11:46:36 +0000 (04:46 -0700)]
Bounded concurrent queues (BCQ)

First implementation and interface for BCQs.  They are lock-free,
concurrent producer-consumer (one-way) queues based on a fixed (bounded)
buffer.  They are also designed for an untrusted consumer.  The producer
will not block, and it will bail out after a certain number of failed
attempts to enqueue.  All data is stored inside the BCQ (there is a
header), making it small and easy to program with.

In theory (sort of), these should be able to handle multiple concurrent
producers and consumers, but has only been tested with one core so far.

The initial use case will be the notification entries, per-process,
per-vcore.

8 years agoCompare and Swap
Barret Rhoden [Fri, 26 Mar 2010 01:34:12 +0000 (18:34 -0700)]
Compare and Swap

Provides atomic primitives for compare and swap.  The sparc ones are
horrendous, relying on a global lock.  Hopefully there's some hardware
support for that, and if not, then we'll need a better implementation.

8 years agoproc messages are routine instead of immediate
Barret Rhoden [Tue, 23 Mar 2010 08:24:22 +0000 (01:24 -0700)]
proc messages are routine instead of immediate

This should solve the races we haven't seen yet where a core is in the
kernel with interrupts enabled but in a situation where the kernel
cannot abandon its stack yet when a __death or similar message comes in.

8 years agoCall arbitrary functions from the monitor
Barret Rhoden [Tue, 23 Mar 2010 07:39:37 +0000 (00:39 -0700)]
Call arbitrary functions from the monitor

This is sweet.  And like Chuck Norris, it shows no mercy.  You have been
warned.

8 years agoHandles routine kmsgs before returning to userspace
Barret Rhoden [Tue, 23 Mar 2010 05:45:40 +0000 (22:45 -0700)]
Handles routine kmsgs before returning to userspace

Renames and splits proc_startcore() to proc_restartcore() and
__proc_startcore(), and changes proc_run() to use a kmsg to start a _S.
Check the Doc and comments for specific reasons.

8 years agoManagement cores check for routine k_msgs
Barret Rhoden [Tue, 23 Mar 2010 01:10:21 +0000 (18:10 -0700)]
Management cores check for routine k_msgs

Shouldn't be a a big deal.  We don't want to lose messages sent to
Core0.  We shouldn't have any right now, so if it happens, I'd like to
know about it to think about any other issues.

8 years agoRemoved the workqueue
Barret Rhoden [Tue, 23 Mar 2010 01:00:43 +0000 (18:00 -0700)]
Removed the workqueue

And the run_env_handler().  Workqueue functionality should use routine
k_msgs.  Some old tests were removed, which might be of interest to
someone doing measurement stuff.

8 years agoRoutine kmsg processing
Barret Rhoden [Tue, 23 Mar 2010 00:34:16 +0000 (17:34 -0700)]
Routine kmsg processing

Processes routine kernel messages in smp_idle().  Doesn't do it on
management cores yet (they call manager(), for now).

8 years agoSparc kernel messages
Barret Rhoden [Sat, 20 Mar 2010 03:35:25 +0000 (20:35 -0700)]
Sparc kernel messages

Changes sparc to use x86-style kernel messages, so that it can handle
routine calls and whatnot.  There are some differences, and it might not
work for some weird arch-specific reason.

8 years agoKernel messages infrastructure
Barret Rhoden [Sat, 20 Mar 2010 02:42:22 +0000 (19:42 -0700)]
Kernel messages infrastructure

Expands the old active messaging mechanisms to support different types
of messages: Immediate and Routine.  This will be the main way of moving
work around (either to another core or delaying with an alarm).  All
usages of existing active messages have been switched to kernel messages
in the immediate mode (which is what they were doing before).  Sparc
does not support routine calls yet, but will shortly.  Read the
Documentation for more details.

This hasn't been tested fully yet - the test cases won't do much, since
the kernel doesn't check for routine messages yet, and the tests occur
during an smp_idle() loop.

8 years ago__startcore uses the vcore/pcore maps for info
Barret Rhoden [Fri, 19 Mar 2010 02:18:08 +0000 (19:18 -0700)]
__startcore uses the vcore/pcore maps for info

Instead of sending information like vcoreid and the trapframe to run in
the active message, we put this info in the vcoremap (it's already
there, and we only need to add the info for the tf).  This will help us
when we use some sort of broadcast messaging system.

8 years agoVcores are unmapped by message receivers
Barret Rhoden [Fri, 19 Mar 2010 01:39:10 +0000 (18:39 -0700)]
Vcores are unmapped by message receivers

8 years agox86: waits after sending IPIs
Barret Rhoden [Fri, 19 Mar 2010 00:07:00 +0000 (17:07 -0700)]
x86: waits after sending IPIs

Instead of checking before, wait afterwards.  It should provide the same
protection from losing IPIs (since all IPI-making functions adhere to
this), but now the send functions return once the IPI should have made
it to the distant end.  This way, we don't need to wait twice or have a
separate call for an IPI-barrier (like the wmb()s).

8 years agoseq counters to protect vcoremap changes
Barret Rhoden [Thu, 18 Mar 2010 00:33:15 +0000 (17:33 -0700)]
seq counters to protect vcoremap changes

The kernel uses the seq counter when updating vcore-pcore mappings and
the number of vcores.  Userspace may need to check the counter when
trying to perform certain operations.

Also, this introduces a reference seq lock, that is an example of how to
use it.  It relies on a spinlock, which isn't that flexible.

8 years agosys_getvcoreid uses the proc calls
Barret Rhoden [Sat, 13 Mar 2010 05:29:44 +0000 (21:29 -0800)]
sys_getvcoreid uses the proc calls

Not a big deal, esp since we might get rid of sys_getvcoreid once all
userspaces cache their vcoreid in TLS right after startup.

8 years agoAdds a pcoremap for reverse lookups
Barret Rhoden [Sat, 13 Mar 2010 05:08:08 +0000 (21:08 -0800)]
Adds a pcoremap for reverse lookups

Introduces a per-process pcoremap, and helper functions to manage the
vcore->pcore mapping.  The pcore valid bool isn't truly necessary, but
nice for now.  This structure will speed up common lookups.

Eagle-eyed readers should know why the pcoremap has to be per process,
instead of global.

8 years agoNew vcoremap in procinfo
Barret Rhoden [Sat, 13 Mar 2010 02:23:01 +0000 (18:23 -0800)]
New vcoremap in procinfo

The vcoremap contains new items (not just pcoreids), and it is exposed
via procinfo (along with num_vcores).  -1 no longer means invalid
either; it's more clear to have a bool for that.  Eventually we'll
signal userspace that the vcoremap (or a pcoremap) is being changed with
the seq_ctr.

If it turns out we are exposing too much info, we can move the vcoremap
back and push updates, but I'd rather not do that.

8 years agoInitial notification and preemption headers
Barret Rhoden [Fri, 5 Mar 2010 03:54:52 +0000 (19:54 -0800)]
Initial notification and preemption headers

Check the documentation if you're curious how this all should work.

8 years agox86: Fixes TLS bug causing kernel page faults
Barret Rhoden [Wed, 3 Mar 2010 19:51:42 +0000 (11:51 -0800)]
x86: Fixes TLS bug causing kernel page faults

When loading the gs register (or any segmentation register), the
hardware will fill in the internal segmentation registers by looking up
the segment, which can page fault.  The kernel was doing this for
unabandoned, yet unmapped, LDTs from old processes when it tried to
return from an interrupt.

Note that the current TLS implementation is vulnerable to a malicious
process mucking with the LDT.

8 years agoKFS cat / generic files
Barret Rhoden [Fri, 12 Feb 2010 22:08:36 +0000 (14:08 -0800)]
KFS cat / generic files

Basic support for KFS to have files other than compiled binaries -
mostly just for intermediate testing of the VFS (which isn't in this
branch).

8 years agox86: allows panic earlier in the boot process
Barret Rhoden [Fri, 12 Feb 2010 23:44:52 +0000 (15:44 -0800)]
x86: allows panic earlier in the boot process

Sets the hw_coreid and os_coreid table in assembly, so they can be used
by the panic code before smp_boot.  Cleaner and easier to do it there
than in an arch-specific early init function.

8 years agoMoved brk/sbrk into user-space
Andrew Waterman [Mon, 5 Apr 2010 01:49:25 +0000 (18:49 -0700)]
Moved brk/sbrk into user-space

glibc now does it with mmap.  BRK_END is used
to demarcate between the maximum break size
and where non-MAP_FIXED mmap starts allocating,
so the heap and mmap'd memory won't collide.

sys_brk still exists for compatibility with newlib;
someone might want to delete this in the future.

Recompile the cross-compiler, as procinfo changed.

8 years agoFixed upage_alloc bug with page-coloring disabled
Andrew Waterman [Mon, 5 Apr 2010 01:18:55 +0000 (18:18 -0700)]
Fixed upage_alloc bug with page-coloring disabled

We forgot to zero-fill the page if requested.  This bug
was a bear and took about 3 hours to track down :|

8 years agoAdded SPARC ISA simulator targets to Makelocal
Andrew Waterman [Sun, 4 Apr 2010 00:30:18 +0000 (17:30 -0700)]
Added SPARC ISA simulator targets to Makelocal

8 years agoFixed proc_init breaking with only one core
Andrew Waterman [Sun, 4 Apr 2010 00:18:46 +0000 (17:18 -0700)]
Fixed proc_init breaking with only one core

Now, core 1 is put on the idle core map if networking
support is disabled.  If networking support is enabled,
check to make sure we have at least 2 cores.

8 years agoFixed error messages in cross-compiler makefile
Andrew Waterman [Sat, 3 Apr 2010 23:56:28 +0000 (16:56 -0700)]
Fixed error messages in cross-compiler makefile

Previously, "make ramp" or "make x86" would not trigger
the "busted" target on error; only straight-up "make" would.

8 years agoFixes TLS on x86 (take 3)
Barret Rhoden [Sat, 3 Apr 2010 20:00:45 +0000 (13:00 -0700)]
Fixes TLS on x86 (take 3)

Fixes the segmentation limit, which somehow didn't make it into previous
commits.  The kernel is still vulnerable to a bad segment crashing the
system.

You MUST rebuild your cross compiler, and remake all of your apps with
it (make userclean, make tests, etc).

8 years agoMaking static tests is faster
Barret Rhoden [Sat, 3 Apr 2010 04:34:33 +0000 (21:34 -0700)]
Making static tests is faster

By disabling the automatic disassembly of the test binaries.  Each one
was about 6.4MB of ASCII.

8 years agoFixed tls bug for addressing tls variables
Kevin Klues [Sat, 3 Apr 2010 02:47:33 +0000 (19:47 -0700)]
Fixed tls bug for addressing tls variables

Also fixed bug with CFLAGS vs. KERN_CFLAGS and USER_CFLAGS
You need to rebuild your cross compiler if you checkout this commit.

8 years agoFinally got KFS stuff sorted out on the new setup
Kevin Klues [Sat, 3 Apr 2010 02:45:18 +0000 (19:45 -0700)]
Finally got KFS stuff sorted out on the new setup

We also touched up a few issues relating to the last commit
with the configuration options.  Specifically, with the SINGLE_CORE option.
Incidentally, this option seems to be broken at the moment, but at least
we fixed the logic as to when it should be turned on.

8 years agoCleaned up the way ifdefs are handled
Kevin Klues [Sat, 3 Apr 2010 00:00:12 +0000 (17:00 -0700)]
Cleaned up the way ifdefs are handled

We now have a Makeconfig file that defines all of the configuration
options you can compile with.  Take a look in there to see what you can
turn on and off.  You should add configurations you want enabled into
your private Makelocal file.

8 years agoFixed problems with running static programs
Kevin Klues [Fri, 2 Apr 2010 22:04:44 +0000 (15:04 -0700)]
Fixed problems with running static programs

Fixed the sys_brk system call, and made the tests/pthread_test application
thread safe as well as removed some erroneous print statements.

8 years agoFixed TLS on i386
Andrew Waterman [Tue, 30 Mar 2010 23:45:52 +0000 (16:45 -0700)]
Fixed TLS on i386

A static initialization variable was living in two places (ld.so
and crt0), causing double-initialization of the LDT when a hart
comes in, crashing the first core.

Had to reorganize files so they could be included by the vastly-
included tls.h file in glibc.

8 years agoAvoids deadlock in cases where interrupts enabled
Kevin Klues [Thu, 1 Apr 2010 00:38:46 +0000 (17:38 -0700)]
Avoids deadlock in cases where interrupts enabled

If a system call is made on the same core the NIC is running on,
then deadlock might occur if irqsave is used.

8 years agoDedicated core 1 to NIC functionality
Kevin Klues [Thu, 1 Apr 2010 00:37:23 +0000 (17:37 -0700)]
Dedicated core 1 to NIC functionality

8 years agomade mhello work on sparc
Andrew Waterman [Tue, 30 Mar 2010 08:19:42 +0000 (01:19 -0700)]
made mhello work on sparc

8 years agoFixed hart stack allocation
Andrew Waterman [Tue, 30 Mar 2010 08:16:38 +0000 (01:16 -0700)]
Fixed hart stack allocation

Two changes: (1) use mmap with MAP_POPULATE for SPARC;
(2) the stack pointer was set to stack bottom, rather than top. oops

8 years agoMade tests build on SPARC
Andrew Waterman [Tue, 30 Mar 2010 07:55:59 +0000 (00:55 -0700)]
Made tests build on SPARC

8 years agoGot rid of manager printing "loading busybox"
Kevin Klues [Tue, 30 Mar 2010 04:32:30 +0000 (21:32 -0700)]
Got rid of manager printing "loading busybox"

8 years agoAdded all of the old tests from roslib back in
Kevin Klues [Tue, 30 Mar 2010 04:31:20 +0000 (21:31 -0700)]
Added all of the old tests from roslib back in

Also had to chnge the makefiles to support compiling all
c files contained in the tests directory without explicitly
listing them.

8 years agoAdded ability to query what arch you are building
Kevin Klues [Fri, 26 Mar 2010 08:10:42 +0000 (01:10 -0700)]
Added ability to query what arch you are building

Just run 'make arch'

8 years agoAdded support for building simple user programs
Kevin Klues [Fri, 26 Mar 2010 08:06:16 +0000 (01:06 -0700)]
Added support for building simple user programs

This includes the addition of some files in the
tests directory that test libraries built in user/parlib

8 years agoWe never actually removed <ros/error.h>, now we do
Kevin Klues [Fri, 26 Mar 2010 07:57:51 +0000 (00:57 -0700)]
We never actually removed <ros/error.h>, now we do

This caused alot of files to trivially change to include
the new <error.h> file that replaced it.

8 years agoMade real* names more consistent in Makefiles
Kevin Klues [Fri, 26 Mar 2010 07:41:07 +0000 (00:41 -0700)]
Made real* names more consistent in Makefiles

In the last commit I made it possible to switch targets more easily.
In this commit I made it more clear what it meant to make the realclean
and realall targets.  This actually fixed a small bug that caused erroneous
simlinks to be created by certain targets.

8 years agoMade pmap.c more consistent with demand paging
Andrew Waterman [Tue, 30 Mar 2010 07:21:09 +0000 (00:21 -0700)]
Made pmap.c more consistent with demand paging

Used the PAGE_PRESENT, etc. macros more consistently, and
made page_remove do the right thing if the page is paged out

8 years agoRemoved env_segment_alloc/free
Andrew Waterman [Tue, 30 Mar 2010 06:13:48 +0000 (23:13 -0700)]
Removed env_segment_alloc/free

The remaining uses (sys_brk and load_icode) have been replaced
with calls to mmap.  This makes load_icode ugly, but that will
be removed soon anyway.

8 years agoAdded MAP_POPULATE
Andrew Waterman [Tue, 30 Mar 2010 05:18:07 +0000 (22:18 -0700)]
Added MAP_POPULATE

Faults pages in before returning from mmap.
This will let us get rid of env_segment_alloc.
Also, fixed up handle_page_fault a bit

8 years agoFixed bug in SPARC trap entry
Andrew Waterman [Tue, 30 Mar 2010 04:55:50 +0000 (21:55 -0700)]
Fixed bug in SPARC trap entry

Condition codes were being clobbered by the kernel.  This
didn't show up until demand paging was added, because this
caused more random kernel crossings.

8 years agoAdded icache flushing
Andrew Waterman [Sat, 27 Mar 2010 08:38:17 +0000 (01:38 -0700)]
Added icache flushing

Some ISAs (cough) require icache flushes after code has been
self-modified, e.g. after faulting in a new page.  The lack
of this support caused the RAMP HW to crash.  I've added an
arch-specific "icache_flush_page" primitive; it's a nop on
x86, and on SPARC it flushes the I$/D$.

8 years agoAdded demand paging support
Andrew Waterman [Sat, 27 Mar 2010 04:06:31 +0000 (21:06 -0700)]
Added demand paging support

mmap'd pages are now faulted in on demand.  Metadata about paged-out
pages are stored in the unused bits of the PTE when the PTE is invalid.
Metadata comes in the form of a pointer to type pfault_info_t.

The main thing to keep in mind is it's often no longer sufficient to
check user PTEs against PTE_P to determine their state.  Use the
macros PAGE_PRESENT, PAGE_PAGED_OUT, and PAGE_UNMAPPED instead;
exactly one of the three must be true at any time.

On any call to mmap with fd != -1, a new struct file is instantiated.
It is reference-counted, once per mmap'd page.  When a page is faulted
in, or when a paged-out page is freed, the file is decref'd.  Allocating
and freeing a pfault_info_t will automatically incref/decref the associated
file, if any.

8 years agoFiles are represented with struct file
Andrew Waterman [Sat, 27 Mar 2010 00:52:26 +0000 (17:52 -0700)]
Files are represented with struct file

Right now, struct file pretty much just wraps an appserver fd,
but this provides enough abstraction so that the future
demand-paging stuff doesn't look so ghetto.

(Additionally, sys_exec now takes an fd, rather than a string.)

8 years agoMoved pte_t definition to arch-specific file
Andrew Waterman [Sat, 27 Mar 2010 00:38:34 +0000 (17:38 -0700)]
Moved pte_t definition to arch-specific file

8 years agoAdded PAGE_PRESENT, PAGE_UNMAPPED, PAGE_PAGED_OUT
Andrew Waterman [Fri, 26 Mar 2010 22:20:07 +0000 (15:20 -0700)]
Added PAGE_PRESENT, PAGE_UNMAPPED, PAGE_PAGED_OUT

These macros are helpful for page table management.
At this point, only the first two can be true.  In
general, exactly one must be true for any PTE.

8 years agoUse env_segment_alloc for stacks, not mmap
Andrew Waterman [Fri, 26 Mar 2010 22:17:05 +0000 (15:17 -0700)]
Use env_segment_alloc for stacks, not mmap

SPARC register window handlers expect the stack to be
mapped-in at all times.  Thus, demand-paging the stack
will break SPARC.  This restriction is not fundamental,
but it would be very difficult to work around.

8 years agofrontend_syscall now accepts NULL for &errno
Andrew Waterman [Fri, 26 Mar 2010 22:15:32 +0000 (15:15 -0700)]
frontend_syscall now accepts NULL for &errno

This reduces lots of typing when we don't actually care about errno

8 years agoFixed bugs in SPARC trap handlers
Andrew Waterman [Fri, 26 Mar 2010 22:09:52 +0000 (15:09 -0700)]
Fixed bugs in SPARC trap handlers

Data access exceptions were all detected as loads,
and trap frames were being clobbered on print.

8 years agoAdded arch framework for handling page faults
Andrew Waterman [Fri, 26 Mar 2010 05:36:14 +0000 (22:36 -0700)]
Added arch framework for handling page faults

Both ports call into a handle_page_fault routine accordingly

8 years agoMaking now keeps track of which target you want
Kevin Klues [Fri, 26 Mar 2010 03:02:33 +0000 (20:02 -0700)]
Making now keeps track of which target you want

Do a 'make realclean' to make it forget which target you want to
compile for, and then type 'make' again.  The rest should be
intuitive.

8 years agoAdded support for returning errors from syscalls
Kevin Klues [Thu, 25 Mar 2010 04:41:13 +0000 (21:41 -0700)]
Added support for returning errors from syscalls

8 years agoCleaned up front-end code a bit
Kevin Klues [Thu, 25 Mar 2010 00:59:10 +0000 (17:59 -0700)]
Cleaned up front-end code a bit

More consistent function names; unnecessary functions removed

8 years agoMade glibc compile and run x86
Kevin Klues [Wed, 24 Mar 2010 07:49:32 +0000 (00:49 -0700)]
Made glibc compile and run x86

Environment variables now work right for dynamically-linked
programs (they didn't show up before).

TLS support has been added for x86.

8 years agoFixed logical bug in memcpy_from/to_user
Kevin Klues [Wed, 24 Mar 2010 07:48:58 +0000 (00:48 -0700)]
Fixed logical bug in memcpy_from/to_user

8 years agoRemoved intptr_t
Kevin Klues [Wed, 24 Mar 2010 07:48:22 +0000 (00:48 -0700)]
Removed intptr_t

intptr_t considered harmful because arithmetic on pointers
greater than 0x80000000 can produce unexpected results.

8 years agoremoved debug printks from mm
Kevin Klues [Wed, 24 Mar 2010 07:48:07 +0000 (00:48 -0700)]
removed debug printks from mm

8 years agoFixes for fork and exec
Kevin Klues [Wed, 24 Mar 2010 07:44:04 +0000 (00:44 -0700)]
Fixes for fork and exec

First, exec was moved from elf.c to syscall.c

Fork now copies the old process's procinfo and procdata pages,
but in doing so also updates the pid/ppid.

8 years agokfree now gracefully accepts null pointers
Kevin Klues [Wed, 24 Mar 2010 07:33:32 +0000 (00:33 -0700)]
kfree now gracefully accepts null pointers

8 years agoSet the default syscall return value to 0
Kevin Klues [Wed, 24 Mar 2010 07:22:03 +0000 (00:22 -0700)]
Set the default syscall return value to 0

In case syscall() does not return, we want to indicate
success by default.  (This applies to e.g. yield and
the child process after fork.)

8 years agoFixed bug in sysenter/sysexit
Kevin Klues [Wed, 24 Mar 2010 07:18:22 +0000 (00:18 -0700)]
Fixed bug in sysenter/sysexit

Registers ecx and edx are (intentionally) clobbered by sysexit code.
However, the sysenter implementation does not assume this, leading
to incorrect code generation.  We now push them to the stack before
sysenter.

A better implementation would simply add them to the clobber list,
but the lack of GPRs in x86 made glibc compilation encounter register
allocation failures using this approach.

8 years agoproc_init_trapframe now zeros all fields initially
Kevin Klues [Wed, 24 Mar 2010 07:16:10 +0000 (00:16 -0700)]
proc_init_trapframe now zeros all fields initially

This was to fix a problem where gs being nonzero caused
kernel panics when popping a trap frame.  This was encountered
after an exec(), because gs had the old program's value but
not its LDT.

8 years agoAdded a bad implementation of get_free_va_range
Kevin Klues [Wed, 24 Mar 2010 07:14:54 +0000 (00:14 -0700)]
Added a bad implementation of get_free_va_range

Terribly inefficient, but we needed some implementation.

SARAH TODO

8 years agoCleaned up NIC code for appserver
Kevin Klues [Wed, 24 Mar 2010 07:14:00 +0000 (00:14 -0700)]
Cleaned up NIC code for appserver

8 years agoRemoved symlink-following in doxygen
Kevin Klues [Wed, 24 Mar 2010 07:11:34 +0000 (00:11 -0700)]
Removed symlink-following in doxygen

Following symlinks resulted in make running in an infinite loop

8 years agoRemoved references to intptr_t
Kevin Klues [Wed, 24 Mar 2010 07:09:31 +0000 (00:09 -0700)]
Removed references to intptr_t

It's unnecessary and leads to arithmetic bugs

8 years agoRemoved proc_init_arch; created frontend_proc_init
Kevin Klues [Wed, 24 Mar 2010 07:28:39 +0000 (00:28 -0700)]
Removed proc_init_arch; created frontend_proc_init

8 years agoELF Loader now sets heap_bottom/heap_top correctly
Kevin Klues [Tue, 23 Mar 2010 02:33:43 +0000 (19:33 -0700)]
ELF Loader now sets heap_bottom/heap_top correctly

8 years agoFixed kernel page fault on x86 port
Kevin Klues [Tue, 23 Mar 2010 02:26:44 +0000 (19:26 -0700)]
Fixed kernel page fault on x86 port

On sysenter, we now push zeros for esp and ss
onto the stack.  Thus, examining these fields
does not cause a page fault anymore.

8 years agoadded front-end link code
Andrew Waterman [Mon, 22 Mar 2010 02:07:50 +0000 (19:07 -0700)]
added front-end link code

8 years agoMade make -j work
Andrew Waterman [Mon, 22 Mar 2010 01:48:08 +0000 (18:48 -0700)]
Made make -j work

8 years agoMore work towards getting the appservers combined
Kevin Klues [Mon, 22 Mar 2010 01:07:18 +0000 (18:07 -0700)]
More work towards getting the appservers combined

8 years agoMajor reorganization in prep for appserver merge
Kevin Klues [Sun, 21 Mar 2010 19:32:01 +0000 (12:32 -0700)]
Major reorganization in prep for appserver merge

1) Now that our cross compiler is actually i686 instead of i386, I've moved
kern/arch/i386 to kern/arch/i686, changing the references in the top level
GNUmakefile as well as the Makefile for the cross compiler.

2) I reorganized all of the frontend syscall stuff from being sparc/ramp
specific to being platform independent.  This mostly required moving stuff out
of the sparc specific frontend.c/h files and putting them in
kern/src/frontend.c and kern/include/frontend.c files respectively.
Additionally, I moved stuff from the sparc specific syscall.c file directly
into kern/src/syscall.c, taking care to move all of the 'helper' functions that
were in this file into frontend.c.  That may not be the very best place for
them, as they don't really do anything frontend specific, but for now it seems
to make sense because the only syscalls that use them are those being forwarded
to the frontend appserver.

3) I started messing with Paul's ne2k driver to get it to forward system calls
the way the unified app server expects them.  I have things compiling (probably
not working), but I talked to Paul and he said this was really old code and I
should actually just rebase from the lwip branch and work off the code from
there.  So now I am committing so I can do just that...

8 years agoAdded -fpermissive to the gcc-glibc make process to allow it to compile with newer...
Kevin Klues [Fri, 19 Mar 2010 21:53:24 +0000 (14:53 -0700)]
Added -fpermissive to the gcc-glibc make process to allow it to compile with newer versions of gcc

8 years agoAdded support for kernel-aware stack pointers to glibc
Andrew Waterman [Sat, 13 Mar 2010 05:45:22 +0000 (21:45 -0800)]
Added support for kernel-aware stack pointers to glibc

8 years agoUser programs now tell kernel the stack pointers for new harts
Andrew Waterman [Sat, 13 Mar 2010 05:10:42 +0000 (21:10 -0800)]
User programs now tell kernel the stack pointers for new harts

...using procdata.  This change also eliminated the functions
proc_set_tfcoreid and proc_set_program_counter; instead, they
are args to proc_init_trapframe.

8 years agomade dynamically linked c++ programs work right
Andrew Waterman [Tue, 9 Mar 2010 08:56:51 +0000 (00:56 -0800)]
made dynamically linked c++ programs work right

8 years agoFixed gcc-glibc build on more up-to-date systems
Andrew Waterman [Sat, 6 Mar 2010 02:49:19 +0000 (18:49 -0800)]
Fixed gcc-glibc build on more up-to-date systems

gcc 4.3.2 only builds with autoconf older than 2.64, so we now distribute
the configure script rather than requiring autoconf.  (this is standard
practice in distributions, anyway.)

8 years agoFixed a trapframe-initialization bug in sys_exec
Andrew Waterman [Fri, 5 Mar 2010 22:20:41 +0000 (14:20 -0800)]
Fixed a trapframe-initialization bug in sys_exec

load_elf sets up the entry point in env_tf, but that change
must be propagated to current_tf

8 years agocleand up and sped up SPAARC kernel entry
Andrew Waterman [Wed, 3 Mar 2010 09:32:08 +0000 (01:32 -0800)]
cleand up and sped up SPAARC kernel entry

8 years agogcc-glibc compiles on both SPARC and i386
Andrew Waterman [Sun, 28 Feb 2010 01:07:58 +0000 (17:07 -0800)]
gcc-glibc compiles on both SPARC and i386

8 years agotake 2 at i386 sysdeps (glibc)
Andrew Waterman [Thu, 25 Feb 2010 08:11:22 +0000 (00:11 -0800)]
take 2 at i386 sysdeps (glibc)

8 years agocreated arch-specific glibc sysdep.h
Andrew Waterman [Thu, 25 Feb 2010 07:34:20 +0000 (23:34 -0800)]
created arch-specific glibc sysdep.h

8 years agoExposed SPARC iobus to userspace
Andrew Waterman [Wed, 24 Feb 2010 22:22:53 +0000 (14:22 -0800)]
Exposed SPARC iobus to userspace

users can now load_iobus and store_iobus.