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

[Caitlin Sadowski]

Jordy/Rui,

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).

Cheers,

Caitlin

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
>
>