Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces

2015-07-17 Thread Richard Braun
On Fri, Jul 17, 2015 at 01:13:30AM +0200, Richard Braun wrote: > Those patches look good but since we don't have a good reproducer for > this particular problem, the only way to know is to get it running on > busy buildds. Actually, we do have a good reproducer. I inserted calls to force a contex

Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces

2015-07-17 Thread Justus Winter
Quoting Richard Braun (2015-07-17 10:59:22) > On Wed, Jul 15, 2015 at 03:24:30PM +0200, Justus Winter wrote: > > This fixes a corruption in the radix trees representing the IPC spaces > > when memory was tight. > > Would it be possible to use static analysis tools like coccinnelle to > make sure g

Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces

2015-07-17 Thread Richard Braun
On Wed, Jul 15, 2015 at 03:24:30PM +0200, Justus Winter wrote: > This fixes a corruption in the radix trees representing the IPC spaces > when memory was tight. Would it be possible to use static analysis tools like coccinnelle to make sure general locks are never acquired from simple lock based c