Modeling, Analysis, and Hard Real-time Scheduling of Adaptive Streaming Applications

by   Jiali Teddy Zhai, et al.

In real-time systems, the application's behavior has to be predictable at compile-time to guarantee timing constraints. However, modern streaming applications which exhibit adaptive behavior due to mode switching at run-time, may degrade system predictability due to unknown behavior of the application during mode transitions. Therefore, proper temporal analysis during mode transitions is imperative to preserve system predictability. To this end, in this paper, we initially introduce Mode Aware Data Flow (MADF) which is our new predictable Model of Computation (MoC) to efficiently capture the behavior of adaptive streaming applications. Then, as an important part of the operational semantics of MADF, we propose the Maximum-Overlap Offset (MOO) which is our novel protocol for mode transitions. The main advantage of this transition protocol is that, in contrast to self-timed transition protocols, it avoids timing interference between modes upon mode transitions. As a result, any mode transition can be analyzed independently from the mode transitions that occurred in the past. Based on this transition protocol, we propose a hard real-time analysis as well to guarantee timing constraints by avoiding processor overloading during mode transitions. Therefore, using this protocol, we can derive a lower bound and an upper bound on the earliest starting time of the tasks in the new mode during mode transitions in such a way that hard real-time constraints are respected.


Global Scheduling of Multi-Mode Real-Time Applications upon Multiprocessor Platforms

Multi-mode real-time systems are those which support applications with d...

Multiprocessor Scheduling of a Multi-mode Dataflow Graph Considering Mode Transition Delay

Synchronous Data Flow (SDF) model is widely used for specifying signal p...

Simultaneous Progressing Switching Protocols for Timing Predictable Real-Time Network-on-Chips

Many-core systems require inter-core communication, and network-on-chips...

Scheduling Multi-Mode Real-Time Systems upon Uniform Multiprocessor Platforms

In this paper, we address the scheduling problem of multi-mode real-time...

PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy

Data redundancy provides resilience in large-scale storage clusters, but...

Measuring Thread Timing to Assess the Feasibility of Early-bird Message Delivery

Early-bird communication is a communication/computation overlap techniqu...

Mode Change Protocol for Multi-Mode Real-Time Systems upon Identical Multiprocessors

In this paper, we propose a synchronous protocol without periodicity for...

Please sign up or login with your details

Forgot password? Click here to reset