【Java】随机数原理 Random ThreadLocalRandom

2024-05-24 20:48

本文主要是介绍【Java】随机数原理 Random ThreadLocalRandom,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

大致生成原理:随机数由seed经过一定的转换生成。需要提供初始seed。每一次生成随机数时,先由老seed生成新seed,再根据新seed生成新的随机数。由于算法是固定的,所以如果初始seed一样,那么生成的随机数序列就是一样的,这就是为什么Java的随机数要被叫做“伪随机数”。数学逻辑这里不展开。
主要实现类有两个Random以及ThreadLocalRandom。这两个都是线程安全的,区别在于解决并发生成新seed的方式不一样。Random是通过cas+自旋的方式,所以高并发场景下会有竞争,可能造成性能瓶颈。ThreadLocalRandom从名字就可以看出,使用了ThreadLocal的思想,每一个线程都有自己的seed,所以不存在竞争,在多线程场景下性能更好.下面看下具体实现:

Random:
首先看下Random的无参构造函数,提供了初始seed的生成逻辑:

private static final AtomicLong seedUniquifier = new AtomicLong(8682522807148012L);
public Random() {this(seedUniquifier() ^ System.nanoTime());
}private static long seedUniquifier() {long current;long next;do {current = seedUniquifier.get();next = current * 1181783497276652981L;} while(!seedUniquifier.compareAndSet(current, next));return next;
}public Random(long seed) {this.haveNextNextGaussian = false;if (this.getClass() == Random.class) {this.seed = new AtomicLong(initialScramble(seed));} else {this.seed = new AtomicLong();this.setSeed(seed);}}

可以看到是通过seedUniquifier和System.nanoTime两个函数做位运算生成的。seedUniquifier这个函数应该是为了生成初始化的seed,该函数使用cas的方式生成一个quilifer。不同的Random实例都有不同的quilifer,quilifer是通过cas变换一个static的变量生成的。之后再调用一个有参的构造函数设置初始seed。
接下来看下nextInt函数:

private final AtomicLong seed;
protected int next(int bits) {AtomicLong seed = this.seed;long oldseed;long nextseed;do {oldseed = seed.get();nextseed = oldseed * 25214903917L + 11L & 281474976710655L;} while(!seed.compareAndSet(oldseed, nextseed));return (int)(nextseed >>> 48 - bits);
}

可以看到,这里是通过cas方式将老的seed生成一个新的seed,由于seed本身是一个成员变量,如果多线程并发生成,这里就会有竞争。生成好新的seed后,再通过位运算生成新的随机值。其他函数类似。

ThreadLocalRandom:
ThreadLocalRandom的构造函数是private的:

static final ThreadLocalRandom instance;
private ThreadLocalRandom() {
}

所以初始seed不能设置,由ThreadLocalRandom类提供。并且,ThreadLocalRandom类是单例模式。在调用其current方法时构造单例,这里首先通过PROBE变量看是否已经为当前thread初始化seed了,如果没有就走localInit逻辑:

static final void localInit() {int p = probeGenerator.addAndGet(-1640531527);int probe = p == 0 ? 1 : p;long seed = mix64(seeder.getAndAdd(-4942790177534073029L));Thread t = Thread.currentThread();U.putLong(t, SEED, seed);U.putInt(t, PROBE, probe);
}public static ThreadLocalRandom current() {if (U.getInt(Thread.currentThread(), PROBE) == 0) {localInit();}return instance;
}

localInit方法会调用mix64方法生成初始seed,然后将seed放入thread实例的变量里,同时设置probe标记位。所以每一个thread都有自己的seed。这里的seed和probe是通过unsafe包里的方法直接设置的:

private static final Unsafe U;
private static final long SEED;
private static final long PROBE;U = Unsafe.getUnsafe();
SEED = U.objectFieldOffset(Thread.class, "threadLocalRandomSeed");
PROBE = U.objectFieldOffset(Thread.class, "threadLocalRandomProbe");

在ThreadLocalRandom类里通过unsafe的方法获得了这两个实例变量的迁移量,这样就可以直接通过偏移量设置变量的值了。为什么是这种方式?还有待探究。

另外,Thread类里其实有这两个实例变量:

public class Thread implements Runnable {@Contended("tlr")long threadLocalRandomSeed;@Contended("tlr")int threadLocalRandomProbe;@Contended("tlr")int threadLocalRandomSecondarySeed;
}

再看下,生成int随机数的逻辑:

public int nextInt() {return mix32(this.nextSeed());
}private static int mix32(long z) {z = (z ^ z >>> 33) * -49064778989728563L;return (int)((z ^ z >>> 33) * -4265267296055464877L >>> 32);
}
final long nextSeed() {Thread t;long r;U.putLong(t = Thread.currentThread(), SEED, r = U.getLong(t, SEED) + -7046029254386353131L);return r;
}

先调用了nextSeed方法生成新seed,由于seed是线程独有的,不需要再像Random那样cas了,直接计算并设置新的seed即可。新的seed是在老的seed的基础上加了一个偏移。然后随机数根据新的seed并调用mix32方法生成新随机数。
 

这篇关于【Java】随机数原理 Random ThreadLocalRandom的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/999490

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

Spring Security--Architecture Overview

1 核心组件 这一节主要介绍一些在Spring Security中常见且核心的Java类,它们之间的依赖,构建起了整个框架。想要理解整个架构,最起码得对这些类眼熟。 1.1 SecurityContextHolder SecurityContextHolder用于存储安全上下文(security context)的信息。当前操作的用户是谁,该用户是否已经被认证,他拥有哪些角色权限…这些都被保

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟 开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚 第一站:海量资源,应有尽有 走进“智听