SLIDE 1
Parrot VM
Allison Randal Parrot Foundation & O'Reilly Media, Inc.
Parrot VM Allison Randal Parrot Foundation & O'Reilly Media, - - PowerPoint PPT Presentation
Parrot VM Allison Randal Parrot Foundation & O'Reilly Media, - - PowerPoint PPT Presentation
Parrot VM Allison Randal Parrot Foundation & O'Reilly Media, Inc. Python Ruby Perl 5 Perl 6 PHP Parrot VM Objective-C Lua Javascript Python Ruby Scheme Tcl Dylan Perl 5 Perl 6 PHP TeX macro Invent your language here. Forth
SLIDE 2
SLIDE 3
Parrot VM
Dylan Forth Tcl Ruby Scheme Python Perl 5 TeX macro Perl 6 PHP Objective-C Lua Javascript Invent your language here.
SLIDE 4
Dynamic Features
- Runtime vs. compile-time
- Extend code (eval, load)
- Define classes
- Alter type system
- Higher-order functions
- Closures, Continuations, Coroutines
SLIDE 5
Goals
- Revolution...
- ...becoming Establishment
- Powerful tools
- Portability
- Interoperability
- Language evolution
SLIDE 6
Register-based
- Stack operations
SLIDE 7
Register-based
- Stack operations
14
SLIDE 8
Register-based
- Stack operations
9 14
SLIDE 9
Register-based
- Stack operations
9 14 add
SLIDE 10
Register-based
- Stack operations
23
SLIDE 11
Register-based
- Stack operations
- Register operations
9 14
SLIDE 12
Register-based
- Stack operations
- Register operations
9 14 add
SLIDE 13
Register-based
- Stack operations
- Register operations
9 14 23
SLIDE 14
Register-based
- Stack operations
- Register operations
- Fewer instructions
- Hardware registers
- Register spilling
- Flexible register sets
SLIDE 15
Continuation Passing Style
- Stack-based control flow
SLIDE 16
Continuation Passing Style
- Stack-based control flow
foo
SLIDE 17
Continuation Passing Style
- Stack-based control flow
return addr foo
SLIDE 18
Continuation Passing Style
- Stack-based control flow
9 return addr foo 12
SLIDE 19
Continuation Passing Style
- Stack-based control flow
return addr
SLIDE 20
Continuation Passing Style
- Stack-based control flow
SLIDE 21
Continuation Passing Style
- Stack-based control flow
- Continuation-based
control flow
Context: main
SLIDE 22
Continuation Passing Style
- Stack-based control flow
- Continuation-based
control flow
Context: main Context: foo
SLIDE 23
Continuation Passing Style
- Stack-based control flow
- Continuation-based
control flow
Continuation Context: main Context: foo
SLIDE 24
Continuation Passing Style
- Stack-based control flow
- Continuation-based
control flow
Continuation Context: main Context: foo Context: bar
SLIDE 25
Continuation Passing Style
- Stack-based control flow
- Continuation-based
control flow
Continuation Continuation Context: main Context: foo Context: bar
SLIDE 26
Continuation Passing Style
- Stack-based control flow
- Continuation-based
control flow
- Linked list
- Cheap continuations
- Deeply nested contexts
- Tail recursion
Continuation Continuation Context: main Context: foo Context: bar
SLIDE 27
Parrot VM
PASM (assembly language) Parser Grammar Engine (PGE) Parrot Compiler Toolkit (PCT)
I/O GC Events Threads OO Unicode Exceptions IMCC STM JIT
PIR (intermediate representation)
NQP PAST HLLCompiler
SLIDE 28
Languages
- Core VM = C
- PASM/PIR parser = lex/yacc (flex/bison)
- Build tools = Perl/Parrot
- Compiler tools = PIR
SLIDE 29
Squaak
- Download
- http://www.parrot.org
- Build
- $ perl Configure.pl
- $ make test
- Language
- $ cd examples/languages/squaak
- $ make squaak
- $ make test
SLIDE 30
Squaak
- hello.sq
- print("Hello, World!")
- Run
- $ ./squaak hello.sq
SLIDE 31
MyLang
- Create
- $ perl mk_language_shell.pl MyLang
- Run
- $ cd mylang
- $ make test
- Extend
- $ vim src/parser/grammar.pg
SLIDE 32
Compiler Tools Tutorial
- In the Parrot distribution:
- examples/languages/squaak/doc
SLIDE 33
Questions?
- Get involved at parrot-dev@lists.parrot.org or