[concurrency-interest] Concurrency and security
stuff at kai.meder.info
Thu May 20 06:19:16 EDT 2010
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
> 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?
More information about the Concurrency-interest