Je to dostatočné pre bezpečnosť vlákien, ak v triede sú dve polia s invariantom (jedno je prísne menšie ako druhé), každé chránené AtomicInteger?