%T Analysing gCSP Models Using Runtime and Model Analysis Algorithms
%A Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink
%E Peter H. Welch, Herman Roebbers, Jan F. Broenink, Frederick R. M. Barnes, Carl G. Ritson, Adam T. Sampson, G. S. Stiles, Brian Vinter
%B Communicating Process Architectures 2009
%X This paper presents two algorithms for analysing gCSP models
in order to improve their execution performance. Designers
tend to create many small separate processes for each task,
which results in many (resource intensive) context switches.
The research challenge is to convert the model created from
a design point of view to models which have better
performance during execution, without limiting the designers
in their ways of working. The first algorithm analyses
the model during run\-time execution in order to find static
sequential execution traces that allow for optimisation.
The second algorithm analyses the gCSP model for multi\-core
execution. It tries to find a resource\-efficient placement
on the available cores for the given target systems. Both
algorithms are implemented in two tools and are tested. We
conclude that both algorithms complement each other and the
analysis results are suitable to create optimised models.
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