Silviu S. Craciunas
Christoph M. Kirsch
Hannes Payer
ABSTRACT
We begin this paper with a wish list of features that we feel a modern real-time and embedded execution environment should offer. We then look at some of the key weaknesses of conventional real-time operating systems (RTOS) and limitations of virtual execution environments (VEE), which typically offer some of the features but not all in one system. We propose to remedy the problem by carefully combining, in a single virtualized execution environment, well-known operating systems and virtualization techniques with an efficient real-time scheduler, which we have recently developed. The scheduler enables temporal isolation of concurrently executing processes and allows to change guaranteed process execution speeds efficiently at any time during execution. We also report on preliminary experiments with a prototypical bare-metal implementation.
- L. Abeni, and Buttazzo, G. Resource reservation in dynamic real-time systems. Journal of Real-Time Systems 27, 2 (2004), 123--167. Google Scholar
Digital Library
- Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., and Warfield, A. Xen and the art of virtualization. In Proc. SOSP (2003), ACM, pp. 164--177. Google ScholarDigital Library
- Buttazzo, G., and Bini, E. Optimal dimensioning of a constant bandwidth server. In Proc. RTSS (2006), IEEE, pp. 169--177. Google ScholarDigital Library
- Buttazzo, G. C. HARTIK: A real-time kernel for robotics applications. In Proc. RTSS (1993), IEEE, pp. 201--205.Google ScholarCross Ref
- Buttazzo, G. C. Rate monotonic vs. EDF: Judgment day. Real-Time Systems 29, 1 (2005), 5--26. Google ScholarDigital Library
- Cervin, A. Improved scheduling of control tasks. In Proc. ECRTS (1999), IEEE, pp. 4--10.Google ScholarCross Ref
- Cervin, A., and Eker, J. The Control Server: A computational model for real-time control tasks. In Proc. ECRTS (2003), IEEE, pp. 113--120.Google ScholarCross Ref
- Chin, W.-N., Nguyen, H. H., Popeea, C., and Qin, S. Analysing memory resource bounds for low-level programs. In Proc. ISMM (2008), ACM, pp. 151--160. Google ScholarDigital Library
- Craciunas, S., Kirsch, C., Röck, H., and Sokolova, A. Real-time scheduling for workload-oriented programming. Tech. Rep. 2008-02, University of Salzburg, September 2008.Google Scholar
- Craciunas, S. S., Kirsch, C. M., Payer, H., Röck, H., Sokolova, A., Stadler, H., and Staudinger, R. The Tiptoe system, 2007. tiptoe.cs.uni-salzburg.at.Google Scholar
- Craciunas, S. S., Kirsch, C. M., Payer, H., Sokolova, A., Stadler, H., and Staudinger, R. A compacting real-time memory management system. In Proc. ATC (2008), USENIX, pp. 349--362. Google ScholarDigital Library
- Craciunas, S. S., Kirsch, C. M., and Röck, H. I/O resource management through system call scheduling. SIGOPS Operating System Review 42, 5 (2008), 44--54. Google ScholarDigital Library
- Gai, P., Lipari, G., and di Natale, M. A flexible and configurable real-time kernel for time predictability and minimal RAM requirements. Tech. rep., Scuola Superiore S. Anna, 2001.Google Scholar
- Heiser, G. The role of virtualization in embedded systems. In Proc. IIES (2008), ACM, pp. 11--16. Google ScholarDigital Library
- Jeffay, K., and Goddard, S. Rate-based resource allocation models for embedded systems. In Proc. EMSOFT (2001), Springer, pp. 204--222. Google ScholarDigital Library
- Kopetz, H. Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997. Google ScholarDigital Library
- Lipari, G., and Bini, E. A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing 1, 2 (2005), 257--269. Google ScholarDigital Library
- Mercer, C. W., Savage, S., and Tokuda, H. Processor capacity reserves for multimedia operating systems. Tech. rep., Carnegie Mellon University, 1993. Google ScholarDigital Library
- Stadler, H. A virtualized real-time I/O subsystem. Master's thesis, University of Salzburg, Salzburg, Austria, 2008.Google Scholar
- Stankovic, J. A., and Ramamritham, K. The design of the Spring kernel. In Proc. RTSS (1987), IEEE, pp. 146--157.Google Scholar
- VMware, Inc. Virtualization overview, 2006. www.vmware.com/pdf/virtualization.pdf.Google Scholar
- Watson, J. Virtualbox: bits and bytes masquerading as machines. Linux Journal 2008, 166 (2008), 1. Google ScholarDigital Library
- Wind River. RTLinux. www.windriver.com.Google Scholar
Recommendations
Temporal isolation in real-time systems: the VBS approach
Temporal isolation in real-time systems allows the execution of software processes isolated from one another in the temporal domain. Intuitively, the execution of a process is temporally isolated if the real-time behavior of the process is independent ...
VMM-Based Real-Time Embedded System
ICESSSYMPOSIA '08: Proceedings of the 2008 International Conference on Embedded Software and Systems SymposiaIn modern real-time embedded systems, to utilize the versatile services of a general kernel while without sacrificing the real-time performance is a great challenge. In the previous work, the services and the real-time kernel run in the same environment ...
Comments