小型JIT编译器之最佳化技术评估.pptVIP

小型JIT編譯器之最佳化技術評估 指導教授:單智君老師 指導學長:喬偉豪學長 組員: 鍾懿軒，蔣季融，李國丞 第一页，共二十九页。 Outline 觀察鍾懿軒 動機鍾懿軒 目標鍾懿軒 初步設計李國丞 修改過的設計蔣季融 未來進度蔣季融 第二页，共二十九页。 觀察 Java是用stack運算。 因為底層機器是register-based非stack-based，用interpreter執行，performance不佳。 加入JIT將bytecode轉換為register-based的指令，可以增進performance。 若於JIT中加入一些機制，增進其效能，則可進一步增進java performance。 第三页，共二十九页。 動機 加入的機制若能產生IR，使JIT compiler後端處理更方便。就有可能增進JIT的速度。 folding機制:讀入bytecode產生register-based的IR，簡便後段處理。 因此決定於JIT中加入folding機制。 第四页，共二十九页。 目標 將folding機制加入JIT中，以最少的overhead，fold最多的pattern，達到增加performance的目的。 第五页，共二十九页。 初步設計 架構圖 Bytecode分類 Pattern 統計 遇到的問題 第六页，共二十九页。 舊架構圖 第七页，共二十九页。 舊folding架構圖 第八页，共二十九页。 Bytecode分類 1.定義: 參考kim’s paper(Advanced POC Model-Based Java Instruction Folding Mechanism) P:非operation含有push。 Op:operation含有push不含pop。 Oc:operation含有pop不含push。 C:非operation含有pop。 On:不含push pop,無法分類者。 第九页，共二十九页。 Bytecode分類(續) 參考學長的paper(stack operations folding in java processors) P: transfering data from Constant Register or Local Variable to the operand stack。 O: gets data from the operand stack and then performs different tasks Oe: ALU type operator that writes the result back to the operand stack。 Ob: Branch type operator。 Oc: Complex type operator including array access, constant pool access 。 Ot: unable or hard to join the folding operation。 C: consumes data from the operand stack, and stores data back into the local variable。 第十页，共二十九页。 Bytecode分類(續) 2.統計bytecode push/pop數: 檢視kvm source code(bytecodes.c): 查看每道bytecode的執行碼中有多少push, pop的動作。 檢視jvm spec(chapter 6) 每道bytecode都已規定好stack情況，可直接紀錄。 第十一页，共二十九页。 Analyze patterns possibility in Java class file Get information from Java class file Do it our self (in C++) BCEL library for Java () 第十二页，共二十九页。 Possibility of patterns (1)KIM所統計出的Patterns及出現百分比 (2)自行統計”Embedded CaffeineMark”的結果 第十三页，共二十九页。 Problems Classification can save time of string matching Using “Hashing” is better than string matching ! Benefit of classification no longer exists when using “Hashing” ! 使用st