{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:53:59Z","timestamp":1756000439496},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319605876"},{"type":"electronic","value":"9783319605883"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60588-3_5","type":"book-chapter","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T12:35:27Z","timestamp":1496061327000},"page":"73-86","source":"Crossref","is-referenced-by-count":11,"title":["Supporting Nested Resources in MrsP"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Garrido","sequence":"first","affiliation":[]},{"given":"Shuai","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Burns","sequence":"additional","affiliation":[]},{"given":"Andy","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,30]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Biondi, A., Brandenburg, B.B., Wieder, A.: A blocking bound for nested FIFO spin locks, pp. 291\u2013302 (2016)","DOI":"10.1109\/RTSS.2016.036"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"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\u201356. IEEE (2007)","DOI":"10.1109\/RTCSA.2007.8"},{"issue":"2","key":"5_CR3","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/2552999.2553006","volume":"33","author":"A Burns","year":"2013","unstructured":"Burns, A., Wellings, A.: Locking policies for multiprocessor Ada. ACM SIGAda Ada Lett. 33(2), 59\u201365 (2013)","journal-title":"ACM SIGAda Ada Lett."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Burns, A., Wellings, A.J.: A schedulability compatible multiprocessor resource sharing protocol - MrsP. In: 25th Euromicro Conference on Real-Time Systems (ECRTS), pp. 282\u2013291. IEEE (2013)","DOI":"10.1109\/ECRTS.2013.37"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013126. IEEE (2006)","DOI":"10.1109\/RTSS.2006.27"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-19584-1_12","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2015","author":"S Catellani","year":"2015","unstructured":"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\u2013195. Springer, Cham (2015). doi: 10.1007\/978-3-319-19584-1_12"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Faggioli, D., Lipari, G., Cucinotta, T.: The multiprocessor bandwidth inheritance protocol. In: 22nd Euromicro Conference on Real-Time Systems (ECRTS), pp. 90\u201399. IEEE (2010)","DOI":"10.1109\/ECRTS.2010.19"},{"issue":"12","key":"5_CR8","doi-asserted-by":"crossref","first-page":"1591","DOI":"10.1109\/TC.2004.120","volume":"53","author":"G Lipari","year":"2004","unstructured":"Lipari, G., Lamastra, G., Abeni, L.: Task synchronization in reservation-based real-time systems. IEEE Trans. Comput. 53(12), 1591\u20131601 (2004)","journal-title":"IEEE Trans. Comput."},{"key":"5_CR9","unstructured":"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"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013167. IEEE (1995)","DOI":"10.1109\/RTCSA.1995.528766"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013143. IEEE (1997)","DOI":"10.1109\/REAL.1997.641276"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Ward, B.C., Anderson, J.H.: Supporting nested locking in multiprocessor real-time systems. In: 24th Euromicro Conference on Real-Time Systems, pp. 223\u2013232. IEEE (2012)","DOI":"10.1109\/ECRTS.2012.17"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"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\u2013186. IEEE (2014)","DOI":"10.1109\/IPDPS.2014.29"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60588-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:24:33Z","timestamp":1569392673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60588-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319605876","9783319605883"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60588-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}