loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97)
Feasibility concerns in PGM graphs with bounded buffers
Lake Como, ITALY
September 08-September 12
ISBN: 0-8186-8126-8
S. Baruah, Dept. of Comput. Sci., Vermont Univ., Burlington, VT, USA
S. Goddard, Dept. of Comput. Sci., Vermont Univ., Burlington, VT, USA
K. Jeffay, Dept. of Comput. Sci., Vermont Univ., Burlington, VT, USA
The Processing Graph Method (PGM)-a dataflow model widely used in the design and analysis of embedded signal-processing applications-is studied from a real-time scheduling perspective. It is shown that the problem of deciding if instances of the general model are feasible on a single processor is intractable (co-NP-complete in the strong sense); however, a useful special case is sometimes more tractable. An efficient feasibility test and an optimal preemptive scheduling algorithm are derived for this special case, and a procedure is presented which permits system architects to make efficient use of computational resources and memory requirements for buffers while constructing real-time dataflow applications that offer hard service guarantees.
Index Terms:
data flow graphs; feasibility concerns; bounded buffers; processing graph method; dataflow model; embedded signal processing; real-time scheduling; co-NP-complete; feasibility test; optimal preemptive scheduling algorithm; system architects; computational resources; memory requirements
Citation:
S. Baruah, S. Goddard, K. Jeffay, "Feasibility concerns in PGM graphs with bounded buffers," iceccs, pp.130, Third IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997
Usage of this product signifies your acceptance of the Terms of Use.