Tamarin:Tracing

Tamarin-tracing is an experimental branch of the Tamarin virtual machine. This branch modifies tamarin to use a trace-based optimizer rather than a conventional just-in-time compiler. Trace optimization is a technique which holds promise for optimizing untyped javascript code, and doing so with a small memory footprint.

The new branch can be found in http://hg.mozilla.org/tamarin-tracing/.

Tamarin Tracing Features

• Using the Trace Tree Visualizer

External References

• A Quick Introduction to Tamarin Tracing
• Implementing Native Methods in Tamarin Tracing
• Extending Tamarin Tracing with Forth
• Tamarin Tracing internals part I
• Tamarin Tracing Interals, Part II: Forth
• Tamarin Tracing Internals III: LIR
• Tamarin Tracing Internals IV: Trace Optimization
• Tamarin Tracing Internals V: Running Compiled Traces

Background Information

• Incremental Dynamic Code Generation with Trace Trees
• Making the Compilation Pipeline Explicit: Dynamic Compilation Using Trace Tree Serialization
• [www.usenix.org/events/vee06/full_papers/p144-gal.pdf HotpathVM: An Effective JIT Compiler for Resource-constrained Devices]
• Efficient Just-In-Time Execution of Dynamically Typed Languages Via Code Specialization Using Precise Runtime Type Inference