Analysing gCSP Models Using Runtime and Model Analysis Algorithms

M.M. Bezemer; M.A. Groothuis

doi:10.3233/978-1-60750-065-0-67

Analysing gCSP Models Using Runtime and Model Analysis Algorithms

M.M. Bezemer, M.A. Groothuis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	Undefined
Title of host publication	Communicating Process Architectures 2009
Editors	P.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 Publication	Amsterdam
Publisher	IOS Press
Pages	67-88
Number of pages	22
ISBN (Print)	978-1-60750-065-0
DOIs	https://doi.org/10.3233/978-1-60750-065-0-67
Publication status	Published - 1 Nov 2009
Event	Communicating Process Architectures, CPA 2009: 32nd WoTUG Technical Meeting on Concurrent and Parallel Programming 2009 - Technical University Eindhoven, Eindhoven, Netherlands Duration: 1 Nov 2009 → 4 Nov 2009 Conference number: 32

Publication series

Name	Concurrent System Engineering Series
Publisher	IOS Press BV
Number	WoTUG-32
Volume	67
ISSN (Print)	1383-7575

Conference

Conference	Communicating Process Architectures, CPA 2009
Abbreviated title	CPA
Country	Netherlands
City	Eindhoven
Period	1/11/09 → 4/11/09

Keywords

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

Access to Document

10.3233/978-1-60750-065-0-67

2009CPA_CSPAnalyser
open

Cite this

Bezemer, M. M., & Groothuis, M. A. (2009). Analysing gCSP Models Using Runtime and Model Analysis Algorithms. In P. H. Welch, H. W. Roebbers, J. F. Broenink, F. R. M. Barnes, C. G. Ritson, A. T. Sampson, G. S. Stiles, & B. Vinter (Eds.), Communicating Process Architectures 2009 (pp. 67-88). (Concurrent System Engineering Series; Vol. 67, No. WoTUG-32). IOS Press. https://doi.org/10.3233/978-1-60750-065-0-67

@inproceedings{0c4c747092ce45d7a202d7bade0fac15,

title = "Analysing gCSP Models Using Runtime and Model Analysis Algorithms",

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.",

keywords = "CSP, IR-68650, METIS-264181, EWI-16582, Embedded Systems, Traces, Process Transformation, Process Scheduling, gCSP",

author = "M.M. Bezemer and M.A. Groothuis",

note = "10.3233/978-1-60750-065-0-67 ; null ; Conference date: 01-11-2009 Through 04-11-2009",

year = "2009",

month = nov,

day = "1",

doi = "10.3233/978-1-60750-065-0-67",

language = "Undefined",

isbn = "978-1-60750-065-0",

series = "Concurrent System Engineering Series",

publisher = "IOS Press",

number = "WoTUG-32",

pages = "67--88",

editor = "P.H. Welch and H.W. Roebbers and Broenink, {Johannes F.} and F.R.M. Barnes and C.G. Ritson and A.T. Sampson and G.S. Stiles and B. Vinter",

booktitle = "Communicating Process Architectures 2009",

address = "Netherlands",

}

Bezemer, MM & Groothuis, MA 2009, Analysing gCSP Models Using Runtime and Model Analysis Algorithms. in PH Welch, HW Roebbers, JF Broenink, FRM Barnes, CG Ritson, AT Sampson, GS Stiles & B Vinter (eds), Communicating Process Architectures 2009. Concurrent System Engineering Series, no. WoTUG-32, vol. 67, IOS Press, Amsterdam, pp. 67-88, Communicating Process Architectures, CPA 2009, Eindhoven, Netherlands, 1/11/09. https://doi.org/10.3233/978-1-60750-065-0-67

Analysing gCSP Models Using Runtime and Model Analysis Algorithms. / Bezemer, M.M.; Groothuis, M.A.

Communicating Process Architectures 2009. ed. / P.H. Welch; H.W. Roebbers; Johannes F. Broenink; F.R.M. Barnes; C.G. Ritson; A.T. Sampson; G.S. Stiles; B. Vinter. Amsterdam : IOS Press, 2009. p. 67-88 (Concurrent System Engineering Series; Vol. 67, No. WoTUG-32).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Analysing gCSP Models Using Runtime and Model Analysis Algorithms

AU - Bezemer, M.M.

AU - Groothuis, M.A.

N1 - Conference code: 32

PY - 2009/11/1

Y1 - 2009/11/1

N2 - 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.

AB - 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.

KW - CSP

KW - IR-68650

KW - METIS-264181

KW - EWI-16582

KW - Embedded Systems

KW - Traces

KW - Process Transformation

KW - Process Scheduling

KW - gCSP

U2 - 10.3233/978-1-60750-065-0-67

DO - 10.3233/978-1-60750-065-0-67

M3 - Conference contribution

SN - 978-1-60750-065-0

T3 - Concurrent System Engineering Series

SP - 67

EP - 88

BT - Communicating Process Architectures 2009

A2 - Welch, P.H.

A2 - Roebbers, H.W.

A2 - Broenink, Johannes F.

A2 - Barnes, F.R.M.

A2 - Ritson, C.G.

A2 - Sampson, A.T.

A2 - Stiles, G.S.

A2 - Vinter, B.

PB - IOS Press

CY - Amsterdam

Y2 - 1 November 2009 through 4 November 2009

ER -

Bezemer MM, Groothuis MA. Analysing gCSP Models Using Runtime and Model Analysis Algorithms. In Welch PH, Roebbers HW, Broenink JF, Barnes FRM, Ritson CG, Sampson AT, Stiles GS, Vinter B, editors, Communicating Process Architectures 2009. Amsterdam: IOS Press. 2009. p. 67-88. (Concurrent System Engineering Series; WoTUG-32). https://doi.org/10.3233/978-1-60750-065-0-67