phunix

Go to file

Tomas Hruby ad9ba944d1 Early address space switch

- switch_address_space() implements a switch of the user address space
  for the destination process

- this makes memory of this process easily accessible, e.g. a pointer
  valid in the userspace can be used with a little complexity to
  access the process's memory

- the switch does not happed only just before we return to userspace,
  however, it happens right after we know which process we are going
  to schedule. This happens before we start processing the misc flags
  of this process so its memory is available

- if the process becomes not runnable while processing the mics flags
  we pick a new process and we switch the address space again which
  introduces possibly a little bit more overhead, however, it is
  hopefully hidden by reducing the overheads when we actually access
  the memory

2010-02-09 15:13:52 +00:00

benchmarks

only check local benchmark dir if it exists

2010-02-04 18:15:10 +00:00

boot

Fixed a number of complaints about missing return statements.

2010-01-28 13:17:07 +00:00

commands

gas2ack fix

2010-02-05 13:53:10 +00:00

docs

Drivers and servers are simply known as services.