WoTUG - The place for concurrent processes

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

Valid HTML 4.01!