Abstract

Fine-grain threads are often used in many parallel programming languages such as concurrent object-oriented languages where asynchronous procedures/methods may be invoked. But thread creation and communication generally cost much if we implement them using libraries. In this paper, we propose a general framework for e ciently compiling languages which promote negrain threads. This framework expresses various constructs of concurrent object-oriented languages by a small number of fundamental primitives, thus being applicable to many surface languages. Conceptually the intermediate language is a subset of the programming language HACL which was designed and implemented in our laboratory. HACL is based on threads communicating values via channels. We can adopt various HACL optimization techniques studied elsewhere. The framework de nes a set of translation rules from the intermediate language into a sequence of instructions on a sequential abstract machine. Based on the framework, we implemented a compiler of concurrent object-oriented language Schematic which is an extension of Scheme. The compiler rst translates Schematic programs into the intermediate language, and then into sequential code. Schematic is a language which is so designed to write fast concurrent programs easily on workstations and/or parallel computers. Reducing the cost of thread creation and communication, Schematic is quite a suitable language for writing parallel distributed applications. VWXY Zdq ¶«¬¯ucœÆŽz`Î ±¨Ÿ¡®ÓÄ¢º´¿¢ÁÂœ‘… ” †šâ € Á

Citations