kvm解释器-002

最新推荐文章于 2022-11-22 17:59:04 发布
最新推荐文章于 2022-11-22 17:59:04 发布
阅读量4.8k 收藏
点赞数
分类专栏： kvm kvm源码解析 文章标签： kvm jvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_26000415/article/details/95204118
版权

在JAVA虚拟机规范(JAVA SE 7 )中,针对初始化的过程有如下的定义:

每个类或接口C，都有一个唯一的初始化锁LC。如何实现从C到LC的映射可由Java虚拟机实现自行决定。例如，LC可以是C的Class对象，或者是与Class对象相关的管程（Monitor）。初始化C的过程如下：

  • 同步C的初始化锁LC。这个操作会导致当前线程一直等待直到可以获得LC锁
  • 如果C的Class对象显示当前C的初始化是由其它线程正在进行，那么当前线程释放LC并进入阻塞状态，直到它知道初始化工作已经由其它线程完成，那么当前线程在此重试此步骤。
  • 如果C的 Class对象显示C的初始化正由当前线程在做，这就是对初始化的递归请求。释放LC并正常返回。
  • 如果C的Class对象显示Class已经被初始化完成，那么什么也不做。释放LC并正常返回。
  • 如果C的Class对象显示它处于一个错误的状态，就不再初始化了。释放LC并抛出NoClassDefFoundError异常。
  • 否则，记录下当前线程正在初始化C的Class对象，随后释放LC。根据属性出现在ClassFile的顺序，利用常量池中的ConstantValue属性（§4.7.2）来初始化C中的各个final static字段。
  • 接下来，如果C是类而不是接口，而且它的父类SC还没有被初始化过，那就对于SC也进行完整的初始化过程。当然如果必要的话，需要先验证和准备SC。如果在初始化SC的时候因为抛出异常而中断，那么就获取LC后将C的Class对象标识为错误状态，并通知所有正在等待的线程，最后释放LC并异常退出，抛出与SC初始化遇到的异常相同的异常。
  • 之后，通过查询C的定义加载器来决定是否为C开启断言机制。
  • 执行C的类或接口初始化方法。
  • 如果正常地执行了类或接口的初始化方法，之后就请求获取LC，标记C的Class对象已经被完全初始化，通知所有正在等待的线程，接着释放LC，正常地退出整个过程。
  • 否则，类或接口的初始化方法就必须抛出一个异常E并中断退出。如果E不是Error或它的某个子类，那就创建一个新的ExceptionInInitializerError实例，然后将此实例作为E的参数，之后的步骤就使用E这个对象。如果因为OutOfMemoryError问题而不能创建ExceptionInInitializerError实例，那在之后就使用OutOfMemoryError异常对象作为E的参数。
  • 获取LC，标记下C的Class对象有错误发生，通知所有的等待线程，释放LC，将E或上述的具体错误对象作为此次意外中断的原因。

runClinit

而在KVM中的runClinit也是按照以上的规范来进行的.其代码一开始会获得初始化的状态和要实例化的class.代码如下:

INSTANCE_CLASS thisClass;
int state;
bool_t haveMonitor = FALSE;
if (exceptionFrameH) {
    runClinitException(exceptionFrameH);
    return;
}

state = topStackAsType(cell);
thisClass = secondStackAsType(INSTANCE_CLASS);

针对我们的案例,此处获得的值分别为1,JavaLangClass.如图所示:
在这里插入图片描述

由于此处状态为1,因此会执行如下代码:

if (!OBJECT_HAS_MONITOR(&thisClass->clazz)
        && thisClass->initThread == NULL) {
    goto markClass;// 此处执行这里
}

/* Step 1:  Grab the class monitor so we have exclusive access. 同步C的初始化锁LC。这个操作会导致当前线程一直等待直到可以获得LC锁。  */
if (monitorEnter((OBJECT)thisClass) != MonitorStatusOwn) { // 如果有其他线程在初始化,则等待
    /* We've been forced to wait.  When we're awoken, we'll have
     * the lock */
    topStack = 2;
    return;
} else {
    /* FALL THROUGH.  We have the lock */
}

由于此时JavaLangClass的initThread为null,因此会执行markClass处的代码.如下:

markClass:
        if (thisClass->initThread == CurrentThread ||
                   thisClass->status == CLASS_READY) { /* step 4 */
            /* Step 3, Step 4:
             * This thread is already initializing the class, or the class
             * has somehow already become initialized.  We're done.
             * 如果C的 Class对象显示C的初始化正由当前线程在做，这就是对初始化的递归请求。释放LC并正常返回。
             * 如果C的Class对象显示Class已经被初始化完成，那么什么也不做。释放LC并正常返回。
             */
            if (haveMonitor) {
                char *junk;
                monitorExit((OBJECT)thisClass, &junk);
            }
            popFrame();
            return;
        }
        if (thisClass->status == CLASS_ERROR) {
            /* Step 5:
             * What can we do?
             * 如果C的Class对象显示它处于一个错误的状态，就不再初始化了。释放LC并抛出NoClassDefFoundError异常。
             */
            if (haveMonitor) {
                char *junk;
                monitorExit((OBJECT)thisClass, &junk);
            }
            popFrame();
            return;
        }

        /* Step 6:
         * Mark that we're about to initialize this class 记录下当前线程正在初始化C的Class对象，随后释放LC*/
        setClassInitialThread(thisClass, CurrentThread);// 此处执行这里
        if (haveMonitor) {
            char *junk;
            monitorExit((OBJECT)thisClass, &junk);
            haveMonitor = FALSE;
        }
        /* FALL THROUGH */

此处重点是执行setClassInitialThread,代码如下:

#define setClassInitialThread(iclazz, thread) \
                            ((iclazz)->initThread = (thread))

注意,此处的CurrentThread为MainThread,这点在kvm启动流程-006中有介绍.

接下来执行如下代码:

if ((thisClass->clazz.accessFlags & ACC_INTERFACE) == 0) {
    INSTANCE_CLASS superClass = thisClass->superClass;
    if (superClass && superClass->status != CLASS_READY) {
        topStack = 4;
        initializeClass(superClass);
        return;
    }
}

由于class的父类为object,且一直没有初始化完毕,即其状态不是CLASS_READY,因此此处会首先将class的状态改为4,然后初始化object.此时的情况如下:

在这里插入图片描述

而在initializeClass中,由于object不存在父类,因此会执行如下代码:

if ((thisClass->superClass == NULL ||
    thisClass->superClass->status == CLASS_READY) &&
    getSpecialMethod(thisClass,clinitNameAndType) == NULL) {
    setClassStatus(thisClass,CLASS_READY);
}

之后,一路return,返回到Interpret的那个大switch中.代码如下:

#if INFREQUENTSTANDARDBYTECODES
SELECT(CUSTOMCODE)      // 宏展开为 case CUSTOMCODE: {                        /* 0xDF */
        cell *stack = (cell*)(fp + 1);// 取得栈底
        CustomCodeCallbackFunction func = *(CustomCodeCallbackFunction *)stack;// 取得对应的函数
        
        // 如果函数存在,则执行之
        if (func != NULL) {
            VMSAVE
            func(NULL);
            VMRESTORE
        }
        else {
            POP_FRAME
        }
DONE_R // 宏展开为 } goto reschedulePoint;
#endif

这点注意的是,在执行runClinit执行前后,分别使用了VMSAVE,VMRESTORE将ip,sp,fp等寄存器的值保存和恢复.

因此,此处在goto reschedulePoint 时,其ip仍是指向RunCustomCodeMethod所对应的字节码,即runClinit.sp仍是指向初始化class所对应的栈,fp认识指向class所对应的frame…

因此,在那个Interpret的那个大switch中,仍会跳到对CUSTOMCODE的处理,此时的栈的情况如图:

在这里插入图片描述

因此在runClinit方法中,由于此时的状态为4,因此会执行如下代码:

  case 4: {
        /* Step 8:
         * Run the <clinit> method, if the class has one
         * 执行C的类或接口初始化方法。
         * 
         */
        METHOD thisMethod = getSpecialMethod(thisClass, clinitNameAndType);
        if (thisMethod) {// 对于class来说,是不存在<clinit>方法的

#if INCLUDEDEBUGCODE
            if (traceclassloading || traceclassloadingverbose) {
                START_TEMPORARY_ROOTS
                    fprintf(stdout, "Initializing class: '%s'\n",
                            getClassName((CLASS)thisClass));
                END_TEMPORARY_ROOTS
            }
#endif /* INCLUDEDEBUGCODE */

            topStack = 5;
            pushFrame(thisMethod);
            return;
        } else {
            /* No <clinit> method. */
            /* FALL THROUGH */
        }
    }
    case 5:
        /* Step 9:
         * Grab the monitor so we can change the flags, and wake up any
         * other thread waiting on us.
         * 如果正常地执行了类或接口的初始化方法，之后就请求获取LC，标记C的Class对象已经被完全初始化，通知所有正在等待的线程，接着释放LC，正常地退出整个过程。
         * SHORTCUT: 99% of the time, there is no contention for the class.
         * Since our scheduler is non-preemptive, if there is no contention
         * for this class, we just go ahead and unmark the class, without
         * bothering with the monitor.
         */

        if (!OBJECT_HAS_MONITOR(&thisClass->clazz)) {
            goto unmarkClass; // 此处最终执行这里
        }

        if (monitorEnter((OBJECT)thisClass) != MonitorStatusOwn) {
            /* When we wake up, we'll have the monitor */
            topStack = 6;
            return;
        } else {
            /* FALL THROUGH */
        }

在当前情况,最终会执行unmarkClass处的代码.

unmarkClass:
        setClassInitialThread(thisClass, NULL);
        setClassStatus(thisClass, CLASS_READY);
#if ENABLE_JAVA_DEBUGGER
        if (vmDebugReady) {
            CEModPtr cep = GetCEModifier();
            cep->loc.classID = GET_CLASS_DEBUGGERID(&thisClass->clazz);
            cep->threadID = getObjectID((OBJECT)CurrentThread->javaThread);
            cep->eventKind = JDWP_EventKind_CLASS_PREPARE;
            insertDebugEvent(cep);
        }
#endif /* ENABLE_JAVA_DEBUGGER */
        if (haveMonitor) {
            char *junk;
            monitorNotify((OBJECT)thisClass, TRUE); /* wakeup everyone */
            monitorExit((OBJECT)thisClass, &junk);
        }
        popFrame();
        return;

此处最终将class的状态设置为CLASS_READY,然后执行弹栈操作. popFrame的代码如下:

void popFrame()
{
    /* Unallocate a stack frame and restore virtual */ 
    /* machine registers to continue the execution */
    /* of the previous method. */

#if INCLUDEDEBUGCODE
        if (tracemethodcalls || tracemethodcallsverbose) {
            frameTracing(getFP()->thisMethod, "<=", 0);
        }
#endif /* INCLUDEDEBUGCODE */

    /* See frame.h */
    POPFRAMEMACRO

#if INCLUDEDEBUGCODE
    if (traceframes) {
        fprintf(stdout,
            "Popped a stack frame (thread: %lx, fp: %lx, sp: %lx, depth: %ld, stack: %lx)\n",
            (long)CurrentThread, (long)getFP(), 
            (long)getSP(), (long)frameDepth(), (long)getFP()->stack);
    }
#endif /* INCLUDEDEBUGCODE */

#if ENABLE_JAVA_DEBUGGER
    if (vmDebugReady)
        setEvent_FramePop();
#endif
}

这里最重要的是POPFRAMEMACRO,其宏展开如下:

#define POPFRAMEMACRO                                                          \
	setSP(getFP()->previousSp);    /* Restore previous stack pointer */        \
	setIP(getFP()->previousIp);    /* Restore previous instruction pointer */  \
	setFP(getFP()->previousFp);    /* Restore previous frame pointer */        \
	setLP(FRAMELOCALS(getFP()));   /* Restore previous locals pointer */       \
	setCP(getFP()->thisMethod->ofClass->constPool);

因此此时的情况如下:

在这里插入图片描述

其最终会执行对thread类的初始化.

一个努力的码农
关注
专栏目录
OpenStack所支持的虚拟化技术和KVM、Xen、Hyer-V、QEMU、Libvirt说明
没刮胡子的程序员专栏
06-06 1479
OpenStack所支持的虚拟化技术和KVM、Xen、Hyer-V、QEMU、Libvirt说明
kvm解释器-001
qq_26000415的博客
07-09 5017
从本文开始接受kvm中解释器是如何执行的流程.以一个例子来进行说明,如下: public class KVMTest{ public static void main(String[] args){ System.out.println("success"); } } javap后,其结果如下: # 命令行为: javap -v -l -p -c ...
最新 Objective-C +initialize方法 加载顺序
weixin_41963895的博客
11-28 171
+initialize方法会在类的第一次接收到消息的时候调用 优先调用父类的+initialize 再调用子类的+initialize(前提是父类没有初始化过) 如果子类没有实现+initialize 会调用父类的+initialize 所以父类的+initialize会被多次调用(初始化只有一次) 如果分类实现了+initialize,会覆盖类本身的+initialize调用 /***********************************************************
java thread null_Java基础知识_Thread
weixin_31091881的博客
02-19 469
一、Thread线程类API实现多线程从本质上都是由Thread类来进行操作的，我们来看看Thread类的一些重要的知识点。Thread这个类很大，所以就看一些常见的，重要的方法。1.1 设置线程名我们在使用多线程的时候，想要查看线程名是很简单的，调用Thread.currentThread().getname即可。如果没有做什么设置，我们会发现线程的名字是这样子的：主线程叫main，其他线程是T...
[线程]Thead 中传参数RuntimeError: thread.__init__() not called
orangleliu 笔记本
12-16 4382
在写一个多线程类的时候调用报错  RuntimeError: thread.__init__() not called class NotifyTread(threading.Thread): def __init__(self, params): threading.Thread.__init__(self) #here。。。。。。
【线程】linux之thread错误解决方案
weixin_34248849的博客
06-27 469
  1.错误现象：   undefined reference to 'pthread_create' undefined reference to 'pthread_join'     2.问题原因：      pthread 库不是 Linux 系统默认的库，连接时需要使用静态库 libpthread.a，所以在使用    pthread_create()创建线程，以及调用...
kvm解释器-003
qq_26000415的博客
07-10 4821
本文继续介绍kvm中解释执行的步骤.接上文,目前栈中的情况如图所示: 初始化Thread 此处初始化的步骤和上文中介绍的一样,也是调用runClinit方法.首先设置初始化线程为CurrentThread,然后由于其父类Object此时的状态为CLASS_READY,因此就不需要初始化父类了.此处的代码如下: if ((thisClass->clazz.accessFlags & ...
kvm解释器-004
qq_26000415的博客
07-10 4761
本文介绍主类main方法执行的过程.其字节码如下: 另外,此处主类反编译后的结果如下: # 参数 hejiarui$ javap -v -l -p -c -s -constants KVMTest.class Classfile KVMTest.class Last modified Jul 8, 2019; size 415 bytes MD5 checksum be7ceda6878...
J2ME的KVM-KNI-资料
01-08
KVM（K Virtual Machine）是Java虚拟机的精简版本，负责解释和执行字节码。它包括类加载器、字节码验证器、垃圾收集器以及一个基本的运行时环境。KVM在J2ME中的角色至关重要，因为它使得开发者能够利用Java的跨平台...
virt-scripts：用于Linux KVM实验室的Bash脚本。 仅用于教育目的
01-31
Bash是Unix及类Unix系统中最常用的命令行解释器，也是Linux shell脚本的主要编写语言。Bash脚本允许用户通过编程方式执行一系列命令，非常适合进行系统自动化管理任务，如创建虚拟机、安装操作系统、配置网络等。 ...
KVM 虚拟化详解
最新发布
lingshengxiyou的博客
11-22 4850
服务器虚拟化是云计算最核心的技术，而KVM是当前最主流的开源的服务器虚拟化技术。从Linux2.6.20起，KVM作为内核的一个模块 集成到Linux主要发行版本中。从技术架构（代码量、功能特性、调度管理、性能等）、社区活跃度，以及应用广泛度来看，KVM显现出明显优势，已逐渐替换另一开源虚拟化技术Xen。在公有云领域，2017年之后AWS、阿里云、华为云等厂商都逐渐从Xen转向KVM，而Google、腾讯云、百度云等也使用KVM。在私有云领域，目前VMware ESXi是领导者，微软Hyper-V不少应用，
linux桌面虚拟化-KVM
互联网老辛
12-30 3017
虚拟化产品介绍 虚拟化有两种类型： Hypervisor直接在安装在宿主机的逻辑上： Hypervisor 直接安装在物理机上，多个虚拟机在 Hypervisor 上运行。Hypervisor 实现方式一般是一个特殊定制的 Linux 系统。Xen 和 VMWare 的 ESXi 都属于这个类型。 Hypervisor安装在宿主机的操作系统上： 物理机上首先安装常规的操作系统，比如 Redhat、...
StackMap属性解析
qq_26000415的博客
07-01 7354
由于我们会在后续的文章介绍class验证环节,其中在校验方法时需要使用到StackMap.那么什么是StackMap呢? 从Java 6开始，JVM规范有一个更新文档，JSR 202，里面提到一种新的字节码校验算法，“类型检查”；在此之前是用“类型推导”的算法。为了支持新算法，Class文件从版本50开始添加了一个新的属性表，叫做StackMapTable，里面记录的是一个方法中操作数栈与局部变...
kvm启动流程
qq_26000415的博客
07-02 5866
从本文开始介绍,kvn的启动流程. 启动入口位于j2me_cldc/kvm/VmExtra/src/main.c的main方法.代码如下: int main (int argc, char* argv[]) { int result; #if USE_JAM char *jamInstalledAppsDir = "./instapps"; #endif JamEnab...
kvm目录结构
qq_26000415的博客
07-01 5654
kvm介绍 此KVM不是目前特别火的Kernel-based Virtual Machine(一个开源的系统虚拟化模块).而是一个JAVA 的虚拟机.是J2ME cldc 的一个实现.其源码的难度比hotspot简单多了.因此,想通过研读KVM,以加深对hotspot的理解 下载 可以到: 下载地址 在同意许可证后就可以下载到CLDC 1.1的参考实现源码了。 文件名是：j2me_cldc-1_1...
kvm垃圾收集-001
qq_26000415的博客
07-12 5584
kvm中的垃圾收集算法是基于Cheney的elegant copying collector而来.尽管该收集器有很多好处(特别是，它使用迭代而不是递归算法来收集对象).但它有复制收集器的一般问题，因为它需要比程序实际使用的内存空间多一倍的内存空间。当将KVM移植到内存非常有限的设备（如PalmPilot）上运行时，这一要求是有问题的。 为了使kvm更适合小型设备，针对kvm 1.0实现了一种新的垃...
kvm垃圾收集-002
qq_26000415的博客
07-18 5521
本文我们来介绍kvm中的垃圾收集器的实现.其算法为mark-and-sweep(含有压缩功能).其方法为garbageCollect.代码如下: void garbageCollect(int moreMemory) { #if INCLUDEDEBUGCODE int beforeCollection = 0; int afterCollection = 0; #endif ...
kvm线程-007-线程状态-THREAD_SUSPENDED,THREAD_DEAD
qq_26000415的博客
07-25 5506
本文介绍线程状态THREAD_SUSPENDED,THREAD_DEAD的使用。 THREAD_SUSPENDE 该状态设置的地方为: startThread,该方法在kvm线程-006-线程状态-THREAD_ACTIVE 中有介绍 suspendThread,该方法的代码如下: void suspendThread(void) { // 1. 如果CurrentThread 为null...
ARM Cortex-A15 KVM 深入指南
- 启动加载器：讨论了如U-Boot这样的启动加载器的配置，以便正确引导KVM虚拟机。 - 主机文件系统：描述了创建和配置主机文件系统以包含必要的工具和库的流程。 - 测试主机系统：给出了验证主机系统是否准备好运行KVM...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值