jvm对象的完整创建过程

第一次使用 1.进行判断 java在new一个对象的时候,会先查看对象所属的类有没有被加载到内存,如果没有的话,就会先通过类的全限定名来加载。加载并初始化类完成后,再进行对象的创建工作。

分为加载并初始化类和创建对象

2.加载并初始化类

java是使用双亲委派模型来进行类的加载的,所以在描述类加载过程前,我们先看一下它的工作过程: 双亲委托模型的工作过程是:如果一个类加载器(ClassLoader)收到了类加载的请求,它首先不会自己去尝试加载这个类,而是把这个请求委托给父类加载器去完成,每一个层次的类加载器都是如此,因此所有的加载请求最终都应该传送到顶层的启动类加载器中,只有当父类加载器反馈自己无法完成这个加载请求(它的搜索范围中没有找到所需要加载的类)时,子加载器才会尝试自己去加载。 使用双亲委托机制的好处是:能够有效确保一个类的全局唯一性,当程序中出现多个限定名相同的类时,类加载器在执行加载时,始终只会加载其中的某一个类,并且不会重写String这种基层类。 1. 加载 由类加载器负责根据一个类的全限定名来读取此类的二进制字节流到JVM内部,并存储在运行时内存区的方法区,然后将其转换为一个与目标类型对应的java.lang.Class对象实例 2. 验证

格式验证:验证是否符合class文件规范 语义验证:检查一个被标记为final的类型是否包含子类;检查一个类中的final方法是否被子类进行重写;确保父类和子类之间没有不兼容的一些方法声明(比如方法签名相同,但方法的返回值不同) 操作验证:在操作数栈中的数据必须进行正确的操作,对常量池中的各种符号引用执行验证(通常在解析阶段执行,检查是否可以通过符号引用中描述的全限定名定位到指定类型上,以及类成员信息的访问修饰符是否允许访问等) 3. 准备 为类中的所有静态变量分配内存空间,并为其设置一个初始值(由于还没有产生对象,实例变量不在此操作范围内) 被final修饰的static变量(常量),会直接赋值; 4. 解析 **将常量池中的符号引用转为直接引用(**得到类或者字段、方法在内存中的指针或者偏移量,以便直接调用该方法),这个可以在初始化之后再执行。 解析需要静态绑定的内容。 // 所有不会被重写的方法和域都会被静态绑定 5. 初始化(先父后子)

为静态变量赋值
执行static代码块 注意:static代码块只有jvm能够调用    **如果是多线程需要同时初始化一个类,仅仅只能允许其中一个线程对其执行初始化操作,**其余线程必须等待,只有在活动线程执行完对类的初始化操作之后,才会通知正在等待的其他线程。
因为子类存在对父类的依赖,所以类的加载顺序是先加载父类后加载子类,初始化也一样。不过,父类初始化时,子类静态变量的值也有有的,是默认值。 最终,方法区会存储当前类类信息,包括类的静态变量、类初始化代码(定义静态变量时的赋值语句 和 静态初始化代码块)、实例变量定义、实例初始化代码(定义实例变量时的赋值语句实例代码块和构造方法)和实例方法,还有父类的类信息引用。

3.创建对象

1.在堆区分配对象需要的内存   分配的内存包括本类和父类的所有实例变量,但不包括任何静态变量
2.对所有实例变量赋默认值   将方法区内对实例变量的定义拷贝一份到堆区,然后赋默认值
3.执行实例初始化代码   1.初始化顺序是先初始化父类再初始化子类,2.初始化时先执行实例代码块然后是构造方法
4.如果有类似于Child c = new Child()形式的c引用的话,在栈区定义Child类型引用变量c,然后将堆区对象的地址赋值给它
注意,dcl单例就是要volital,防止2,3步指令重排,DCL,DoubleCheckLock双重检查

### JVM对象创建过程中的栈上分配优化 #### 栈上分配的概念与意义 通常情况下,在JVM中,当通过`new`关键字或其他方式创建对象时,默认会在堆内存中分配空间。然而,为了提高性能并减少垃圾回收的压力,某些场景下可以将原本应该在堆上的对象分配到栈上来完成。这种方式被称为“栈上分配”,也称为“逃逸分析”。 #### 逃逸分析原理 逃逸分析是一种编译期优化技术,用于判断新创建对象是否会逃逸出方法的作用域之外[^1]。如果一个对象仅被局部使用,并且不会传递给其他线程或存储于任何可在线程间共享的数据结构内,则该对象被认为是未发生逃逸。 对于那些经过逃逸分析确认为不会逃逸的对象实例,JVM可以选择将其直接放在调用者的栈帧(Stack Frame)里而不是堆区。这样做不仅能够加快对象创建速度,还能让这些临时性的短生命周期对象随着函数返回自动消失,从而减轻GC负担。 #### 实现条件和技术细节 要实现有效的栈上分配,需满足以下几个前提: - **单线程环境下的局部变量**:只有当对象完全属于某个特定的方法内部,并且只在这个范围内使用的条件下才适合做这样的转换。 - **无跨方法引用**:确保此对象没有任何形式的机会逃离当前作用范围外;比如作为参数传入另一个方法、存放到静态字段或者同步监视器等位置都会破坏这一特性[^3]。 - **支持即时编译(JIT)**:由于这种类型的优化往往是在运行时刻动态发生的,因此依赖于高效的Just-In-Time Compiler的支持来识别和处理潜在的目标代码片段[^5]。 ```java public class StackAllocatedObject { private final int value; public StackAllocatedObject(int v){ this.value = v; } @Override protected void finalize() throws Throwable { // 不会被实际调用因为对象不再存在于堆上了 System.out.println("This should never be printed"); } } ``` 在此示例中,假设`StackAllocatedObject`类的对象从未离开过它所在的那个方法体内,那么理论上它可以成为候选者来进行栈上分配优化。不过需要注意的是,具体的实施情况取决于具体版本的HotSpot VM以及其他因素的影响。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值