summaryrefslogtreecommitdiff
path: root/contributing/web_pages
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2013-05-14 23:13:04 +0200
committerThomas Schwinge <thomas@codesourcery.com>2013-05-14 23:13:04 +0200
commit2aba433ec39a3b51e45d4d0262218654e090b65c (patch)
tree9cd8de4d65054f48cb295efbb7a8017d65962c7e /contributing/web_pages
parenta0c1faeb3ab09f29626841af0860ed8ec0b77ee3 (diff)
contributing/web_pages/news/qoth_next: Cyril Roelandt's Coccinelle patches.
Diffstat (limited to 'contributing/web_pages')
-rw-r--r--contributing/web_pages/news/qoth_next.mdwn10
1 files changed, 6 insertions, 4 deletions
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