InvokeDynamic - You Ain't Seen Nothing Yet

Keynote from JAX 2012

Transcript

1. invokedynamic You Ain’t Seen Nothin’ Yet Saturday, April 21, 2012
2. Me Saturday, April 21, 2012
3. Saturday, April 21, 2012
4. Saturday, April 21, 2012
5. Saturday, April 21, 2012
6. @headius Saturday, April 21, 2012
7. JRuby Guy Saturday, April 21, 2012
8. JVM Guy Saturday, April 21, 2012
9. I KNOW π Saturday, April 21, 2012
10. Saturday, April 21, 2012
11. What is invokedynamic? Saturday, April 21, 2012
12. Invoke? Saturday, April 21, 2012
13. Invoke? That’s one use, but there are many others Saturday, April 21, 2012
14. Dynamic? Saturday, April 21, 2012
15. Dynamic? Dynamic typing is a common reason, but there are many others Saturday, April 21, 2012
16. User-defined Data Endpoint Saturday, April 21, 2012
17. User-defined Data Endpoint Hä?! Saturday, April 21, 2012
18. JVM 101 Saturday, April 21, 2012
19. JVM 101 200 opcodes Saturday, April 21, 2012
20. JVM 101 200 opcodes Ten (or 16) “data endpoints” Saturday, April 21, 2012
21. JVM 101 200 opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Ten (or 16) “data endpoints” Saturday, April 21, 2012
22. JVM 101 200 opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Field Access getfield setfield getstatic setstatic Ten (or 16) “data endpoints” Saturday, April 21, 2012
23. JVM 101 200 opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Field Access getfield setfield getstatic setstatic Array Access *aload *astore b,s,c,i,l,d,f,a Ten (or 16) “data endpoints” Saturday, April 21, 2012
24. JVM 101 200 opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Field Access getfield setfield getstatic setstatic Array Access *aload *astore b,s,c,i,l,d,f,a Ten (or 16) “data endpoints” All Java code revolves around these endpoints Remaining ops are stack, local vars, flow control allocation, and math/boolean/bit operations Saturday, April 21, 2012
25. JVM Opcodes Saturday, April 21, 2012
26. JVM Opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Field Access getfield setfield getstatic setstatic Array Access *aload *astore b,s,c,i,l,d,f,a Saturday, April 21, 2012
27. JVM Opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Field Access getfield setfield getstatic setstatic Array Access *aload *astore b,s,c,i,l,d,f,a Stack Local Vars Flow Control Allocation Boolean and Numeric Saturday, April 21, 2012
28. JVM Opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Field Access getfield setfield getstatic setstatic Array Access *aload *astore b,s,c,i,l,d,f,a Stack Local Vars Flow Control Allocation Boolean and Numeric Saturday, April 21, 2012
29. JVM Opcodes Invocation invokevirtual invokeinterface invokestatic invokespecial Field Access getfield setfield getstatic setstatic Array Access *aload *astore b,s,c,i,l,d,f,a Stack Local Vars Flow Control Allocation Boolean and Numeric Saturday, April 21, 2012
30. Saturday, April 21, 2012
31. Saturday, April 21, 2012
32. Invocation Saturday, April 21, 2012
33. Invocation Saturday, April 21, 2012
34. VM Operations Invocation Call Site Saturday, April 21, 2012
35. VM Operations Invocation Call Site Method Name Signature Target + Args Saturday, April 21, 2012
36. VM Operations Method Lookup Type Checking Branch Method Cache Invocation Call Site Method Name Signature Target + Args Saturday, April 21, 2012
37. Invocation Target Object Object’s Class void foo() static void bar() instanceof obj.foo() JVM Saturday, April 21, 2012
38. VM Operations Invocation Target Object Object’s Class void foo() static void bar() instanceof obj.foo() JVM Call Site Saturday, April 21, 2012
39. VM Operations Invocation Target Object Object’s Class void foo() static void bar() instanceof obj.foo() JVM Call Site Saturday, April 21, 2012
40. VM Operations Method Lookup Invocation Target Object Object’s Class void foo() static void bar() instanceof obj.foo() JVM void foo() Call Site Saturday, April 21, 2012
41. VM Operations Method Lookup Type Checking Invocation Target Object Object’s Class void foo() static void bar() instanceof obj.foo() JVM void foo() Call Site Saturday, April 21, 2012
42. VM Operations Method Lookup Type Checking Branch Invocation Target Object Object’s Class void foo() static void bar() instanceof obj.foo() JVM void foo() Call Site Saturday, April 21, 2012
43. VM Operations Method Lookup Type Checking Branch Method Cache Invocation Target Object Object’s Class void foo() static void bar() instanceof obj.foo() JVM void foo() Call Site Saturday, April 21, 2012
44. Invocation Saturday, April 21, 2012
45. Virtual Method Lookup Type Checking Branch Method Cache Invocation Interface Method Lookup Type Checking Branch Method Cache Saturday, April 21, 2012
46. Virtual Method Lookup Type Checking Branch Method Cache Invocation Interface Method Lookup Type Checking Branch Method Cache Static Method Lookup Branch Method Cache Saturday, April 21, 2012
47. Virtual Method Lookup Type Checking Branch Method Cache Invocation Interface Method Lookup Type Checking Branch Method Cache Static Method Lookup Branch Method Cache Special Method Lookup Access Checking Branch Method Cache Saturday, April 21, 2012
48. Field Access Saturday, April 21, 2012
49. Field Access Call Site Field Name Signature Target [+ Value] Saturday, April 21, 2012
50. Field Access VM Operations Get Field Offset Type Check Access Field Call Site Field Name Signature Target [+ Value] Saturday, April 21, 2012
51. Array Access Saturday, April 21, 2012
52. Array Access Call Site Target + Offset [+ Value] Saturday, April 21, 2012
53. Array Access VM Operations Type Check Access Element Call Site Target + Offset [+ Value] Saturday, April 21, 2012
54. Deja Vu? • Similar call site • Similar VM operations • Why can’t we compose our own? Saturday, April 21, 2012
55. Saturday, April 21, 2012
56. invokedynamic Saturday, April 21, 2012
57. invokedynamic Call Site Saturday, April 21, 2012
58. invokedynamic Call Site VM Operations Saturday, April 21, 2012
59. invokedynamic Call Site VM Operations bytecode + bootstrap Method Handles Saturday, April 21, 2012
60. bytecode Saturday, April 21, 2012
61. bytecode • invokedynamic • like invokevirtual, invokestatic, etc • Name and signature, like the others • Additional bootstrap method • JVM defers to you Saturday, April 21, 2012
62. Method Handles • Function/field/array pointers • Argument manipulation • Flow control • Optimizable by the JVM • This is very important Saturday, April 21, 2012
63. Saturday, April 21, 2012
64. invokedynamic bytecode Saturday, April 21, 2012
65. invokedynamic bytecode bootstrap m ethod Saturday, April 21, 2012
66. method handles invokedynamic bytecode bootstrap m ethod Saturday, April 21, 2012
67. method handles invokedynamic bytecode bootstrap m ethod target method Saturday, April 21, 2012
68. method handles invokedynamic bytecode bootstrap m ethod target method Saturday, April 21, 2012
69. method handles invokedynamic bytecode bootstrap m ethod target method Saturday, April 21, 2012
70. You Decide How to reach some data endpoint Saturday, April 21, 2012
71. You Decide What transformations to perform on arguments Saturday, April 21, 2012
72. You Decide When and why the endpoint should change Saturday, April 21, 2012
73. You Decide How to make the JVM work for you! Saturday, April 21, 2012
74. Use Cases Saturday, April 21, 2012
75. Dynamic Invocation • The obvious one • Method lookup based on runtime types • Potentially mutable types • Type check specific to language Saturday, April 21, 2012
76. Dynamic Invocation Target Object Method Table def foo ... def bar ... associated with obj.foo() JVM Saturday, April 21, 2012
77. VM Operations Dynamic Invocation Target Object Method Table def foo ... def bar ... associated with obj.foo() JVM Call Site Saturday, April 21, 2012
78. VM Operations Dynamic Invocation Target Object Method Table def foo ... def bar ... associated with obj.foo() JVM Call Site Saturday, April 21, 2012
79. VM Operations Method Lookup Dynamic Invocation Target Object Method Table def foo ... def bar ... associated with obj.foo() JVM def foo ... Call Site Saturday, April 21, 2012
80. VM Operations Method Lookup Branch Dynamic Invocation Target Object Method Table def foo ... def bar ... associated with obj.foo() JVM def foo ... Call Site Saturday, April 21, 2012
81. VM Operations Method Lookup Branch Method Cache Dynamic Invocation Target Object Method Table def foo ... def bar ... associated with obj.foo() JVM def foo ... Call Site Saturday, April 21, 2012
82. Lazy Constants • Call site just produces a value • Value calculated once • Subsequent access is direct, optimizable Saturday, April 21, 2012
83. Lazy Constant Lazy Computation LAZY_CONST JVM Call Site Saturday, April 21, 2012
84. VM Operations Lazy Constant Lazy Computation LAZY_CONST JVM Call Site Saturday, April 21, 2012
85. VM Operations Lazy Constant Lazy Computation LAZY_CONST JVM Call Site Saturday, April 21, 2012
86. VM Operations Calculate Value Lazy Constant Lazy Computation LAZY_CONST JVM Call Site value Saturday, April 21, 2012
87. VM Operations Calculate Value Bind Permanently Lazy Constant Lazy Computation LAZY_CONST JVM Call Site value Saturday, April 21, 2012
88. Delegates • Arbitrary function pointers • No anon inner classes • No bridge methods • Java 8 “Lambda” will do this Saturday, April 21, 2012
89. Lambda Expression Surrounding Class String s -> toString() JVM Call Site lambda body Saturday, April 21, 2012
90. VM Operations Lambda Expression Surrounding Class String s -> toString() JVM Call Site lambda body Saturday, April 21, 2012
91. VM Operations Lambda Expression Surrounding Class String s -> toString() JVM Call Site lambda body Saturday, April 21, 2012
92. VM Operations Retrieve Lambda Obj Lambda Expression Surrounding Class String s -> toString() JVM Call Site lambda body Saturday, April 21, 2012
93. VM Operations Retrieve Lambda Obj Bind and Invoke Lambda Expression Surrounding Class String s -> toString() JVM Call Site lambda body Saturday, April 21, 2012
94. Multi-dispatch • Dispatch based on runtime types • Java is single-dispatch • Call site looks like normal invoke • VM side examines target, args • Multiple targets cached with branches Saturday, April 21, 2012
95. How Do You Benefit? Saturday, April 21, 2012
96. Future • New language impls • JavaScript: Dyn.js and Nashorn • Redline Smalltalk • Improved language performance • JRuby, Groovy, Jython, Clojure, Scala • Java features too! Saturday, April 21, 2012
97. JRuby/Java 6 JRuby/Java 7 Saturday, April 21, 2012
98. base64 richards neural redblack 0 1.25 2.5 3.75 5 Times Faster than Ruby 1.9.3 JRuby/Java 6 JRuby/Java 7 Saturday, April 21, 2012
99. base64 richards neural redblack 0 1.25 2.5 3.75 5 1.346 1.538 1.914 1.565 Times Faster than Ruby 1.9.3 JRuby/Java 6 JRuby/Java 7 Saturday, April 21, 2012
100. base64 richards neural redblack 0 1.25 2.5 3.75 5 1.346 1.538 1.914 1.565 2.658 3.44 3.66 4.32 Times Faster than Ruby 1.9.3 JRuby/Java 6 JRuby/Java 7 Saturday, April 21, 2012
101. invokedynamic is the future of Java! Saturday, April 21, 2012
102. Thank You! • @headius • blog.headius.com • invokedynamic post coming soon • headius@headius.com • Come to my deep dive at 16:00 • Have fun with invokedynamic! Saturday, April 21, 2012