ConcurrentCache atomicity violation

2010-06-16 Thread Ohad Shacham
Hi, We are writing a tool to detect atomicity violations in usage of ConcurrentHashMap. We have run the tool that reported an atomicity violation in functions get and put of class ConcurrentCache. The following code shows the put function of the ConcurrentCache: public void put(K k, V

ConcurrentCache atomicity violation

2010-06-15 Thread Ohad Shacham
Hi, We are writing a tool to detect atomicity violations in usage of ConcurrentHashMap. We have run the tool that reported an atomicity violation in functions get and put of class ConcurrentCache. The following code shows the put function of the ConcurrentCache: public void put(K k, V