montreal.rb about VMs

1. hey
Wednesday, February 18, 2009

2. Marc-André Cournoyer
Certified RMM Auditor
Wednesday, February 18, 2009

3. VM
Wednesday, February 18, 2009

4. Plan
1. Make Presentation
2. ???
3. Profit
Wednesday, February 18, 2009

5. VM
Wednesday, February 18, 2009

6. JVM
Wednesday, February 18, 2009

7. JVM
(c) Threadless
Wednesday, February 18, 2009

8. M$
Wednesday, February 18, 2009

9. CLR
Wednesday, February 18, 2009

10. Lua
Wednesday, February 18, 2009

11. Wednesday, February 18, 2009

12. Python
Wednesday, February 18, 2009

13. Ruby 1.9
Wednesday, February 18, 2009

14. Rubinius
Wednesday, February 18, 2009

15. VMs
Wednesday, February 18, 2009

16. VMs
are
Wednesday, February 18, 2009

17. VMs
are
like
Wednesday, February 18, 2009

18. VMs
are
like
Wednesday, February 18, 2009

19. #TODO insert philosophical
# explanation here
Wednesday, February 18, 2009

20. VMs
Wednesday, February 18, 2009

21. VMs
are
Wednesday, February 18, 2009

22. VMs
are
not
Wednesday, February 18, 2009

23. VMs
are
not
that
Wednesday, February 18, 2009

24. VMs
are
Complex
not
that
Wednesday, February 18, 2009

25. but
Wednesday, February 18, 2009

26. butnobody
Wednesday, February 18, 2009

27. butnobody
wants
Wednesday, February 18, 2009

28. Youwants butnobody
Wednesday, February 18, 2009

29. Youwants butnobody
to know
Wednesday, February 18, 2009

30. Youwants butnobody
it to know
Wednesday, February 18, 2009

31. Wednesday, February 18, 2009

32. Wednesday, February 18, 2009

33. ZOMG MATZ!!!!
*faints*
Wednesday, February 18, 2009

34. hey
ZOMG MATZ!!!!
*faints*
Wednesday, February 18, 2009

35. hey
Guaranteed!
ZOMG MATZ!!!!
*faints*
Wednesday, February 18, 2009

36. Rubinius
Wednesday, February 18, 2009

37. Rubinius is a
Wednesday, February 18, 2009

38. Rubinius is a
semi-self
Wednesday, February 18, 2009

39. Rubinius is a
semi-self
hosted
Wednesday, February 18, 2009

40. Rubinius is a
stackless spaghetti
semi-self
hosted
Wednesday, February 18, 2009

41. Rubinius is a
stackless spaghetti
semi-self
hosted
stack based
stack
stack
Wednesday, February 18, 2009

42. Rubinius is a
stackless spaghetti
semi-self
VM
hosted
stack based
stack
stack
Wednesday, February 18, 2009

43. Rubinius is a
stackless spaghetti
semi-self
VM
hosted
stack based
stack
stack with direct .
threaded dispatch
Wednesday, February 18, 2009

44. Rubinius is a
stackless spaghetti
semi-self
VM
hosted
stack based
stack
stack with direct .
threaded dispatch
monomorphic inline cache
Wednesday, February 18, 2009

45. Rubinius is a
stackless spaghetti
semi-self
VM
hosted
stack based
stack
stack with direct .
threaded dispatch
monomorphic inline cache
generational
GC
Wednesday, February 18, 2009

46. Rubinius is a
stackless spaghetti
semi-self
VM
hosted
stack based
stack
stack with direct .
threaded dispatch
monomorphic inline cache
mark & sweep
generational
GC
Wednesday, February 18, 2009

47. Rubinius is a
stackless spaghetti
semi-self
VM
hosted
stack based
stack
stack with direct .
threaded dispatch
monomorphic inline cache
ollector
mark & sweep
generational
GC
Wednesday, February 18, 2009

48. Wednesday, February 18, 2009

49. no
Wednesday, February 18, 2009

50. (rly)
Wednesday, February 18, 2009

51. “new”
Wednesday, February 18, 2009

52. “new”
stuff
Wednesday, February 18, 2009

53. Rubinius
“new”
stuff
Wednesday, February 18, 2009

54. Wednesday, February 18, 2009

55. 1969
Wednesday, February 18, 2009

56. Wednesday, February 18, 2009

57. Wednesday, February 18, 2009

58. Rey Mendoza Jr.
Wednesday, February 18, 2009

59. you = quot;smellquot;
if x == 1
puts you
end
Wednesday, February 18, 2009

60. Wednesday, February 18, 2009

61. you = quot;smellquot;
if x == 1
puts you
end
Lexer
[:id,quot;youquot;],[:=],[:str,quot;smellquot;],[:newln],
[:if],[:id,quot;xquot;],[:==],[:int,1],[:newln],
[:id,quot;putsquot;],[:id,quot;youquot;],[:newln],
[:end]
Wednesday, February 18, 2009

62. Wednesday, February 18, 2009

63. [:id,quot;youquot;],[:=],[:str,quot;smellquot;],[:newln],
[:if],[:id,quot;xquot;],[:==],[:int,1],[:newln],
[:id,quot;putsquot;],[:id,quot;youquot;],[:newln],
[:end]
Parser
s(:block,
s(:lasgn, :you, s(:str, quot;smellquot;)),
s(:if, s(:call, s(:vcall, :x), :==,
s(:array, s(:lit, 1))),
s(:fcall, :puts,
s(:array, s(:lvar, :you))), nil))
Wednesday, February 18, 2009

64. Wednesday, February 18, 2009

65. s(:block,
s(:lasgn, :you, s(:str, quot;smellquot;)),
s(:if, s(:call, s(:vcall, :x), :==,
s(:array, s(:lit, 1))),
s(:fcall, :puts,
s(:array, s(:lvar, :you))), nil))
Compiler
019 000 002 002 015 046 001 000
000 024 000 018 001 046 002 001
000 000 000 054 003 001 002 046
004 001 000 008 000 049 003 049
Wednesday, February 18, 2009

66. 0000 putstring quot;smellquot;
0002 setlocal you
0004 putnil
0005 send :x, 0
0011 putobject 1
0013 send :==, 1
0019 branchunless 31
0021 putnil
0022 getlocal you
0024 send :puts, 1
0030 leave
0031 putnil
0032 leave
Wednesday, February 18, 2009

67. 0004 putnil
0005 send :x, 0
0011 putobject 1
0013 send :==, 1
0019 branchunless 31
0021 putnil
0022 getlocal you
Wednesday, February 18, 2009

68. 0004 putnil
0005 send :x, 0
0011 putobject 1
opcode operands
instruction
0013 send :==, 1
0019 branchunless 31
0021 putnil
0022 getlocal you
Wednesday, February 18, 2009

69. puts 1 + 2
stack
putobject 1
putobject 2
send :+, 1, 0
send :puts, 1, 8
Wednesday, February 18, 2009

70. puts 1 + 2
stack
putobject 1
putobject 2
send :+, 1, 0
send :puts, 1, 8
Wednesday, February 18, 2009

71. puts 1 + 2
stack
putobject 1 1
putobject 2
send :+, 1, 0
send :puts, 1, 8
Wednesday, February 18, 2009

72. puts 1 + 2
stack
putobject 1 2
1
putobject 2 1
send :+, 1, 0
send :puts, 1, 8
Wednesday, February 18, 2009

73. puts 1 + 2
stack
putobject 1 3
2
1
putobject 2 1
send :+, 1, 0
send :puts, 1, 8
Wednesday, February 18, 2009

74. puts 1 + 2
stack
putobject 1 nil
3
2
1
putobject 2 1
send :+, 1, 0
send :puts, 1, 8
3
Wednesday, February 18, 2009

75. while (true) {
switch (inst->op) {
case SEND: ...
case PUTOBJECT: ...
case PUTSTRING: ...
case PUTNIL: ...
case SETLOCAL: ...
case GETLOCAL: ...
case RETURN: return;
}
inst++;
}
Wednesday, February 18, 2009

76. github.com/macournoyer/tinyrb
#tinyrb on freenode
Wednesday, February 18, 2009

77. thx
Wednesday, February 18, 2009