GC API
This note describes the garbage collection interface to the runtime system implemented in version 110.15. All communication to the runtime system is through a fixed set of registers. Anything extra must be bundled up and saved in one of these fixed registers. This simplifies the runtime system significantly, reduces the ML to C context switch overhead, and barely increases the size of code generated to invoke garbage collection. The net result is a 4% improvement in compiling the compiler on the DEC Alpha.
X86-k32
This note describes the code generation algorithm used for the Intel x86, in version 110.16. The standard Chaitan graph coloring register allocation cannot be used directly for machines with few registers, as all temporaries wind up being spilled, making for a poor allocation. Thus, for the x86, the conceptual model of the architecture has been extended with a set of memory locations that are treated as registers. The net effect is one where temporaries are computed into memory locations and passed as arguments to functions. The use of these memory locations managed in this way can be as fast as using registers, where indirectly, the register allocation is taking into account the hardware register renaming mechanism.Performance Monitors
The values of all the performance counters on the Pentium II were measured using version 110.17, and the results are shown in the table below. Each entry is in units of 1K counts. The meaning of each counter is explained in Appendix A of the Intel Architecture Software Developers Manual; Volume 3: System Programming Guide Order No. 243192. Each entry is the average of three runs, where one of the counters measured something whose value was usually close to zero. I used pperf for these measurements.
Table: x86-perfmon
A New MLRISC Register Allocator
This report describes the design and implementation of the new register allocator for the MLRISC customizable code generator. This new allocator, like the original allocator distributed with MLRISC, is a Chaitin-style graph coloring allocator that uses the iterated coalescing algorithm. The new allocator, however, has a different client interface, uses different data structures, and has incorporated the following new features and improvements:
- Propagates and makes use of frequency information to prioritize coalescing and spilling.
- Uses a sparse method for constructing the interference graph.
- Has a smarter spill insertion strategy.
- Has a more modular design.
MLRISC Annotations
The Annotations module written in Standard ML is used extensively for exchanging information between different phases in the MLRISC customizable code generator. Different optimization phases may attach annotations to individual instructions, basic blocks, hyperblocks, or compilation units. These annotations may then be read and updated in subsequent phases. For instance, annotations can be used to propagate comments from the program text to the assembly output.This document describes the interface to the annotation mechanism and its use within the MLRISC system.
Match Compiler Notes
These notes describe the SML/NJ pattern match compiler, last rewritten by Bill Aitken in the summer of 1992. An earlier paper by M. Baudinet and D. MacQueen describs the general approach to pattern match compilation, but the heuristics described in that paper are out of date.
X86 Floating Point
The floating point registers are no longer maintained as a stack of floating point registers managed via the Sethi-Ullman numbering scheme, but as a set of registers.
`Omit Virtual Frame Pointer' Optimization
In many languages, it is convenient to access local variables and spill locations via the use of a frame pointer. The frame pointer may be a physical register, or a virtual register that is later mapped to the stack pointer. This note describes the MLRISC support and requirements to rewrite uses of a virtual frame pointer to uses of the stack pointer -- the omit frame pointer optimization.
A High-performance Garbage Collector for Standard ML
We have designed and implemented a new garbage collector for the Standard ML of New Jersey System (SML/NJ). This collector has higher performance, lower latency, and generally requires less physical memory than the existing SML/NJ collector. In addition, it is able to exploit the large secondary caches found on modern workstations. This paper describes the design of the collector, and presents comparative performance data that demonstrates the above performance claims.
Asynchronous Signals in Standard ML
We describe the design, implementation and use of a mechanism for handling asynchronous signals, such as user interrupts, in the New Jersey implementation of Standard ML. Providing this kind of mechanism is a necessary requirement for the development of real-world application programs. Our mechanism uses first-class continuations to represent the execution state at the time at which a signal occurs. It has been used to support pre-emptive scheduling in concurrency packages and for forcing break-points in debuggers, as well as for handling user interrrupts in the SML/NJ interactive environment.