Klass与Oop

前段时间,一直在看《Hotspot实战》,顺便编译了一份OpenJDK的源码,然后就在eclipse里面调试起来。

虽然我的入门语言是c/c++,但是被Java拉过来好几年了,现在再看源码,熟悉又陌生,好在慢慢找到了感觉。

这是分析Hotspot源码的第一篇,讲一下Klass和Oop这两种数据结构。

系统的介绍和讲解,可以查看https://yq.aliyun.com/articles/20279和http://www.jianshu.com/p/252e27863822这两篇文章。确实写的比较好,深入而且透彻。另外可以再看看《Hotspot实战》的第3章。

我这里主要看看Klass和Oop的内存布局。

当时看这张图的时候,有一个巨大的疑问,instanceKlass的数据结构与图不符,没有对象头(Mark和Klass这两个属性)。

真是百思不得其解。

于是,继续看源码。

1)对象头里的Klass这个属性,是一个klassOopDesc类型的指针,并不是一个指向Klass类的指针。why???

看了之前的第一篇文章,豁然开朗。在JDK8之前,方法区内的描述类型的元数据对象,也是由GC管理的。所有由GC统一管理的对象,都要继承自oopDesc,所以才会诞生klassOopDesc这个类型。从JDK8开始,类型元数据都移出了GC堆,所以Klass这个属性可以直接指向Klass类了。

2)klassOopDesc只有从父类继承过来的Mark和Klass这两个属性,并没有指向Klass类的指针,那oop是如何找到对应的Klass的呢???

klassOopDesc内部有一个方法:klass_part()

  // returns the Klass part containing dispatching behavior
  Klass* klass_part() const                      { return (Klass*)((address)this + sizeof(klassOopDesc)); }

这个方法果然返回一个指向Klass的指针,但是计算过程比较诡异,在当前klassOopDesc对象的首地址增加sizeof(klassOopDesc)这么多空间后的地址。也就是说,一个klassOopDesc对象数据和对应的Klass对象数据,是从上到下紧密的排列着,有了klassOopDesc的指针,就能顺藤摸瓜找到对应的Klass数据。

那当初构造的时候,是按这种模式在内存分配数据的吗???

之前的第二篇文章,讲的巨细。可以看到,在类加载的过程中,构造了一个空的Klass对象,然后调用了Klass类的as_klassOop方法返回klassOopDesc的指针。

  // returns the enclosing klassOop
  klassOop as_klassOop() const {
    // see klassOop.hpp for layout.
    return (klassOop) (((char*) this) - sizeof(klassOopDesc));
  }

klassOop是klassOopDesc指针的一个别名。构造的时候,首地址减去sizeof(klassOopDesc)这么多空间后的地址。这时候,内存空间是分配出来了,具体的数据,在后续过程中填充。

最后说下看源码心得体会 :其实那张图上的数据排列结构是对的,但是具体的实现方式,如果不看源码肯定会很疑惑。另外,看到这么犀利的指针操作,对c/c++的好感真是倍增。

时间: 2024-10-12 09:47:56

Klass与Oop的相关文章

JVM工作原理

JVM体系结构 jvm内部体系结构分三部分:类加载器  执行引擎 运行时数据区 类加载器  加载.class文件. 三个步骤:(1)装载.jvm通过ClassLoader 类名 包名将类的二进制字节码加载到jvm中完成类的加载工作.可以通过"类名+包名+ClassLoader实例ID"来标识一个被加载的类. (2)链接.加载完后,对二进制字节码格式进行验证,初始化加载类的静态变量并赋值为默认值,最后对类中方法.属性进行验证,确保其需要调用的属性.方法存在及具备相应权限(验证public

Java 虚拟机内部类静态字段的初始化与访问

要明白 Java 虚拟机如何访问类的静态变量,首先要明白下面几个问题: 虚拟机内部是如何表示一个 Java 类的 静态变量存储在哪里 虚拟机如何访问到这些静态变量 这篇文章也从这围绕这三个问题展开,并结合 OpenJDK 中 HotSpot 的源代码作分析. Java 虚拟机内部如何表示类 HotSpot 虚拟机在内部使用两组类来表示 Java 的类和对象 OOP(ordinary object pointer),用来描述对象实例信息 Klass,用来描述Java类,是虚拟机内部Java类的对等

Java虚拟机--对象模型

让我们思考这样一个问题:一个Java对象如何在基于c++实现的系统中运行?对象在JVM内部是如何表示的?它在内存中是如何存储的...... 1.OOP-Klass 二分模型 Java是面向对象的语言,面向对象有三个特征:封装.继承和多态.而HotSpot基于C++实现,C++也是面向对象的语言,那这样的话为每一个Java类生成一个C++类不就OK了吗?事实并不是这样,对象在JVM内的表示被设计成了一种新的表示方式:OOP-Klass 二分模型: ■ OOP:或OOPS,即普通对象指针,用来描述对

Java对象模型

java对象 在内存中,一个Java对象包含三部分:对象头.实例数据和对齐填充.而对象头中又包含锁状态标志.线程持有的锁等标志. oop-klass model OOP(Ordinary Object Pointer)指的是普通对象指针,而Klass用来描述对象实例的具体类型. oop体系: //定义了oops共同基类 typedef class oopDesc* oop; //表示一个Java类型实例 typedef class instanceOopDesc* instanceOop; //

深入理解多线程(二)—— Java的对象模型

上一篇文章中简单介绍过synchronized关键字的方式,其中,同步代码块使用monitorenter和monitorexit两个指令实现,同步方法使用ACC_SYNCHRONIZED标记符实现.后面几篇文章会从JVM源码的角度更加深入,层层剥开synchronized的面纱. 在进入正题之前,肯定有些基础知识需要铺垫,那么先来看一下一个容易被忽略的但是又很重要的知识点 -- Java对象模型 . 大家都知道的是,Java对象保存在堆内存中.在内存中,一个Java对象包含三部分:对象头.实例数

smartjs 0.2 OOP讲解 - Klass 类继承

SmartJS2.0加入OOP的功能.OOP包括klass与factory两个对象. Klass 类继承 与其他的类继承相比,smartjs使用了执行指针的概念(后面例子中会介绍),另外提供base基类和初始化控制的扩展功能. 首先来看看接口: var _klass = st.klass(name, prop, parent, config); //new _klass() 与 _klass()效果相同,实现了自初始化功能更 var obj = new _klass(); name : 类名 p

smartjs 0.2 OOP讲解 - factory

本篇介绍OOP的第二个对象factory.在以往项目中其实真正使用klass的地方相当少,而factory则是十分常见的. 在smartjs中的factory并不是指的是工厂模式.在factory要求定义一个基础对象,这个对象可以是基类,也可以是模板对象或者是接口.然后factory就已此基础对象为基础,其他添加或者创建的对象,继承或者是复制基础对象的属性和方法.factory在提供一系列方法来对这些对象做控制. factory经过简单的处理可以实现工厂.外观.模板等设计模式. 接口说明 //多

在java中,OOA是什么?OOD是什么?OOP是什么?

OOA Object-Oriented Analysis:面向对象分析方法 是在一个系统的开发过程中进行了系统业务调查以后,按照面向对象的思想来分析问题.OOA与结构化分析有较大的区别.OOA所强调的是在系统调查资料的基础上,针对OO方法所需要的素材进行的归类分析和整理,而不是对管理业务现状和方法的分析. OOA(面向对象的分析)模型由5个层次(主题层.对象类层.结构层.属性层和服务层)和5个活动(标识对象类.标识结构.定义主题.定义属性和定义服务)组成.在这种方法中定义了两种对象类之间的结构,

OOP的三大特性------封装、继承、多态

封装 1.<1>类背后隐藏的思想是数据抽象和封装 <2>信息隐藏,隐藏对象的实现细节,不让外部直接访问到 将数据成员和成员函数一起包装到一个单元里,单元以类的形式实现 <3>将数据成员和成员函数包装进类中,加上具体实现的隐藏, 共同被称作封装,其结果是一个同时带有特征(比如车的价格 车牌号)和 行为(比如开车 停车)的数据类型 <4>定义类,定义其数据成员.成员函数的过程称为封装类 2.信息隐藏是OOP最重要的功能之一,也是使用访问修饰符的原因 信息隐藏的原