Advertisement

Supporting Nested Resources in MrsP

  • Jorge GarridoEmail author
  • Shuai Zhao
  • Alan Burns
  • Andy Wellings
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10300)

Abstract

The original MrsP proposal presented a new multiprocessor resource sharing protocol based on the properties and behaviour of the Priority Ceiling Protocol, supported by a novel helping mechanism. While this approach proved to be as simple and elegant as the single processor protocol, the implications with regard to nested resources was identified as requiring further clarification. In this work we present a complete approach to nested resources behaviour and analysis for the MrsP protocol.

Keywords

Shared Resource Active Priority Priority Task Access Cost Global Resource 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgment

This work has been partially funded by the Spanish National R&D&I plan (project M2C2, TIN2014-56158-C4-3-P).

References

  1. 1.
    Biondi, A., Brandenburg, B.B., Wieder, A.: A blocking bound for nested FIFO spin locks, pp. 291–302 (2016)Google Scholar
  2. 2.
    Block, A., Leontyev, H., Brandenburg, B.B., Anderson, J.H.: A flexible real-time locking protocol for multiprocessors. In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 47–56. IEEE (2007)Google Scholar
  3. 3.
    Burns, A., Wellings, A.: Locking policies for multiprocessor Ada. ACM SIGAda Ada Lett. 33(2), 59–65 (2013)CrossRefGoogle Scholar
  4. 4.
    Burns, A., Wellings, A.J.: A schedulability compatible multiprocessor resource sharing protocol - MrsP. In: 25th Euromicro Conference on Real-Time Systems (ECRTS), pp. 282–291. IEEE (2013)Google Scholar
  5. 5.
    Calandrino, J.M., Leontyev, H., Block, A., Devi, U.C., Anderson, J.H.: LITMUS\(^\wedge \)RT: a testbed for empirically comparing real-time multiprocessor schedulers. In: 27th IEEE International Real-Time Systems Symposium, RTSS, pp. 111–126. IEEE (2006)Google Scholar
  6. 6.
    Catellani, S., Bonato, L., Huber, S., Mezzetti, E.: Challenges in the implementation of MrsP. In: de la Puente, J.A., Vardanega, T. (eds.) Ada-Europe 2015. LNCS, vol. 9111, pp. 179–195. Springer, Cham (2015). doi: 10.1007/978-3-319-19584-1_12 CrossRefGoogle Scholar
  7. 7.
    Faggioli, D., Lipari, G., Cucinotta, T.: The multiprocessor bandwidth inheritance protocol. In: 22nd Euromicro Conference on Real-Time Systems (ECRTS), pp. 90–99. IEEE (2010)Google Scholar
  8. 8.
    Lipari, G., Lamastra, G., Abeni, L.: Task synchronization in reservation-based real-time systems. IEEE Trans. Comput. 53(12), 1591–1601 (2004)CrossRefGoogle Scholar
  9. 9.
    RTEMS, C Users guide-edition 4.6. 5, for RTEMS 4.6. 5. On-Line Applications Research Corporation (OAR) 30 (2003). http://www.1tems.com
  10. 10.
    Takada, H., Sakamura, K.: Real-time scalability of nested spin locks. In: Second International Workshop on Real-Time Computing Systems and Applications, Proceedings, pp. 160–167. IEEE (1995)Google Scholar
  11. 11.
    Takada, H., Sakamura, K.: A novel approach to multiprogrammed multiprocessor synchronization for real-time kernels. In: The 18th IEEE Real-Time Systems Symposium, Proceedings, pp. 134–143. IEEE (1997)Google Scholar
  12. 12.
    Ward, B.C., Anderson, J.H.: Supporting nested locking in multiprocessor real-time systems. In: 24th Euromicro Conference on Real-Time Systems, pp. 223–232. IEEE (2012)Google Scholar
  13. 13.
    Ward, B.C., Anderson, J.H.: Multi-resource real-time reader/writer locks for multiprocessors. In: IEEE 28th International Parallel and Distributed Processing Symposium, pp. 177–186. IEEE (2014)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Jorge Garrido
    • 1
    Email author
  • Shuai Zhao
    • 2
  • Alan Burns
    • 2
  • Andy Wellings
    • 2
  1. 1.Sistemas de Tiempo Real e Ingeniería de Servicios Telemáticos (STRAST)Universidad Politécnica de Madrid (UPM)MadridSpain
  2. 2.Department of Computer ScienceUniversity of YorkYorkEngland

Personalised recommendations