Abstract
The transition to multicore systems that has started to take place over the last few years, has revived the interest in the synchronization protocols for sharing logical resources. In fact, consolidated solutions for single processor systems are not immediately applicable to multiprocessor platforms and new paradigms and solutions have to be devised. The Multiprocessor resource sharing Protocol (MrsP) is a particularly elegant approach for partitioned systems, which allows sharing global logical resources among tasks assigned to distinct scheduling partitions. Notably, MrsP enjoys two desirable theoretical properties: optimality and compliance to well-known uniprocessor response time analysis. A coarse-grained experimental evaluation of the MrsP protocol on a general-purpose operating system has been already presented by its original authors. No clear evidence, however, has been provided to date as to its viability and effectiveness for industrial-size real-time operating systems. In this paper we bridge this gap, focusing on the challenges posed by the implementation of MrsP on top of two representative real-time operating systems, RTEMS and LITMUS\(^{RT}\). In doing so, we provide a useful insight on implementation-specific issues and offer evidence that the protocol can be effectively implemented on top of standard real-time operating system support while incurring acceptable overhead.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Abella, J., Cazorla, F., Quinones, E., Grasset, A., Yehia, S., Bonnot, P., Gizopoulos, D., Mariani, R., Bernat, G.: Towards improved survivability in safety-critical systems. In: 17th IEEE International On-Line Testing Symposium (IOLTS) (2011)
Anderson, T.: The performance of spin lock alternatives for shared-money multiprocessors. IEEE Transactions on Parallel and Distributed Systems (1990)
Andersson, B., Jonsson, J.: The utilization bounds of partitioned and pfair static-priority scheduling on multiprocessors are 50%. In: 15th Euromicro Conference on Real-Time Systems (ECRTS) (2003)
Baker, T.: A stack-based resource allocation policy for realtime processes. In: 11th IEEE Real-Time Systems Symposium (RTSS) (1990)
Block, A., Leontyev, H., Brandenburg, B., Anderson, J.: A flexible real-time locking protocol for multiprocessors. In: 13th IEEE Embedded and Real-Time Computing Systems and Applications (RTCSA) (2007)
Bonato, L., Mezzetti, E., Vardanega, T.: Supporting global resource sharing in RUN-scheduled multiprocessor systems. In: 22nd International Conference on Real-Time Networks and Systems (RTNS) (2014)
Brandenburg, B.: A fully preemptive multiprocessor semaphore protocol for latency-sensitive real-time applications. In: 25th Euromicro Conference on Real-Time Systems (ECRTS) (2013)
Brandenburg, B.: Improved analysis and evaluation of real-time semaphore protocols for P-FP scheduling. In: 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pp. 141–152 (2013)
Brandenburg, B., Anderson, J.: Optimality results for multiprocessor real-time locking. In: 31st IEEE Real-Time Systems Symposium (RTSS) (2010)
Brandenburg, B.B., Anderson, J.H.: An implementation of the PCP, SRP, D-PCP, M-PCP, and FMLP real-time synchronization protocols in LITMUS\(^{RT}\). In: 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pp. 185–194 (2008)
Burns, A., Wellings, A.: A schedulability compatible multiprocessor resource sharing protocol - MrsP. In: 25th Euromicro Conference on Real-Time Systems (ECRTS) (2013)
Calandrino, J., Leontyev, H., Block, A., Devi, U., Anderson, J.: LITMUSRT: a testbed for empirically comparing real-time multiprocessor schedulers. In: 27th IEEE Real-Time Systems Symposium (RTSS) (2006)
Davis, R., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. 43(4) (2011)
Edelin, G.: Embedded systems at THALES: the artemis challenges for an industrial group. In: Invited Talk at the ARTIST Summer School in Europe (2009)
Faggioli, D., Lipari, G., Cucinotta, T.: The multiprocessor bandwidth inheritance protocol. In: 22nd Euromicro Conference on Real-Time Systems (ECRTS) (2010)
Faggioli, D., Lipari, G., Cucinotta, T.: Analysis and implementation of the multiprocessor bandwidth inheritance protocol. Real-Time Systems 48(6), 789–825 (2012)
Gai, P., Natale, M.D., Lipari, G., Ferrari, A., Gabellini, C., Marceca, P.: A comparison of MPCP and MSRP when sharing resources in the janus multiple-processor on a chip platform. In: 9th IEEE Real-Time and Embedded Technology and Applications Symposium (2003)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co. (1979)
Lakshmanan, K., De Niz, D., Rajkumar, R.: Coordinated task scheduling, allocation and synchronization on multiprocessors. In: 30th IEEE Real-Time Systems Symposium (RTSS) (2009)
LITMUS\(^{RT}\). http://www.litmus-rt.org/
Mellor-Crummey, J.M., Scott, M.L.: Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Transactions on Computer Systems (1991)
Rajkumar, R.: Synchronization in Real-Time Systems: A Priority Inheritance Approach. Kluwer Academic Publishers (1991)
RTEMS. http://www.rtems.org/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Catellani, S., Bonato, L., Huber, S., Mezzetti, E. (2015). Challenges in the Implementation of MrsP. In: de la Puente, J., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2015. Ada-Europe 2015. Lecture Notes in Computer Science(), vol 9111. Springer, Cham. https://doi.org/10.1007/978-3-319-19584-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-19584-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19583-4
Online ISBN: 978-3-319-19584-1
eBook Packages: Computer ScienceComputer Science (R0)