diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2013-01-08 21:31:31 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2013-01-08 21:31:31 +0100 |
| commit | 51c95fc11727532e3b0d98c8470a6b60907a0680 (patch) | |
| tree | 6a8dd54654398bb2b05ce3f7cbcdc211d1dfbfb7 /open_issues/locking_issues.mdwn | |
| parent | 160d0597cb94d58f8ab273226b1f3830589a500b (diff) | |
| download | web-51c95fc11727532e3b0d98c8470a6b60907a0680.tar.gz web-51c95fc11727532e3b0d98c8470a6b60907a0680.tar.bz2 web-51c95fc11727532e3b0d98c8470a6b60907a0680.zip | |
IRC.
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! |