Java 16 中对于 Project Valhalla 的铺垫

Java目前仅有类对象,Project Valhalla提出值类型以减少对象开销。Java 16开始,对Value-based Classes进行警告提示,如Integer的equals和synchronized。JEP 390警告使用如Atomic类和原始类型封装类的identity敏感操作,以适应未来值类型的变化。不可变类如Optional和时间封装类也可能转换为值类型。Record的误解揭示了对Project Valhalla概念理解的混淆。
摘要由CSDN通过智能技术生成

Java 中目前只有类对象,没有值类型的对象。普通的类对象有对象头,因此这种对象可以用来做同步锁,可以使用它的 wait() notify() 等方法实现阻塞同步,同时这些对象需要在堆上面分配,通过 JVM GC 进行内存回收。并且这种对象的数组,只有数组本身是内存连续的,上面引用的对象并不是:

image

Project Valhalla 提出并设计实现了 Java 的值类型,去掉了对象头,只存储它其中的值。这样减少了这种对象占用的空间,但是也让这种对象无法使用对象的 sychronization 同步,同时也失去了 对于wait() notify()这些方法的支持。同时这种对象期望是可以直接在栈上直接分配的,不用像普通对象一样需要在堆上分配,和原始类型例如 int 一样。同时这种对象的数组,期望在内存中数组的每个对象内存都是连续的:

image

这样也节省了指针的存储空间

但是这些目前还是在设计实现中,并不是最终的实现模型,但是可以看出其中的趋势。

为了能使 Project Valhalla 最终落地实现,我们先要对 JDK 的一些元素做兼容。

JDK 中的哪些类和值类型相关

首先,最先想到的就是 Java 的原始类型对应的封装类型,例如 java.lang.Integer。原始类型是可以也是需要改造成 Java 值类型的,但是需要避免项目中使用了 Integer 对象的 wait() notify()notifyAll() 方法,或者将这个作为 synchronization 的对象。

然后想到的就是原子类,例如 java.util.concurrent.atomic.AtomicInteger。其实在 Java 9 之后的 JMM 模型中实现了更细粒度的访问控制,例如:

private int locked = 0;
private static final VarHandle LOCKED;
//操作 locked 的句柄
static {
	try {
		//初始化
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值