diff options
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 |