[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces
|
From: |
Richard Braun |
|
Subject: |
Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces |
|
Date: |
Fri, 17 Jul 2015 10:59:22 +0200 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
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
critical sections ?
--
Richard Braun
- Re: new hurd & gnumach packages, (continued)
- Re: new hurd & gnumach packages, Samuel Thibault, 2015/07/06
- Re: new hurd & gnumach packages, Samuel Thibault, 2015/07/06
- Re: new hurd & gnumach packages, Richard Braun, 2015/07/07
- Re: new hurd & gnumach packages, Samuel Thibault, 2015/07/07
- Re: new hurd & gnumach packages, Richard Braun, 2015/07/07
- Re: new hurd & gnumach packages, Richard Braun, 2015/07/15
- [PATCH gnumach 1/2] ipc: fix the locking of the IPC entry allocation functions, Justus Winter, 2015/07/15
- [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces, Justus Winter, 2015/07/15
- Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces, Richard Braun, 2015/07/16
- Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces, Richard Braun, 2015/07/17
- Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces,
Richard Braun <=
- Re: [PATCH gnumach 2/2] ipc: use a general lock to protect IPC spaces, Justus Winter, 2015/07/17
- Re: new hurd & gnumach packages, Samuel Thibault, 2015/07/07
- Re: new hurd & gnumach packages, Richard Braun, 2015/07/08
- Re: new hurd & gnumach packages, Samuel Thibault, 2015/07/08