Re: PROBLEM: Concurrency issue in sem_lock

2015-10-09 Thread Manfred Spraul
Hi, On 10/09/2015 10:24 AM, Felix Hübner wrote: Hi all, I have just reported a concurrency issue in the implementation of sem_lock, see https://bugzilla.kernel.org/show_bug.cgi?id=105651 [...] # P0 does spin_lock(&sem->lock); in line 336. spin_lock(&sem->lock); [...] # P2 pe

PROBLEM: Concurrency issue in sem_lock

2015-10-09 Thread Felix Hübner
Hi all, I have just reported a concurrency issue in the implementation of sem_lock, see https://bugzilla.kernel.org/show_bug.cgi?id=105651 Please set me to CC for answers/comments. [1.] One line summary of the problem: Concurrency issue in sem_lock [2.] Full description of the problem/report

PROBLEM: Concurrency issue in sem_lock

2015-10-09 Thread Felix Hübner
Hi all, I have just reported a concurrency issue in the implementation of sem_lock, see https://bugzilla.kernel.org/show_bug.cgi?id=105651 Please set me to CC for answers/comments. [1.] One line summary of the problem: Concurrency issue in sem_lock [2.] Full description of the problem/report