[concurrency-interest] Concurrency and security

[Kai Meder]

On 20.05.2010 07:47, Yao Qi wrote:
>> Oops! Indeed. Even with sync the API is fatally flawed.
>>
>> I don't know if the tools will be able to detect the inherent check-then-act
>> sequence.
> 
> David, this kind of error is regarded as "atomic violation".  I don't
> know either if tools can detect such errors *accurately* and
> *efficiently*, even there are a lot of papers on this topic.

May anyone post a simple yet non-flawed API avoiding check-then-act?

Thanks, Kai