06.深入浅出ArkCompiler-public.pdf

1、深入浅出深入浅出ArkCompilerArkCompilerHarmonyHarmonyOSOS的应用高级开发语言的应用高级开发语言https:/ 代码资产保护代码资产保护？JavaScriptJavaScriptTypeScriptTypeScriptArkTSTSJS类型类型并发并发编程语言流行趋势：编程语言流行趋势：执行引擎执行引擎类型带来的性能类型带来的性能UnstableTypeOptimizedCodeCertain TypeOptimizedCode（check）Certain TypeType Misswarmwarmprofileprofile编译优化视角主要区别：1.1.动

2、态类型动态类型到达到达 类型稳定态需要类型稳定态需要warmwarm时间时间2.2.动态类型语言需要检查类型，更多机会窗口触发逆优化动态类型语言需要检查类型，更多机会窗口触发逆优化TipsTips动态语言的静态性动态语言的静态性：JS 90%90%的ICIC是mono态语言语言benchmarkbenchmark性能分享性能分享（来源benchmark game）JS(JS(动动)vs.Dart)vs.Dart（静）（静）:由于技术积累优势导致Node.js Node.js 持平或者优于持平或者优于DartDartJS(JS(动动)vs.Java)vs.Java（静）（静）:Java Java

3、 小优小优，互有优劣JavaJava（静）（静）vs.Swiftvs.Swift（静）（静）:几乎相当，几乎相当，SwiftSwift优势不明显优势不明显技术分析技术分析动态语言的主要问题动态语言的主要问题1 1）在于达到类型稳态需要预热时间）在于达到类型稳态需要预热时间=启动慢启动慢2 2）优化代码需要考虑逆优化（动态性）优化代码需要考虑逆优化（动态性）=不好的代码使得优化编译结果更容易失效不好的代码使得优化编译结果更容易失效动态动态静态静态JITAOT/JITUnstableTypeOptimizedCode（check）Certain TypeOptimizedCode（check）Ce

4、rtain TypeType MisswarmprofileJSJSTSTSAOTJITTS Runtime+TSAOTTS Runtime+TSAOT应对技术方案应对技术方案动态语言的主要问题动态语言的主要问题1 1）在于达到类型稳态需要预热时间）在于达到类型稳态需要预热时间TS RuntimeTS Runtime+TSAOTTSAOT2 2）不好的代码使得优化编译结果更容易失效）不好的代码使得优化编译结果更容易失效ArkTSArkTS（应用编程语言）（应用编程语言）+Lint RulesLint Rules业界业界TS/JSTS/JS的问题的问题高性能高性能ArkTSArkTS引擎引擎 原

5、生支持类型的前端和运行时原生支持类型的前端和运行时单态多态未初始化复态业界业界Inline CacheInline CacheInline CacheInline Cache运行时状态迁移运行时状态迁移单态执行性能最高，多态其次。单态执行性能最高，多态其次。注：即使是注：即使是JSJS，实际大部分也是单态，实际大部分也是单态Class AClass B其它快速路径 A快速路径 B通用路径程序动态执行点程序执行的类型不定点程序执行的类型不定点运行时生成运行时生成ICIC提速提速JVMJVM中中Call VirtualCall Virtual等少量使用等少量使用静态类型静态类型JSVMJSVM运行

6、时过程中不断生成运行时过程中不断生成Hidden ClassesHidden Classes和对应的和对应的ICICInline CacheInline CacheFrontendFrontendArkTS SourceClasse InfoBytecodes with TypeInfoClass AClass B快速路径 A快速路径 BInline CacheInline CacheArkTS FrontendArkTS FrontendArkTS RuntimeArkTS Runtime单态多态复态ArkTS Runtime1）类型对象静态预生成2）运行时类型对象的动态绑定技术3）运行时内