Download Tuesday, July 19, 2011

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

page
1
page
2
page
3
page
4
page
5
page
6
page
7
page
8
page
9
page
10
page
11
page
12
page
13
page
14
page
15
page
16
page
17
page
18
page
19
page
20
page
21
page
22
page
23
page
24
page
25
page
26
page
27
page
28
page
29
page
30
page
31
page
32
page
33
page
34
page
35
page
36
page
37
page
38
page
39
page
40
page
41
page
42
page
43
page
44
page
45
page
46
page
47
page
48
page
49
page
50
page
51
page
52
page
53
page
54
page
55
page
56
page
57
page
58
page
59
page
60
page
61
page
62
page
63
page
64
page
65
page
66
page
67
page
68
page
69
page
70
page
71
page
72
page
73
page
74
page
75
page
76
page
77
page
78
page
79
page
80
page
81
page
82
page
83
page
84
page
85
page
86
page
87
page
88
page
89
page
90
page
91
page
92
page
93
page
94
page
95
page
96
page
97
page
98
page
99
page
100
page
101
page
102
page
103
page
104
page
105
page
106
page
107
page
108
page
109
page
110
page
111
page
112
page
113
page
114
page
115
page
116
page
117
page
118
page
119
page
120
page
121
page
122
page
123
page
124
page
125
page
126
page
127
page
128
page
129
page
130
page
131
page
132
page
133
page
134
page
135
page
136
page
137
page
138
page
139
page
140
page
141
page
142
page
143
page
144
page
145
page
146
page
147
page
148
page
149
page
150
page
151
page
152
page
153
page
154
page
155
page
156
page
157
page
158
page
159
page
160
page
161
page
162
page
163
page
164
page
165
page
166
page
167
page
168
page
169
page
170
page
171
page
172
page
173
page
174
page
175
page
176
page
177
page
178
page
179
page
180
page
181
page
182
page
183
page
184
page
185
page
186
page
187
page
188
page
189
page
190
page
191
page
192
page
193
page
194
page
195
page
196
page
197
page
198
page
199
page
200
page
201
page
202
page
203
page
204
page
205
page
206
page
207
page
208
page
209
page
210
page
211
page
212
page
213
page
214
page
215
page
216
page
217
page
218
page
219
Document related concepts
no text concepts found
Transcript 
|
© 2011 Oracle Corporation – Proprietary and Confidential
Tuesday, July 19, 2011
John R. Rose, Da Vinci Machine Project, JSR 292 Lead
|
© 2011 Oracle Corporation – Proprietary and Confidential
Tuesday, July 19, 2011
Method Handles and Beyond...
Some basis vectors
John R. Rose, Da Vinci Machine Project, JSR 292 Lead
|
© 2011 Oracle Corporation – Proprietary and Confidential
Tuesday, July 19, 2011
Victory in JDK 7!
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Victory in JDK 7!
JSR 292 is finished.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Victory in JDK 7!
JSR 292 is finished.
(Or is it?)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Victory in JDK 7!
JSR 292 is finished.
(Or is it?)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Back to the future!
...a perspective from the original JVM Specification
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Back to the future!
...a perspective from the original JVM Specification
The Java Virtual Machine knows nothing about the Java programming language, only of a particular binary
format, the class file format.
A class file contains Java Virtual Machine instructions (or bytecodes) and a symbol table, as well as other ancillary
information.
Any language with functionality that can be expressed in terms of a valid class file can be hosted by the Java
virtual machine.
Attracted by a generally available, machine-independent platform, implementors of other languages are turning to
the Java Virtual Machine as a delivery vehicle for their languages.
In the future, we will consider bounded extensions to the Java Virtual Machine to provide better support for other
languages.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Overview...
•
•
•
•
•
|
What we did in JDK 7
How it works in Hotspot
Advice to users
Next steps in JSR 292
Building the future
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Overview...
•
•
•
•
•
|
What we did in JDK 7
How it works in Hotspot
Advice to users
Next steps in JSR 292
Building the future
© 2011 Oracle Corporation
Tuesday, July 19, 2011
In summary, invokedynamic...
• is a natural general purpose primitive
• Not tied to semantics of a specific programming language
• Flexible building block for a variety of method invocation
semantics
• enables relatively simple and efficient method dispatch
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
In summary, invokedynamic...
• is a natural general purpose primitive
• Not tied to semantics of a specific programming language
• Flexible building block for a variety of method invocation
semantics
• enables relatively simple and efficient method dispatch
Gilad Bracha
Sun Microsystems, JAOO 2005
http://blogs.sun.com/roller/resources/gbracha/JAOO2005.pdf
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
In summary, invokedynamic...
• is a natural general purpose primitive
• Not tied to semantics of a specific programming language
• Flexible building block for a variety of method invocation
semantics
• enables relatively simple and efficient method dispatch
Gilad Bracha
Sun Microsystems, JAOO 2005
http://blogs.sun.com/roller/resources/gbracha/JAOO2005.pdf
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
• 2005: Initial design sketch
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
• 2005: Initial design sketch
• 2006: JSR 292 Expert Group formed
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
• 2005: Initial design sketch
• 2006: JSR 292 Expert Group formed
• 2007: EG reboot
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
•
•
•
•
|
2005: Initial design sketch
2006: JSR 292 Expert Group formed
2007: EG reboot
2008: API with Method Handles (Early Draft Review)
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
•
•
•
•
•
|
2005: Initial design sketch
2006: JSR 292 Expert Group formed
2007: EG reboot
2008: API with Method Handles (Early Draft Review)
2009: API refinement (e.g., CONSTANT_MethodHandle)
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
•
•
•
•
•
•
|
2005: Initial design sketch
2006: JSR 292 Expert Group formed
2007: EG reboot
2008: API with Method Handles (Early Draft Review)
2009: API refinement (e.g., CONSTANT_MethodHandle)
2010: API refinement (e.g., BootstrapMethods)
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JSR 292 Timeline
•
•
•
•
•
•
•
|
2005: Initial design sketch
2006: JSR 292 Expert Group formed
2007: EG reboot
2008: API with Method Handles (Early Draft Review)
2009: API refinement (e.g., CONSTANT_MethodHandle)
2010: API refinement (e.g., BootstrapMethods)
2011: Final balloting.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
– Linked reflectively, under user control.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
– Linked reflectively, under user control.
– User-visible object: java.lang.invoke.CallSite
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
– Linked reflectively, under user control.
– User-visible object: java.lang.invoke.CallSite
– Dynamic call sites can be linked and relinked, dynamically.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
– Linked reflectively, under user control.
– User-visible object: java.lang.invoke.CallSite
– Dynamic call sites can be linked and relinked, dynamically.
• New unit of behavior: method handle
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
– Linked reflectively, under user control.
– User-visible object: java.lang.invoke.CallSite
– Dynamic call sites can be linked and relinked, dynamically.
• New unit of behavior: method handle
– The content of a dynamic call site is a method handle.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
– Linked reflectively, under user control.
– User-visible object: java.lang.invoke.CallSite
– Dynamic call sites can be linked and relinked, dynamically.
• New unit of behavior: method handle
– The content of a dynamic call site is a method handle.
– Method handles are function pointers for the JVM.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Key Features
• New bytecode instruction: invokedynamic.
– Linked reflectively, under user control.
– User-visible object: java.lang.invoke.CallSite
– Dynamic call sites can be linked and relinked, dynamically.
• New unit of behavior: method handle
– The content of a dynamic call site is a method handle.
– Method handles are function pointers for the JVM.
– (Or if you like, each MH implements a single-method interface.)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Dynamic program composition
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Dynamic program composition
• Bytecodes are
created by Java
compilers or
dynamic runtimes.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bytecodes
Dynamic program composition
• Bytecodes are
created by Java
compilers or
dynamic runtimes.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bytecodes
Dynamic call
sites
• A dynamic call site is
created for each
invokedynamic
bytecode.
Dynamic program composition
• Bytecodes are
created by Java
compilers or
dynamic runtimes.
Bytecodes
Dynamic call
sites
Method
handles
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
• A dynamic call site is
created for each
invokedynamic
bytecode.
• Each call site is bound
to one or more method
handles, which point
back to bytecoded
methods.
Dynamic program composition
• Bytecodes are
created by Java
compilers or
dynamic runtimes.
• The JVM seamlessly
integrates execution,
optimizing to native code
as necessary.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Dynamic call
sites
Bytecodes
• A dynamic call site is
created for each
invokedynamic
bytecode.
JVM
JIT
Method
handles
• Each call site is bound
to one or more method
handles, which point
back to bytecoded
methods.
What’s in a method call? (before invokedynamic)
Source
code
Bytecode
Linking
Naming
Identifiers
Utf8
constants
JVM
“dictionary”
Selecting
Scopes
Class
names
Loaded
classes
V-table
lookup
Adapting
Argument
conversion
C2I / I2C
adapters
Receiver
narrowing
Calling
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Executing
Jump with
arguments
What’s in a method call? (using invokedynamic)
Source
code
Naming
∞
Selecting
∞
Adapting
∞
Calling
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bytecode
∞
Bootstrap
methods
Linking
∞
Executing
∞
Bootstrap
method call
∞
Method
handles
∞
Jump with
arguments
Coding directly with method handles
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
(int) HASHCODE.invoke("xy"));}
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
(int) HASHCODE.invoke("xy"));}
MethodHandle CONCAT = LOOKUP
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
(int) HASHCODE.invoke("xy"));}
MethodHandle CONCAT = LOOKUP
.findVirtual(String.class,
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
(int) HASHCODE.invoke("xy"));}
MethodHandle CONCAT = LOOKUP
.findVirtual(String.class,
"concat", methodType(String.class, String.class));
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
(int) HASHCODE.invoke("xy"));}
MethodHandle CONCAT = LOOKUP
.findVirtual(String.class,
"concat", methodType(String.class, String.class));
{assertEquals("xy", (String) CONCAT.invokeExact("x", "y"));}
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
(int) HASHCODE.invoke("xy"));}
MethodHandle CONCAT = LOOKUP
.findVirtual(String.class,
"concat", methodType(String.class, String.class));
{assertEquals("xy", (String) CONCAT.invokeExact("x", "y"));}
MethodHandle CONCAT_FU = CONCAT.bindTo("fu");
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Coding directly with method handles
import static java.lang.invoke.MethodHandles.*;
import static java.lang.invoke.MethodType.*;
...
MethodHandles.Lookup LOOKUP = lookup();
MethodHandle HASHCODE = LOOKUP
.findStatic(System.class,
"identityHashCode", methodType(int.class, Object.class));
{assertEquals(System.identityHashCode("xy"),
(int) HASHCODE.invoke("xy"));}
MethodHandle CONCAT = LOOKUP
.findVirtual(String.class,
"concat", methodType(String.class, String.class));
{assertEquals("xy", (String) CONCAT.invokeExact("x", "y"));}
MethodHandle CONCAT_FU = CONCAT.bindTo("fu");
{assertEquals("futbol", CONCAT_FU.invoke("tbol"));}
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
// ignore caller and name, but match the type:
return new PrintingCallSite(caller, name, type, arg);
}
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
// ignore caller and name, but match the type:
return new PrintingCallSite(caller, name, type, arg);
}
INDY_baz.CALL_SITE.invokeExact("baz arg", 2, 3.14);
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
// ignore caller and name, but match the type:
return new PrintingCallSite(caller, name, type, arg);
}
INDY_baz.CALL_SITE.invokeExact("baz arg", 2, 3.14);
static private class INDY_baz {
static final MethodHandle CALL_SITE; static {
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
// ignore caller and name, but match the type:
return new PrintingCallSite(caller, name, type, arg);
}
INDY_baz.CALL_SITE.invokeExact("baz arg", 2, 3.14);
static private class INDY_baz {
static final MethodHandle CALL_SITE; static {
MethodType mt = methodType(void.class,
String.class, int.class, double.class);
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
// ignore caller and name, but match the type:
return new PrintingCallSite(caller, name, type, arg);
}
INDY_baz.CALL_SITE.invokeExact("baz arg", 2, 3.14);
static private class INDY_baz {
static final MethodHandle CALL_SITE; static {
MethodType mt = methodType(void.class,
String.class, int.class, double.class);
CallSite cs = (CallSite) MH_bsm2().invoke(
lookup(), "baz", mt // standard BSM arguments
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
// ignore caller and name, but match the type:
return new PrintingCallSite(caller, name, type, arg);
}
INDY_baz.CALL_SITE.invokeExact("baz arg", 2, 3.14);
static private class INDY_baz {
static final MethodHandle CALL_SITE; static {
MethodType mt = methodType(void.class,
String.class, int.class, double.class);
CallSite cs = (CallSite) MH_bsm2().invoke(
lookup(), "baz", mt // standard BSM arguments
, 1234.5);
// optional static argument
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Pseudo-coding with invokedynamic
http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/
tip/test/java/lang/invoke/InvokeDynamicPrintArgs.java
invokedynamic baz(Ljava/lang/String;ID)V [#bsm2, 1234.5]
static CallSite bsm2(
Lookup caller, String name, MethodType type, Object... arg) {
// ignore caller and name, but match the type:
return new PrintingCallSite(caller, name, type, arg);
}
INDY_baz.CALL_SITE.invokeExact("baz arg", 2, 3.14);
static private class INDY_baz {
static final MethodHandle CALL_SITE; static {
MethodType mt = methodType(void.class,
String.class, int.class, double.class);
CallSite cs = (CallSite) MH_bsm2().invoke(
lookup(), "baz", mt // standard BSM arguments
, 1234.5);
// optional static argument
CALL_SITE = cs.dynamicInvoker();
} }
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bonus book plug!
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bonus book plug!
Interesting
account of human
language change.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bonus book plug!
Interesting
account of human
language change.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bonus book plug!
Interesting
account of human
language change.
Makes computer
language change
look easy.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Overview...
•
•
•
•
•
|
What we did in JDK 7
How it works in Hotspot
Advice to users
Next steps in JSR 292
Building the future
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Invokedynamic “plumbing”, take 1
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Invokedynamic pseudo-code
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Invokedynamic pseudo-code
Object a1 = ..., a2 = ...;
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Invokedynamic pseudo-code
Object a1 = ..., a2 = ...;
CallSite cs = INDY_lessThan.CALL_SITE;
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
// linked as a constant
Invokedynamic pseudo-code
Object a1 = ..., a2 = ...;
|
CallSite cs = INDY_lessThan.CALL_SITE;
// linked as a constant
MethodHandle mh = cs.getTarget();
// can be variable
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Invokedynamic pseudo-code
Object a1 = ..., a2 = ...;
CallSite cs = INDY_lessThan.CALL_SITE;
// linked as a constant
MethodHandle mh = cs.getTarget();
// can be variable
boolean z = (boolean) mh.invokeExact(a1, a2);
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Invokedynamic pseudo-code
Object a1 = ..., a2 = ...;
CallSite cs = INDY_lessThan.CALL_SITE;
// linked as a constant
MethodHandle mh = cs.getTarget();
// can be variable
boolean z = (boolean) mh.invokeExact(a1, a2);
if (z) { ... }
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code
MethodHandle mh = ...;
// (boolean) mh.invokeExact(a1, a2);
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code
MethodHandle mh = ...;
// (boolean) mh.invokeExact(a1, a2);
MethodType mt = methodType(boolean.class,
Object.class, Object.class);
// internal constant
if (mh.type() != mt) throw new WrongMethodTypeException();
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code
MethodHandle mh = ...;
// (boolean) mh.invokeExact(a1, a2);
MethodType mt = methodType(boolean.class,
Object.class, Object.class);
// internal constant
if (mh.type() != mt) throw new WrongMethodTypeException();
goto (*mh.vmentry)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
// jump indirect to invokestatic_mh
Method handle invocation pseudo-code
MethodHandle mh = ...;
// (boolean) mh.invokeExact(a1, a2);
MethodType mt = methodType(boolean.class,
Object.class, Object.class);
// internal constant
if (mh.type() != mt) throw new WrongMethodTypeException();
|
goto (*mh.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
// vmentry for direct MH to a static method
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code
MethodHandle mh = ...;
// (boolean) mh.invokeExact(a1, a2);
MethodType mt = methodType(boolean.class,
Object.class, Object.class);
// internal constant
if (mh.type() != mt) throw new WrongMethodTypeException();
|
goto (*mh.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
addr = mh.vmtarget
// vmentry for direct MH to a static method
// Runtime#lessThan
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code
MethodHandle mh = ...;
// (boolean) mh.invokeExact(a1, a2);
MethodType mt = methodType(boolean.class,
Object.class, Object.class);
// internal constant
if (mh.type() != mt) throw new WrongMethodTypeException();
goto (*mh.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
addr = mh.vmtarget
// vmentry for direct MH to a static method
// Runtime#lessThan
goto (*addr.from_interpreted_entry)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
// entry point of #lessThan
Method handle invocation pseudo-code
MethodHandle mh = ...;
// (boolean) mh.invokeExact(a1, a2);
MethodType mt = methodType(boolean.class,
Object.class, Object.class);
// internal constant
if (mh.type() != mt) throw new WrongMethodTypeException();
goto (*mh.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
addr = mh.vmtarget
// vmentry for direct MH to a static method
// Runtime#lessThan
goto (*addr.from_interpreted_entry)
// entry point of #lessThan
static boolean lessThan(Object x, Object y) { ... }
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
More details about method handles
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
More details about method handles
• A direct method handle points to a Java method.
– A DMH can emulate any of the pre-existing invoke instructions.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
More details about method handles
• A direct method handle points to a Java method.
– A DMH can emulate any of the pre-existing invoke instructions.
• A bound method handle includes an saved argument.
– The bound argument is specified on creation, and is used on call.
– The bound argument is inserted into the argument list.
– Any MH can be be bound, and the binding is invisible to callers.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
More details about method handles
• A direct method handle points to a Java method.
– A DMH can emulate any of the pre-existing invoke instructions.
• A bound method handle includes an saved argument.
– The bound argument is specified on creation, and is used on call.
– The bound argument is inserted into the argument list.
– Any MH can be be bound, and the binding is invisible to callers.
• An adapter method handle adjusts values on the fly.
– Both argument and return values can be adjusted.
– Adaptations include cast, box/unbox, collect/spread, filter, etc.
– Any MH can be adapted. Adaptation is invisible to callers.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Invokedynamic “plumbing”, take 2
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
goto (*mh2.vmentry)
// jump indirect to bound_ref_mh
bound_ref_mh:
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
goto (*mh2.vmentry)
// jump indirect to bound_ref_mh
bound_ref_mh:
push mh2.vmargument
// insert extra argument &"lessThan"
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
goto (*mh2.vmentry)
// jump indirect to bound_ref_mh
bound_ref_mh:
push mh2.vmargument
// insert extra argument &"lessThan"
mh3 = mh2.vmtarget
// a direct method handle
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
goto (*mh2.vmentry)
// jump indirect to bound_ref_mh
bound_ref_mh:
push mh2.vmargument
// insert extra argument &"lessThan"
mh3 = mh2.vmtarget
// a direct method handle
goto (*mh3.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
// vmentry for direct MH to static method
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
goto (*mh2.vmentry)
// jump indirect to bound_ref_mh
bound_ref_mh:
push mh2.vmargument
// insert extra argument &"lessThan"
mh3 = mh2.vmtarget
// a direct method handle
goto (*mh3.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
// vmentry for direct MH to static method
addr = mh3.vmtarget // Runtime#invoke_2
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
goto (*mh2.vmentry)
// jump indirect to bound_ref_mh
bound_ref_mh:
push mh2.vmargument
// insert extra argument &"lessThan"
mh3 = mh2.vmtarget
// a direct method handle
goto (*mh3.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
// vmentry for direct MH to static method
addr = mh3.vmtarget // Runtime#invoke_2
goto (*addr.from_interpreted_entry) // entry point of #invoke_2
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
mh2 = mh1.vmtarget
// a bound method handle
goto (*mh2.vmentry)
// jump indirect to bound_ref_mh
bound_ref_mh:
push mh2.vmargument
// insert extra argument &"lessThan"
mh3 = mh2.vmtarget
// a direct method handle
goto (*mh3.vmentry)
// jump indirect to invokestatic_mh
invokestatic_mh:
// vmentry for direct MH to static method
addr = mh3.vmtarget // Runtime#invoke_2
goto (*addr.from_interpreted_entry) // entry point of #invoke_2
static Object invoke_2(String m, Object x, Object y) { ... }
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
return (Object) true;
}
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
return (Object) true;
}
pop_frame
// return to call to mh1
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
return (Object) true;
}
pop_frame
// return to call to mh1
mh4 = mh1.argument
// adapter method handle auxiliary
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
return (Object) true;
}
pop_frame
// return to call to mh1
mh4 = mh1.argument
// adapter method handle auxiliary
push rax
// push object return value as argument
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
return (Object) true;
}
pop_frame
// return to call to mh1
mh4 = mh1.argument
// adapter method handle auxiliary
push rax
// push object return value as argument
goto (*mh4.vmentry)
// jump indirect to conversion method
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
return (Object) true;
}
pop_frame
// return to call to mh1
mh4 = mh1.argument
// adapter method handle auxiliary
push rax
// push object return value as argument
goto (*mh4.vmentry)
// jump indirect to conversion method
...
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle invocation pseudo-code (take 2)
MethodHandle mh1 = cs.getTarget(); // an adapter method handle
goto (*mh1.vmentry)
// jump indirect to adapter_collect_args
adapter_collect_args:
push_frame
// for eventual call to #booleanValue
...
static Object invoke_2(String m, Object x, Object y) {
return (Object) true;
}
pop_frame
// return to call to mh1
mh4 = mh1.argument
// adapter method handle auxiliary
push rax
// push object return value as argument
goto (*mh4.vmentry)
// jump indirect to conversion method
...
static boolean convL2Z(Object x) { return (boolean)x; }
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Overview...
•
•
•
•
•
|
What we did in JDK 7
How it works in Hotspot
Advice to users
Next steps in JSR 292
Building the future
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle
• Creation (direct MHs)
– reflective factory API: MethodHandles.Lookup
– ldc of CONSTANT_MethodHandle
– special factories: identity, invoker
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle
• Creation (direct MHs)
– reflective factory API: MethodHandles.Lookup
– ldc of CONSTANT_MethodHandle
– special factories: identity, invoker
• Transformation (bound or adapter MHs)
– bindTo, insertArguments, guardWithTest, etc.
– asType, filterArguments, etc.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle
• Creation (direct MHs)
– reflective factory API: MethodHandles.Lookup
– ldc of CONSTANT_MethodHandle
– special factories: identity, invoker
• Transformation (bound or adapter MHs)
– bindTo, insertArguments, guardWithTest, etc.
– asType, filterArguments, etc.
• Invocation (exact or inexact)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle
• Creation (direct MHs)
– reflective factory API: MethodHandles.Lookup
– ldc of CONSTANT_MethodHandle
– special factories: identity, invoker
• Transformation (bound or adapter MHs)
– bindTo, insertArguments, guardWithTest, etc.
– asType, filterArguments, etc.
• Invocation (exact or inexact)
• Linking (invokedynamic call site or other constant)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Creation
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Creation
• Method handle creation performs method linkage
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Creation
• Method handle creation performs method linkage
• Can be slow; do it just once if possible
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Creation
• Method handle creation performs method linkage
• Can be slow; do it just once if possible
• If generating bytecode, use CONSTANT_MethodHandle
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Transformation
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Transformation
• Bound or adapter method handles are additional nodes.
– This adds internal pointers seen by GC and MH.invoke
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Transformation
• Bound or adapter method handles are additional nodes.
– This adds internal pointers seen by GC and MH.invoke
• In OpenJDK7, creation requires a JNI call
– This means even a simple transform can be surprisingly slow.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Transformation
• Bound or adapter method handles are additional nodes.
– This adds internal pointers seen by GC and MH.invoke
• In OpenJDK7, creation requires a JNI call
– This means even a simple transform can be surprisingly slow.
• We hope to fix this soon.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Invocation
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Invocation
• Exact invocation (MH.invokeExact) is simple.
– In OpenJDK7, a pointer check and jump.
– Only slightly more expensive than a regular method call.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Invocation
• Exact invocation (MH.invokeExact) is simple.
– In OpenJDK7, a pointer check and jump.
– Only slightly more expensive than a regular method call.
• Inexact invocation (MH.invoke) can be complex.
– If the types match exactly, same as MH.invokeExact.
– If the types do not match, can perform asType transform.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Invocation
• Exact invocation (MH.invokeExact) is simple.
– In OpenJDK7, a pointer check and jump.
– Only slightly more expensive than a regular method call.
• Inexact invocation (MH.invoke) can be complex.
– If the types match exactly, same as MH.invokeExact.
– If the types do not match, can perform asType transform.
• Invocation via an invokedynamic instruction is fast
– Always exact (since call sites are strongly typed)
– No runtime check of the type (VM enforces the invariant)
– The MH code is typically inlined.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Linking
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Linking
• An invokedynamic instruction is a constant CallSite...
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Linking
• An invokedynamic instruction is a constant CallSite...
• ...with an optimistically predicted target method handle.
– Predicted handle is treated as a constant.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Linking
• An invokedynamic instruction is a constant CallSite...
• ...with an optimistically predicted target method handle.
– Predicted handle is treated as a constant.
• “static final” MH variables are also constant.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Method handle life cycle: Linking
• An invokedynamic instruction is a constant CallSite...
• ...with an optimistically predicted target method handle.
– Predicted handle is treated as a constant.
• “static final” MH variables are also constant.
• Constant method handles (of any source) can be inlined
– Inlining can boil away adapters and bound arguments.
– Inlining can continue all the way through a direct method handle.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bottom lines (specific to OpenJDK7!)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bottom lines (specific to OpenJDK7!)
• Don’t make new method handles in inner loops (yet).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bottom lines (specific to OpenJDK7!)
• Don’t make new method handles in inner loops (yet).
• Bind method handles to invokedynamic or constants.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bottom lines (specific to OpenJDK7!)
• Don’t make new method handles in inner loops (yet).
• Bind method handles to invokedynamic or constants.
• Prefer invokeExact.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Bottom lines (specific to OpenJDK7!)
•
•
•
•
|
Don’t make new method handles in inner loops (yet).
Bind method handles to invokedynamic or constants.
Prefer invokeExact.
Work with us to prioritize benchmark/optimization work.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Overview...
•
•
•
•
•
|
What we did in JDK 7
How it works in Hotspot
Advice to users
Next steps in JSR 292
Building the future
© 2011 Oracle Corporation
Tuesday, July 19, 2011
The following is intended to outline our general product direction.
It is intended for information purposes only, and may not be
incorporated into any contract. It is not a commitment to deliver
any material, code, or functionality, and should not be relied upon
in making purchasing decisions. The development, release, and
timing of any features or functionality described for Oracle’s
products remains at the sole discretion of Oracle.
|
© 2011 Oracle Corporation – Proprietary and Confidential
Tuesday, July 19, 2011
Loose ends in the Java 7 API
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Loose ends in the Java 7 API
• Method handle introspection (reflection)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Loose ends in the Java 7 API
• Method handle introspection (reflection)
• Generalized proxies (more than single-method intfs)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Loose ends in the Java 7 API
• Method handle introspection (reflection)
• Generalized proxies (more than single-method intfs)
• Class hierarchy analysis (override notification)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Loose ends in the Java 7 API
•
•
•
•
Method handle introspection (reflection)
Generalized proxies (more than single-method intfs)
Class hierarchy analysis (override notification)
Smaller issues:
– usability (MethodHandle.toString, polymorphic bindTo)
– sharp corners (MethodHandle.invokeWithArguments)
– repertoire (tryFinally, more fold/spread/collect options)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Loose ends in the Java 7 API
•
•
•
•
Method handle introspection (reflection)
Generalized proxies (more than single-method intfs)
Class hierarchy analysis (override notification)
Smaller issues:
– usability (MethodHandle.toString, polymorphic bindTo)
– sharp corners (MethodHandle.invokeWithArguments)
– repertoire (tryFinally, more fold/spread/collect options)
• Integration with other APIs (java.lang.reflect)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Support for Lambda in OpenJDK8
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Support for Lambda in OpenJDK8
• More transforms for SAM types (as needed).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Support for Lambda in OpenJDK8
• More transforms for SAM types (as needed).
• Faster bindTo operation to create bound MHs
– No JNI calls.
– Maybe multiple-value bindTo.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Support for Lambda in OpenJDK8
• More transforms for SAM types (as needed).
• Faster bindTo operation to create bound MHs
– No JNI calls.
– Maybe multiple-value bindTo.
• Faster inexact invoke (as needed).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
• http://java.net/jira/browse/MLVM
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
• http://java.net/jira/browse/MLVM
• This is an experiment. Can we make it work?
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
• http://java.net/jira/browse/MLVM
• This is an experiment. Can we make it work?
• Public readable, writable after java.net login.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
• http://java.net/jira/browse/MLVM
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
• http://java.net/jira/browse/MLVM
• This is an experiment. Can we make it work?
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Issue tracking
• http://java.net/jira/browse/MLVM
• This is an experiment. Can we make it work?
• (Is there a JIRA expert in the house?)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Overview...
•
•
•
•
•
|
What we did in JDK 7
How it works in Hotspot
Advice to users
Next steps in JSR 292
Building the future
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
• Asm
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
• Asm
• Mirah
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
• Asm
• Mirah
• Dynalang
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
•
•
•
•
|
Asm
Mirah
Dynalang
Indify
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
•
•
•
•
•
|
Asm
Mirah
Dynalang
Indify
JSR 292 backport
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
•
•
•
•
•
•
|
Asm
Mirah
Dynalang
Indify
JSR 292 backport
MethodHandle transforms/adapters
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
•
•
•
•
•
•
Asm
Mirah
Dynalang
Indify
JSR 292 backport
MethodHandle transforms/adapters
• Ruby/Smalltalk/Groovy/Scala/...
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s build up libraries and client languages
•
•
•
•
•
•
Asm
Mirah
Dynalang
Indify
JSR 292 backport
MethodHandle transforms/adapters
• Ruby/Smalltalk/Groovy/Scala/...
• (your favorite language here)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
• More than a renaissance of languages...
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
• More than a renaissance of languages...
• Part of our attack on multi-cores
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
• More than a renaissance of languages...
• Part of our attack on multi-cores
• Optimization problems:
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
• More than a renaissance of languages...
• Part of our attack on multi-cores
• Optimization problems:
– Support for closures via invokedynamic.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
• More than a renaissance of languages...
• Part of our attack on multi-cores
• Optimization problems:
– Support for closures via invokedynamic.
– SAM / MH conversion (boxing/unboxing).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
• More than a renaissance of languages...
• Part of our attack on multi-cores
• Optimization problems:
– Support for closures via invokedynamic.
– SAM / MH conversion (boxing/unboxing).
– Loop versioning in the presence of closures.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s nurture Project Lambda
• More than aid to Lisp refugees...
• More than a renaissance of languages...
• Part of our attack on multi-cores
• Optimization problems:
–
–
–
–
|
Support for closures via invokedynamic.
SAM / MH conversion (boxing/unboxing).
Loop versioning in the presence of closures.
Online optimistic (re-)compilation.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
• Da Vinci Machine Project: an open source
incubator for JVM futures
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
• Da Vinci Machine Project: an open source
incubator for JVM futures
• Contains code fragments (patches).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
• Da Vinci Machine Project: an open source
incubator for JVM futures
• Contains code fragments (patches).
• Movement to OpenJDK requires:
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
• Da Vinci Machine Project: an open source
incubator for JVM futures
• Contains code fragments (patches).
• Movement to OpenJDK requires:
– a standard (e.g., JSR 292)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
• Da Vinci Machine Project: an open source
incubator for JVM futures
• Contains code fragments (patches).
• Movement to OpenJDK requires:
– a standard (e.g., JSR 292)
– a feature release plan (7 vs. 8 vs. ...)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
• Da Vinci Machine Project: an open source
incubator for JVM futures
• Contains code fragments (patches).
• Movement to OpenJDK requires:
– a standard (e.g., JSR 292)
– a feature release plan (7 vs. 8 vs. ...)
• bsd-port for developer friendliness.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue building our “future VM”
http://hg.openjdk.java.net/mlvm/mlvm/hotspot/
• Da Vinci Machine Project: an open source
incubator for JVM futures
• Contains code fragments (patches).
• Movement to OpenJDK requires:
– a standard (e.g., JSR 292)
– a feature release plan (7 vs. 8 vs. ...)
• bsd-port for developer friendliness.
• [email protected]
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Current Da Vinci Machine patches
MLVM patches
|
meth
method handles implementa.on
indy
invokedynamic
coro
lightweight corou.nes
in.
interface injec.on (Tobias Ivarsson)
tailc
hard tail call op.miza.on (Arnold Schwaighofer)
tuple
integra.ng tuple types (new from Michael Barker!)
hotswap
online general class schema updates (Thomas Wuerthinger)
anonk
anonymous classes; light weight bytecode loading
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
• Hacking code is relatively simple.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
• Hacking code is relatively simple.
• Removing bugs is harder.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
• Hacking code is relatively simple.
• Removing bugs is harder.
• Verifying is difficult (millions of users).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
•
•
•
•
|
Hacking code is relatively simple.
Removing bugs is harder.
Verifying is difficult (millions of users).
Integrating to a giant system very hard.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
•
•
•
•
Hacking code is relatively simple.
Removing bugs is harder.
Verifying is difficult (millions of users).
Integrating to a giant system very hard.
– interpreter, multiple compilers
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
•
•
•
•
Hacking code is relatively simple.
Removing bugs is harder.
Verifying is difficult (millions of users).
Integrating to a giant system very hard.
– interpreter, multiple compilers
– managed heap (multiple GC algos.)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
•
•
•
•
Hacking code is relatively simple.
Removing bugs is harder.
Verifying is difficult (millions of users).
Integrating to a giant system very hard.
– interpreter, multiple compilers
– managed heap (multiple GC algos.)
– debugging, monitoring, profiling machinery
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
•
•
•
•
Hacking code is relatively simple.
Removing bugs is harder.
Verifying is difficult (millions of users).
Integrating to a giant system very hard.
–
–
–
–
|
interpreter, multiple compilers
managed heap (multiple GC algos.)
debugging, monitoring, profiling machinery
security interactions
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
•
•
•
•
Hacking code is relatively simple.
Removing bugs is harder.
Verifying is difficult (millions of users).
Integrating to a giant system very hard.
–
–
–
–
interpreter, multiple compilers
managed heap (multiple GC algos.)
debugging, monitoring, profiling machinery
security interactions
• Specifying is hard (the last 20%...).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Caveat: Change is hard and slow
(especially the “last 20%”)
•
•
•
•
Hacking code is relatively simple.
Removing bugs is harder.
Verifying is difficult (millions of users).
Integrating to a giant system very hard.
–
–
–
–
|
interpreter, multiple compilers
managed heap (multiple GC algos.)
debugging, monitoring, profiling machinery
security interactions
• Specifying is hard (the last 20%...).
• Running process is time-consuming.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue designing our “future VM”
http://java.net/jira/browse/MLVM
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue designing our “future VM”
http://java.net/jira/browse/MLVM
• JIRA issue tracker for API conversations
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue designing our “future VM”
http://java.net/jira/browse/MLVM
• JIRA issue tracker for API conversations
• Contains specification fragments.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue designing our “future VM”
http://java.net/jira/browse/MLVM
• JIRA issue tracker for API conversations
• Contains specification fragments.
• Requires login to java.net!
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Let’s continue designing our “future VM”
http://java.net/jira/browse/MLVM
• JIRA issue tracker for API conversations
• Contains specification fragments.
• Requires login to java.net!
• No code; for all JVMs (not just OpenJDK).
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
JVM design issue tracking by category
|
Category
Descrip3on
bytecode loading
Mechanisms for bytecode loading, such as anonymous classes, single-­‐method loads, and whole-­‐module loads.
corou.nes
Corou.nes, fibers, con.nua.ons, and other extensions to threading.
immutability
Immutable variables and objects. (I.e., beyond blank finals ini.alized in constructors.)
interface injec.on
JVM features related to online updates to interface APIs.
invokedynamic
The invokedynamic instruc.on, with related APIs such as java.lang.invoke.CallSite.
memory locality
Mechanisms for giving applica.ons control (at the bytecode level) over memory locality, such as na.ve layout, heterogeneous arrays, object fusing, object federa.on, and object replica.on.
method handles
java.lang.invoke.MethodHandle and related APIs. For bootstrap methods and CallSite, use the "invokedynamic" component.
reifica.on
Mechanisms for reifying erased informa.on, such as generic type instance parameters.
tailcalls
Bytecode support for hard (user-­‐specified) tail call elimina.on.
tuples
Signature-­‐polymorphic structural record types. Proposals may affect arguments, return values, fields, or array elements, and interoperability (via box/unbox) with reference types.
typestate
Mechanisms for upda.ng the run.me type descrip.on of an object.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Discussions at previous Summits
http://cr.openjdk.java.net/~jrose/pres/201007-JVMFutureTalk.pdf
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Discussions at previous Summits
http://cr.openjdk.java.net/~jrose/pres/201007-JVMFutureTalk.pdf
• E.g., see my talk from last year
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Discussions at previous Summits
http://cr.openjdk.java.net/~jrose/pres/201007-JVMFutureTalk.pdf
• E.g., see my talk from last year
– starting slide 25, “JVM features to investigate”
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Discussions at previous Summits
http://cr.openjdk.java.net/~jrose/pres/201007-JVMFutureTalk.pdf
• E.g., see my talk from last year
– starting slide 25, “JVM features to investigate”
• Value versus Identity
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Discussions at previous Summits
http://cr.openjdk.java.net/~jrose/pres/201007-JVMFutureTalk.pdf
• E.g., see my talk from last year
– starting slide 25, “JVM features to investigate”
• Value versus Identity
• Tail calls
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Discussions at previous Summits
http://cr.openjdk.java.net/~jrose/pres/201007-JVMFutureTalk.pdf
• E.g., see my talk from last year
– starting slide 25, “JVM features to investigate”
• Value versus Identity
• Tail calls
• Better data structures
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Discussions at previous Summits
http://cr.openjdk.java.net/~jrose/pres/201007-JVMFutureTalk.pdf
• E.g., see my talk from last year
– starting slide 25, “JVM features to investigate”
• Value versus Identity
• Tail calls
• Better data structures
• Object species (typestate)
http://blogs.oracle.com/jrose/entry/
larval_objects_in_the_vm
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
An integrating goal: Get multi.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
An integrating goal: Get multi.
• Thread/task/loop decomposition.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
An integrating goal: Get multi.
• Thread/task/loop decomposition.
• Immutability & replication.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
An integrating goal: Get multi.
• Thread/task/loop decomposition.
• Immutability & replication.
• Transactional APIs.
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
An integrating goal: Get multi.
•
•
•
•
|
Thread/task/loop decomposition.
Immutability & replication.
Transactional APIs.
Memory locality.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
An integrating goal: Get multi.
•
•
•
•
•
|
Thread/task/loop decomposition.
Immutability & replication.
Transactional APIs.
Memory locality.
More fluid code.
© 2011 Oracle Corporation
Tuesday, July 19, 2011
An integrating goal: Get multi.
•
•
•
•
•
•
|
Thread/task/loop decomposition.
Immutability & replication.
Transactional APIs.
Memory locality.
More fluid code.
More fluid data (traits, species).
© 2011 Oracle Corporation
Tuesday, July 19, 2011
Q&A
(continuing in today’s workshop)
|
© 2011 Oracle Corporation
Tuesday, July 19, 2011
|
© 2011 Oracle Corporation – Proprietary and Confidential
Tuesday, July 19, 2011
Related documents
Big Data Gives Artificial Intelligence Something to Think About
Big Data Gives Artificial Intelligence Something to Think About
Slide 1
Slide 1
IMS Maxims – Multinational Company
IMS Maxims – Multinational Company
Security
Security
Finding Petroleum - Oracle
Finding Petroleum - Oracle
Free* Oracle Training: Learn to Teach Java, a Top Programming
Free* Oracle Training: Learn to Teach Java, a Top Programming
CSCI 3720 Database Systems
CSCI 3720 Database Systems
Terms applicable to ORACLE
Terms applicable to ORACLE
Database Administrator
Database Administrator
Info
Info
post conditional offer contingencies
post conditional offer contingencies
TO: _____ Corporate Headquarters _____ USA ______, is the
TO: _____ Corporate Headquarters _____ USA ______, is the