This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
[PATCH][BZ #20973] Robust mutexes: Fix lost wake-up.
- From: Torvald Riegel <triegel at redhat dot com>
- To: GLIBC Devel <libc-alpha at sourceware dot org>
- Cc: vl at samba dot org, Michael Adam <madam at redhat dot com>, Rich Felker <dalias at libc dot org>
- Date: Thu, 15 Dec 2016 23:27:05 +0100
- Subject: [PATCH][BZ #20973] Robust mutexes: Fix lost wake-up.
- Authentication-results: sourceware.org; auth=none
See patch for a description.
Tested on x86_64-linux with our tests and the test case from the
original bug report: https://bugzilla.redhat.com/show_bug.cgi?id=1401665
OK?
I'm sending this minimal patch first to have something that's easy to
backport. I'll send further such patches for any other bugs I can find
for which a simple backport is possible. I then plan to follow this up
with a general clean-up of robust mutexes including proper documentation
of the concurrent code.
There's another bug that's probably just a glibc problem, one that is a
glibc problem but seems to happen to work currently (at least on
x86_64), one bug that is just in kernel code, and there's also a general
design flaw in the glibc/kernel synchronization algorithm that prevents
us from guaranteeing the mutex destruction requirements. I'll work on
the latter two subsequently and crosspost to LKML.