Re: Mutexes on L4Ka::Pistachio?

On Mon, Jul 19, 2010 at 1:10 PM, Norman Feske
<[email protected]> wrote:
> Hi Farid,
>
> On 07/19/2010 11:32 AM, Farid Hajji wrote:
>>> You're right, pistachio doesn't offer a kernel-supported
>>> mutex/locking scheme at the moment.
>>
>> I guess it's not strictly needed. However, a little help from the
>> kernel could be useful to improve efficiency (s. below).
>
> For running our Genode OS Framework on Pistachio, we had to solve the
> thread-synchronization issue, too. Maybe, our experience can be of help
> for you. Our lock implementation looks as follows:

(snip)

Hi Norman,

that's a very interesting approach indeed! I'll look at it very closely.
Thank you so much for the inspiration, much appreciated.

Kind regards,
-Farid.

P.S.: Keep up the good work @Genode.