Abstract
Title:
A declarative approach to extensible interface compilationAuthors:
Nicholas FitzRoy-Dale School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
National ICT Australia, Sydney,
Australia
Abstract:
In microkernel-based operating systems, source-to-source compilers generate code to ease the process of marshaling data for communication via message passing. However, the rule of thumb for these interface compilers seems to be "simple, extensible, efficient output — pick any one". I argue that the major cause of extensibility-limiting complexity in interface compilers comes from the source-to-source transformation code itself, and this complexity is primarily a result of the difficulties inherent in supporting multiple targets. I describe a specification-based approach for generating interface compilers, discuss the advantages of such an approach over a procedural approach, and outline a proposed implementation, with particular reference to the advantages of a specification-based approach to interface compilation in terms of flexibility and extensibility.
BibTeX Entry
@inproceedings{FitzRoyDale_07,
author = {Nicholas FitzRoy-Dale},
booktitle = {Proceedings of the 1st International Workshop on Microkernels for Embedded Systems},
title = {A declarative approach to extensible interface compilation},
month = {Jan},
year = {2007},
address = {Sydney, Australia}
}