Ah, OK. In that case, I would add documentation that explains that the synchronization is an optimization and is not necessary for correctness.