Abstract
The Flexotask system claims to enable implementation of both real-time applications and real-time schedulers in a Java Virtual Machine using an actors-like model. The PTIDES model is an actors-like model that claims to deliver precise control over end-to-end latencies in a complex real-time system. The present work jointly investigates both claims by (1) implementing several PTIDES-based schedulers as Flexotask scheduler plugins, and (2) using the resulting system to implement a new reactive control program for a simulation of the JAviator. We present results from the realistic JAviator control application and also from synthetic benchmarks designed to shed light on the differences between the several PTIDES schedulers we implemented.
- P. Albertos, A. Crespo, I. Ripoll, M. Valles, and P. Balbastre. RT control scheduling to reduce control performance degrading. Decision and Control, 2000. Proceedings of the 39th IEEE Conference on, volume 5, 2000.Google Scholar
Cross Ref
- N. Ali, E. Ekram, A. Eljasmy, and K. Shuaib. Measured delay distribution in a wireless mesh network test-bed. In AICCSA 2008, pages 236 -- 240. Google Scholar
Digital Library
- J. Auerbach, D. F. Bacon, R. Guerraoui, J. H. Spring, and J. Vitek. Flexible task graphs: a unified restricted thread programming model for java. SIGPLAN Not., 43(7):1--11, 2008. Google Scholar
Digital Library
- J. Auerbach, D. F. Bacon, D. T. Iercan, C. M. Kirsch, V. T. Rajan, H. Roeck, and R. Trummer. Java takes flight: time-portable real-time programming with exotasks. In Proceedings of LCTES '07, pages 51--62, New York, NY, USA, 2007. ACM Press. Google Scholar
Digital Library
- G. Buttazzo and J. Stankovic. Red: A Robust Earliest Deadline Scheduling Algorithm. In Proceedings of Third International Workshop on Responsive Computing Systems, 1993.Google Scholar
- A. Cervin. Improved scheduling of control tasks. In Proceedings of the 11th Euromicro Conference on Real-Time Systems, volume 10. IEEE Computer Society Press, 1999.Google Scholar
Cross Ref
- K. M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Transaction on Software Engineering, 5(5), 1979. Google Scholar
Digital Library
- Z. Deng and J. Liu. Scheduling real-time applications in an open environment. In Real-Time Systems Symposium, 1997. Proceedings., The 18th IEEE, pages 308--319, 1997. Google Scholar
Digital Library
- T. H. Feng and E. A. Lee. Real-time distributed discrete-event execution with fault tolerance. In Proceedings of RTAS, St. Louis, MO, USA, April 2008. Google Scholar
Digital Library
- T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In EMSOFT 2001, volume LNCS 2211, pages 166--184. Springer-Verlag, 2001. Google Scholar
Digital Library
- IBM Corp. WebSphere Real-Time User's Guide, first edition, 2006.Google Scholar
- IEEE. A Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. http://ieee1588.nist.gov/.Google Scholar
- E. A. Lee. Discrete event models: Getting the semantics right. In WSC '06: Proceedings, pages 1--1. Winter Simulation Conference, 2006. Google Scholar
Digital Library
- P. Marti, J. Fuertes, G. Fohler, and K. Ramamritham. Jitter compensation for real-time control systems. In Real-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE, pages 39--48, 2001. Google Scholar
Digital Library
- J. Nilsson. Real-Time Control Systems with Delays. Lund, Sweden: Lund Institute of Technology, 1998.Google Scholar
- S. Oh and S. Yang. A Modified Least-Laxity-First scheduling algorithm for real--timetasks. In Real-Time Computing Systems and Applications, 1998. Proceedings, pages 31--36, 1998. Google Scholar
Digital Library
- Open Source. The TuningFork Visualization Platform. http://tuningforkvp.sourceforge.net.Google Scholar
- Open Source. Flexible task graphs. http://flexotask.sourceforge.net, 2008.Google Scholar
- Open Source. The ptp daemon. http://ptpd.sourceforge.net, 2008.Google Scholar
- D. Seto, J. Lehoczky, L. Sha, and K. Shin. On task schedulability in real-time control systems. In Real-Time Systems Symposium, 1996., 17th IEEE, pages 13--21, 1996. Google Scholar
Digital Library
- D. Spoonhower, J. Auerbach, D. F. Bacon, P. Cheng, and D. Grove. Eventrons: a safe programming construct for high-frequency hard real-time applications. In Proc. PLDI, pages 283--294, Ottawa, Ontario, Canada, 2006. Google Scholar
Digital Library
- J. H. Spring, F. Pizlo, R. Guerraoui, and J. Vitek. Programming abstractions for highly responsive systems. In Proc. VEE, 2007. Google Scholar
Digital Library
- J. H. Spring, J. Privat, R. Guerraoui, and J. Vitek. StreamFlex: High-throughput stream programming in Java. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), Oct. 2007. Google Scholar
Digital Library
- M. Törngren. Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems. Real-Time Systems, 14(3): 219--50, 1998. Google Scholar
Digital Library
- University of Salzburg. The JAviator Project. http://javiator.cs.uni-salzburg.at, 2008.Google Scholar
- H. Wang, L. Yip, D. Maniezzo, J. C. Chen, R. E. Hudson, J. Elson, and K. Yao. A wireless time-synchronized cots sensor platform part ii applications to beamforming. In In Proceedings of IEEE CAS Workshop on Wireless Communications and Networking, 2002.Google Scholar
- B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2nd edition, 2000. Google Scholar
Digital Library
- W. Zhang, M. Branicky, and S. Phillips. Stability of networked control systems. Control Systems Magazine, IEEE, 21(1):84--99, 2001.Google Scholar
Cross Ref
- Y. Zhao, J. Liu, and E. A. Lee. A programming model for time-synchronized distributed real-time systems. In Proceedings of RTAS 07), pages 259--268, 2007. Google Scholar
Digital Library
- J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler. Execution strategies for ptides, a programming model for distributed embedded systems. In to appear in RTAS, 2009. Google Scholar
Digital Library
Index Terms
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice
Recommendations
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice
LCTES '09: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systemsThe Flexotask system claims to enable implementation of both real-time applications and real-time schedulers in a Java Virtual Machine using an actors-like model. The PTIDES model is an actors-like model that claims to deliver precise control over end-...
EDZL Schedulability Analysis in Real-Time Multicore Scheduling
In real-time systems, correctness depends not only on functionality but also on timeliness. A great number of scheduling theories have been developed for verification of the temporal correctness of jobs (software) in such systems. Among them, the ...
Parameterized Schedulability Analysis on Uniform Multiprocessors
ICPP '10: Proceedings of the 2010 39th International Conference on Parallel ProcessingThis paper addresses global Rate-Monotonic (RM) scheduling of implicit-deadline periodic real-time tasks on uniform multiprocessor platforms. In particular, we propose new schedulability conditions that include a set of easily computable task-set ...







Comments