Java 中目前只有类对象,没有值类型的对象。普通的类对象有对象头,因此这种对象可以用来做同步锁,可以使用它的 wait()
notify()
等方法实现阻塞同步,同时这些对象需要在堆上面分配,通过 JVM GC 进行内存回收。并且这种对象的数组,只有数组本身是内存连续的,上面引用的对象并不是:
Project Valhalla 提出并设计实现了 Java 的值类型,去掉了对象头,只存储它其中的值。这样减少了这种对象占用的空间,但是也让这种对象无法使用对象的 sychronization 同步,同时也失去了 对于wait()
notify()
这些方法的支持。同时这种对象期望是可以直接在栈上直接分配的,不用像普通对象一样需要在堆上分配,和原始类型例如 int 一样。同时这种对象的数组,期望在内存中数组的每个对象内存都是连续的:
这样也节省了指针的存储空间。
但是这些目前还是在设计实现中,并不是最终的实现模型,但是可以看出其中的趋势。
为了能使 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 {
//初始化