[cfe-dev] Proposal for thread safety attributes for Clang

Caitlin Sadowski supertri at google.com
Fri Jul 15 16:01:21 PDT 2011


Ah, interesting!

Of course, the two are somewhat orthogonal since the thread safety
attribute proposal is annotation-based (and hence are able to deal
with a larger set of issues).



On Thu, Jul 14, 2011 at 4:58 PM, Jordy Rose <jediknil at belkadan.com> wrote:
> It's worth noting that Rui Paulo was also working on at least a simple form of lock analysis for the static analyzer. Unfortunately my mail filters seemed to have thrown away some replies to my messages, so I only just responded to his latest patch. The subject line (on cfe-commits) is "PthreadLock Checker enhancements".
> Jordy
> On Jul 14, 2011, at 15:46, Chandler Carruth wrote:
>> To clarify one particular (but hopefully small) point...
>> On Thu, Jul 14, 2011 at 3:09 PM, Caitlin Sadowski <supertri at google.com> wrote:
>>> However, our core synchronization libraries have
>>> been successfully annotated, and it looks like less than 15% of
>>> annotated code is impacted by these limitations.
>> The limitations should take the form of "we can't provide warnings for improper locking", not false positives.
>> My hope is that work on more advanced and thorough checking of these locking behaviors can be implemented in the static analyzer, based on the core attributes, but using more expensive analysis techniques and showing possible errors as well as definite errors.
>> _______________________________________________
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

More information about the cfe-dev mailing list