diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-01-08 21:34:29 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-01-08 21:43:11 +0100 |
| commit | cd42b6144bf707fa38555bc06e267bb16db011f5 (patch) | |
| tree | ddebd4ae1c845bd062261b4335a9ab7a969a3c89 /open_issues/locking_issues.mdwn | |
| parent | a91114fc89dd554494801349e57bd5d29454a8b1 (diff) | |
| parent | e66cb01b99b60f9483de2425bca3bb104bcc9ae8 (diff) | |
| download | web-cd42b6144bf707fa38555bc06e267bb16db011f5.tar.gz web-cd42b6144bf707fa38555bc06e267bb16db011f5.tar.bz2 web-cd42b6144bf707fa38555bc06e267bb16db011f5.zip | |
Merge remote-tracking branch 'fp/master'
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! |