Re: Virtual memory and pager

On Mon, Oct 11, 2010 at 3:08 PM, BERTRAND Joel
<[email protected]> wrote:
>> I've tried to use NetBSD's VM subsystem in a L4Ka-based setup,
>> but quickly stumbled across the lack of mutexes (esp. of the NetBSD
>> or Solaris-like flavor, i.e. the adaptive mutexes).
>
>        I have to write a mutex/semaphore/spinlock server. Is your work
> available ? Maybe can I improve it.

Hi Joel,

for now, all I have are some (working) code fragments for root tasks,
because I'm basically still trying to get a better feeling for the various
parts of the L4 API:

http://hg.cordix.org/cordix/file/tip/usr/src/tasks

Under mutex/, there's a rudimentary IPC-based mutex rootserver demo,
but of course, that's not the right way to implement low-latency mutexes,
it's just a little experiment, to get started.

I didn't import the UVM code yet, because I wanted to solve the adaptive
mutex problem first.

The long term goal would be a multi-server BSD-based OS personality
running on top of L4 (any help is welcome) ;-)

>        Regards,
>
>        JKB

Thanks,
-Farid.