From 2aba433ec39a3b51e45d4d0262218654e090b65c Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Tue, 14 May 2013 23:13:04 +0200 Subject: contributing/web_pages/news/qoth_next: Cyril Roelandt's Coccinelle patches. --- contributing/web_pages/news/qoth_next.mdwn | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'contributing/web_pages') diff --git a/contributing/web_pages/news/qoth_next.mdwn b/contributing/web_pages/news/qoth_next.mdwn index 241e0110..0e33ed82 100644 --- a/contributing/web_pages/news/qoth_next.mdwn +++ b/contributing/web_pages/news/qoth_next.mdwn @@ -37,10 +37,12 @@ completion by Richard Braun, who could not be scared by having to resolve the last remaining tricky issues before the transition could be completed. Cyril Roelandt shared a [patch -series](http://lists.gnu.org/archive/html/bug-hurd/2012-12/msg00018.html) to -fix double mutex unlocking with pthreads. We will likely see more fixes like -these, given that the whole threading interface changed, which will expose -previously invisible bugs. +series](http://lists.gnu.org/archive/html/bug-hurd/2012-12/threads.html#00018) +to fix double mutex unlocking problems. He found these using a simple script +for [Coccinelle](http://coccinelle.lip6.fr/), which is a [[static code analysis +tool|open_issues/code_analysis]]. We hope to see more such changes in the +future, and we're always interested in hearing people who have experience with +similar tools, for example to resolve other [[open_issues/locking_issues]]. Thomas Schwinge together with Richard Braun and Samuel Thibault [debugged and fixed](http://lists.gnu.org/archive/html/bug-hurd/2012-12/msg00044.html) a -- cgit v1.2.3