diff options
| -rw-r--r-- | contributing/web_pages/news/qoth_next.mdwn | 10 | ||||
| -rw-r--r-- | open_issues/code_analysis.mdwn | 4 | ||||
| -rw-r--r-- | open_issues/locking_issues.mdwn | 9 |
3 files changed, 15 insertions, 8 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 diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index 5219b015..bdd2ae18 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -57,6 +57,10 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. * <http://www.google.com/search?q=coccinelle+analysis> + Has already been used for finding and fixing [[!message-id desc="double + mutex unlocking issues" + "1355701890-29227-1-git-send-email-tipecaml@gmail.com"]]. + * [clang](http://www.google.com/search?q=clang+analysis) * [Linux' sparse](https://sparse.wiki.kernel.org/) diff --git a/open_issues/locking_issues.mdwn b/open_issues/locking_issues.mdwn index 8008e5a1..7086107b 100644 --- a/open_issues/locking_issues.mdwn +++ b/open_issues/locking_issues.mdwn @@ -1,4 +1,5 @@ -[[!meta copyright="Copyright © 2011, 2012 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2011, 2012, 2013 Free Software Foundation, +Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -34,7 +35,7 @@ verification/[[code_analysis]] that can likely help here. There is a [[!FF_project 278]][[!tag bounty]] on this task. -# IRC, fOFTC, #debian-hurd, 2012-12-15 +# IRC, OFTC, #debian-hurd, 2012-12-15 <Steap> youpi: can you think of a locking error recently fixed in the translators ? I'd like to try a Coccinelle script on a real-world example @@ -43,5 +44,5 @@ There is a [[!FF_project 278]][[!tag bounty]] on this task. <youpi> or b8082aab5049f753abd720a5ef6a113e2acef911 <Steap> thx, I think I might have caught a few double unlocks, I'll send patches/bug reports this week-end - <youpi> oh, good :) - <tschwinge> Steap: Great -- looking forward to that! + +[[!message-id "1355701890-29227-1-git-send-email-tipecaml@gmail.com"]]. |