Scheduling of dynamic dataflow programs with model checking

Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    15 Citeringar (Scopus)

    Sammanfattning

    The scheduling at compile-time of dynamic dataflow programs is still an open problem. This paper presents some initial results showing that scheduling of dynamic portions of CAL dataflow networks can be reduced to static scheduling by the analysis of the state space of network partitions. The CAL sub-network is converted to an equivalent Promela program and analyzed using a state analysis tool (SPIN) identifying deterministic schedules that link recurring network execution states. Therefore, the only dynamic operation of the scheduler remains the guard evaluations between states linked by the obtained deterministic schedules. Experiments show that the number of operations employed by dynamic schedulers is largely reduced when the schedules extracted by the state analysis are employed.
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationSignal Processing Systems (SiPS), 2011 IEEE Workshop on
    FörlagIEEE
    Sidor37–42
    Antal sidor6
    ISBN (tryckt)978-1-4577-1920-2
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangIEEE Workshop on Signal Processing Systems (SiPS) - IEEE Workshop on Signal Processing Systems (SiPS), 2011
    Varaktighet: 4 okt 20117 okt 2011

    Konferens

    KonferensIEEE Workshop on Signal Processing Systems (SiPS)
    Period04/10/1107/10/11

    Nyckelord

    • Dataflow programming
    • MPEG-4 decoder
    • model checking

    Citera det här