diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-05-14 23:13:04 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-05-14 23:13:04 +0200 |
| commit | 2aba433ec39a3b51e45d4d0262218654e090b65c (patch) | |
| tree | 9cd8de4d65054f48cb295efbb7a8017d65962c7e /contributing/web_pages | |
| parent | a0c1faeb3ab09f29626841af0860ed8ec0b77ee3 (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.mdwn | 10 |
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 |