小型JIT编译器之最佳化技术-Read.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 (/bcel) 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 usin