Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications

Guus Kuiper, S.J. Geuns, Marco Jan Gerrit Bekooij

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

1 Citation (Scopus)
20 Downloads (Pure)

Abstract

Real-time dataflow analysis techniques for multiprocessor systems ignore that the execution of tasks belonging to different operation modes are mutually exclusive. This results in more resources being reserved than strictly needed and a low resource utilization. In this paper we present a dataflow analysis approach which takes into account that tasks belonging to different modes often execute mutually exclusive. Therefore less resources need to be reserved to satisfy a throughput constraint and a higher processor utilization can be obtained. Furthermore, we introduce a lock which is used to enforce mutual exclusive execution of tasks during a mode transition when beneficial. The effects of mutual exclusive execution are included in a Structured Variable-Rate Phased Dataflow (SVPDF) temporal analysis model which is used to determine whether adding a lock results in satisfaction of the throughput constraint. This model is generated from a sequential input specification of the application such that deadlock-free execution, even after the addition of locks, is guaranteed. The applicability and benefits of the approach are demonstrated using a WLAN 802.11g application which switches between a detection and a decoding mode. It is shown that the use of two locks improves the worst-case response times of 3 tasks such that they can share the same processor, which improves the utilization of this processor and frees 2 other processors.
Original languageEnglish
Title of host publicationProceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015)
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages-
Number of pages10
ISBN (Print)978-1-4503-3593-5
DOIs
Publication statusPublished - 2015
Event18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 - Schloss Rheinfels, Sankt Goar, Germany
Duration: 1 Jun 20153 Jun 2015
Conference number: 18
http://www.scopesconf.org/scopes-15/

Workshop

Workshop18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015
Abbreviated titleSCOPES
CountryGermany
CitySankt Goar
Period1/06/153/06/15
Internet address

Fingerprint

Data flow analysis
Throughput
Processing
Wireless local area networks (WLAN)
Decoding
Switches
Specifications

Keywords

  • EWI-25957
  • IR-96037
  • METIS-312567
  • CAES-EEA: Efficient Embedded Architectures

Cite this

Kuiper, G., Geuns, S. J., & Bekooij, M. J. G. (2015). Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications. In Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015) (pp. -). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2764967.2764970
Kuiper, Guus ; Geuns, S.J. ; Bekooij, Marco Jan Gerrit. / Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications. Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015). New York : Association for Computing Machinery (ACM), 2015. pp. -
@inproceedings{52ccf19f53554b3497987370a43f4a16,
title = "Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications",
abstract = "Real-time dataflow analysis techniques for multiprocessor systems ignore that the execution of tasks belonging to different operation modes are mutually exclusive. This results in more resources being reserved than strictly needed and a low resource utilization. In this paper we present a dataflow analysis approach which takes into account that tasks belonging to different modes often execute mutually exclusive. Therefore less resources need to be reserved to satisfy a throughput constraint and a higher processor utilization can be obtained. Furthermore, we introduce a lock which is used to enforce mutual exclusive execution of tasks during a mode transition when beneficial. The effects of mutual exclusive execution are included in a Structured Variable-Rate Phased Dataflow (SVPDF) temporal analysis model which is used to determine whether adding a lock results in satisfaction of the throughput constraint. This model is generated from a sequential input specification of the application such that deadlock-free execution, even after the addition of locks, is guaranteed. The applicability and benefits of the approach are demonstrated using a WLAN 802.11g application which switches between a detection and a decoding mode. It is shown that the use of two locks improves the worst-case response times of 3 tasks such that they can share the same processor, which improves the utilization of this processor and frees 2 other processors.",
keywords = "EWI-25957, IR-96037, METIS-312567, CAES-EEA: Efficient Embedded Architectures",
author = "Guus Kuiper and S.J. Geuns and Bekooij, {Marco Jan Gerrit}",
note = "10.1145/2764967.2764970",
year = "2015",
doi = "10.1145/2764967.2764970",
language = "English",
isbn = "978-1-4503-3593-5",
pages = "--",
booktitle = "Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015)",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",

}

Kuiper, G, Geuns, SJ & Bekooij, MJG 2015, Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications. in Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015). Association for Computing Machinery (ACM), New York, pp. -, 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, 1/06/15. https://doi.org/10.1145/2764967.2764970

Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications. / Kuiper, Guus; Geuns, S.J.; Bekooij, Marco Jan Gerrit.

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015). New York : Association for Computing Machinery (ACM), 2015. p. -.

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

TY - GEN

T1 - Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications

AU - Kuiper, Guus

AU - Geuns, S.J.

AU - Bekooij, Marco Jan Gerrit

N1 - 10.1145/2764967.2764970

PY - 2015

Y1 - 2015

N2 - Real-time dataflow analysis techniques for multiprocessor systems ignore that the execution of tasks belonging to different operation modes are mutually exclusive. This results in more resources being reserved than strictly needed and a low resource utilization. In this paper we present a dataflow analysis approach which takes into account that tasks belonging to different modes often execute mutually exclusive. Therefore less resources need to be reserved to satisfy a throughput constraint and a higher processor utilization can be obtained. Furthermore, we introduce a lock which is used to enforce mutual exclusive execution of tasks during a mode transition when beneficial. The effects of mutual exclusive execution are included in a Structured Variable-Rate Phased Dataflow (SVPDF) temporal analysis model which is used to determine whether adding a lock results in satisfaction of the throughput constraint. This model is generated from a sequential input specification of the application such that deadlock-free execution, even after the addition of locks, is guaranteed. The applicability and benefits of the approach are demonstrated using a WLAN 802.11g application which switches between a detection and a decoding mode. It is shown that the use of two locks improves the worst-case response times of 3 tasks such that they can share the same processor, which improves the utilization of this processor and frees 2 other processors.

AB - Real-time dataflow analysis techniques for multiprocessor systems ignore that the execution of tasks belonging to different operation modes are mutually exclusive. This results in more resources being reserved than strictly needed and a low resource utilization. In this paper we present a dataflow analysis approach which takes into account that tasks belonging to different modes often execute mutually exclusive. Therefore less resources need to be reserved to satisfy a throughput constraint and a higher processor utilization can be obtained. Furthermore, we introduce a lock which is used to enforce mutual exclusive execution of tasks during a mode transition when beneficial. The effects of mutual exclusive execution are included in a Structured Variable-Rate Phased Dataflow (SVPDF) temporal analysis model which is used to determine whether adding a lock results in satisfaction of the throughput constraint. This model is generated from a sequential input specification of the application such that deadlock-free execution, even after the addition of locks, is guaranteed. The applicability and benefits of the approach are demonstrated using a WLAN 802.11g application which switches between a detection and a decoding mode. It is shown that the use of two locks improves the worst-case response times of 3 tasks such that they can share the same processor, which improves the utilization of this processor and frees 2 other processors.

KW - EWI-25957

KW - IR-96037

KW - METIS-312567

KW - CAES-EEA: Efficient Embedded Architectures

U2 - 10.1145/2764967.2764970

DO - 10.1145/2764967.2764970

M3 - Conference contribution

SN - 978-1-4503-3593-5

SP - -

BT - Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015)

PB - Association for Computing Machinery (ACM)

CY - New York

ER -

Kuiper G, Geuns SJ, Bekooij MJG. Utilization improvement by enforcing mutual exclusive task execution in modal stream processing applications. In Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2015). New York: Association for Computing Machinery (ACM). 2015. p. - https://doi.org/10.1145/2764967.2764970