Valhalla项目背景
最主要的一点就是,让Java适应现代硬件:在Java语言发布之初,一次内存访问和一次数字计算的消耗时间是差不多的,但是现在,一次内存访问耗时大概是一次数值计算的200~1000倍。从语言设计上来说,也就是间接访问带来的通过指针获取的需要操作的内存,对于整体性能影响很大。
Java是基于对象的语言,也就是说,Java是一种基于指针重间接引用的语言。这个基于指针的特性,给每个对象带来了唯一标识性。例如判断两个Object的==,其实判断的是两个对象的内存相对映射地址是否相同,尽管两个对象的field完全一样,他们的内存地址也不同。同时这个特性也给对象带来了多态性,易变性还有锁的特性。但是,并不是所有对象都需要这种特性。
由于指针与间接访问带来了性能瓶颈,Java准备对于不需要这种特性的对象移除这种特性。于是乎,Value type出现了。
Value Type
Value type用于表示纯数据集合。所有不需要的指针特性被移除。其实就是,Java的对象头被移除了。
来看一个例子:
final class Point {
final int x;
final int y;
}
这个在内存中的结构是:
对于Value type:
value class Point {
int x;
int y
}
这个在内存中的结构是:
我们再来对比下数组的存储:
对于CommonObj[],只有引用是连续存储的,实际的值:
对于Value types,数组存储可以扁平化,不用分散存储,采取真正的:
这样,JVM不用再跑到堆上分配内存来存储这种对象,而是可以直接在栈上面分配。这样,Value types的表现,就和Java的原始类型int等就很像了。与原始类型不同的是,Value types可以有方法和fileds。
同时我们还希望能让它作为接口泛型。我们希望能有更广泛的接口泛型,无论是对象,还是Value types,还是原始类型(刚才已经说明了,利用原始类型性能更好),而不是封装的原始类型。这就引出了,Valhalla的另一个重要更新(针对泛型):Specialized Generics
Specialized Generics
从字面上理解,其