# | Line 136 | Line 136 | class Random implements java.io.Serializ | |
---|---|---|
136 | do { | |
137 | oldseed = seed.get(); | |
138 | nextseed = (oldseed * multiplier + addend) & mask; | |
139 | < | } while (!seed.compareAndSet(oldseed, nextseed)); |
139 | > | } while (!seed.weakCompareAndSet(oldseed, nextseed)); |
140 | return (int)(nextseed >>> (48 - bits)); | |
141 | } | |
142 |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |