Perl 6 and Parrot Essentials, 2nd Edition

Chapter 8. Parrot Internals

This chapter details the architecture and internal workings of Parrot, the interpreter behind Perl 6. Parrot is a register-based, bytecode-driven, object-oriented, multithreaded, dynamically typed, self-modifying, asynchronous interpreter. Though that’s an awful lot of buzzwords, the design fits together remarkably well.

Core Design Principles

Three main principles drive the design of Parrot—speed, abstraction, and stability.

Speed is a paramount concern. Parrot absolutely must be as fast as possible, since the engine effectively imposes an upper limit on the speed of any program running on it. It doesn’t matter how efficient your program is or how clever your program’s algorithms are if the engine it runs on limps along. While Parrot can’t make a poorly written program run fast, it could make a well-written program run slowly, a possibility we find entirely unacceptable.

Speed encompasses more than just raw execution time. It extends to resource usage. It’s irrelevant how fast the engine can run through its bytecode if it uses so much memory in the process that the system spends half its time swapping to disk. Although we’re not averse to using resources to gain speed benefits, we try not to use more than we need, and to share what we do use.

Abstraction indicates that things are designed such that there’s a limit to what anyone needs to keep in their head at any one time. This is very important because Parrot is conceptually very large, as you’ll see ...