Analysing gCSP Models Using Runtime and Model Analysis Algorithms

M.M. Bezemer, M.A. Groothuis

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    33 Downloads (Pure)

    Abstract

    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.
    Original languageUndefined
    Title of host publicationCommunicating Process Architectures 2009
    EditorsP.H. Welch, H.W. Roebbers, Johannes F. Broenink, F.R.M. Barnes, C.G. Ritson, A.T. Sampson, G.S. Stiles, B. Vinter
    Place of PublicationAmsterdam
    PublisherIOS Press
    Pages67-88
    Number of pages22
    ISBN (Print)978-1-60750-065-0
    DOIs
    Publication statusPublished - 1 Nov 2009
    EventCommunicating Process Architectures, CPA 2009: 32nd WoTUG Technical Meeting on Concurrent and Parallel Programming 2009 - Technical University Eindhoven, Eindhoven, Netherlands
    Duration: 1 Nov 20094 Nov 2009
    Conference number: 32

    Publication series

    NameConcurrent System Engineering Series
    PublisherIOS Press BV
    NumberWoTUG-32
    Volume67
    ISSN (Print)1383-7575

    Conference

    ConferenceCommunicating Process Architectures, CPA 2009
    Abbreviated titleCPA
    CountryNetherlands
    CityEindhoven
    Period1/11/094/11/09

    Keywords

    • CSP
    • IR-68650
    • METIS-264181
    • EWI-16582
    • Embedded Systems
    • Traces
    • Process Transformation
    • Process Scheduling
    • gCSP

    Cite this