Slide 1

Slide 1 text

Beyond JVM or, How to Boil the Ocean in Seven Years

Slide 2

Slide 2 text

No content

Slide 3

Slide 3 text

No content

Slide 4

Slide 4 text

+

Slide 5

Slide 5 text

We Like the JVM

Slide 6

Slide 6 text

No platform-specific compilation needed.

Slide 7

Slide 7 text

No native library dependencies

Slide 8

Slide 8 text

Optimizing JIT compiler

Slide 9

Slide 9 text

Magical black box that runs our code

Slide 10

Slide 10 text

Things We Like About JVM • Bytecode intermediate form • Freedom from native libraries • Optimizing JIT • It just works (usually)

Slide 11

Slide 11 text

Things That Make JRuby Difficult • Bytecode intermediate form • Optimizing JIT • Freedom from native libraries • It just works (usually)

Slide 12

Slide 12 text

Things That Make JRuby Difficult • Startup time sucks • JNI is a massive pain to use • Hard to get unusual languages to optimize • Core is in C++ that we can’t touch

Slide 13

Slide 13 text

No content

Slide 14

Slide 14 text

No content

Slide 15

Slide 15 text

No content

Slide 16

Slide 16 text

No content

Slide 17

Slide 17 text

No content

Slide 18

Slide 18 text

There must be a way!

Slide 19

Slide 19 text

Startup Time

Slide 20

Slide 20 text

No content

Slide 21

Slide 21 text

Java-Heavy JDK • + Less native code to maintain • + Easier portability • + Easier to swap out native side • – Takes longer to warm up

Slide 22

Slide 22 text

JVM Bytecode JVM Language Bytecode Interpreter Bytecode JIT Native Code Time

Slide 23

Slide 23 text

JVM Bytecode JVM Language Bytecode Interpreter Bytecode JIT Native Code

Slide 24

Slide 24 text

Save JITed Code? • Code will change across runs • Often has specific memory addresses • May optimize object layout differently • Which JIT output? • Client, Server, Tiered (1-4)

Slide 25

Slide 25 text

JRuby Startup -e 1 gem --help rake -T 0 2.5 5 7.5 10 C Ruby JRuby

Slide 26

Slide 26 text

Tweaking Flags • -client mode • -XX:+TieredCompilation -XX:TieredStopAtLevel=1 • -X-C to disable JRuby’s compiler • Heap sizes, code verification, etc etc

Slide 27

Slide 27 text

JRuby Startup -e 1 gem --help rake -T 0 2.5 5 7.5 10 C Ruby JRuby JRuby (best)

Slide 28

Slide 28 text

Nailgun? • Keep a single JVM running in background • Toss commands over to it • It stays hot, so code starts faster • Hard to clean up all state (e.g. threads) • Can’t get access to user’s terminal

Slide 29

Slide 29 text

Drip • Start a new JVM after each command • Pre-boot JVM plus optional code • Analyze command line for differences • Age out unused instances • https://github.com/flatland/drip

Slide 30

Slide 30 text

$ export JAVACMD=`which drip` ! $ time jruby -e 1 ! real 0m1.655s user 0m4.486s sys 0m0.231s ! $ time jruby -e 1 ! real 0m0.577s user 0m0.052s sys 0m0.065s

Slide 31

Slide 31 text

JRuby Startup -e 1 gem --help rake -T 0 2.5 5 7.5 10 C Ruby JRuby JRuby (best) JRuby (drip)

Slide 32

Slide 32 text

$ export DRIP_INIT_CLASS=org.jruby.main.DripMain ! $ export DRIP_INIT="" ! $ time jruby -e 1 ! real 0m0.580s user 0m0.052s sys 0m0.063s ! $ time jruby -e 1 ! real 0m0.155s user 0m0.049s sys 0m0.058s

Slide 33

Slide 33 text

public class DripMain {! public static RubyInstanceConfig DRIP_CONFIG;! public static Ruby DRIP_RUNTIME;! ! public static final String JRUBY_DRIP_WARMUP_ENV = "JRUBY_DRIP_WARMUP";! public static final String JRUBY_DRIP_WARMUP_DEFAULT = "1 + 1";! public static final String JRUBY_DRIP_PREBOOT_FILE = "./dripmain.rb";! ! public static void main(String[] args) throws IOException {! // warmup JVM first! Ruby ruby = Ruby.newInstance();! ! String envWarmup = System.getenv(JRUBY_DRIP_WARMUP_ENV);! if (envWarmup != null && envWarmup.length() > 0) {! ruby.evalScriptlet(envWarmup);! } else {! ruby.evalScriptlet(JRUBY_DRIP_WARMUP_DEFAULT);! }! ! // preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! ! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);! ! if (dripMain.exists()) {! FileInputStream fis = new FileInputStream(dripMain);! try {! ruby.getLoadService().load(dripMain.getAbsolutePath(), false);! } finally {! fis.close();! }! }! ! // use config and runtime from preboot process! DRIP_CONFIG = config;! DRIP_RUNTIME = ruby;! }! }!

Slide 34

Slide 34 text

public static final String JRUBY_DRIP_WARMUP_ENV = "JRUBY_DRI public static final String JRUBY_DRIP_WARMUP_DEFAULT = "1 + 1 public static final String JRUBY_DRIP_PREBOOT_FILE = "./dripm public static void main(String[] args) throws IOException {! // warmup JVM first! Ruby ruby = Ruby.newInstance();! String envWarmup = System.getenv(JRUBY_DRIP_WARMUP_ENV);! if (envWarmup != null && envWarmup.length() > 0) {! ruby.evalScriptlet(envWarmup);! } else {! ruby.evalScriptlet(JRUBY_DRIP_WARMUP_DEFAULT);! }! // preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);!

Slide 35

Slide 35 text

public static final String JRUBY_DRIP_WARMUP_ENV = "JRUBY_DRI public static final String JRUBY_DRIP_WARMUP_DEFAULT = "1 + 1 public static final String JRUBY_DRIP_PREBOOT_FILE = "./dripm public static void main(String[] args) throws IOException {! // warmup JVM first! Ruby ruby = Ruby.newInstance();! String envWarmup = System.getenv(JRUBY_DRIP_WARMUP_ENV);! if (envWarmup != null && envWarmup.length() > 0) {! ruby.evalScriptlet(envWarmup);! } else {! ruby.evalScriptlet(JRUBY_DRIP_WARMUP_DEFAULT);! }! // preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);!

Slide 36

Slide 36 text

public static final String JRUBY_DRIP_WARMUP_ENV = "JRUBY_DRI public static final String JRUBY_DRIP_WARMUP_DEFAULT = "1 + 1 public static final String JRUBY_DRIP_PREBOOT_FILE = "./dripm public static void main(String[] args) throws IOException {! // warmup JVM first! Ruby ruby = Ruby.newInstance();! String envWarmup = System.getenv(JRUBY_DRIP_WARMUP_ENV);! if (envWarmup != null && envWarmup.length() > 0) {! ruby.evalScriptlet(envWarmup);! } else {! ruby.evalScriptlet(JRUBY_DRIP_WARMUP_DEFAULT);! }! // preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);!

Slide 37

Slide 37 text

// preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);! if (dripMain.exists()) {! FileInputStream fis = new FileInputStream(dripMain);! try {! ruby.getLoadService().load(dripMain.getAbsolutePa } finally {! fis.close();! }! }! // use config and runtime from preboot process! DRIP_CONFIG = config;! DRIP_RUNTIME = ruby;! }!

Slide 38

Slide 38 text

// preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);! if (dripMain.exists()) {! FileInputStream fis = new FileInputStream(dripMain);! try {! ruby.getLoadService().load(dripMain.getAbsolutePa } finally {! fis.close();! }! }! // use config and runtime from preboot process! DRIP_CONFIG = config;! DRIP_RUNTIME = ruby;! }!

Slide 39

Slide 39 text

// preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);! if (dripMain.exists()) {! FileInputStream fis = new FileInputStream(dripMain);! try {! ruby.getLoadService().load(dripMain.getAbsolutePa } finally {! fis.close();! }! }! // use config and runtime from preboot process! DRIP_CONFIG = config;! DRIP_RUNTIME = ruby;! }!

Slide 40

Slide 40 text

// preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);! if (dripMain.exists()) {! FileInputStream fis = new FileInputStream(dripMain);! try {! ruby.getLoadService().load(dripMain.getAbsolutePa } finally {! fis.close();! }! }! // use config and runtime from preboot process! DRIP_CONFIG = config;! DRIP_RUNTIME = ruby;! }!

Slide 41

Slide 41 text

// preboot actual runtime! Ruby.clearGlobalRuntime();! File dripMain = new File(JRUBY_DRIP_PREBOOT_FILE);! RubyInstanceConfig config = new RubyInstanceConfig();! ruby = Ruby.newInstance(config);! if (dripMain.exists()) {! FileInputStream fis = new FileInputStream(dripMain);! try {! ruby.getLoadService().load(dripMain.getAbsolutePa } finally {! fis.close();! }! }! // use config and runtime from preboot process! DRIP_CONFIG = config;! DRIP_RUNTIME = ruby;! }!

Slide 42

Slide 42 text

JRuby Startup -e 1 gem --help rake -T 0 2.5 5 7.5 10 C Ruby JRuby JRuby (best) JRuby (drip) JRuby (drip init)

Slide 43

Slide 43 text

$ cat dripmain.rb # Preload some code Rails always needs require File.expand_path('../config/application', __FILE__)

Slide 44

Slide 44 text

JRuby Startup rake -T 0 2.5 5 7.5 10 C Ruby JRuby JRuby (best) JRuby (drip) JRuby (drip init) JRuby (dripmain)

Slide 45

Slide 45 text

JRuby Startup rake -T 0 0.275 0.55 0.825 1.1 C Ruby JRuby (dripmain)

Slide 46

Slide 46 text

Native Interop

Slide 47

Slide 47 text

???? JVM World Native World

Slide 48

Slide 48 text

No content

Slide 49

Slide 49 text

No content

Slide 50

Slide 50 text

JNI

Slide 51

Slide 51 text

User Code JNI call JNI impl Target Library Java C/native

Slide 52

Slide 52 text

public class GetPidJNI {! public static native long getpid();! ! public static void main( String[] args ) {! getpid();! }! ! static {! System.load(! System.getProperty("user.dir") +! "/getpidjni.dylib");! }! } JNI

Slide 53

Slide 53 text

/* DO NOT EDIT THIS FILE - it is machine generated */! #include ! /* Header for class com_headius_jnr_presentation_GetPidJNI */! ! #ifndef _Included_com_headius_jnr_presentation_GetPidJNI! #define _Included_com_headius_jnr_presentation_GetPidJNI! #ifdef __cplusplus! extern "C" {! #endif! /*! * Class: com_headius_jnr_presentation_GetPidJNI! * Method: getpid! * Signature: ()J! */! JNIEXPORT jlong JNICALL Java_com_headius_jnr_1presentation_GetPidJNI_getpid! (JNIEnv *, jclass);! ! #ifdef __cplusplus! }! #endif! #endif JNI

Slide 54

Slide 54 text

#include "com_headius_jnr_presentation_GetPidJNI.h"! ! jlong JNICALL Java_com_headius_jnr_1presentation_GetPidJNI_getpid! (JNIEnv *env, jclass c) {! ! return getpid();! } JNI

Slide 55

Slide 55 text

$ gcc -I $JAVA_HOME/include -I $JAVA_HOME/include/darwin -L $JAVA_HOME/jre/lib/ -dynamiclib -ljava -o getpidjni.dylib com_headius_jnr_presentation_GetPidJNI. c! ! $ java -Djava.library.path=`pwd` -cp target/jnr_presentation-1.0- SNAPSHOT.jar com.headius.jnr_presentation.GetPidJNI JNI

Slide 56

Slide 56 text

There Must Be A Better Way

Slide 57

Slide 57 text

User Code JNI call JNI impl Target Library Java C/native

Slide 58

Slide 58 text

User Code JNI call JNI impl Target Library Java C/native

Slide 59

Slide 59 text

Java Native Runtime • Java API • for calling Native code • supported by a rich Runtime library • You may be familiar with JNA • Foreign Function Interface (FFI) • https://github.com/jnr

Slide 60

Slide 60 text

User Code JNR stub JNI call JNI impl libffi Target Library Java C/native

Slide 61

Slide 61 text

import jnr.ffi.LibraryLoader;! import jnr.ffi.annotations.IgnoreError;! ! public class GetPidJNRExample {! public interface GetPid {! long getpid();! }! ! public static void main( String[] args ) {! GetPid getpid = LibraryLoader! .create(GetPid.class)! .load("c");! ! getpid.getpid();! }! } JNR

Slide 62

Slide 62 text

Layered Runtime jffi jnr-ffi libffi jnr-posix jnr-constants ! jnr-enxio jnr-x86asm jnr-unixsocket etc etc

Slide 63

Slide 63 text

jffi Platforms • Darwin (OS X): universal (+ppc?) • Linux: i386, x86_64, arm, ppc, ppc64, s390x • Windows: i386, x86_64 • FreeBSD, OpenBSD: i386, x86_64 • SunOS: i386, x86_64, sparc, sparcv9 • AIX: ppc • OpenVMS, AS/400: builds out there somewhere • If your platform isn't here, contribute a build

Slide 64

Slide 64 text

jnr-ffi • User-oriented API • Roughly equivalent to what JNA gives you • Functions, structs, callbacks, memory • https://github.com/jnr/jnr-ffi

Slide 65

Slide 65 text

jnr-posix • Pre-bound set of POSIX functions • Mostly driven by what JRuby, Jython use • Goal: 100% of POSIX bound to Java

Slide 66

Slide 66 text

public int chmod(String string, int i);! public int chown(String string, int i, int i1);! public int execv(String string, String[] strings);! public int execve(String string, String[] strings, String[] strings1);! public int fork();! public int seteuid(int i);! public int getgid();! public String getlogin();! public int getpgid();! public int getpgid(int i);! public int getpgrp();! public int getpid();! public int getppid();! public Passwd getpwent();! public Passwd getpwuid(int i);! public Passwd getpwnam(String string);! public Group getgrgid(int i);! public Group getgrnam(String string);! public int getuid();! public boolean isatty(FileDescriptor fd);! public int kill(int i, int i1);! public int symlink(String string, String string1);! public int link(String string, String string1);! public String readlink(String string) throws IOException;! public String getenv(String string);! public int setenv(String string, String string1, int i);! public int unsetenv(String string);! public int getpriority(int i, int i1);! public int setpriority(int i, int i1, int i2);! public int setuid(int i);! public FileStat stat(String string);! public int stat(String string, FileStat fs);! public int umask(int i);! public Times times();! public int utimes(String string, long[] longs, long[] longs1);! public int waitpid(int i, int[] ints, int i1);! public int wait(int[] ints);! public int errno();! public void errno(int i);! public int posix_spawnp(String string, List extends SpawnFileAction> list, List extends CharSequence> list1, List extends CharSequence> list2);

Slide 67

Slide 67 text

POSIX posix = POSIXFactory.getPOSIX(! new MyPOSIXHandler(this),! isNativeEnabled);

Slide 68

Slide 68 text

public interface POSIXHandler {! public void error(Errno errno, String string);! public void unimplementedError(String string);! public void warn(WARNING_ID wrngd, String string, Object[] os);! public boolean isVerbose();! public File getCurrentWorkingDirectory();! public String[] getEnv();! public InputStream getInputStream();! public PrintStream getOutputStream();! public int getPID();! public PrintStream getErrorStream();! }

Slide 69

Slide 69 text

public int chmod(String string, int i);! public int chown(String string, int i, int i1);! public int kill(int i, int i1);! public int getpriority(int i, int i1);! public int setpriority(int i, int i1, int i2);! public int waitpid(int i, int[] ints, int i1);! public int wait(int[] ints);! public int errno();! public void errno(int i);

Slide 70

Slide 70 text

jnr-constants • C/preprocessor constants in enum form • Generator code to run on each platform • Several pregenerated sets for jnr-posix

Slide 71

Slide 71 text

public int open(String string, int flags, int mode);! public int socket(int i, int i1);

Slide 72

Slide 72 text

jnr-enxio • Extended Native X-platform IO • NIO-compatible JNR-backed IO library • Read, write, select (kqueue, epoll, etc) • Low-level fcntl control • https://github.com/jnr/jnr-enxio

Slide 73

Slide 73 text

public class NativeSocketChannel! extends AbstractSelectableChannel! implements ByteChannel, NativeSelectableChannel {! public NativeSocketChannel(int fd);! public NativeSocketChannel(int fd, int ops);! public final int validOps();! public final int getFD();! public int read(ByteBuffer dst) throws IOException;! public int write(ByteBuffer src) throws IOException! public void shutdownInput() throws IOException;! public void shutdownOutput() throws IOException;! }

Slide 74

Slide 74 text

jnr-unixsocket • UNIX sockets for NIO • Built atop jnr-enxio • Fully selectable, etc • https://github.com/jnr/jnr-unixsocket

Slide 75

Slide 75 text

What Else? • NIO, NIO.2 • Native IO, symlinks, FS-walking, • Unmanaged memory • Selectable stdio, process IO • Low-level or other sockets (UNIX, ICMP, ...) • New APIs (graphics, crypto, OS, ...)

Slide 76

Slide 76 text

How Does It Perform?

Slide 77

Slide 77 text

Performance • Generated code leading to JNI call • Generated assembly version of native part • jnr-x86asm: Generate and link ASM • Used internally by jnr • https://github.com/jnr/jnr-x86asm

Slide 78

Slide 78 text

getpid calls, 100M times 1ms 10ms 100ms 1000ms 10000ms 100000ms JNA getpid JNR getpid

Slide 79

Slide 79 text

import jnr.ffi.LibraryLoader;! import jnr.ffi.annotations.IgnoreError;! ! public class GetPidJNRExample {! public interface GetPid {! @IgnoreError! long getpid();! }! ! public static void main( String[] args ) {! GetPid getpid = LibraryLoader! .create(GetPid.class)! .load("c");! ! getpid.getpid();! }! } @IgnoreError

Slide 80

Slide 80 text

getpid calls, 100M times 0ms 500ms 1000ms 1500ms 2000ms JNR getpid JNR getpid @IgnoreError

Slide 81

Slide 81 text

getpid calls, 100M times 0ms 500ms 1000ms 1500ms 2000ms JNR getpid JNI JNR @IgnoreError GCC -O3 But There's More to Do

Slide 82

Slide 82 text

JVM Help is Coming • Standard FFI API in JDK • JIT intelligence • Drop JNI overhead where possible • Bind native call directly at call site • Security policies, segv protection, etc • Time for an FFI JSR

Slide 83

Slide 83 text

Language Performance

Slide 84

Slide 84 text

History • JVM authors mentioned non-Java languages • Language authors have targeted JVM • Hundreds of JVM languages now • But JVM was a mismatch for many of them • Usually required tricks that defeated JVM optimizations • Or required features JDK could not provide

Slide 85

Slide 85 text

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

Slide 86

Slide 86 text

Goals of JSR 292 • A user-definable bytecode • Full freedom to define VM behavior • Fast method pointers + adapters • Optimizable like normal Java code • Avoid future modifications

Slide 87

Slide 87 text

Invoke // Static! System.currentTimeMillis()! Math.log(1.0)

Slide 88

Slide 88 text

Invoke // Static! System.currentTimeMillis()! Math.log(1.0)! ! // Virtual! "hello".toUpperCase()! System.out.println()

Slide 89

Slide 89 text

Invoke // Static! System.currentTimeMillis()! Math.log(1.0)! ! // Virtual! "hello".toUpperCase()! System.out.println()! ! // Interface! myList.add("happy happy")! myRunnable.run()

Slide 90

Slide 90 text

Invoke // Static! System.currentTimeMillis()! Math.log(1.0)! ! // Virtual! "hello".toUpperCase()! System.out.println()! ! // Interface! myList.add("happy happy")! myRunnable.run()! ! // Constructor and super! new ArrayList()! super.equals(other)

Slide 91

Slide 91 text

// Static! invokestatic java/lang/System.currentTimeMillis:()J! invokestatic java/lang/Math.log:(D)D! ! // Virtual! invokevirtual java/lang/String.toUpperCase:()Ljava/lang/String;! invokevirtual java/io/PrintStream.println:()V! ! // Interface! invokeinterface java/util/List.add:(Ljava/lang/Object;)Z! invokeinterface java/lang/Runnable.add:()V! ! // Special! invokespecial java/util/ArrayList.:()V! invokespecial java/lang/Object.equals:(java/lang/Object)Z invokestatic invokevirtual invokeinterface invokespecial

Slide 92

Slide 92 text

invokestatic! 1. Confirm arguments are of correct type 2. Look up method on Java class 3. Cache method 4. Invoke method invokevirtual! 1. Confirm object is of correct type 2. Confirm arguments are of correct type 3. Look up method on Java class 4. Cache method 5. Invoke method invokeinterface! 1. Confirm object’s type implements interface 2. Confirm arguments are of correct type 3. Look up method on Java class 4. Cache method 5. Invoke method invokespecial! 1. Confirm object is of correct type 2. Confirm arguments are of correct type 3. Confirm target method is visible 4. Look up method on Java class 5. Cache method 6. Invoke method invokestatic invokevirtual invokeinterface invokespecial invokedynamic! 1. Call your bootstrap code 2. Bootstrap wires up a target function 3. Target function invoked directly until you change it

Slide 93

Slide 93 text

method handles invokedynamic bytecode bootstrap m ethod target method

Slide 94

Slide 94 text

Does It Work?

Slide 95

Slide 95 text

Indy Languages • New language impls • JavaScript: Dyn.js and Nashorn • Redline Smalltalk • Improved language performance • JRuby, Groovy, Jython • Java features too!

Slide 96

Slide 96 text

Times Faster than Ruby 1.9.3 0 1.25 2.5 3.75 5 base64 richards neural redblack 4.32 3.66 3.44 2.658 1.565 1.914 1.538 1.346 JRuby/Java 6 JRuby/Java 7

Slide 97

Slide 97 text

red/black tree, pure Ruby versus native ruby-2.0.0 + Ruby ruby-2.0.0 + C ext jruby + Ruby Runtime per iteration 0 0.75 1.5 2.25 3 0.29s 0.51s 2.48s

Slide 98

Slide 98 text

Caveat Emptor • Indy was really slow in first Java 7 release • Got fast in 7u2...and turned out broken • Rewritten for 7u40 • Slow to warm up • Still some issues (memory use, etc) • Java 8 due in March…

Slide 99

Slide 99 text

All That C++

Slide 100

Slide 100 text

Out of our control Written in C++ JVM Bytecode JVM Language Bytecode Interpreter Bytecode JIT Native Code

Slide 101

Slide 101 text

What If… • The JVM’s JIT optimizer were written in Java • You could customize how the JIT works for your language or library • JITed code could directly make native calls

Slide 102

Slide 102 text

Graal • A 100% Java-based JIT framework • Grew out of the 100% Java “Maxine” JVM • Backends to assembly or HotSpot IR • Directly control code generation • Build a language without using JVM bytecode • http://openjdk.java.net/projects/graal/

Slide 103

Slide 103 text

Plain Java APIs Under your control Graal Intermediate Representation JVM Language Graal Optimizer Native Code Your Optimizations

Slide 104

Slide 104 text

However… • Not everyone is a compiler writer • Graal’s IR is low-level and nontrivial • Need to understand JVM internals • Need some understanding of CPU

Slide 105

Slide 105 text

The Dream • Design your language • ??? • PROFIT

Slide 106

Slide 106 text

What We Want • Design your language • Write an interpreter • PROFIT

Slide 107

Slide 107 text

Truffle • Language framework built on Graal • Designed to fulfill the dream • Implement interpreter • Truffle feeds that to backend • No compiler expertise needed • https://wiki.openjdk.java.net/display/Graal/Truffle+FAQ+and+Guidelines

Slide 108

Slide 108 text

Truffle AST JVM Language Graal Intermediate Representation Graal Optimizer Native Code All we need

Slide 109

Slide 109 text

No content

Slide 110

Slide 110 text

No content

Slide 111

Slide 111 text

What Have We Learned?

Slide 112

Slide 112 text

The JVM has its problems, but we can fix them.

Slide 113

Slide 113 text

OpenJDK and all these solutions are really, truly, open source.

Slide 114

Slide 114 text

Nothing is impossible.

Slide 115

Slide 115 text

Thank you! • Charles Oliver Nutter • @headius, headius@headius.com • http://blog.headius.com