WoTUG - The place for concurrent processes

Paper Details

%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

Valid HTML 4.01!