Searched refs:SEEDER_INCREMENT (Results 1 – 1 of 1) sorted by relevance
172 long seed = RandomSupport.mixMurmur64(seeder.getAndAdd(SEEDER_INCREMENT)); in localInit()289 else if ((r = mix32(seeder.getAndAdd(SEEDER_INCREMENT))) == 0) in nextSecondarySeed()367 private static final long SEEDER_INCREMENT = 0xbb67ae8584caa73bL; field in ThreadLocalRandom