mutex for handling ConcurrentModificationException