Predictability of just in time

Bouakaz, Adnan

Description

Niveau: Supérieur, Master
Predictability of just in time compilation Adnan Bouakaz Supervisors : Isabelle Puaut, Erven Rohou IRISA, ALF project Research Master's degree in Computer Science June 2010 du m as -0 05 30 65 4, v er sio n 1 - 2 9 O ct 2 01 0

• lru system


• virtual machines


• platform


• virtualization can


• many


• machine code

Sujets

• Microsoft
• Sun Microsystems
• Virtual machine
• Platform
• Machine code

Informations

• Publié par: dumas_ccsd
• Nombre de lectures: 34
• Langue: English
• Poids de l'ouvrage: 1 Mo

Extrait

SciencePredictproabilitynofMaster'sjustErvinIRISA,timeResearccompilaintion2010AednanRohouBouakALFazjectSuphervisorsdegree:ComputerIsabJuneellePuaut,
dumas-00530654, version 1 - 29 Oct 2010.Con.ten.ts.1.JIT2.6Compilation.&.W.CET.Estimation.4.1.13.1Virtual.Mac.hines....2...BFIF...............Determination...39.............................o.........erimen.Case4.1.2.JIT.Compilation..........Analysis.........ersp...........U.............25.System...................La.t6.1.3.W.CET.Estimation.Metho.ds....3.Results.v.erformance...............3.2.................Cac..............8.1.4.Predictabilit3.4yesof.HLL.VMs.&.JIT.Compilation........3.LR.System........................11.22.5PredictabilitOy.of.the.JIT.Compile.r.Launc.hing.14.2.1.Bac.kgro.u.nd..........28.Fixed.y.u.System.................................33.Exp.tal.38.A.erage.P............15.2.2.Problem.Statemen.t.and.Ass.umptions....38.Conicts.................................3.3.he......1.9.2.3.Fixed-Size.Blo.c.ks.wi.th.LR.U.System........40.P.ectiv....................................20.2.44BinaryBuddywith
dumas-00530654, version 1 - 29 Oct 2010addIntotroeductioncompilationTheasprotheductivitJITyinoftimesemabaeddsedOursofttrowcomarebination.devnoelopmenytJITiissreducelimitedrestbaysometheehightfragmenantationyofbhardwDuearetsplatforms.aTbotoalleviatefunctionthisifproblemandand.toitallowwheantheefactorciaseestimation.ntionedtosedexecutiontedofhes)appandli-atcationsi.e.ontimeawhiclargedeterminsbpoectrummanagemenofdehardwlimitedareisplatforms,tothethecomputerhasciencetocommwuniterefoyhohaswtoeinavaenittecabnewoseformatoitsfnapplicationhe.panortabilitpyerheadthatThiswilltorewillpcumenlace1traditionalcompilationbinarywcompatibilitabyhe.theirVirtualizationhapter.hasthebcecomedelanacimpothortanttorktobiningoloinsingcomputerinscience;Thisandbitiousvirtualrequiresmaccinghiinnesfeatures,arethusedandinerheadathenofumiledbhe,erthofofsubship,disortcrstihplinesorangingCETfromwopeeracompilationtiexecutionngthesystemsphasestomixed.proonecessorwarcmanhitecture.nThecaseprollcessorItvirtualizationecanjob,beeconstrainusedlitomemoryaddressadvtheusedpthingsortabilitnastyeproblem.aWhileisthersttraditionalused,compilationcoohedwsizeconsistsreofobcompilingtoprogramstructuresourcereplacemencowhicdeoincompilationtoorstbi-bnaryanalysisobsafetjectswthatlater.canthenativiselyws:executedtroonofaWgivChapterenpropprotocessor,vproThreecessoremenvirtualizationstemsspliaretsthisthatnallyoowareinthet3wmoocacparts:tothehievrstbpsafearttighconsistsestimation.ofwcompilingaimstherecomprogramthesourcewcodomains,deuinthetocompilationproreal-cessor-indepsystems.endenistambgoalytecohdeinrepresendutation;thetheisticsecondmanpartnon-deterministicproe.g.videsoundaneexecutiontimeplat-theformvthatcausedcanyrundynamicthistbtheytecopdecoincacaetc.givtoeneprotimecessor.theTheternsecondthpartrepisrepresendoneabattemptysucacomvirtualTma-obtaincWhinofeprogram,ineterpretingvthetobtheytecotimedtheetimeorecausebtyojust-iaren-timew(JIT)Thcompilingre,theneedsbknoytecostaticallydeswofyaimethothedorstatarun-timewiinbordercompiled.tomaimprobvseemedesimplethebutexecutionwpconsidererformance.resourceMantytheapplicationsmfeatedtusizerethereal-timeancedsystemhniquesrequiremenints.compilation,Thewillsuccesseofyreal-timeWsystemssuppreliesthuptonfunctiontheircompiledcapabilittheytimeofisproandducingcompiledfunctionallydecorrectcacresultsiwithinlimiteddenedsofttimingaconstraincacts.OurTjectivoisvndalidateappropriatethesecacconstrainandts,tmostolicyschhedulingthealgorithvmofsinassumewthatcase.thewillweorst-staticcasedueexecutionthetimey(WasCEeT)seeestimationTheofofeacdohttaskorganizedisfolloalreadyChapterkinnducesonotionswn.JITTheandWCETCETInof2,aetaskoseissolutionthethelongestotimeemen-itproblem.takcacesmanagwhentityisandconsideredanalysesinpropiinsolation.cSophisticatedFitec,hniquesresultsarefusedanalysesinpresenstaticinWthirdCEThapter.estimation(e.g.
dumas-00530654, version 1 - 29 Oct 2010

canJITsuppCompilationso&WindoWoCETotherEstimationaThishines:cyhaptereinIsolationtroelopducemactcesseswsystemoPIlargelyVMsdierenatordomains.macFirst,forthewboenetsyoftvirtualizationmacandanJITexistcompilationplatform).aresamelistedvirtualinfor?k1.1Fanddesigning?lev1.2of;alsothenatibilityavidesbriefwsurvoneyabstractiononthWmacCETtestimationsoftmerealtharcodsds]:isVpresenttedandinple?in1.3on.isolatedWcaneplatform.concludeVMtheIncterface)haptertions.bulationyeaskingpaortabilrelevhievanstoquestion:4Whatnecessarilyisi.e.neededdetails.tovidesrecomomthebine(VM)thcompatibleealltrewwillot,domainsthetotheexrunningpVMloitandtheirines.resplemectivVM,eaddadvareantotages?hine1.1theVirtualThereMacohinesfAlthough[noSystemwAadaproysencomputerwhicseratingyystemsmarecanvVirtualehrysystemcomplex,Macintheymancoponvironmentinonuehardwtovirtualevproolvvidese.(ApplicationTheyorareProgrammingdesignedvironmenasaphierarccesshiesreplication,ofoptimization.dierenobtprolevtheelsyofcross-platformabstractionyseparatedebbyprowVMell-denedofinerallterfalanguageces.nEacththoseabstractionabstraction,hidessimplifyingahidinglargeItamounprotSoftwarocfpimp:lemvirtualenhinetationprodetails.aInabstraction[that31soft],awwritteneitcanrunndiexamplesandof:sucVMhisolatesabstractions.softFareorininstance,ecomputer'fromsVMsinstructionrealsetharcThitectureimp(ISAen)aisdevaersniceaexamplewoflatheerwaell-denedmacintoterfaces.ortUnfortunatelydesired,hitecture.subsystemsareandwcompkinonenotsvirtualdesignedhinesfor31oneChapterinvirtualterfacehines:willsystemnotMwvidesorkcompletewithvironmenthoseindesignedhforopanothersystem(i.e.mananprointerofopultierusersabilitycoproblem).(e.g.VirtualizationPCprowhicvidesaawswrunsaaytoshtoSo,gettingyaroundguestsuceratinghenproblems.tsVirtualizingrunathesystemhostorare1PrococessmpmaconenAtcess(sucprohaasABIaBinaryproterface)cessor,Amemory(Application.In.en.t)useratplica-aProgivVMsenoerabstractionemlevandelAmapseyitsjectivinforterfacecessandisvisiblecross-platformresourcesortabiliton.toullthepinitterfacemaabnacdedresourcesyofaanceunderlying,spasossiblypartdierenant,vrealhigh-system.elVirtualization(HLL)goalsare
dumas-00530654, version 1 - 29 Oct 2010eCHAPTERthe1.anJITICOMPILA/docs/books/jvms/TIONtro&xWeCETtheESTIMAeenTIONImplemen5timeapplicationis:devuelopmenhtoenanvironmenerformancet.isTheecication,resulting1.1.1HLLisVMects.dopesinnernothdirectlydcorre-cspnondstooanwyerealisplatform;prather,Cit5isdierencedesignedtheforaeasefolloofyppecicationortabil19itmplemeny(JaandexecutedtoymatcSo,hththeFfeatureshoftaegivnesnpHLLforresetaofrHLLs.dInethissrepoort,awpeisareddinsuteresteddevintions/standards/Ecma-HLLprogramming.VMsaonlyet.JVMFigureCLI1.1:JaHLLusedeninvironmengtstFigureof1.1Theshothewsinthewithoutditheas-erenceearlybaetvironmenwveenramsanconytecovexceptions,enoptionalJVMplatform-spoecictcompilationsen-nvironmenbtcandtaneHLLeVMdendvironmentt.(InrascontvpenntionalEsystem,uahcompilertfronfthendcgenerates.initermediatetcoedeothatoisTheusedofbproacysiay;cowbacdemogeneratormance.tothegeneratewithahbinaryC++con1taininghttp://www.ecma-mac35.htmhinetedcoTheredenotforbigabspwecictheISAandandMicrosoftopsperatingthereforesystem.vTheiscompilerasfexamplerothenwintsections.endDierenofTanesHLLJVMVtationsMspgeneratesofabstractJVMmacdetailedhine[co]dein(calledducingbyteictationopdeThe)JREsinvarunvirtualenISAts)thatJaspaeciesrogthebVM'siinterpretingterface.bThisdes.coignoringdethecanlobofeedistributedexecutionfordexecution{onedierencteplatformst(epeortabletcoyde).eEacohehostoplatformxmcusttimplemenatdaeVMoableeofiloadi.ngfandoexecutingetheavirtualdISA).eAscexamplesoofeHLLaVMs,dth.erexarecthetSuntMicrosystemseJacvianVMoarctheitecturep(JVM)o1eand}thehMicrosoftlCo(mmonhLanguagerInfrastructurei(CLI)m2r.tIndb)othadvVMs,tagethethisISAsparehstacitsk-mbasedlicittoandeliminatedraregisterkrequiremenitstsdestanderfor-useAanressingabstractpdatagapsplanguagesecicationcandasmemoorrymeansmoelopingdelhttp://java.sun.comthat2suppinternational.org/publicaorts3secureobject-orien
dumas-00530654, version 1 - 29 Oct 2010inCHAPTERshould1.,JITbinaryCOMPILAseparateTIONIT&runningWthoseCETincludesESTIMAstate.TIONjudges6tonativcoeocoddethecompilationJafortor,thetime:Jadescribvbanot,platformuinsomesucnhtheavwbutahayithe[pseparatedortabilitinymono-prisloadernotorsthastatecriced.wiTheatrstJVMtecvironmenhniquetranslatedtorunningexploremethoishtheinAtheheinadyofenstimedetracnaslationalready(Ade.OT).tiThemanageprinciplecibdeatecisetoistranslateecutingallWprogramabcompiler.ytecoarcdescomptogarbagemacahineycofromdestatesbJITeforecoexehangecucompilertion.wsAofbstateigthecinitializeshallengeaofdsucehJITtechangedhniqueoristhethenativdynamictrclassvloading.methoAerfoclasscollector),canneothem.tplbwitheprice.loadedtimeunestilthethespexecuting.cosituationdecompiler.mak6escoabreferenceJITtocompilthnaetcclass.oBecause.AaOTwowccursniquesb].eforestatictheproprogramenexecutes,thethencompilerJITcannotcanmak36eofanayorassumptionscabtheoutmwhicts:hlinkclassesollhmanageracompiler.vtationewbJITeenJVM,loaded.areAnotherrutecMhniqueompiisnativtherunnjust-instatetimethe(JIT)acbompiaslation1.2inbwhicehrunnitheinrstandtimeleaexecuted,methorunningdBeforeisd,calledtheitbistotranslatedde.incallstoandobisjecttocostate.dea(seecalling?compiler1.2generate).instructionWitselfeolinecanthendmethoinnativ[F21ctions]ba(e.g.detailedJITcomparisonthebwhicetokwChallengeseencompilationthetformAmainOTcompilation,andatthecompilationJITthecompilationprogramtecithniques.compileTheaddedfourthrotecTherefore,hniqueisisatheishardwdierenarethatVM:tional,aoproerhead,cessorwiththatcompiledimpldeewithmenytecotsBoththeandJVMdynamicinstruc-ationoset.sAsvantoexaample,ompilethecJadevacheaThereoptismcomparisonietzeenedtproocessorh(JOP)in[830Unlik].aJOPcompiler,iscompilingacedurestacnotktirelycomputerfromwithex-itsooewnainstrucompiler.ctioneset,ndcalled[micro]codesignde.aJavvJITaFbaytecoodesessorarehitecture,translatedJVMinfourtoainmicroonencoclassdandeer,instructionscorecsequencesthreadofandmicroJITcoFdpresenec