2009 30th IEEE Real-Time Systems Symposium Multiprocessor Extensions to Real-Time Calculus Washington D.C., USA December 01-December 04 ISBN: 978-0-7695-3875-4
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTSS.2009.29
Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement different scheduling/arbitration policies, have different interfaces, and are supplied by different vendors. Hence, compositional techniques for modeling and analyzing such platforms are of interest. In prior work, the real-time calculus framework has proven to be very effective in this regard. However, real-time calculus has heretofore been limited to systems with uniprocessor processing elements, which is a serious impediment given the advent of multicore technologies. In this paper, a two-step approach is proposed that allows the power of real-time calculus to be applied in globally-scheduled multiprocessor systems: first, assuming that job response-time bounds are given, determine whether these bounds are met; second, using these bounds, determine the resulting residual processor supply and streams of job completion events using formalisms from real-time calculus. For this methodology to be applied in settings where response-time bounds are not specified, such bounds must be determined. Though this is an issue that warrants further investigation, a method is discussed for calculating such bounds that is applicable to a large family of fixed job-priority schedulers. The utility of the proposed analysis framework is demonstrated using a case study.
Index Terms:
component-based design, multiprocessor scheduling, real-time calculus
Citation:
Hennadiy Leontyev, Samarjit Chakraborty, James H. Anderson, "Multiprocessor Extensions to Real-Time Calculus," rtss, pp.410-421, 2009 30th IEEE Real-Time Systems Symposium, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||