[Bug 865968] New: pthread_mutex_trylock violates POSIX semantics on systems with lock elision
https://bugzilla.novell.com/show_bug.cgi?id=865968 https://bugzilla.novell.com/show_bug.cgi?id=865968#c0 Summary: pthread_mutex_trylock violates POSIX semantics on systems with lock elision Classification: openSUSE Product: openSUSE 13.1 Version: Final Platform: x86-64 OS/Version: openSUSE 13.1 Status: NEW Severity: Critical Priority: P5 - None Component: Basesystem AssignedTo: bnc-team-screening@forge.provo.novell.com ReportedBy: jmattson@vmware.com QAContact: qa-bugs@suse.de Found By: --- Blocker: --- User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:20.0) Gecko/20100101 Firefox/20.0 On Intel Haswell systems, pthread_mutex_trylock violates POSIX semantics. It fails to return EBUSY when the mutex is in the locked state. This breaks existing software that expects POSIX semantics and links dynamically with libc on openSUSE 13.1. Reproducible: Always Steps to Reproduce: 1. Put a mutex into the locked state with pthread_mutex_lock. 2. Query the state of the mutex with pthread_mutex_trylock. Actual Results: pthread_mutex_trylock returns 0. Expected Results: pthread_mutex_trylock should return EBUSY. See https://www.sourceware.org/ml/libc-alpha/2012-12/msg00398.html. Andi Kleen writes:
I would claim to be at least covered by the rationale, but ok. Too bad it's a shall.
Can you point me to any real software impacted by this?
VMware Workstation and Player are real software packages that are impacted by this decision. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c1
Christian Prause
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c2
--- Comment #2 from Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c
Marcus Meissner
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c3
Andreas Schwab
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c4
--- Comment #4 from Michael Matz
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c18
--- Comment #18 from Michael Matz
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c19
Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c20
--- Comment #20 from Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c21
--- Comment #21 from Andreas Schwab
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c22
Andreas Schwab
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c23
Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c24
Andreas Schwab
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c25
Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c
Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c26
Andreas Schwab
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c27
--- Comment #27 from Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c28
--- Comment #28 from Andreas Schwab
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c29
--- Comment #29 from Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c30
Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c31
--- Comment #31 from Jim Mattson
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c32
--- Comment #32 from Pieter Hollants
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c33
--- Comment #33 from Pieter Hollants
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c34
--- Comment #34 from Pieter Hollants
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c35
--- Comment #35 from Andreas Schwab
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c36
--- Comment #36 from Bernhard Wiedemann
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c39
--- Comment #39 from Bernhard Wiedemann
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c41
--- Comment #41 from Christian Prause
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c42
--- Comment #42 from Bernhard Wiedemann
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c43
--- Comment #43 from Benjamin Brunner
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c44
Benjamin Brunner
https://bugzilla.novell.com/show_bug.cgi?id=865968
https://bugzilla.novell.com/show_bug.cgi?id=865968#c45
--- Comment #45 from Swamp Workflow Management
participants (1)
-
bugzilla_noreply@novell.com