I am sorry, I did not participate to the implementation of kqueue
support and I am not able to comment. Luigi and Adrian should know, however.
Cheers,
Giuseppe
Il 15/02/2016 22:44, Slawa Olhovchenkov ha scritto:
On Mon, Feb 15, 2016 at 05:02:36PM +0100, Giuseppe Lettieri wrote:
Il 15/02
Il 15/02/2016 16:13, Slawa Olhovchenkov ha scritto:
On Mon, Feb 15, 2016 at 04:10:30PM +0100, Giuseppe Lettieri wrote:
Hi Slawa,
I think WITNESS is seeing a false positive, since those two are always
different mutexes.
The actual deadlock you experience should be caused by something else. I
Slawa Olhovchenkov ha scritto:
On Thu, Feb 11, 2016 at 10:11:59AM +0100, Giuseppe Lettieri wrote:
Il 10/02/2016 14:53, Slawa Olhovchenkov ha scritto:
On Wed, Feb 10, 2016 at 02:33:20PM +0100, Giuseppe Lettieri wrote:
Il 10/02/2016 12:59, Slawa Olhovchenkov ha scritto:
Can you look also on s
Il 10/02/2016 14:53, Slawa Olhovchenkov ha scritto:
On Wed, Feb 10, 2016 at 02:33:20PM +0100, Giuseppe Lettieri wrote:
Il 10/02/2016 12:59, Slawa Olhovchenkov ha scritto:
Can you look also on second issue?
PS: What need from me? May be open PR?
May you provide some example code that
Il 10/02/2016 12:59, Slawa Olhovchenkov ha scritto:
Can you look also on second issue?
PS: What need from me? May be open PR?
May you provide some example code that triggers the issue?
Cheers,
Giuseppe
--
Dr. Ing. Giuseppe Lettieri
Dipartimento di Ingegneria della Informazione
Universita
ps track of (some?) lock instances,
or just lock types.
Cheers,
Giuseppe
Il 09/02/2016 13:31, Luigi Rizzo ha scritto:
I am Cc-ing Giuseppe Lettieri who has looked at the problem and may
have some comments to share
cheers
luigi
On Mon, Feb 8, 2016 at 9:39 AM, Slawa Olhovchenkov wrote:
On Thu
