Occam program synthesis for execution on parallel machines: Towards a transformational approach
Authors: Yu, Xiaobo, Muntean, Traian
In this paper, we present a parallel program synthesis system which provides formal, methods and techniques for derivation and correct construction of implementations of occam programs on networks of transputers. The transformation rules are represented by a set of powerful algebraic laws of occam in order to perform the necessary transformation steps towards abstract forms representing models of execution of associated virtual machines.The program synthesis system can be applied to various aspects of parallel programming in a distributed environment, from the communication protocol design and correctness proof of implementation to parallel program construction, program optimisation, mapping strategies etc.Special emphasis is put on the transformation control strategies and guidance combined with information of the machine configuration, in order to achieve program optimisations, increasing parallelism granularity, altering inter-process communication patterns, for efficient execution on the physical parallelism offered by target transputer machines. An example of application of the transformation system to the distributed implementation of global synchronisations is given.
OUG-12: Tools and Techniques for Transputer Applications, Stephen J. Turner, 1990, pp 154 - 167 published by IOS Press, Amsterdam
This record in other formats:Web page: BibTEX, Refer
Plain text: BibTEX, Refer
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org