<Insert Picture Here> Graal: A quest for the JVM to leverage its own J Doug Simon - Oracle Labs

Size: px

Start display at page:

Download "<Insert Picture Here> Graal: A quest for the JVM to leverage its own J Doug Simon - Oracle Labs"

Dorothy Carson
6 years ago
Views:

1 <Insert Picture Here> Graal: A quest for the JVM to leverage its own J Doug Simon - Oracle Labs JVM Language Summit, 30th July 2012

2 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. 2

3 C, C++, asm gdb, dbx, VisualStudio valgrind, vtune Java, JUnit Eclipse, NetBeans, IntelliJ JVM 3

4 Java Eclipse JUnit JVM 4

5 Java JVM JUnit Eclipse 4

6 graal.api.code graal.api.interpreter graal.api.meta graal.api JVM 5

7 Graal Compiler Bytecode Interpreter AST Interpreter Profile Analysis? graal.api.* JVM 6

8 Performance: SpecJVM Client Graal Server 9/11 2/12 4/12 7

9 HotSpot ARM CMS native threads jstack ia32 OpenJDK JDWP template interpreter Oracle G1 product SPARC Linux deopt open source JVMTI jvmstat 64-bit c2 32-bit OpenJDK c1 profiling QA jps TCK AMD64 MacOS Windows 8

10 1. Open 2. Test drive $ hg clone $ cd graal $ echo JAVA_HOME=/path/to/jdk7 > mx/env $ mx build $ mx -v unittest 3. Browse $ mx ideinit 4. Participate on graal-dev@openjdk.java.net 9

11 import java.lang.reflect.*; import com.oracle.graal.api.*; import com.oracle.graal.api.meta.*; ProfileDemo.java class ProfileDemo { public static void main(string[] args) throws Exception { MetaAccessProvider meta = Graal.getRuntime(). getcapability(metaaccessprovider.class); Method m = String.class.getMethod("valueOf", Object.class); ResolvedJavaMethod rjm = meta.getresolvedjavamethod(m); ProfilingInfo info = rjm.profilinginfo(); System.out.println(MetaUtil.profileToString(info, rjm, "\n")); $ mx vm -XX:-BootstrapGraal ProfileDemo canbestaticallybound: true invocationcount: 923 executioncount@1: 2600 branchprobability@1: executioncount@6: 0 branchprobability@6: executioncount@10: 2609 types@10: (HotSpotType<java/lang/String, resolved>) (HotSpotType<com/oracle/graal/hotspot/meta/HotSpotResolvedJavaMethod, resolved>) (HotSpotType<com/oracle/graal/nodes/LocalNode, resolved>) <not recorded> 10

12 import java.lang.reflect.*; import org.junit.*; import com.oracle.graal.api.code.*; import com.oracle.graal.api.meta.*; class CompilerTest { void test(method m, ResolvedJavaMethod rjm, InstalledCode code, Object obj, Object... args) { Object expect = m.invoke(obj, args); Object actual = code.execute(obj, args); Assert.assertEquals(expect, actual); 11

13 Graal Compiler vision Create an extensible, dynamic compiler using object-oriented Java programming, a graph intermediate representation, and Java snippets. 12

14 $ mx projectgraph dot -Tpdf -oprojects.pdf 13

15 class DirectObjectStoreNode extends FixedWithNextNode implements Lowerable private ValueNode private ValueNode private ValueNode offset; private final int public void lower(loweringtool tool) { // tool.getruntime().lower(this, tool); StructuredGraph graph = (StructuredGraph) this.graph(); IndexedLocationNode location = create(any_location, value.kind(), displacement, offset, graph, false); WriteNode write = new WriteNode(object, value, location); graph.replacefixedwithfixed(this, graph.add(write)); 14

16 $ mx igv 15

17 DirectObjectStoreNode(ValueNode object, int displacement, ValueNode offset, ValueNode value) static void storeobject(object int displacement, long offset, Object value) { throw new UnsupportedOperationException();... int offset = secondarysupercacheoffset(); DirectObjectStoreNode.storeObject(s, offset, 0, static int secondarysupercacheoffset() {... 16

18 void initialize(graph newgraph) { this.graph = newgraph; newgraph.register(this); usages = new NodeUsagesList(); for (Node input : inputs()) { updateusages(null, input); for (Node successor : successors()) { updatepredecessor(null, successor);... Node.java... Graph.java <T extends Node & IterableNodeType> NodeIterable<T> getnodes(final Class<T> type) {... 17

19 protected void editphaseplan( ResolvedJavaMethod method, StructuredGraph graph, PhasePlan phaseplan) {... protected void editphaseplan( ResolvedJavaMethod method, StructuredGraph graph, PhasePlan phaseplan) { phaseplan.disablephase(inliningphase.class); static String invokespecial(invoketest a, String s) { return a.privatemethod(s); 18

20 protected InstalledCode getcode( GraalCompilerTest.java ResolvedJavaMethod method, StructuredGraph graph, boolean forcecompile) {... JavaTypeProfile profile; // set per test protected InstalledCode getcode(resolvedjavamethod method, StructuredGraph graph) { CheckCastNode ccn = graph.getnodes(checkcastnode.class).first(); if (ccn!= null) { ResolvedJavaType tt = ccn.targettype(); ValueNode tti = ccn.targettypeinstruction(); CheckCastNode subst = graph.add( new CheckCastNode(tti, tt, ccn.object(), profile)); graph.replacefixedwithfixed(ccn, subst); return super.getcode(method, graph); 19

21 Snippets: Lowering with static Object Object Object boolean checknull) { if (checknull && object == null) { return object; Object objecthub = loadobject(object, 0, huboffset(), true); if (objecthub!= exacthub) { deopt(invalidatereprofile, ClassCastException); return static Object loadobject(...) static void deopt(...) static int huboffset() {... 20

@ConstantParameter("checkNull") @Parameter("object")

22 @ConstantParameter("checkNull") checkcastexact checkcastexact{checknull==true 21

23 Graal Compiler Bytecode Interpreter AST Interpreter graal.api.* + client graal server? 4/12 22

24 Acknowledgements Oracle Labs Doug Simon Christian Wimmer Thomas Wuerthinger JKU Linz Gilles Duboscq Christian Haeubl Lukas Stadler Discussions: Laurent Daynes, Michael Haupt, Mick Jordan, Rémi Forax, Peter Kessler, Marcus Lagergren, Martin Odersky & the Scala EPFL, Frederik Ohrstrom, John Rose, Christian Thalinger, Michael Van De Vanter, Mikael Vidstedt, Mario Wolczko 23

25 Q & A $ hg clone $ cd graal $ echo JAVA_HOME=/path/to/jdk7 > mx/env $ mx build $ mx -v unittest 24

1 Copyright 2012, Oracle and/or its affiliates. All rights reserved.

1 Copyright 2012, Oracle and/or its affiliates. All rights reserved. Truffle: A Self-Optimizing Runtime System Thomas Wuerthinger Oracle Labs JVM Language Summit, July 31, 2012 2 Copyright 2012, Oracle