程序员们经常会调侃说,现在找对象太难了,看我们代码里找对象多容易,想要的时候就new 一个。
玩笑归玩笑,实际对代码来说,对象不是你想 new 想new就能 new 的。像真实社会里会见见家长,了解家庭等等,在实际的代码运行中,一个也不少。一个对象 new 的过程,也是要经过层层「 考核」的。
今天一起看下, 代码里 new 一个对象,都有哪些过程。
在 Java 开发中,你能想到的对象创建过程,最直接体现的是代码里new MyObject()。
然而这只是「冰山一角」。
在虚拟机执行中,要在堆里给对象空间吧。比如最容易想到的,你需要的对象有点大,在new的时候,内存不够了。
又或者当前创建对象的 Class 继承或者组合了其它的类或接口,这些在类加载过程中没有找到,和现实中的家长不同意也差不多。
还有多线程环境下,对象可能过早的「逸出」,就像家长让对象去相亲一样,让其他线程可以修改对象的值,让你意想不到。
...
你以为只是轻松的 new 了一下, 但JVM 还真干了不少事儿吧~ JVM 默默承担了这一切,化难度、复杂于无形。
比如为了让你更快的有对象, JVM 会看情况能不能「快速分配」,符合条件甚至还有专有内存空间,保证不受其他线程的影响等等, 如果还是不行只能慢速了。
一个对象的创建基本流程如下:
总结起来似乎也只有两步:
但是分配就有不少的细节。为了能进一步提速分配,并不是所有的对象都在 Eden区来分内存的。
你想啊,整个堆都是线程共享的,如果大家都在这里分内存,就免不了加锁的操作。为此, JVM 又提供了一个加速选项。在 Eden 里给线程分配自己的私有分配区域,也就是传说中的「TLAB(Thread Local Allocation Buffers) 」。这样每个线程分配的时候,因为是线程私有,就不再需要加锁,可以快速搞定。分配失败就会再尝试加锁在 Eden 中进行空间分配。
有没有感觉 TLAB的分配和动物占领领地类似,把某块区域拉上便便或者撒上尿,以此提醒其他的动物,这个地方被占领了。 :-)
生活中的例子,有点类似计次的VIP通道。比如你在某个理发馆充值办了VIP,够10次剪发。那这10次之内去的时候,都不需要和其他人一起排队等,直接分配固定的师傅。那如果还有一次的时候,你是去烫头,原有的VIP不够用了,就需要在「烫头」的资源里去排队。
在「虚拟机设计与实现」一书中,对于线程局部分配是这样描述的:
毕竟分配这个块也还是需要原子操作的。如果太小,就需要频繁的去请求块的分配,从而让线程局部块的优势打了折扣。
但块也不能太大,否则如果应用程序中有很多线程,有些线程可能并不活跃分配对象,就会浪费其中只有少数几个对象的块空间。
TLAB的大小 在 HotSpot 中默认是自动调整的,根据线程数以及每次创建对象的大小等一系列来自动评估。
所以,在进行TLAB分配的时候会判断现有的余量是否够分配对象。如果够还好,直接分配,如果不够的话,看余下有多少,如果余下的大于允许浪费的量,则会直接在Eden上分配,不走TLAB,否则的话,再申请一块TLAB,继续分配。
对象大小怎么计算呢? 之前有一篇文章《 怎样计算一个 Java 对象大小?这儿有几种方法~ 》
这种TLAB的分配形式,也被称为「跳增指针分配」,也就是说分配一个对象的时候,只需要在空闲空间中移动指针,跳增对象大小。
如果TLAB分配失败就只能在 Eden中不停的重试去分配空间。
分配空间之后, 虚拟机会根据配置,确定是否要对实例数据进行填0操作。这样后面 Java 代码里可以不初始赋值就能直接使用了。
慢速分配则需要在分配实例前,对类进行解析,确保类和依赖的类已经都进行了解析和初始化。
怎么样? 代码里找个对象也不是那么容易吧 :-)
【本文为51CTO专栏作者“侯树成”的原创稿件,转载请通过作者微信公众号『Tomcat那些事儿』获取授权】
戳这里,看该作者更多好文