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)
    22 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