Searched refs:seeder (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()398 private static final AtomicLong seeder field in ThreadLocalRandom410 seeder.set(s);