Slide 1

Slide 1 text

InvokeDynamic Your API for HotSpot Tony Arcieri Boundary October 11th, 2012

Slide 2

Slide 2 text

Who am I?

Slide 3

Slide 3 text

Who am I?

Slide 4

Slide 4 text

Our story begins...

Slide 5

Slide 5 text

Java was slow Once upon a time...

Slide 6

Slide 6 text

Anamorphic

Slide 7

Slide 7 text

Anamorphic StrongTalk

Slide 8

Slide 8 text

•Optional static typing •Modern garbage collector •JIT compiler Anamorphic StrongTalk

Slide 9

Slide 9 text

Anamorphic StrongTalk Sun Microsystems Java

Slide 10

Slide 10 text

Anamorphic StrongTalk Sun Microsystems Java Stolen legacy!

Slide 11

Slide 11 text

Anamorphic StrongTalk Sun Microsystems Java Stolen legacy!

Slide 12

Slide 12 text

Anamorphic StrongTalk Sun Microsystems Java Stolen legacy!

Slide 13

Slide 13 text

No content

Slide 14

Slide 14 text

HotSpot

Slide 15

Slide 15 text

JIT

Slide 16

Slide 16 text

Compile When Code Runs Just-In-Time Compiler

Slide 17

Slide 17 text

JIT Spectrum

Slide 18

Slide 18 text

JIT Spectrum Eager Lazy

Slide 19

Slide 19 text

JIT Spectrum Eager Lazy CLR HiPE V8 HotSpot

Slide 20

Slide 20 text

JIT Spectrum Eager Lazy CLR HiPE V8 HotSpot Static Optimizations Runtime Optimizations

Slide 21

Slide 21 text

•C1: Client Compiler •C2: Server Compiler HotSpot

Slide 22

Slide 22 text

•C1: Client Compiler •C2: Server Compiler •-XX:+TieredCompilation HotSpot

Slide 23

Slide 23 text

Mixed Mode Profiling JIT

Slide 24

Slide 24 text

Start by interpreting JVM “emulates” bytecodes in userspace BYTECODE

Slide 25

Slide 25 text

Locate “hot spots” BYTECODE Using runtime profiling information

Slide 26

Slide 26 text

Generate machine code Compile JVM bytecode to native ISA BYTECODE 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 after 10,000 calls

Slide 27

Slide 27 text

•Inlining methods •Unrolling loops •Eliding locks •Eliminating dead code •Escape analysis Optimizations

Slide 28

Slide 28 text

•Inlining methods •Unrolling loops •Eliding locks •Eliminating dead code •Escape analysis Optimizations

Slide 29

Slide 29 text

Inlining Combine and optimize across calls Method 1 CALL Method 2

Slide 30

Slide 30 text

Inlining Combine and optimize across calls Method 1 Method 2

Slide 31

Slide 31 text

Call Sites Where the magic happens... CALL

Slide 32

Slide 32 text

Call Sites •Profile data •Monomorphic inline cache •Polymorphic inline cache

Slide 33

Slide 33 text

“Shapes”

Slide 34

Slide 34 text

Monomorphic Only one type seen at call site CALL A

Slide 35

Slide 35 text

Bimorphic Two types seen at call site CALL A B

Slide 36

Slide 36 text

Polymorphic Many types seen at call site CALL A C B

Slide 37

Slide 37 text

Megamorphic Too many types seen at call site CALL A C B D E F G

Slide 38

Slide 38 text

•Measure invocations and branches •Make an educated guess •Inline the code in question •Back out if we guessed wrong Inlining

Slide 39

Slide 39 text

•Check invariants at a “safe point” •Did we guess wrong? •Revert optimization and try again Deopt

Slide 40

Slide 40 text

JVM Limitations

Slide 41

Slide 41 text

Made for Java •InvokeVirtual •InvokeInterface •InvokeStatic •InvokeSpecial

Slide 42

Slide 42 text

Non-Java call sites are opaque to HotSpot Can’t be inlined Method 1 CALL Method 2

Slide 43

Slide 43 text

Teach HotSpot? See through non-Java call sites Method 1 CALL Method 2

Slide 44

Slide 44 text

Inline just like Java Method 1 Method 2

Slide 45

Slide 45 text

What if it worked for any language?

Slide 46

Slide 46 text

Even Ruby?

Slide 47

Slide 47 text

InvokeDynamic

Slide 48

Slide 48 text

InDy

Slide 49

Slide 49 text

InDy •JSR-292: “Supporting Dynamically Typed Languages on the Java Platform” •Initial version shipped in Java 7 •Feeds directly into HotSpot in Java 8

Slide 50

Slide 50 text

New JVM instruction

Slide 51

Slide 51 text

java.lang.invoke

Slide 52

Slide 52 text

InvokeDynamic

Slide 53

Slide 53 text

InvokeDynamic

Slide 54

Slide 54 text

InvokeDynamic

Slide 55

Slide 55 text

“User defined data endpoint”

Slide 56

Slide 56 text

JVM Data Endpoints •Invoke operations •Array element access •Property lookup •And more!

Slide 57

Slide 57 text

InDy Use Cases •Custom invocation •“Constant” values (e.g. globals, language intrinsics) •Scoped values (e.g. instance variables)

Slide 58

Slide 58 text

InDy How does it work?

Slide 59

Slide 59 text

Pieces of InDy •Bootstrap methods •Call sites •Method handles •Switch points

Slide 60

Slide 60 text

Bootstrap method

Slide 61

Slide 61 text

Bootstrap method Wire up the call site

Slide 62

Slide 62 text

Bootstrap method Your own code!

Slide 63

Slide 63 text

Bootstrap Method •Called the first time each InDy call site is used •Find MethodHandle to dispatch •Return CallSite object

Slide 64

Slide 64 text

Call Site Replaces InDy instruction in bytecode

Slide 65

Slide 65 text

Call Site Holds onto a chain of MethodHandles

Slide 66

Slide 66 text

java.lang.invoke.CallSite •ConstantCallSite: unchangeable •VolatileCallSite: seen coherently across cores •MutableCallSite: may appear different across cores

Slide 67

Slide 67 text

Any of those can be subclassed

Slide 68

Slide 68 text

java.lang.invoke.MethodHandle •Directly executable reference to a Java method (i.e. fast-as-Java) •Inlineable by HotSpot •MethodHandles all the way down

Slide 69

Slide 69 text

Methods are first- class objects

Slide 70

Slide 70 text

Project Lambda Lambdas for the JVM Coming in Java 8! (Summer 2013)

Slide 71

Slide 71 text

Guarded Invocation

Slide 72

Slide 72 text

MethodHandle.guardWithTest( ! MethodHandle test, ! MethodHandle target, ! MethodHandle fallback ) Guarded Invocation

Slide 73

Slide 73 text

fallback can rebind the call site Handle new types as they’re seen

Slide 74

Slide 74 text

SwitchPoints

Slide 75

Slide 75 text

SwitchPoint.guardWithTest( ! MethodHandle target, ! MethodHandle fallback ) SwitchPoint.invalidateAll( ! SwitchPoint[] ) SwitchPoints

Slide 76

Slide 76 text

java.lang.invoke.SwitchPoint •Publish events across threads (e.g. blow caches when classes change) •Only event is valid -> invalid •Hooks directly into the HotSpot deoptimizer (no additional branches)

Slide 77

Slide 77 text

Putting it together

Slide 78

Slide 78 text

CallSite: where the call is taking place Invocation example

Slide 79

Slide 79 text

CallSite: where the call is taking place SwitchPoint: did the class change? Invocation example

Slide 80

Slide 80 text

CallSite: where the call is taking place SwitchPoint: did the class change? GuardWithTest: is this the type we bound? Invocation example

Slide 81

Slide 81 text

CallSite: where the call is taking place SwitchPoint: did the class change? GuardWithTest: is this the type we bound? Target: invoke the target method Invocation example

Slide 82

Slide 82 text

CallSite: where the call is taking place SwitchPoint: did the class change? GuardWithTest: is this the type we bound? Target: invoke the target method Rebind: lookup new method and rebuild call site - or - Invocation example

Slide 83

Slide 83 text

CallSite: where the call is taking place SwitchPoint: did the class change? GuardWithTest: is this the type we bound? Target: invoke the target method Rebind: lookup new method and rebuild call site - or - - or - Rebind: lookup potentially changed methods Invocation example

Slide 84

Slide 84 text

InDy in the real world

Slide 85

Slide 85 text

Is it good? To the assembly!

Slide 86

Slide 86 text

java -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly Enabling ASM output

Slide 87

Slide 87 text

def foo; 1; end def invoker; foo; end i = 0 while i < 10000 invoker i+=1 end Contrived Ruby code

Slide 88

Slide 88 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq

Slide 89

Slide 89 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Stack juggling

Slide 90

Slide 90 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Is “self” a Ruby object?

Slide 91

Slide 91 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Same metaclass as before?

Slide 92

Slide 92 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Store Fixnum “1” for return

Slide 93

Slide 93 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Note: inside the “foo” method

Slide 94

Slide 94 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Stack juggling

Slide 95

Slide 95 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Safe point check

Slide 96

Slide 96 text

0x00000001060a1be0: mov %eax,-0x14000(%rsp) 0x00000001060a1be7: push %rbp 0x00000001060a1be8: sub $0x30,%rsp ;*synchronization entry ; - ruby.__dash_e__::method__1$RUBY$invoker@-1 (line 1) 0x00000001060a1bec: mov 0x8(%rcx),%r10d ; implicit exception: dispatches to 0x00000001060a1c55 0x00000001060a1bf0: cmp $0xfb7aedc9,%r10d ; {oop('org/jruby/RubyObject')} 0x00000001060a1bf7: jne 0x00000001060a1c39 0x00000001060a1bf9: mov %rcx,%r10 ;*checkcast ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@2 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1bfc: mov 0x10(%r10),%ebp ;*getfield metaClass ; - org.jruby.RubyBasicObject::getMetaClass@1 (line 520) ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@5 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c00: cmp $0xfed77602,%ebp ; {oop(a 'org/jruby/MetaClass')} 0x00000001060a1c06: jne 0x00000001060a1c1e ;*if_acmpne ; - org.jruby.runtime.invokedynamic.InvocationLinker::testMetaclass@8 (line 633) ; - java.lang.invoke.MethodHandle::invokeExact@3 ; - java.lang.invoke.MethodHandle::invokeExact@5 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) 0x00000001060a1c08: movabs $0x7f6bf4bb0,%rax ;*areturn ; - ruby.__dash_e__::method__0$RUBY$foo@6 (line 1) ; - java.lang.invoke.MethodHandle::invokeExact@6 ; - java.lang.invoke.MethodHandle::invokeExact@31 ; - java.lang.invoke.MethodHandle::invokeExact@29 ; - ruby.__dash_e__::method__1$RUBY$invoker@3 (line 1) ; {oop(a 'org/jruby/RubyFixnum')} 0x00000001060a1c12: add $0x30,%rsp 0x00000001060a1c16: pop %rbp 0x00000001060a1c17: test %eax,-0xec3c1d(%rip) # 0x00000001051de000 ; {poll_return} 0x00000001060a1c1d: retq Done!

Slide 97

Slide 97 text

Benchmarks

Slide 98

Slide 98 text

No content

Slide 99

Slide 99 text

No content

Slide 100

Slide 100 text

That’s it!

Slide 101

Slide 101 text

Twitter: @bascule Celluloid: celluloid.io Blog: unlimitednovelty.com