EXPERIENCE WITH THE SUPER MONACO OPTIMIZING COMPILER

''Super Monaco'' is a shared-memory multiprocessor implementation of a flat concurrent logic programming language. The system evolved from t he earlier Monaco project, and retains, by and large, the Monaco inter mediate abstract machine. Over the past two years, the compiler and ru ntime system were modified, incorporating a number of new features imp roving robustness, flexibility, maintainability, and performance. The optimizing compiler, written in KL1, takes high-level programs and pro duces intermediate code for the Monaco abstract machine. An ''assemble r-assembler'' converts a host machine description into a KL1 program w hich translates Monaco intermediate code into target assembly code. Th ere are currently two intermediate code translators: one for SGI MIPS- based hosts, and another for Sequent 80386-based multiprocessors. This paper discusses the compiler design and our experience building it. A cost/benefit analysis of the compiler optimizations is given, with a comparison to similar systems.