search

hengxin / ConsistencyChecking

PRAM consistency checking in the context of distributed shared memory systems
MIT License
4 stars 2 forks source link

ReadIncChecker Class: readFromDW method (remove writes) #3

Open hengxin opened 11 years ago

hengxin commented 11 years ago

Problem: You cannot remove elements from ArrayList in Java foreach construct. apply_wprimew_order may remove element from ActiveWrites(var)

Solution: use the ArrayList returned from GlobalActiveWritesMap#getActiveWritesPool() in foreach construct

Possible improvement: avoiding copying