Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications

Guus Kuiper, S.J. Geuns, J.P.H.M. Hausmans, Marco Jan Gerrit Bekooij

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

1 Citation (Scopus)
18 Downloads (Pure)

Abstract

Modal real-time stream processing applications often contain cyclic dependencies and are typically executed on multiprocessor systems with processor sharing. Most real-time operating system kernels for these systems support Static Priority Pre-emptive (SPP) scheduling, however there is currently no suitable temporal analysis technique available for this type of systems. In this paper, we present a compositional temporal analysis approach for modal and cyclic stream processing applications executed on SPP scheduled multiprocessor systems. In this approach, locks and barriers are added such that the temporal behavior of modes can be characterized independently. As a result, the composition of modes does not change their characterization. This enables the use of an existing Structured Variable-Rate Phased Dataflow (SVPDF) model based dataflow analysis technique to determine the worst-case temporal behavior. The SVPDF model and the parallel implementation including locks and barriers are generated by a multiprocessor compiler. The applicability of the analysis approach is demonstrated using a WLAN 802.11p application. Conditions under which pipelined execution can be achieved are identified. The analysis results are verified with a dataflow simulator that supports sharing of resources.
Original languageUndefined
Title of host publication19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016)
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages98-107
Number of pages10
ISBN (Print)978-1-4503-4320-6
DOIs
Publication statusPublished - 24 May 2016
Event19th ACM International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016 - Sankt Goar, Germany
Duration: 23 May 201625 May 2016
Conference number: 19
http://www.scopesconf.org/scopes-16/

Publication series

Name
PublisherACM

Workshop

Workshop19th ACM International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016
Abbreviated titleSCOPES
CountryGermany
CitySankt Goar
Period23/05/1625/05/16
Internet address

Keywords

  • EWI-27027
  • IR-100452
  • METIS-316933

Cite this

Kuiper, G., Geuns, S. J., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2016). Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications. In 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) (pp. 98-107). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2906363.2906375
Kuiper, Guus ; Geuns, S.J. ; Hausmans, J.P.H.M. ; Bekooij, Marco Jan Gerrit. / Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications. 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016). New York : Association for Computing Machinery (ACM), 2016. pp. 98-107
@inproceedings{83b9902725554874b2320a2168dd7d8e,
title = "Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications",
abstract = "Modal real-time stream processing applications often contain cyclic dependencies and are typically executed on multiprocessor systems with processor sharing. Most real-time operating system kernels for these systems support Static Priority Pre-emptive (SPP) scheduling, however there is currently no suitable temporal analysis technique available for this type of systems. In this paper, we present a compositional temporal analysis approach for modal and cyclic stream processing applications executed on SPP scheduled multiprocessor systems. In this approach, locks and barriers are added such that the temporal behavior of modes can be characterized independently. As a result, the composition of modes does not change their characterization. This enables the use of an existing Structured Variable-Rate Phased Dataflow (SVPDF) model based dataflow analysis technique to determine the worst-case temporal behavior. The SVPDF model and the parallel implementation including locks and barriers are generated by a multiprocessor compiler. The applicability of the analysis approach is demonstrated using a WLAN 802.11p application. Conditions under which pipelined execution can be achieved are identified. The analysis results are verified with a dataflow simulator that supports sharing of resources.",
keywords = "EWI-27027, IR-100452, METIS-316933",
author = "Guus Kuiper and S.J. Geuns and J.P.H.M. Hausmans and Bekooij, {Marco Jan Gerrit}",
note = "eemcs-eprint-27027",
year = "2016",
month = "5",
day = "24",
doi = "10.1145/2906363.2906375",
language = "Undefined",
isbn = "978-1-4503-4320-6",
publisher = "Association for Computing Machinery (ACM)",
pages = "98--107",
booktitle = "19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016)",
address = "United States",

}

Kuiper, G, Geuns, SJ, Hausmans, JPHM & Bekooij, MJG 2016, Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications. in 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016). Association for Computing Machinery (ACM), New York, pp. 98-107, 19th ACM International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016, Sankt Goar, Germany, 23/05/16. https://doi.org/10.1145/2906363.2906375

Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications. / Kuiper, Guus; Geuns, S.J.; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit.

19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016). New York : Association for Computing Machinery (ACM), 2016. p. 98-107.

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

TY - GEN

T1 - Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications

AU - Kuiper, Guus

AU - Geuns, S.J.

AU - Hausmans, J.P.H.M.

AU - Bekooij, Marco Jan Gerrit

N1 - eemcs-eprint-27027

PY - 2016/5/24

Y1 - 2016/5/24

N2 - Modal real-time stream processing applications often contain cyclic dependencies and are typically executed on multiprocessor systems with processor sharing. Most real-time operating system kernels for these systems support Static Priority Pre-emptive (SPP) scheduling, however there is currently no suitable temporal analysis technique available for this type of systems. In this paper, we present a compositional temporal analysis approach for modal and cyclic stream processing applications executed on SPP scheduled multiprocessor systems. In this approach, locks and barriers are added such that the temporal behavior of modes can be characterized independently. As a result, the composition of modes does not change their characterization. This enables the use of an existing Structured Variable-Rate Phased Dataflow (SVPDF) model based dataflow analysis technique to determine the worst-case temporal behavior. The SVPDF model and the parallel implementation including locks and barriers are generated by a multiprocessor compiler. The applicability of the analysis approach is demonstrated using a WLAN 802.11p application. Conditions under which pipelined execution can be achieved are identified. The analysis results are verified with a dataflow simulator that supports sharing of resources.

AB - Modal real-time stream processing applications often contain cyclic dependencies and are typically executed on multiprocessor systems with processor sharing. Most real-time operating system kernels for these systems support Static Priority Pre-emptive (SPP) scheduling, however there is currently no suitable temporal analysis technique available for this type of systems. In this paper, we present a compositional temporal analysis approach for modal and cyclic stream processing applications executed on SPP scheduled multiprocessor systems. In this approach, locks and barriers are added such that the temporal behavior of modes can be characterized independently. As a result, the composition of modes does not change their characterization. This enables the use of an existing Structured Variable-Rate Phased Dataflow (SVPDF) model based dataflow analysis technique to determine the worst-case temporal behavior. The SVPDF model and the parallel implementation including locks and barriers are generated by a multiprocessor compiler. The applicability of the analysis approach is demonstrated using a WLAN 802.11p application. Conditions under which pipelined execution can be achieved are identified. The analysis results are verified with a dataflow simulator that supports sharing of resources.

KW - EWI-27027

KW - IR-100452

KW - METIS-316933

U2 - 10.1145/2906363.2906375

DO - 10.1145/2906363.2906375

M3 - Conference contribution

SN - 978-1-4503-4320-6

SP - 98

EP - 107

BT - 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016)

PB - Association for Computing Machinery (ACM)

CY - New York

ER -

Kuiper G, Geuns SJ, Hausmans JPHM, Bekooij MJG. Compositional temporal analysis method for fixed priority pre-emptive scheduled modal stream processing applications. In 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016). New York: Association for Computing Machinery (ACM). 2016. p. 98-107 https://doi.org/10.1145/2906363.2906375