机器人相关技术分词

JavaProgramin——Java程序癿编译、加载不v0.12010-02- v0.22010-04-v0.32010-06-V0.42010-12-v0.5in2009年7月本科毕业 大学软件学同年10:加入淘宝前常用癿诧言是C#、Ruby不HotSpotHotSpotVM不JSR

演示稿里嵌 Animplementationcanbeverydifferentfromthe“mentalmodel”Youcancheataslongasyoudon'tgetcaughtDon’ttrust Profileyourtypical诧言处理器癿种etc流//

流流//

符号流//

符号虚拟执行引虚拟执行引JIT编译符号源码编译符号流/n类似C++癿诧带有面向对象特征癿静态类型系早绋定不迟绋定癿方法反自劢内存管多线泛型编JSR14（Java用户自定丿癿注解及其处JSR175（JavaJSR269（Java解释型诧言？虚拟机诧从Java源码直接编译到本地代码癿编译如GCJ，ExcelsiorJET 来JVM不JRE、JDK癿兲JVM：JavaVirtualJRE：JavaRuntimeJDK：JavaDevelopment

硬件平 参考自《虚拟机：系统不迕程癿通用平台》图 （System

用户级

高级诧言虚拟机环境， 参考自《虚拟机：系统不迕程癿通用平台》图

Class癿内部表ClassClass……Class癿内部表

……b40002… getfield#2;//Fieldvalue:I Method…dcd00100/*fast_iaccess_0#1…/*…8b4108;moveax,dwordptr…publicclassZZZZ{privateintvalue;publicvoidfoo(){intv=}}流/n某种程度上实现了Java癿自丼真正实现Java自丼迓得绌合Java写癿Java虚拟ECJ：EclipseCompilerfor（GenericJavaCompiler //Thesemethodcallsmustbechainedtoavoidmemorypiler=属性标 查（Attr不数据流分析将泛型类型转换 类型解除诧法糖生成Class文件

raw手写癿ad-hoc根据词法将字符序列转换为token手写癿递归下降+运算符优先级式根据诧法由token序列生成诧法分析后癿所

inty=x+i

n

t

y

=

x

+

1

;

name:

name:

name:

name:

name:

stringVal:

name: inty=x+ typetag:typetag:ytag:

+(int,+(int,

value:value:J

xx所有类符号被输入 publicclassCompilerTransformationDemo}publicclassCompilerTransformationDemopublicCompilerTransformationDemo()}}注解处理（annotationJSR269（Java 包括注释//userpublic@DataclassLombokPojoDemoprivateString}//fromprojectlombok public@interfaceData{StringstaticConstructor()default}publicclassLombokPojoDemoprivateStringpublicLombokPojoDemo()}publicStringgetName()return}publicvoidsetName(finalStringname)=}publicbooleanequals(finaljava.lang.Objecto)if(o==this)returnif(o==null)returnif(o.getClass()!=this.getClass())returnfalse;finalLombokPojoDemoother=(LombokPojoDemo)o;if(==null?!=null:!.equals())returnreturn}publicinthashCode(){finalintPRIME=31;intresult=1;result=result*PRIME+(==null?0:.hashCode());returnresult;}publicjava.lang.StringtoString()return"LombokPojoDemo(name="+name+}}标注（Attr）和检查 诧丿分析癿一个步将诧法树中名字、表达式等元素不变量、方法、类型等联系一检查变量使用前是否推导泛型方法癿类型参检查类型匹配迕行常量折JJvalue:publicclassCompilerTransformationDemoprivatestaticfinalStringNAME=privateStringinstanceName=NAME+"ins"+tag:tag: tag:69tag:69value: 表达式得常量折

标注tag:tag:+(String,

JJvalue:Jvalue:+数据流分析 转换类型转换类型解除诧法糖癿一个步将泛型Java转换为普通同时揑入必要癿类型转换代publicvoiddesugarGenericToRawAndCheckcastDemo(){List<Integer>list=Arrays.asList(1,2,3);inti=}rawpublicvoiddesugarGenericToRawAndCheckcastDemo(){Listlist=Arrays.asList(1,2,3);inti=解除诧法糖削除if(false foreachetcpublicvoiddesugarGenericToRawAndCheckcastDemo(){Listlist=Arrays.asList(newInteger[]{

}inti=}Lower前（再丼一例Lower前（再丼一例publicclassCompilerTransformationDemopublicCompilerTransformationDemo()}publicvoiddesugarDemo(){Integer[]array={1,2,3};for(inti:array){}assertarray[0]==}}publicclassCompilerTransformationDemo/*synthetic*/staticfinalboolean$assertionsDisabledpublicCompilerTransformationDemo()}

LowerpublicvoiddesugarDemo()Integer[]array=Integer.valueOf(1),Integer.valueOf(2),for(Integer[]arr$=array,len$=arr$.length,i$=i$<len$;++i$)inti={}}if(!$assertionsDisabled&&!(array[0].intValue()==thrownew}}生成Class文件生成Class文件后序遍历诧法迕行最后癿少量代码etc生成Class文件癿绌构信生成元数据（包括常量池Class文件就是字节码绌构信元数类/继承癿超类/实现癿接口 用户自定丿癿、 方法信绌构信元数类/继承癿超类/实现癿接口 用户自定丿癿、 方法信

importpublicclassFooimplementsSerializablepublicvoidbar()inti=if(i>0)intj=}

}}

输出调试符号信javac-gjavap-c-s-l-verbose类源文件

publicclassFooextendsjava.lang.ObjectimplementsSourceFile:minorversion:majorversion:Constantconst#1=const#2=classconst#3=classconst#4=classconst#5=Ascizconst#6=Ascizconst#7=

////////常量

const#8=const#9=Ascizconst#10=Ascizconst#11=Ascizconst#12=Ascizconst#13=Ascizconst#14=Ascizconst#15=Ascizconst#16=Ascizconst#17=Ascizconst#18=

const#19= const#20=Ascizconst#21=Ascizconst#22=Asciz

元数元数line2:StartLengthSlot

Stack=1,Locals=1,字节 字节

#1;//Methodpublicvoidbar();Signature:()Vline4:0line5:3line6:7line8:10方 StartLengthSlot

元数

StackMapTable:number_of_entries=frame_type=252/*append*/offset_delta=10locals=[int00381iIJava6开始，有分支控StackMapTable:number_of_entries=frame_type=252/*append*/offset_delta=10locals=[int00381iIStack=1,Locals=3, 字节

567为什举ASM无法从接口类型上癿方法取得参数癿名import时每个类型名都写出来不使用*通配符有什举丌名 癿可能性而已多种分迕程虚拟系统虚拟协设计虚拟模拟执行某种指令集体系绌构癿一套觃范：Java虚拟机觃一种实现：例如™一个运行中癿实只要输入为符合觃范癿Class文件即可执幵非一定要执行“Java”程Ioke、Jaskell、（C、Fortran…）…丌代表实现方地数和指本地方法隐含寄存地数和指本地方法隐含寄存基于栈癿体系绌劢态加载程安全自劢内存管多线程支不本地库癿交代码方便实现高可秱直观方式解释较基于寄存器癿体系绌易于校验（安全性易于编译（高性能易于解释执行（实现门槛低易于秱包含大量类型信尿部变量算术不类型转条件/无条件跳对象创建和操数组创建和操方法调栈操作（操作数栈基于栈：将临时值保存在“求值栈基于寄存器：将临时值保存在寄存器基于栈：代码紧凑，体积小，但所需代码条数基于寄存某些情冴下两者是同一个但在JVM中两者是丌同癿概JVM中“求值栈”被称为“操作数栈”（operandHotSpot把该栈称为“表达式栈”（expression基于栈不基于寄存器癿体系绌构癿区publicclassDemopublicstaticvoidfoo()inta=intb=intc=(a+b)*}}每个Java线程有一个Java方法调用每个方法每次被调用时都会在方法调用栈上分配一个栈 记彔在Class文件中每个方法癿Code属性max_stack不栈帧大小丌需要在方法癿执行当中变方法癿一次调用绌束时，对应癿栈帧自劢被撤每个Java栈帧包

以共部分区

一个slot在一个方法中可以分配给多个变量Stack=2,Locals=6, publicclassLocalVariableDemo

publicintdemo(inti,Objecto){

intj={longl=i+

lstore

参数不尿部量使用癿}while(j-->0)intk=i*}return

12:15:16:17:

3,-

在javac编译已绊确

istore StackMapTable:number_of_entries=frame_type=252/*appendoffset_delta=8locals=[intframe_type=14/*samepublicclassLocalVariableDemopublicintdemo(inti,Objecto)intj={

固定大小为012345longl=i012345}while(j-->0)intk=i*}return}}publicintdemo(inti,Objectpublicintdemo(inti,Objecto)01i2o345intj={longl=i+}while(j-->0)intk=i*}return}}01i2o3j401i2o3j45lintj=publicintdemo(inti,intj={longl=i+}while(j-->0)intk=i*}return}}

01i2o3j401i2o3j45lpublicintdemo(inti,Objecto)intj=longlongl=i+}while(j-->0)intk=i*}return}}01i2o3j401i2o3j45publicintdemo(inti,Objecto)intj={longl=i+whilewhile(j-->0)intk=i*}return}}01i2o3j401i2o3j4k5publicintdemo(inti,Objecto)intj={longl=i+}intk=i*intk=i*}return}}01i2o3j401i2o3j45publicintdemo(inti,Objecto)intj={longl=i+}while(j-->0)}intk=i*}return}}01i2o3j401i2o3j45publicintdemo(inti,Objecto)intj={longl=i+}while(j-->0)intk=i*returnreturn}}formatchecking(JVMS3bytecodeverification(JVMS3MSunSunHotSpot解释器不编译器绌合癿混合执行模默讣启劢时解释执行，对频率高癿代码（热点）迕行编故名乀“HotSpot包含在OpenJDK中（GPL技术源于Smalltalk/Self癿实现绊Animorphic以下是启劢程序（launcher），丌是JVM自

根据启劢参数来逅择幵配置JVM来执行Java程HotSpotVM癿实体（Windows例 留意 HotSpotVM同一个解释同一组除编译器外，其它部分上 编译器Server编译器（C2，戒称为HotSpotVM来源：JavaOneHotSpotVMjavajava-javaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-Java VM(build16.0-b13,mixedmode,java-serverjava-server-javaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-b07)JavaHotSpot(TM)ServerVM(build16.0-b13,mixedmode)环境：32位Windows环境：32位WindowsXPSP3上癿SunJDK1.6.0updateHotSpotVMjavaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-Java VM(build16.0-b13,mixedmode,javaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-b07)JavaHotSpot(TM)ServerVM(build16.0-b13,mixedmode)从Java从Java5开始，SunHotSpotVM启劢参数，在“服务器级”机器上会自劢逅用-server 模式）“服务器级”指CPU为2核戒以上（戒者2CPU戒以上 HotSpotVMjavaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-Java VM(build16.0-b13,mixedmode,

classdatajavaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-b07)JavaHotSpot(TM)ServerVM(build16.0-b13,mixedmode)HotSpotVMjavajava-Xint-javaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-Java VM(build16.0-b13,interpretedmode,纯解释模java pjava p-javaversionJava(TM)SERuntimeEnvironment(build1.6.0_18-Java VM(build16.0-b13,compiledmode,纯编译模Windows:java.exe/POSIX:载入JVM（jvm.dll设置启劢参初始化找到主类，main方法，检查通过JNI调用main方设置类路-怎举介绉参考资由两个参数控0-oops,longs/doubles,ints,shorts/chars,1（默讣）-longs/doubles,ints,shorts/charsbytes/booleansoopstrue（默讣）尝试将实例变量分配

对齐填（可能存在对对齐填（可能存在对齐填（可能存在数_mark数_mark:_klass:…instance…数_mark:_klass:_length:…array…对象（可能存在对齐填（可能存在

_mark_mark:_klass:…instance…

对象状态信哈希码（identityhash当前对 （绊历癿GC次数对象（可能存在对齐填（可能存在

_mark_mark:_klass:…instance…

类元数据指HotSpot里，所有 在由GC管理癿堆（包括Java堆不PermGen）oopDsc子类癿实例。每个返样癿对象都有一个_a字段，指向一个描述自身癿元数据癿对象。幵丌是Jaa诧言级癿java.lang.Clas。la用于运行而jaa.lang.Class中有_java_mirror字段指向后者。对象对齐填（可能存在

实例数_mark:_mark:_klass:…instance…字段癿分配顸序受源码中癿（padding）笼统癿说，基类癿实例字段会出现在派生类癿实例字段派生类癿较窄癿字段可能会对齐填充对齐填充在8字节边界上分配；也就是说，对齐填（可能存在对象对象_mark:_klass:…instance…

对象对象实数对象对象对象实数对象数组实数知道对象实例癿大_mark:_klass:…instance…_mark:_klass:length:…array…对齐填对齐填（可能存在对齐填（可能存在

对象对象实数对象对象对象实数对象数组实数_mark:_klass:…instance…_mark:_klass:_length:…array…对齐填对齐填（可能存在对齐填（可能存在对对象448对象实际数4字占位对4字value:_klass:_mark:有效数据占用publicfinalclassextendsimplementsComparable<Integer>privatefinalint//}@0x_mark=_klass=value=_mark=_mark=_klass=value=

_mark=_mark=_klass=……MAX_VALUE=MAX_VALUE=… =

@_mark_mark=_klass_klass=……

…@…_klass_klass=_mark=(value=123)

(value=234)

……………对象42对象428字对象实际数4416字占位对0字hash:count:offset:value:_klass:_mark:publicfinalclassimplementsjava.io.Serializable,Comparable<String>,{privatefinalcharvalue[];privatefinalintoffset;privatefinalintcount;privateinthash;//Defaultto//}java.lang.String‚main32位@0x7100b140

_mark_mark=_klass=value=offset=count=hash=@_mark=_klass=_length=[0]=[1]=[2]=[3]=java.lang.String‚main32位真正有效数据占用率_mark=_klass=value=offset=count=hash=@_mark=_klass=_length=[0]=[1]=[2]=[3]=ordinaryobject参考Strongtalk中癿oop不oop不CompressedCompressed默讣为在64位HotSpot中使用32位指<~~

//NarrowOopencoding//0- -Use32-bitsoopswithoutencoding HeapBaseMinAddress+heap_size<////1- -Usezerobasedcompressedoopswithencoding HeapBaseMinAddress+heap_size<//2- -Usecompressedoopswithheapbase+记彔着所有当前已加载癿(classname,classloader)=>(symbolOop,oop)=>字节码校验器不Class字节码校验器不ClasssplitsplitJSR202（Java先在CLDC投入使抽象解释抽象解释……迓有许多兲联对

代码大操作数栈大尿部变量区大参数格 字节…从解释器调用当前方 可能是尚未被编译，也可能编译后被逄优适配器栈帧（adapter适配器栈帧（adaptercodepatching/JITdirect适配器用于调整参数位参考文章（1）节省了一个栈指针寄存TODO:其它特对应instanceof字节以及调用迒回值是泛型参数癿方以 类型为泛型参数癿成员变对应checkcast字节Java癿数组是协变 对应aastore字节优化方 （部分情冴可以由JIT迕一步削除klass中存癿相兲数classKlass:publicKlass_vtbl{enum{_primary_super_limit=8//Wheretolooktoobserveasupertype(itis&_secondary_super_cache//secondarysupers,elseis //Cacheoflastobservedsecondarysupertype //ArrayofallsecondaryobjArrayOop//Orderedlistofallprimarysupertypes 原本癿优化算S.is_subtype_of(T){intoff=if(T==if(off!=if(S==if(S.scan_secondary_subtype_array(T)){S.cache=T;return}return}在Java6中实现癿算S.is_subtype_of(T){intoff=if(S==if(S[off]==if(off!=if(S.scan_secondary_subtype_array(T)){S.cache=T;return}return}图！SubtypeLowMemory ockerThreadGCJDWPEventHelper

//Class//- - - - - - - - - - - - LowMemory

ockerThreadGCJDWPEventHelper实验jstack实验jstack-m<pid>|已编译癿Java方法癿栈帧解--栈 参考资料：图参考资料(1)LightweightLightweightBiasedBiased类数据共享（class类数据共享（classdataTODO：写点什从JavaSE5.0-Xshare:auto|on|off|IBMSDKforJavav6癿类数据共享更参考资料（1）M程序计算机 循环——F:D:(D:X:#defineFETCH_OPCODE(opcode=#define#defineintexecute()

(*++sp=(*sp--

//...while(true){switch(opcode)casecaseSunJDK1.0系癿JVM癿解释SunJDK1.0系癿JVM癿解释器采用返种方式实

//}}}

+#defineFETCH_OPCODE(opcode=#defineDISPATCH#definePUSH(val)#definePOP

goto*handlers[opcode](*++sp=(val))(*sp--intexecute()//...ICONST_0:{//first-classlabel}IADD:y=POP;x=PUSH(x+y);}}减少了跳转癿跳转比switch参考资atosObjectArray（TOS在btosbyte,boolean（TOS在ctoschar（TOS在stosshort（TOS在itosint（TOS在ltoslong（TOS在ftos–dtos–vtos–void（栈顶没有缓存在寄存器中 tebasedHotSpot癿解释器丌是直接用汇编写HotSpot内部有一个汇编m，oo 参 ：GenerationofVirtualMachineCodeat

void teTable::iconst(intvalue)transition(vtos,if(value==0)xorptr(rax,}else movptr(rax,value);}}transition(vtos,

atos->

vtos->iconst_1 模式默讣生成癿代def(Bytecodes::_iconst_1,def(Bytecodes::_iconst_1, ,vtos,itos,iconst,0x0097aa20:0x0097aa20: esp,0x0097aa23:fstpdwordptr0x0097aa26: 0x0097aa2b: esp,0x0097aa2e:fstpqwordptr0x0097aa31: 0x0097aa36:push0x0097aa37:push0x0097aa38: 0x0097aa3d:push0x0097aa3e: 0x0097aa43:push0x0097aa44: eax,0x0097aa49:movzxebx,byteptr0x0097aa4d: 0x0097aa4e: dwordptr将多条字节码指令融合为节省取指令和指令分派癿解释器占用癿空间会稍微在HotSpot解释器中有所应参 ：SuperinstructionsandreplicationintheCacaoJVM

voidTem teTable::fast_iload2(){transition(vtos,itos);movl(rax,debug_only(verify_local_tag(frame::TagValue,locals_index(rbx,movl(rax,debug_only(verify_local_tag(frame::TagValue,}

从解释器到编译源码级解树遍历解

基准编译静态优化编劢态优化编…简单编译 ◦

单编译源码级解释平台依赖 基准编译树遍历解释可移植 静态优化编译高拟指令实码

解释

用户代码执行速度低劢态优化编subroutie动成本threadininline-thrdn性context-rd

…简单编译 ◦

解释执行癿开销（例解释执行癿开销（例 publicclassTOSDemopublicstaticinttest()inti=31;intj=42;intx=i+j;return}}

movecx,dwordptrss:[esp+1C]movedx,dwordptrss:[esp+14]adddwordptrss:[esp+14],4moveax,dwordptrds:[ecx]incdwordptrss:[esp+10]movdwordptrds:[edx+10],eaxjmpjavai.1000E182moveax,dwordptrmovbl,byteptrxoreax,eaxmoval,blcmpeax,0FFjashortjmpdword

由SunJDK1.0.2JVM解释执绊过癿x86指令序由SunJDK1.1.8JVM解释执绊过癿x86指令序

由SunJDK6u18癿movzxmovzxeax,byteptr movzxeax,byteptrds:[esi+1]movecx,dwordptrss:[ebp+4]incesijmpdwordptraddmovzxeax,byteptr movzxeax,byteptrds:[esi+1]movdwordptrss:[ebp+8],ebxincesijmpdwordptrds:[eax*4movecx,dwordmovedx,dwordadddwordptrmoveax,dwordincdwordptrmovdwordptrjmpjavai.1000moveax,dwordmovbl,byteptxoreax,eaxmoval,blcmpeax,0FFjashortjavajmpdwordptr

movecx,dwordptrss:[esp+14]incdwordptrss:[esp+10]subdwordptrss:[esp+14],4movedx,dwordptrds:[ecx+C]adddwordptrds:[ecx+8],edxjmpjavai.1000E182moveax,dwordptrss:[esp+10]movbl,byteptrds:[eax]xormoval,blcmpeax,0FFjashortjmpdwordptr ecx,dwordptrss:[esp+1C]subdwordptrmovedx,dwordptrds:[eax+C]incdwordptrss:[esp+10]movdwordptrds:[ecx+8],edxjmpjavai.1000E182moveax,dwordptrss:[esp+10]movbl,byteptrxormoval,blcmp jmpdwordptr

eax,dwordptrds:[edi]movzxebx,byteptrds:[esi+1] dwordptrpush eax,dwordptrds:[edi-4]movzxebx,byteptrds:[esi+1] dwordptr movzxebx,byteptrds:[esi+1] dwordptr dwordptrds:[edi-8],eaxmovzxebx,byteptrds:[esi+1] dwordptr;;-------------iload_0------------ eax,dwordptr;;-------------iload_0------------ eax,dwordptr;;-------------iload_1------------push eax,dwordptrds:[edi-;;--------------iadd-------------- dwordptrds:[edi-;;-------------iload_0------------ eax,dwordptrds:[edi]movzxebx,byteptrds:[esi+1] dwordptr push eax,dwordptrds:[edi-4]movzxebx,byteptrds:[esi+1] dwordptr movzxebx,byteptr dwordptr dwordptrds:[edi-8],eaxmovzxebx,byteptrds:[esi+1] dwordptr

迕行常 movmov执行速度，而追求劢速度、低内存占用，因而丌采用direct-其中，inline-threading/context-threading都通 、合字节码癿处理程序来消除字节码指令分派癿开也被称为code-copyingJIT性能不简单癿JIT编译器相SableVM、JamVM等一些JVM使用了该技诸如Nitro、JaegerMonkey等JavaScript引擎也使用了该技JIT编译可以 迕行，同时解释 台继续执行程序丌会因编译而停返样也为JIT编译提供 时间，使其丌必过分为了追求成代码癿速度而放弃生成癿代码癿质触发类加触发类初始getstaticputstaticinvokestaticnew //Aframerepresentsaphysicalstackframe(anactivation).Framescan//CorJavaframes,andtheJavaframescanbeinterpretedor//Incontrast,vframesrepresentsource-levelactivations,sothatonephysical//cancorrespondtomultiplesourcelevelframesbecauseof//Aframeiscomprisedof{pc,fp, Asm//Layoutofasminterpreter [expression [monitorblock

]*<- |monitorblock ][bytecode[bytecode=[pointerto =[constantpool = = =[last =[oldstack [oldframe =[return [oop (onlyfor[localsandparameters<-senderAsmr//Entry//Herewegeneratethevariouskindofentriesintothe//Thetwomainentrytypearegenericbytecodemethodsandnativecall//Thesebothcomeinsynchronizedandnon-synchronizedversionsbut//framelayouttheycreateisverysimilar.Theothermethod//typesarereallyjustspecialpurposeentriesthatarereally//andinterpretationallinone.Thesearefortrivialmethods//accessor,empty,orspecialmath//Whencontrolflowreachesanyoftheentrytypesforthe//thefollowingholds-////rbx,://rcx://Stacklayout yat

//Assumingthatwedon'tgotooneofthetrivial//entriesthestackwilllooklikebelowwhenwearereadyto//thefirstbytecode(orcallthenativeroutine).Theregister//willbeasthe tebasedinterpreterexpects(see//localvariables ingparameters y;//thereturnaddressismovedtotheendofthe//[return//[parameter //[parameter//[expression

]<---]]](caller'sjavaexpression

//[monitor ]<--- //[monitor //[expr.stackbottom//[saved//[current//[//[saved

]]]<---//[return //[localvariable //[localvariable //[parameter //[parameter ]<---概念上不HotSpot概念上不HotSpot栈帧布尿/传参方3次间final癿处HotSpotinterpreterinHotSpotinterpreterinM有逅择性癿优传统癿编译器优化算法都可以为常见情冴而优

否是是

否（回边否

解释主循 成癿版本否异步提交OSR编译

完成

否

JITJIT

参考资料：图JITJIT 戒-JIT编译默讣 癿编译器线程迕主要 编译完成后，对应癿methodOop癿方 会对应修返样触发癿编译称为OSR编译，其位于某个回边处编译完成后，对应癿methodOop癿回边计数器溢出后，如果是编译癿话，会调用计数器调整到溢classInvocationCounterunsignedintenumPrivateConstantsnumber_of_state_bits=number_of_carry_bits=

//bitno:|313|2|10//format:number_of_noncount_bits=number_of_state_bits+number_of_count_bits=BitsPerInt-////voidInvocationCounter::reinitialize(booldelay_overflow)InterpreterInvocationLimitCompileThreshold<<InterpreterProfileLimit((CompileThreshold*InterpreterProfilePercentage)/100)<<//if(ProfileInterpreter){InterpreterBackwardBranchLimit=(CompileThreshold* cePercentage-InterpreterProfilePercentage))}elseInterpreterBackwardBranchLimit((CompileThreshold* cePercentage)/100)<<}}方法调用计数器（>=:server:回边计数:server:

触发OSR编译（>= :server:server:方法调用计数器（:server::server: :server:server:UseCounterDecay=CounterHalfLifeTime30（秒CounterDecayMinIntervalLength500（毫秒在 模式中解释器默讣丌收profile（ProfileInterpreter为在-server模式中，解释器会包含profiling逡辑，供C2用作优化依etc如Math.sin(pareAndSwapInt()乀 可以为其它优化提供机标量替换（scalar (Point癿例子栈上分配（stack栈上分配（stackobjectHotSpot目前没有使用该锁削除（lock锁削除（lockoopMaprelocInfo代码中使用癿一write//Anmethod//-////-relocation//-constant////-code//-exception//-stub//[Debugging//-oop//-data//-//[Exceptionhandler

(thenmethod(doubles,longsandfloatsusedin//-handlerentrypoint//[ImplicitNullPointerexception//-implicitnulltable虚方法分派（virtualmethod类 方mnopABC对提高Java程序性能至兲重 class Java程序癿一种全程序分 ------A

virtual

virtual

virtualCvirtual

virtual 继已加载癿未加载

Gvirtual已卸载癿 来CHACHA未能证明单调用目标带guard癿调用（guardedinline-…迓有inline目标方法癿正 乀状态转初始单态inlineinlinecache//TheCompiledICrepresentsacompiledinline//InordertomakepatchingoftheinlinecacheMT-safe,weonlyallowthe//transitions(whennotata [1]--<-

Clean-->--- /-<- ---------> |//

[4]

\->-Megamorphic-<-/

/[4]\->-//Thetextinparanteses()referetothevalueoftheinlinecachereceiver(mov//Thenumbersinsquarebracketsreferetothekindof//[1]:Initialfixup.Receiveritfoundfromdebug//[2]:Compilationofa// pilationofamethod(note:onlyentryischanged.TheklassOopmuststaythe//[4]:Inlinecachemiss.Wegodirectlytomegamorphic//Theclassautomaticallyinsertstransitionstubs(usingtheInlineCacheBuffer)whenanMT-//transitionismadetoaSelf-modifyingSelf-modifyingmonomorphicinlineon-stack 方法内联（method方法内联（method为其它优化带来优化机会，则内联反而可能给性能带来影响------------当激迕优化癿前提假设丌再成立加载了新癿类，改变了类执行到 mon程序运行中接入了调试etcp…

OpenJDK6癿下列源文件：globalsextension.hppc1globals.hppglobalsx86.hppc2globalsx86.hppglobalswindows.hppglobalslinux.hpp Compiler High-levelIntermediate按基本块组织癿控制流基本块内是SSA形式癿staticsingle-assignment 抽象解释抽象解释方法内联（method方法内联（method从字节码转换为HIR癿过程中完基于CHA和方法癿字节码大Low-levelIntermediate将C1编译器在编译各阶段癿数据绌构可规化展现出来癿工原始字节HIR生LIR生寄存器分最终代码生可以展示控制流、数据流、寄存器分配区配合Java6戒7癿debug版HotSpot使使用-XX:+PrintCFGToFile逅顷获取：HotSpotServerCompilerImplicitNullCheckThreshold,\ "Don'tdoimplicitnullchecksifNPE'sinamethodexceedslimit")SSA形式癿中间代方便过程间分globalvalueloopinvariantcode循环展开（loop循环展开（loopRangeCheckmonmon montrap避免影响类型判降低编译癿时间/空间开 bottom-uprewrite 多局编译癿混合执行模根据CliffClick癿预测Java7中该模式为HotSpot-server癿默讣模J9不JRockit也使用多局编译方式执行Java代IdealIdealGraphIdealGraph可配合用debug版HotSpot-XX:PrintIdealGraphLevel=n-n为0-4，filename为指定输出log：Serviceability 実规工Windows上JDK7-b64乀后才可以禁用jsr不jsr_w字节码指 必项用类型检查式校验 methodhandle常量 SunJDK从1.4.0开始提供HotSwap功参考资料（1）AutomaticAutomaticobjectClassic纯解可从外部揑入JIT编译器（例如SymantecJIT编译器不 Exact整合了解释器不两个JIT编译开发目癿是研究高性能准确式在JDK1.2时代也投入到实际使用（Solaris上CDCHotSpotImplementation（GPLCLDCHotSpotImplemantation（GPL针对相 替代SquawkVM（GPLSun癿其它JVM（3）——元循环用Java写癿meta-circularJavaInJava（1997-必项在一个宿主JVMMaxine（2005-现在）（GPL IBMOracleApacheJelatine

MoxieJikesT其它JVM的执行引擎的技术方AzulAzulIBMIBM（参考Pro(IBM)WebSphereApplicationServer7Internals）IBMIBMJITCompilerDynamicOptimizationJikesJikesJikesJikesRVMAdaptiveOptimizationApacheApacheApacheApacheHarmonyJitrinoCompilerTheJavaLanguageTheJavaVirtualMachine针对Java5癿修针对Java6癿Class文件格式癿修JVM觃范第三版草案（2009/05/12）（到Java6为止所有JVM觃范更新癿整合版OracleJRockit:TheDefinitiveVirtualMachines: tformsforSystemsand中文版：虚拟机——系统不迕程癿通用平中文版：编译原理（原书第2版AdvancedCompilerDesignand中文版：高级编译器设计不实PrinciplesofComputerOrganizationandAssemblyLanguage,UsingtheVirtual中文版：计算机组成及汇编诧言原JavaandtheJavaVirtualProgrammingfortheJavaVirtualVirtualMachinesIainDCraigInsidetheJavaVirtualMachine(2nd HotSpotJVMLanguageTheHotSpotjavactheDaVinciMachineTheJavaHotSpotPerformanceEngineArchitectureJDKHotSpotInternalsforDaVinciMachineProjectPublicationsoftheInstitut