Deriving Two-Phase Modules for a Multi-Target Hardware Compiler
Author(s) -
Jifeng He,
Geoffrey Brown,
Wayne Luk,
John O’Leary
Publication year - 1996
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/dcc1996.3
Subject(s) - computer science , handshake , compiler , asynchronous communication , programming language , simple (philosophy) , scheme (mathematics) , phase (matter) , computer architecture , computer network , mathematical analysis , philosophy , chemistry , mathematics , organic chemistry , epistemology
This paper adopts the CSP framework for deriving a compilation scheme from a simple imperative language to two-phase modules. Two-phase modules are processes that communicate with one another using two-phase handshake protocols. The two-phase modules generated by our compilation scheme can be implemented as asynchronous or clocked circuits. The derivation techniques have been applied to a concurrent language which is a superset of the language discussed.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom