Re: Process-shared futexes

2018-06-02 Thread Mark Kettenis
> Date: Sat, 2 Jun 2018 12:42:14 +0200 (CEST) > From: Mark Kettenis > > > Date: Sat, 2 Jun 2018 12:04:16 +0200 > > From: Martin Pieuchot > > > > On 01/06/18(Fri) 19:13, Mark Kettenis wrote: > > > The diff below changes our futex implementation to allow futexes that > > > are shared between proc

Re: Process-shared futexes

2018-06-02 Thread Mark Kettenis
> Date: Sat, 2 Jun 2018 12:04:16 +0200 > From: Martin Pieuchot > > On 01/06/18(Fri) 19:13, Mark Kettenis wrote: > > The diff below changes our futex implementation to allow futexes that > > are shared between processes. Such futexes are a little bit tricky > > since there is no guarantee that a

Re: Process-shared futexes

2018-06-02 Thread Martin Pieuchot
On 01/06/18(Fri) 19:13, Mark Kettenis wrote: > The diff below changes our futex implementation to allow futexes that > are shared between processes. Such futexes are a little bit tricky > since there is no guarantee that a futex is mapped at the same address > in each process. To solve tis issue

Process-shared futexes

2018-06-01 Thread Mark Kettenis
The diff below changes our futex implementation to allow futexes that are shared between processes. Such futexes are a little bit tricky since there is no guarantee that a futex is mapped at the same address in each process. To solve tis issue I adopted the strategy chosen by FreeBSD. Shared mem