¿Es suficiente esto para la seguridad en hilos si en la clase hay dos campos con un invariantes (uno estrictamente menor que el otro), cada uno protegido por AtomicInteger?