Abstract

This paper considers the design and optimization of a simple asynchronous parallel language that uses first-class tuple-spaces as its main communication and process creation device. Our proposed kernel language differs from other tuple-space languages insofar tuple-spaces are treated as true first-class objects. Moreover, we develop a formal framework for constructing an optimizing preprocessor for such a language. The semantic analysis is based on an inference engine that statically computes the set of tuples (and their structural attributes) that can occupy any given tuple-space. The inference system is non-trivial insofar as it operates in the presence of higher-order functions and non-flat data structures (e.g, lists). The result of the inference procedure can be used to customize the representation of tuple-space objects. 1 Introduction Communication and synchronization are fundamental concerns in the design of any parallel language: through what medium is information transmitted...

Citations