Monotonicity and Run-Time Scheduling

M.H. Wiggers, Marco Jan Gerrit Bekooij, Gerardus Johannes Maria Smit

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    114 Downloads (Pure)


    Modern embedded multi-processors can execute several stream processing applications concurrently. Typically, these applications are partitioned into tasks that communicate over buffers together forming a task graph. The fact that these applications are started and stopped by the user combined with the knowledge that not all applications are necessarily completely characterised makes it attractive to use run-time scheduling. We define and characterise a class of budget schedulers that by construction bound the interference from other applications. Furthermore, we will show that the worst-case effects of these schedulers can be included in dataflow process networks. The execution of the resulting dataflow process network is shown to result in tight and conservative bounds on the end-to-end temporal behaviour of the execution of the task graph on a cycle-true simulator. Given that the inter-task synchronisation of the application allows for a dataflow model that is functionally deterministic, this enables exploration of various buffer capacities and scheduler settings at a high level of abstraction.
    Original languageUndefined
    Title of host publicationBerkeley EECS Annual Research Symposium, BEARS 2010
    Place of PublicationBerkeley, CA, USA
    PublisherCenter for Hybrid and Embedded Software Systems, Chess
    Number of pages1
    ISBN (Print)not assigned
    Publication statusPublished - 11 Feb 2010
    EventBerkeley EECS Annual Research Symposium, BEARS 2010 - Berkeley, CA, USA
    Duration: 11 Feb 201011 Feb 2010

    Publication series

    PublisherCenter for Hybrid and Embedded Software Systems, Chess


    WorkshopBerkeley EECS Annual Research Symposium, BEARS 2010
    Other11 Feb 2010


    • METIS-277818
    • EWI-19113
    • IR-75579

    Cite this