创建对象必然要在虚拟机中分配内存,虚拟机提供了两种策略:指针碰撞和空闲列表
指针碰撞法
很容易理解,在内存中,一遍是已经被分配的空间,一遍的未分配的空间,如果新建了8字节对象,那么指针就往未分配空间移动8字节,所以使用这种方式的关键是保证分配的对象地址连续,取决与垃圾清楚算法;
空闲列表法
既然上面的方法要地址连续,那么地址不连续怎么办呢?
这种情况下使用空闲列表法,记录所有地址,新建对象就从没有使用的地址段中选,并且也是随机的,不知道选用的是哪个段;
那么还有一个很严重的问题,创建对象很可能是在多线程环境下操作,那么要怎么保证线程安全呢?
其实学习过多线程,保证线程安全可以分为3种思想:悲观锁、乐观锁、隔离;
悲观锁
比如synchronized,ReentrantLock等,但是在虚拟机中没有使用这种方式
乐观锁
cas :比较交换算法,旧的内存值,副本值,新值,如果旧的内存值和副本值相同,那么我们就认为这次更新是有效的,那么更新就成功了,否则失败重试!
隔离
tlab区域,我们知道,这是一个空间比较小的区域,并且不是共享的,那么每个线程在操作私有的属性的时候,那么当然就不存在线程安全问题了, 还有一个就是方法中的局部变量,也是安全的, 我认为这两种都是隔离