ABSTRACT
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an intermediate model of the system. However, Petri nets generated from many interesting applications are not schedulable. In this paper, we show the underlying mechanism which causes unschedulability in terms of the structure of a Petri net. We introduce a Petri net structural property and prove unschedulability if the property holds. We propose a linear programming based algorithm to check the property, and prove the algorithm is valid. Our approach prove unschedulability typically within a second for Petri nets generated from industrial JPEG and MPEG codecs, while the scheduler fails to terminate within 24 hours.
- Sesame project public release. URL: http://sesamesim.sourceforge.net.Google Scholar
- Stanford PVRG JPEG codec. URL: http://www.dclunie.com/jpegge.html.Google Scholar
- XviD MPEG-4 video codec. URL: http://www.xvid.org.Google Scholar
- G. Arrigoni, L. Duchini, L. Lavagno, C. Passerone, and Y. Watanabe. False path elimination in quasi-static scheduling. In Proceedings of the Design Automation and Test in Europe Conference, March 2002. Google ScholarDigital Library
- P. Broekhof, N. Roosen, J. Verhoef, and W. Jun. Modeling XviD as a Kahn process network, a Sesame application design document. URL: http://staff.science.uva.nl/~andy/apps/xvid.pdf.Google Scholar
- J. T. Buck. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. PhD thesis, University of California, Berkeley, 1993. Google ScholarDigital Library
- J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe. Quasi-static scheduling of independent tasks for reactive systems. In Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets, pages 80--100, 2002. Google ScholarDigital Library
- P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symp. on Principles of Programming Languages, Los Angeles, January 1977. Google ScholarDigital Library
- E. de Kock, G. Essink, W. Smits, P. van der Wolf, J.-Y. Brunel, W. Kruijtzer, P. Lieverse, and K. Vissers. YAPI: Application Modeling for Signal Processing Systems. In Proceedings of the $37^th$ Design Automation Conference, June 2000. Google ScholarDigital Library
- J. Desel. Private communication, August 2004.Google Scholar
- C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985. Google ScholarDigital Library
- G. Kahn. The semantics of a simple language for parallel programming. In Information processing, pages 471--475, Aug 1974.Google Scholar
- G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In Information processing, pages 993--998, Aug 1977.Google Scholar
- E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, Jan. 1987. Google ScholarDigital Library
- P. Lieverse, T. Stefanov, P. van~der Wolf, and E. Deprettere. System level design with spade: an m-jpeg case study. In Proceedings of IEEE/ACM International Conference on Computer Aided Design, pages 31--88, Nov 2001. Google ScholarDigital Library
- T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541--580, Apr. 1989.Google ScholarCross Ref
- P. van der Wolf, P. Lieverse, M. Goel, D. Hei, and K. Vissers. An MPEG-2 Decoder Case Study as a Driver for a System Level Design Methodology. In Proceedings of the $7^th$ International Workshop on Hardware/Software Codesign, May 1999. Google ScholarDigital Library
Index Terms
- A structural approach to quasi-static schedulability analysis of communicating concurrent programs
Recommendations
A Structural Analysis of Petri Nets-Based Siphons Supervisors of Flexible Manufacturing Systems
UKSIM '15: Proceedings of the 2015 17th UKSIM-AMSS International Conference on Modelling and SimulationThe paper deals with structural analysis of Petri nets, where siphon is a main utility used in the development of Petri net theory to control of flexible manufacturing systems (FMSs) modeling, control and simulation, which has been exploited ...
Schedulability Analysis of Petri Nets Based on Structural Properties
Application of Concurrency to System Design (ACSD'06)A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterministic choices. Schedulability analysis for a given PN answers the question ...
Comments