Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
A POSIX-Ada Interface for Application-Defined Scheduling
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
HARTIK 3.0: a portable system for developing real-time applications
RTCSA '97 Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications
Support for dynamic QoS in the HARTIK kernel
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Integrating Multimedia Applications in Hard Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
A New Kernel Approach for Modular Real-Time Systems Development
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Multiplexing real-time timed events
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Hi-index | 0.00 |
Real-time systems should provide a time representation mechanism which allows to specify timing constraints in a wide range and with sufficiently high resolution. Moreover, the system lifetime (that is, the longest absolute time that can be handled by the system) should be as long as possible, or possibly infinite. In powerful architectures, this goal is achieved by representing time through variables with a large number of bits. Unfortunately, in real-time embedded systems with small memory requirements, such a solution cannot be used, and a trade off needs to be found for memory, system resolution and the longest representable timing constraint. In such systems, the runtime overhead introduced by the time representation mechanism is also crucial and needs to be taken into account.In this paper we present an efficient method for time representation suited for small embedded systems. The method allows to achieve an infinite lifetime, high resolution and deal with sufficiently large timing constraints. The proposed approach is compared with other methods proposed in the literature and it is proved to be more efficient in terms of both overhead and memory requirements. The method allows an efficient implementation of deadline-based scheduling algorithms (such as EDF) and time accounting mechanisms for capacity based servers and resource reservation policies. The proposed technique has also been implemented and tested in two real-time kernels for small embedded microcontrollers.