Je to dostačující pro bezpečnost vláken, pokud ve třídě jsou dvě pole s invariantem (jedno přísně menší než druhé), každé chráněné AtomicInteger?