This article describes the hardware which is designed for speeding up and supporting the schedule routines of the TUMULT multi-tasking operating system. TUMULT uses a “priority running up” schedule algorithm which automatically increases the priority of a process when (part of) it must be finished before another process, with a higher priority, can run. Also the theoretical backgrounds of the schedule algorithm and properties for some classes of schedule problems are described.
van der Bij, H. C., Smit, G. J. M., & Havinga, P. J. M. (1989). Hardware support for the tumult real-time scheduler. Microprocessing and Microprogramming, 27(1-5), 251-257. https://doi.org/10.1016/0165-6074(89)90055-0