Using LLVM and Sulong for Language C Extensionsllvm.org/devmtg/2016-09/slides/Seaton-Sulong.pdf ·...

UsingLLVMandSulongforLanguageCExtensions

ChrisSeatonResearchManagerVMResearchGroupOracleLabs

ManuelRigger,MatthiasGrimmerJKULinz

SafeHarborStatementThefollowingisintendedtoprovidesomeinsightintoalineofresearchinOracleLabs.Itisintendedforinformationpurposesonly,andmaynotbeincorporatedintoanycontract. Itisnotacommitmenttodeliveranymaterial,code,orfunctionality,andshouldnotberelieduponinmakingpurchasingdecisions.Oraclereservestherighttoalteritsdevelopmentplansandpracticesatanytime,andthedevelopment,release,andtimingofanyfeaturesorfunctionalitydescribedinconnectionwithanyOracleproductorserviceremainsatthesolediscretionofOracle. AnyviewsexpressedinthispresentationaremyownanddonotnecessarilyreflecttheviewsofOracle.

Whoweareandwhatwe’redoing

Truffle

Java Scala

JavaScript LLVM

TheRubyLogoisCopyright(c)2006,YukihiroMatsumoto.ItislicensedunderthetermsoftheCreativeCommonsAttribution-ShareAlike 2.5agreementJSLogoCopyright(c)2011ChristopherWilliams<chris@iterativedesigns.com>,MITlicence

YoucandistributethelogounderthetermsoftheCreativeCommonsAttribution-ShareAlike 4.0Internationallicense(CC-BY-SA4.0)or(atyouroption)theGNUGeneralPublicLicenseversion2(GPL-2).

LanguageCextensions

TheRubyLogoisCopyright(c)2006,YukihiroMatsumoto.ItislicensedunderthetermsoftheCreativeCommonsAttribution-ShareAlike 2.5agreementJSLogoCopyright(c)2011ChristopherWilliams<chris@iterativedesigns.com>,MITlicence

ThePythonlogoisatrademarkofthePythonSoftwareFoundation

PerformanceonRubyCExtensionsOilyPNGandPSDNative

M.Grimmer,C.Seaton,T.Würthinger,H.Mössenböck.DynamicallyComposingLanguagesinaModularWay:SupportingCExtensionsforDynamicLanguages.InProceedingsofthe14th InternationalConferenceonModularity,2015.

MRIPureRuby MRIWithCExtension

TheCextensionproblem

Structs declaredinthepublicAPI

Implementationdetailslikeembeddedstringsandsharing

exposed

RubyStringobject

Exposesinnerchar*

Stringobjectwithchar*alreadyexposednowreturnedtoRuby

CalltoarbitraryCcode

ManagedRubyvalueontheCstack

ValuesneedtobeconvertedastheygofromRubytonative

CallfromRubytonativeisextremelyhot

Arrayimplementationpointertakenandstored

forlater

Whenthey’reusedthere’snoindicationsomeoneelseis

managingthem

Previoussolutions

Copy Copy

Ournewsolution

• InterpretboththeRubyandtheC• Actually,interprettheLLVMIRoftheCtosimplify• JITcompiletheRubyandtheC• UseasinglehighandlowlevelIRforboth• ForgetwhichlanguagetheIRcamefromandoptimisethemtogether• GivevirtualisedpointerstotheCprogram

HowSulong andJRuby+Truffle work

Hotspot

Truffle

Node Rewriting for Profiling Feedback

AST InterpreterRewritten Nodes

AST InterpreterUninitialized Nodes

Compilation usingPartial Evaluation

Compiled Code

Node Transitions

Uninitialized Integer

Generic

DoubleString

T.Würthinger,C.Wimmer,A.Wöß,L.Stadler,G.Duboscq,C.Humer,G.Richards,D.Simon,andM.Wolczko.OneVMtorulethemall.InProceedingsofOnward!,2013.

Compiled Code

Node Transitions

Generic

DoubleString

Compiled Code

Node Transitions

Generic

DoubleString

codon.com/compilers-for-free

Presentation,byTomStuart,licensedunderaCreativeCommonsAttributionShareAlike 3.0

Compiled Code

Node Transitions

Generic

DoubleString

Deoptimizationto AST Interpreter

Node Rewriting to Update Profiling Feedback

Recompilation usingPartial Evaluation

Frequently executed call

BigInteger

double

BigInteger

double

BigInteger

Hotspot

Truffle

JS RubyR

C++JVMCI

(JVMCompilerInterface)

Hotspot

Truffle

JS RubyR

viaMavenetc

Completeness– languageandcorelibrary

OracleConfidential– Internal

RubylanguageJRuby passes94%

95% RubycorelibraryJRuby passes95%

Completeness– thebasicRailsstack

OracleConfidential– Internal

ActiveModel

ActiveSupport

ActiveRecord

ActionView

ActionPack

ActionMailer

Railties

Sprockets-Rails

ActiveJob

Spring

98%Basicfunctionalityworks

Classicresearchbenchmarks– 10-20xfaster

Confidential– OracleInternal/Restricted/HighlyRestricted 48

1015202530354045

Speedu

mparedtoRub

GraalVM JRuby+invokedynamic Ruby

BenchmarksboundbyallocationorBigInteger

performance

HowweimplementCextensions

cmyk_to_rgb

psd_native_util_clamp

FIX2INT

cmyk_to_rgb

psd_native_util_clamp

FIX2INT

InsteadofRARRAY_PTRreturningapointer(anumber),returna

properJavaobject

Operationslikegetelementptr canreturnanewJavaobjectthat

rememberstheoriginalobject,andwhatoffsettouse

LetSSAnamesstoreJavaobjectsaswellasnumbers

TheloadcanthenusewhateverlogicwewanttoactuallyreadavaluefromtheJavaobject– reusenormalRubyarray

Virtualised pointer– reallypointstoaJavaobjectwhichrepresentsourRubystring

TheCprogramhasnowayofknowingit’snotarealchar*

Intrinsicoperationsonthepointerareredirectedtobe

methodcalls

Evaluation

Evaluationisbasedonearlierwork• WeusedtohaveaCinterpreter– TruffleC• We’vemovedonfromthis,becausewewanttosupportmorelanguages• Butwearen’tabletorunallthesamebenchmarksyet• Sowe’veshowingresultsfromouroldimplementationinthemeantime• We’reprettysureresultswillbesimilar,asthecompiledcodeissimilar

RubiniusWithCExtension

JRubyWithCExtension

JRuby+TruffleWithCExtension

(NoInline)

JRubyWithCExtension

(NoInline)

NativeCextensionsgiveanorderofmagnitudeperformanceboost

JRubyWithCExtension

(NoInline)

Existingattempttomixmanaged/nativearevery

disappointing

JRubyWithCExtension

(NoInline)

Oursolutionis3xfasterthannative!

JRubyWithCExtension

(NoInline)

It’sclearthatcross-languageinlining isakeypartofthe

performance

Conclusions

OpenSource• https://github.com/graalvm/graal-core

– Graal compiler• https://github.com/graalvm/truffle

– Trufflelanguageimplementationframework• https://github.com/graalvm/fastr

– FastRruntime• https://github.com/graalvm/sulong

– DynamicruntimeforLLVMbitcode• https://github.com/jruby/jruby/wiki/Truffle

– FastRubyruntime

Acknowledgements

OracleDaniloAnsaloniStefanAnzingerCosminBascaDanieleBonettaMatthiasBrantnerPetrChalupaJürgenChristLaurentDaynèsGillesDuboscqMartinEntlicherBrandonFishBastianHossbachChristianHumerMickJordanVojinJovanovicPeterKesslerDavidLeopoldsederKevinMenardJakubPodlešákAleksandarProkopecTomRodriguez

Oracle(continued)RolandSchatzChrisSeatonDougSimonŠtěpánŠindelářZbyněkŠlajchrtLukasStadlerCodrutStancuJanŠtolaJaroslavTulachMichaelVanDeVanterAdamWelcChristianWimmerChristianWirthPaulWögererMarioWolczkoAndreasWößThomasWürthinger

JKULinzProf.HanspeterMössenböckBenoitDalozeJosefEislThomasFeichtingerMatthiasGrimmerChristianHäublJosefHaiderChristianHuberStefanMarrManuelRiggerStefanRumzuckerBernhardUrban

Universityof EdinburghChristopheDubachJuanJoséFumero AlfonsoRanjeet SinghToomas Remmelg

LaBRIFloréal Morandat

Universityof California,IrvineProf.MichaelFranzGulfemSavrunYeniceriWeiZhang

Purdue UniversityProf.JanVitekTomasKaliberaPetrMajLeiZhao

T.U.DortmundProf.PeterMarwedelHelenaKotthausIngoKorb

Universityof California,DavisProf.DuncanTempleLangNicholasUlle

Universityof Lugano,SwitzerlandProf.WalterBinderSunHaiyangYudiZheng

OracleInternsBrianBellevilleMiguelGarciaShamsImamAlexeyKaryakinStephenKellAndreasKunftVolkerLantingGeroLeinemannJulianLettnerJoeNashDavidPiorkowskiGregorRichardsRobertSeilbeckRifatShariyar

AlumniErikEcksteinMichaelHauptChristosKotselidisHyunjinLeeDavidLeibsChrisThalingerTillWestmann

SafeHarborStatementTheprecedingisintendedtoprovidesomeinsightintoalineofresearchinOracleLabs.Itisintendedforinformationpurposesonly,andmaynotbeincorporatedintoanycontract. Itisnotacommitmenttodeliveranymaterial,code,orfunctionality,andshouldnotberelieduponinmakingpurchasingdecisions.Oraclereservestherighttoalteritsdevelopmentplansandpracticesatanytime,andthedevelopment,release,andtimingofanyfeaturesorfunctionalitydescribedinconnectionwithanyOracleproductorserviceremainsatthesolediscretionofOracle. AnyviewsexpressedinthispresentationaremyownanddonotnecessarilyreflecttheviewsofOracle.

Using LLVM and Sulong for Language C Extensionsllvm.org/devmtg/2016-09/slides/Seaton-Sulong.pdf ·...

Documents

Transcript of Using LLVM and Sulong for Language C Extensionsllvm.org/devmtg/2016-09/slides/Seaton-Sulong.pdf ·...

Martin Seaton - DMUG 2014

Pupil Achievements - Seaton House School

Seaton High School

Curriculum vitae ABU BAKAR SULONG - UKM

LLVM DevMtg 2014 · 2019. 10. 30. · Title: LLVM DevMtg 2014.key Created Date: 10/29/2014 5:47:02 PM

Sulong Kabataan: Design, Pilot Implementation, and ...

Ward Seaton - East Devon

Seaton High School 2017 Curriculum Handbook

Brad Seaton

Hikayat Awang Sulong Merah Muda MN 899.23 HIK

SEaton on thE airwavES - shmu

29 SEATON PLACE - CBRE · 29 SEATON PLACE. 29 SEATON PLACE. ... together with a fast ferry service with daily sailings to Portsmouth, ... other cost incurred in the letting of this

Activities Available 2016 - Seaton Devon · 3 ART & CRAFT Title Seaton & Dist Art Society Title Colyton Leisure Painters Tel 553735 Tel 552289 Venue Town Hall, Seaton Venue St John

Norzarina Sulong,Coordinator m-norza@utmcivil.utm.my/undergraduate-office/files/2014/01/4.3-TECS-Test-of... · Norzarina Sulong,Coordinator m-norza@utm.my ... MUET A measure of pre

USP REGISTER...Kg. Sg. Nibong Darat Balairaya, Semerah, 86400 Batu Pahat 41 Johor Parit Sulong Batu Pahat Parit Othman Tl405, Balairaya, Parit Sulong, 83500 Batu Pahat 42 Johor Pasir

Seaton Memorial May A.M.E Church 18

SHEARWATER WAY SEATON £249,950Fortnam Smith & Banwell 1 Vintage Courtyard, Seaton EX12 2JZ 01297 23939 Our Ref: DSS2072 01297 23939 fsbseaton@btconnect.com 1 Vintage Courtyard Seaton

Seaton Heights, Harepath Hill, Seaton, Devonmedia.rightmove.co.uk/.../129328_303_DOC_00_0000.pdf · 2018. 2. 5. · Seaton Heights Harepath Hill, Seaton, Devon, EX12 2TF Exeter 17

LLVM DevMtg 2014llvm.org/.../Carruth-TheLLVMPassManagerPart2.pdf · the llvm pass manager part 2 chandler carruth llvm devmtg 2014

SEATON JURASSIC EVENTS