diff options
Diffstat (limited to 'open_issues/locking_issues.mdwn')
| -rw-r--r-- | open_issues/locking_issues.mdwn | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/open_issues/locking_issues.mdwn b/open_issues/locking_issues.mdwn index e15562bc..8008e5a1 100644 --- a/open_issues/locking_issues.mdwn +++ b/open_issues/locking_issues.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2011, 2012 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 @@ -32,3 +32,16 @@ the behavior of the locking logic. There are tools for formal 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 + + <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 + <youpi> 0b6286a3c5eb86e3cca72d0840fc009855e4fba5 for instance + <youpi> or a60414ee7fdabb2bdfb17fe82b9a09f811bd2de0 + <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! |