[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Research using L4Hurd

From: Niels Möller
Subject: Re: Research using L4Hurd
Date: 04 Jul 2002 10:16:38 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

address@hidden writes:

>       - we get away from the monolithic kernel design model, which
>         requires lots of data structure locking, to a more
>         component-based model with less locking but more IPC.

The componentization means that you replace kernel-internal interfaces
with explicit ipc interfaces. But the things that communicate over
such an interface typically didn't share a lot of datastructures from
the start, so there's not much locking you can get rid of there.

Using a microkernel doesn't necessarily reduce the need for locking.
For instance Hurd file servers are heavily threaded (one thread for
each open file), and uses mutex locks and the like to syncronize
access to shared data structures. I think needs for locking is comes
with multi-threading, no matter if you do it in the kernel or in user

It might be possible to write servers in a more select-loopish
fashion, without multithreading, but that's not the recommended way to
do it on the Hurd, and I'm afraid it will be even more unnatural when
moving to L4 and its syncronous ipc.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]