Home | Conferences | Links | Reference | About | Search |
|
Paper Details%T Occam program synthesis for execution on parallel machines: Towards a transformational approach %A Xiaobo Yu, Traian Muntean %E Stephen J. Turner %B OUG\-12: Tools and Techniques for Transputer Applications %X 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. |
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