Tweet
Tweet

Slide 1

Slide 1 text

How to make a simple virtual machine Christian Stigen Larsen — Roxar Software Solutions Stavanger Software Developers, Aug. 2015

Slide 2

Slide 2 text

while  True:      op  =  next_instruction()            if  op  ==  foo:          do_foo()      elif  op  ==  bar:          do_bar()      elif          …    

Slide 3

Slide 3 text

while  True:      op  =  next_instruction()            if  op  ==  foo:          do_foo()      elif  op  ==  bar:          do_bar()      elif          …    

Slide 4

Slide 4 text

while  True:      op  =  next_instruction()            if  op  ==  foo:          do_foo()      elif  op  ==  bar:          do_bar()      elif          …    

Slide 5

Slide 5 text

while  True:      op  =  next_instruction()            if  op  ==  foo:          do_foo()      elif  op  ==  bar:          do_bar()      elif          …    

Slide 6

Slide 6 text

while  True:      op  =  next_instruction()            if  op  ==  foo:          do_foo()      elif  op  ==  bar:          do_bar()      elif          …    

Slide 7

Slide 7 text

while  True:      op  =  next_instruction()            if  op  ==  foo:          do_foo()      elif  op  ==  bar:          do_bar()      elif          …    

Slide 8

Slide 8 text

Brainf**k

Slide 9

Slide 9 text

> Move right < Move left + Increment - Decrement . Print , Read [ Start loop ] End loop Instructions

Slide 10

Slide 10 text

++++++++[>++++[>++>+++>+++>+<<<<-­‐]   >+>+>-­‐>>+[<]<-­‐]>>.>-­‐-­‐-­‐.+++++++..++   +.>>.<-­‐.<.+++.-­‐-­‐-­‐-­‐-­‐-­‐.-­‐-­‐-­‐-­‐-­‐-­‐-­‐-­‐.>>+.   >++. «Hello  World!»

Slide 11

Slide 11 text

0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 12

Slide 12 text

0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 13

Slide 13 text

1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 14

Slide 14 text

1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 15

Slide 15 text

1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 16

Slide 16 text

1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 17

Slide 17 text

1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 18

Slide 18 text

1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 19

Slide 19 text

1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 20

Slide 20 text

1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … + > - - …

Slide 21

Slide 21 text

+++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++++++.>+   +++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++.>+++++   +++++++++++++++++++++++++   +++++++++++++++++++++++++   +++++++++++++++++++++..>+   +++++++++.

Slide 22

Slide 22 text

+++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++++++.>+   +++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++.>+++++   +++++++++++++++++++++++++   +++++++++++++++++++++++++   +++++++++++++++++++++..>+   +++++++++. HELL

Slide 23

Slide 23 text

+++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++++++.>+   +++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++.>+++++   +++++++++++++++++++++++++   +++++++++++++++++++++++++   +++++++++++++++++++++..>+   +++++++++. HELL

Slide 24

Slide 24 text

+++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++++++.>+   +++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++.>+++++   +++++++++++++++++++++++++   +++++++++++++++++++++++++   +++++++++++++++++++++..>+   +++++++++. HELL

Slide 25

Slide 25 text

+++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++++++.>+   +++++++++++++++++++++++++   +++++++++++++++++++++++++   ++++++++++++++++++.>+++++   +++++++++++++++++++++++++   +++++++++++++++++++++++++   +++++++++++++++++++++..>+   +++++++++. HELL

Slide 26

Slide 26 text

Loops 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 27

Slide 27 text

Loops 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 28

Slide 28 text

Loops 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 29

Slide 29 text

Loops 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 30

Slide 30 text

Loops 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 31

Slide 31 text

Loops 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 32

Slide 32 text

Loops 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 33

Slide 33 text

Loops 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 34

Slide 34 text

Loops 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 35

Slide 35 text

Loops 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 36

Slide 36 text

Loops 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 … … [ . - ] …

Slide 37

Slide 37 text

Interpreter class  Machine:      def  __init__(…):          self.memory  =  [0]*memsize          self.mptr  =  0            self.code  =  …          self.cptr  =  0          self.stack  =  deque()

Slide 38

Slide 38 text

class  Machine:      def  __init__(…):          self.memory  =  [0]*memsize          self.mptr  =  0            self.code  =  …          self.cptr  =  0          self.stack  =  deque()

Slide 39

Slide 39 text

class  Machine:      def  __init__(…):          self.memory  =  [0]*memsize          self.mptr  =  0            self.code  =  …          self.cptr  =  0          self.stack  =  deque()

Slide 40

Slide 40 text

class  Machine:      def  __init__(…):          self.memory  =  [0]*memsize          self.mptr  =  0            self.code  =  …          self.cptr  =  0          self.stack  =  deque()

Slide 41

Slide 41 text

def  run(self):      while  True:          instruction  =  self.next()          self.dispatch(instruction)

Slide 42

Slide 42 text

def  run(self):      while  True:          instruction  =  self.next()          self.dispatch(instruction)

Slide 43

Slide 43 text

def  run(self):      while  True:          instruction  =  self.next()          self.dispatch(instruction)

Slide 44

Slide 44 text

def  run(self):      while  True:          instruction  =  self.next()          self.dispatch(instruction)

Slide 45

Slide 45 text

def  next(self):          instruction  =  self.code[self.cptr]          self.cptr  +=  1          return  instruction

Slide 46

Slide 46 text

def  next(self):          instruction  =  self.code[self.cptr]          self.cptr  +=  1          return  instruction

Slide 47

Slide 47 text

def  next(self):          instruction  =  self.code[self.cptr]          self.cptr  +=  1          return  instruction

Slide 48

Slide 48 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 49

Slide 49 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 50

Slide 50 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 51

Slide 51 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 52

Slide 52 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 53

Slide 53 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 54

Slide 54 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 55

Slide 55 text

def  dispatch(self,  i):      if  i  ==  «>»:          self.mptr  +=  1      elif  i  ==  «<»:          self.mptr  -­‐=  1      elif  i  ==  «+»:          self.memory[self.mptr]  +=  1      elif  i  ==  «-­‐»:          self.memory[self.mptr]  -­‐=  1      elif  i  ==  «.»:          value  =  self.memory[self.mptr]          sys.stdout.write(value)      elif  i  ==  «,»:          value  =  sys.stdint.read(1)          self.memory[self.mptr]  =  value  

Slide 56

Slide 56 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()

Slide 57

Slide 57 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()

Slide 58

Slide 58 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()

Slide 59

Slide 59 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()

Slide 60

Slide 60 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block() [  …  [  …  ]  …  ]

Slide 61

Slide 61 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          count  =  1          while  count  >  0:              i  =  self.next()              if  i  ==  «[»:                  count  +=  1              elif  i  ==  «]»:                  count  -­‐=  1

Slide 62

Slide 62 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()

Slide 63

Slide 63 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()   elif  i  ==  «]»:      return_addr  =  self.stack.pop()      if  self.memory[self.mptr]  !=  0:          self.cptr  =  return_addr

Slide 64

Slide 64 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()   elif  i  ==  «]»:      return_addr  =  self.stack.pop()      if  self.memory[self.mptr]  !=  0:          self.cptr  =  return_addr

Slide 65

Slide 65 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()   elif  i  ==  «]»:      return_addr  =  self.stack.pop()      if  self.memory[self.mptr]  !=  0:          self.cptr  =  return_addr

Slide 66

Slide 66 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()   elif  i  ==  «]»:      return_addr  =  self.stack.pop()      if  self.memory[self.mptr]  !=  0:          self.cptr  =  return_addr

Slide 67

Slide 67 text

elif  i  ==  «[»:      if  self.memory[self.mptr]  !=  0:          self.stack.append(self.cptr-­‐1)      elif:          self.skip_block()   elif  i  ==  «]»:      return_addr  =  self.stack.pop()      if  self.memory[self.mptr]  !=  0:          self.cptr  =  return_addr

Slide 68

Slide 68 text

Demo

Slide 69

Slide 69 text

Stack vs Register Machines

Slide 70

Slide 70 text

Register1 Register 2 … Program Counter Frame Stack Register Machine Memory I/O

Slide 71

Slide 71 text

Register1 Register 2 … Program Counter Frame Stack Register Machine Memory I/O self.memory[0]  (kinda) self.memory self.cptr self.stack sys.stdin,  sys.stdout self.memory[1]  (kinda)

Slide 72

Slide 72 text

No content

Slide 73

Slide 73 text

No content

Slide 74

Slide 74 text

Register1 Register 2 … Program Counter Frame Stack Register Machine Memory I/O self.memory[0]  (kinda) self.memory self.cptr self.stack sys.stdin,  sys.stdout self.memory[1]  (kinda)

Slide 75

Slide 75 text

Register1 Register 2 … Program Counter Frame Stack Register Machine Memory I/O

Slide 76

Slide 76 text

Register1 Register 2 … Program Counter Frame Stack Register Machine Memory I/O Stack Machine Data Stack Program Counter Return Stack Memory I/O

Slide 77

Slide 77 text

Some Stack Machines • JVM • CLR • Forth • CPython • Lua • …

Slide 78

Slide 78 text

1 Data Stack 1  2  +  3  *

Slide 79

Slide 79 text

2 1 Data Stack 1  2  +  3  *

Slide 80

Slide 80 text

2 1 Data Stack 1  2  +  3  *

Slide 81

Slide 81 text

3 Data Stack 1  2  +  3  *

Slide 82

Slide 82 text

3 3 Data Stack 1  2  +  3  *

Slide 83

Slide 83 text

9 Data Stack 1  2  +  3  *

Slide 84

Slide 84 text

9 Data Stack 1  2  +  3  * (1+2)*3

Slide 85

Slide 85 text

Can we make the interpreter faster?

Slide 86

Slide 86 text

JIT to Python Bytecode

Slide 87

Slide 87 text

LOAD_CONST  «Hello  there»   PRINT_ITEM   PRINT_NEWLINE   LOAD_CONST  None   RETURN_VALUE Python Bytecode

Slide 88

Slide 88 text

LOAD_CONST  «Hello  there»   PRINT_ITEM   PRINT_NEWLINE   LOAD_CONST  None   RETURN_VALUE Python Bytecode

Slide 89

Slide 89 text

LOAD_CONST  «Hello  there»   PRINT_ITEM   PRINT_NEWLINE   LOAD_CONST  None   RETURN_VALUE Python Bytecode

Slide 90

Slide 90 text

LOAD_CONST  «Hello  there»   PRINT_ITEM   PRINT_NEWLINE   LOAD_CONST  None   RETURN_VALUE Python Bytecode

Slide 91

Slide 91 text

Brainf**k to bytecode def  plus():      LOAD_FAST  «ptr»      LOAD_CONST  1      INPLACE_ADD      STORE_FAST  «ptr»

Slide 92

Slide 92 text

Loops label  «start-­‐of-­‐loop»   LOAD_FAST  «memory»        memory[ptr]   LOAD_FAST  «ptr»   BINARY_SUBSCR   LOAD_CONST  0                    memory[ptr]  ==  0   COMPARE_OP  «==»   POP_JUMP_IF_TRUE  «end-­‐of-­‐loop»   if  memory[ptr]  ==  0:  goto  «end-­‐of-­‐loop»

Slide 93

Slide 93 text

Loops label  «start-­‐of-­‐loop»   LOAD_FAST  «memory»        memory[ptr]   LOAD_FAST  «ptr»   BINARY_SUBSCR   LOAD_CONST  0                    memory[ptr]  ==  0   COMPARE_OP  «==»   POP_JUMP_IF_TRUE  «end-­‐of-­‐loop»   if  memory[ptr]  ==  0:  goto  «end-­‐of-­‐loop»

Slide 94

Slide 94 text

Optimizations >>>> ptr  +=  4 <<<< ptr  -­‐=  4 ++++ memory[ptr]  +=  4 -­‐  -­‐  -­‐  -­‐ memory[ptr]  -­‐=  4

Slide 95

Slide 95 text

Demo

Slide 96

Slide 96 text

Can we make it faster?

Slide 97

Slide 97 text

JIT to Machine Code

Slide 98

Slide 98 text

Register V0 Points to memory cell Register V1 For arithmetic movi  V0,  
GNU Lightning

Slide 99

Slide 99 text

< subi  V0,  1 > addi  V0,  1 + ldr  V1,  V0   addi  V1,  1   str  V0,  V1 -­‐ ldr  V1,  V0   subi  V1,  1   str  V0,  V1

Slide 100

Slide 100 text

< subi  V0,  1 > addi  V0,  1 + ldr  V1,  V0   addi  V1,  1   str  V0,  V1 -­‐ ldr  V1,  V0   subi  V1,  1   str  V0,  V1

Slide 101

Slide 101 text

< subi  V0,  1 > addi  V0,  1 + ldr  V1,  V0   addi  V1,  1   str  V0,  V1 -­‐ ldr  V1,  V0   subi  V1,  1   str  V0,  V1

Slide 102

Slide 102 text

< subi  V0,  1 > addi  V0,  1 + ldr  V1,  V0   addi  V1,  1   str  V0,  V1 -­‐ ldr  V1,  V0   subi  V1,  1   str  V0,  V1

Slide 103

Slide 103 text

[ loop_start:      ldr  V1,  V0      beqi  V1,  0,  loop_end ] loop_start:      ldr  V1,  V0      bnei  V1,  0,  loop_start

Slide 104

Slide 104 text

[ loop_start:      ldr  V1,  V0      beqi  V1,  0,  loop_end ]    jmp  loop_start

Slide 105

Slide 105 text

++++++++++   >+++[<.>-­‐]

Slide 106

Slide 106 text

++++++++++   >+++[<.>-­‐] mov        (%rbx),%r13   add        $0xa,%r13   mov        %r13,(%rbx)   add        $0x8,%rbx   mov        (%rbx),%r13   add        $0x3,%r13   mov        %r13,(%rbx)  

Slide 107

Slide 107 text

++++++++++   >+++[<.>-­‐] mov        (%rbx),%r13   add        $0xa,%r13   mov        %r13,(%rbx)   add        $0x8,%rbx   mov        (%rbx),%r13   add        $0x3,%r13   mov        %r13,(%rbx)  

Slide 108

Slide 108 text

++++++++++   >+++[<.>-­‐] mov        (%rbx),%r13   add        $0xa,%r13   mov        %r13,(%rbx)   add        $0x8,%rbx   mov        (%rbx),%r13   add        $0x3,%r13   mov        %r13,(%rbx)  

Slide 109

Slide 109 text

++++++++++   >+++[<.>-­‐] mov        (%rbx),%r13   add        $0xa,%r13   mov        %r13,(%rbx)   add        $0x8,%rbx   mov        (%rbx),%r13   add        $0x3,%r13   mov        %r13,(%rbx)  

Slide 110

Slide 110 text

++++++++++   >+++[<.>-­‐] 0x10006f03b:    mov        (%rbx),%r13   0x10006f03e:   test      %r13,%r13   0x10006f041:   je          0x10006f090   …   0x10006f048:   sub        $0x8,%rbx   …   0x10006f084:   mov        (%rbx),%r13   0x10006f087:   test      %r13,%r13   0x10006f08a:   jne        0x10006f048   0x10006f090:   …

Slide 111

Slide 111 text

++++++++++   >+++[<.>-­‐] 0x10006f03b:    mov        (%rbx),%r13   0x10006f03e:   test      %r13,%r13   0x10006f041:   je          0x10006f090   …   0x10006f048:   sub        $0x8,%rbx   …   0x10006f084:   mov        (%rbx),%r13   0x10006f087:   test      %r13,%r13   0x10006f08a:   jne        0x10006f048   0x10006f090:   …

Slide 112

Slide 112 text

++++++++++   >+++[<.>-­‐] 0x10006f03b:    mov        (%rbx),%r13   0x10006f03e:   test      %r13,%r13   0x10006f041:   je          0x10006f090   …   0x10006f048:   sub        $0x8,%rbx   …   0x10006f084:   mov        (%rbx),%r13   0x10006f087:   test      %r13,%r13   0x10006f08a:   jne        0x10006f048   0x10006f090:   …

Slide 113

Slide 113 text

++++++++++   >+++[<.>-­‐] 0x10006f03b:    mov        (%rbx),%r13   0x10006f03e:   test      %r13,%r13   0x10006f041:   je          0x10006f090   …   0x10006f048:   sub        $0x8,%rbx   …   0x10006f084:   mov        (%rbx),%r13   0x10006f087:   test      %r13,%r13   0x10006f08a:   jne        0x10006f048   0x10006f090:   …

Slide 114

Slide 114 text

Demo

Slide 115

Slide 115 text

Where do we go from here?

Slide 116

Slide 116 text

Applications

Slide 117

Slide 117 text

Applications Berkeley Packet Filter

Slide 118

Slide 118 text

Applications ScummVM

Slide 119

Slide 119 text

Applications Console Emulators

Slide 120

Slide 120 text

Applications Presentation Apps

Slide 121

Slide 121 text

Applications Embedded Programming

Slide 122

Slide 122 text

Applications Genetic Programming

Slide 123

Slide 123 text

Applications Fast Networking

Slide 124

Slide 124 text

Turtles all the way down

Slide 125

Slide 125 text

Turtles all the way down Java Source JVM Machine Code Microcode

Slide 126

Slide 126 text

The end, at last!

Slide 127

Slide 127 text

No content