{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:09:26Z","timestamp":1767262166258},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,7,6]],"date-time":"2012-07-06T00:00:00Z","timestamp":1341532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10617-012-9090-1","type":"journal-article","created":{"date-parts":[[2012,7,5]],"date-time":"2012-07-05T16:25:22Z","timestamp":1341505522000},"page":"277-342","source":"Crossref","is-referenced-by-count":37,"title":["The OMLP family of optimal multiprocessor real-time locking protocols"],"prefix":"10.1007","volume":"17","author":[{"given":"Bj\u00f6rn B.","family":"Brandenburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,6]]},"reference":[{"issue":"2","key":"9090_CR1","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/s11241-010-9105-6","volume":"46","author":"B Andersson","year":"2010","unstructured":"Andersson B, Easwaran A (2010) Provably good multiprocessor scheduling with resource sharing. Real-Time Syst 46(2):153\u2013159","journal-title":"Real-Time Syst"},{"issue":"5","key":"9090_CR2","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N Audsley","year":"1993","unstructured":"Audsley N, Burns A, Richardson M, Tindell K, Wellings A (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8(5):284\u2013292","journal-title":"Softw Eng J"},{"issue":"1","key":"9090_CR3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF00365393","volume":"3","author":"T Baker","year":"1991","unstructured":"Baker T (1991) Stack-based scheduling for realtime processes. Real-Time Syst 3(1):67\u201399","journal-title":"Real-Time Syst"},{"key":"9090_CR4","unstructured":"Baker T (2005) A comparison of global and partitioned EDF schedulability tests for multiprocessors. Tech Rep TR-051101, Florida State University"},{"key":"9090_CR5","volume-title":"Handbook of real-time and embedded systems","author":"T Baker","year":"2007","unstructured":"Baker T, Baruah S (2007) Schedulability analysis of multiprocessor sporadic task systems. In: Handbook of real-time and embedded systems. Chapman Hall\/CRC, London"},{"key":"9090_CR6","first-page":"141","volume-title":"Proceedings of the 21st Euromicro conference on real-time systems","author":"T Baker","year":"2009","unstructured":"Baker T, Baruah S (2009) Sustainable multiprocessor scheduling of sporadic task systems. In: Proceedings of the 21st Euromicro conference on real-time systems, pp 141\u2013150"},{"key":"9090_CR7","first-page":"119","volume-title":"Proceedings of the 28th IEEE real-time systems symposium","author":"S Baruah","year":"2007","unstructured":"Baruah S (2007) Techniques for multiprocessor global schedulability analysis. In: Proceedings of the 28th IEEE real-time systems symposium, pp 119\u2013128"},{"key":"9090_CR8","first-page":"159","volume-title":"Proceedings of the 27th IEEE real-time systems symposium","author":"S Baruah","year":"2006","unstructured":"Baruah S, Burns A (2006) Sustainable scheduling analysis. In: Proceedings of the 27th IEEE real-time systems symposium, pp 159\u2013168"},{"key":"9090_CR9","unstructured":"Bastoni A (2011) Towards the integration of theory and practice in multiprocessor real-time scheduling. Ph.D. thesis, Universita\u2018 degli Studi di Roma \u201cTor Vergata\u201d"},{"key":"9090_CR10","first-page":"14","volume-title":"Proceedings of the 31st IEEE real-time systems symposium","author":"A Bastoni","year":"2010","unstructured":"Bastoni A, Brandenburg B, Anderson J (2010) An empirical comparison of global, partitioned, and clustered multiprocessor EDF schedulers. In: Proceedings of the 31st IEEE real-time systems symposium, pp 14\u201324"},{"key":"9090_CR11","first-page":"125","volume-title":"Proceedings of the 23rd Euromicro conference on real-time systems","author":"A Bastoni","year":"2011","unstructured":"Bastoni A, Brandenburg B, Anderson J (2011) Is semi-partitioned scheduling practical? In: Proceedings of the 23rd Euromicro conference on real-time systems, pp 125\u2013135"},{"key":"9090_CR12","first-page":"149","volume-title":"Proceedings of the 28th IEEE real-time systems symposium","author":"M Bertogna","year":"2007","unstructured":"Bertogna M, Cirinei M (2007) Response-time analysis for globally scheduled symmetric multiprocessor platforms. In: Proceedings of the 28th IEEE real-time systems symposium, pp 149\u2013160"},{"key":"9090_CR13","first-page":"47","volume-title":"Proceedings of the 13th IEEE conference on embedded and real-time computing systems and applications","author":"A Block","year":"2007","unstructured":"Block A, Leontyev H, Brandenburg B, Anderson J (2007) A flexible real-time locking protocol for multiprocessors. In: Proceedings of the 13th IEEE conference on embedded and real-time computing systems and applications, pp 47\u201357"},{"key":"9090_CR14","unstructured":"Brandenburg B (2011) Scheduling and locking in multiprocessor real-time operating systems. Ph.D. thesis, The University of North Carolina at Chapel Hill"},{"key":"9090_CR15","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-540-92221-6_9","volume-title":"Proceedings of the 12th international conference on principles of distributed systems","author":"B Brandenburg","year":"2008","unstructured":"Brandenburg B, Anderson J (2008) A comparison of the M-PCP, D-PCP, and FMLP on LITMUSRT. In: Proceedings of the 12th international conference on principles of distributed systems. LNCS, vol 5401. Springer, Berlin, pp 105\u2013124"},{"key":"9090_CR16","first-page":"185","volume-title":"Proceedings of the 14th IEEE real-time and embedded technology and applications symposium","author":"B Brandenburg","year":"2008","unstructured":"Brandenburg B, Anderson J (2008) An implementation of the PCP, SRP, D-PCP, M-PCP, and FMLP real-time synchronization protocols in LITMUSRT. In: Proceedings of the 14th IEEE real-time and embedded technology and applications symposium, pp 185\u2013194"},{"key":"9090_CR17","first-page":"49","volume-title":"Proceedings of the 31st real-time systems symposium","author":"B Brandenburg","year":"2010","unstructured":"Brandenburg B, Anderson J (2010) Optimality results for multiprocessor real-time locking. In: Proceedings of the 31st real-time systems symposium, pp 49\u201360"},{"issue":"1","key":"9090_CR18","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s11241-010-9097-2","volume":"46","author":"B Brandenburg","year":"2010","unstructured":"Brandenburg B, Anderson J (2010) Spin-based reader-writer synchronization for multiprocessor real-time systems. Real-Time Syst 46(1):25\u201387","journal-title":"Real-Time Syst"},{"key":"9090_CR19","volume-title":"Proceedings of the 9th ACM international conference on embedded software","author":"B Brandenburg","year":"2011","unstructured":"Brandenburg B, Anderson J (2011) Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks. In: Proceedings of the 9th ACM international conference on embedded software"},{"key":"9090_CR20","first-page":"342","volume-title":"Proceedings of the 14th IEEE real-time and embedded technology and applications symposium","author":"B Brandenburg","year":"2008","unstructured":"Brandenburg B, Calandrino J, Block A, Leontyev H, Anderson J (2008) Synchronization on real-time multiprocessors: to block or not to block, to suspend or spin? In: Proceedings of the 14th IEEE real-time and embedded technology and applications symposium, pp 342\u2013353"},{"key":"9090_CR21","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/ECRTS.2007.81","volume-title":"Proceedings of the 19th Euromicro conference on real-time systems","author":"J Calandrino","year":"2007","unstructured":"Calandrino J, Anderson J, Baumberger D (2007) A hybrid real-time scheduling approach for large-scale multicore platforms. In: Proceedings of the 19th Euromicro conference on real-time systems, pp 247\u2013256"},{"key":"9090_CR22","first-page":"111","volume-title":"Proceedings of the 27th IEEE real-time systems symposium","author":"J Calandrino","year":"2006","unstructured":"Calandrino J, Leontyev H, Block A, Devi U, Anderson J (2006) LITMUSRT: a testbed for empirically comparing real-time multiprocessor schedulers. In: Proceedings of the 27th IEEE real-time systems symposium, pp 111\u2013123"},{"key":"9090_CR23","volume-title":"Handbook of scheduling: algorithms, models, and performance analysis","author":"J Carpenter","year":"2004","unstructured":"Carpenter J, Funk S, Holman P, Srinivasan A, Anderson J, Baruah S (2004) A categorization of real-time multiprocessor scheduling problems and algorithms. In: Handbook of scheduling: algorithms, models, and performance analysis. Chapman Hall\/CRC, London"},{"key":"9090_CR24","unstructured":"Chen C, Tripathi S (1994) Multiprocessor priority ceiling based protocols. Tech Rep CS-TR-3252, Univ of Maryland"},{"key":"9090_CR25","first-page":"140","volume-title":"Proceedings of the 12th IEEE real-time system symposium","author":"M Chen","year":"1991","unstructured":"Chen M, Lin K (1991) A priority ceiling protocol for multiple-instance resources. In: Proceedings of the 12th IEEE real-time system symposium, pp 140\u2013149"},{"issue":"10","key":"9090_CR26","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P Courtois","year":"1971","unstructured":"Courtois P, Heymans F, Parnas D (1971) Concurrent control with \u201creaders\u201d and \u201cwriters\u201d. Commun ACM 14(10):667\u2013668","journal-title":"Commun ACM"},{"key":"9090_CR27","series-title":"Cambridge series in statistical and probabilistic mathematics","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511802843","volume-title":"Bootstrap methods and their application","author":"A Davison","year":"1997","unstructured":"Davison A, Hinkley D (1997) Bootstrap methods and their application. Cambridge series in statistical and probabilistic mathematics. Cambridge University Press, Cambridge"},{"key":"9090_CR28","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/ECRTS.2006.10","volume-title":"Proceedings of the 18th Euromicro conference on real-time systems","author":"U Devi","year":"2006","unstructured":"Devi U, Leontyev H, Anderson J (2006) Efficient synchronization under global EDF scheduling on multiprocessors. In: Proceedings of the 18th Euromicro conference on real-time systems, pp 75\u201384"},{"key":"9090_CR29","first-page":"377","volume-title":"Proceedings of the 30th IEEE real-time systems symposium","author":"A Easwaran","year":"2009","unstructured":"Easwaran A, Andersson B (2009) Resource sharing in global fixed-priority preemptive multiprocessor scheduling. In: Proceedings of the 30th IEEE real-time systems symposium, pp 377\u2013386"},{"key":"9090_CR30","volume-title":"Proceedings of the 19th international conference on real-time and network systems","author":"G Elliott","year":"2011","unstructured":"Elliott G, Anderson J (2011) An optimal k-exclusion real-time locking protocol motivated by multi-GPU systems. In: Proceedings of the 19th international conference on real-time and network systems"},{"key":"9090_CR31","first-page":"90","volume-title":"Proceedings of the 22nd Euromicro conference on real-time systems","author":"D Faggioli","year":"2010","unstructured":"Faggioli D, Lipari G, Cucinotta T (2010) The multiprocessor bandwidth inheritance protocol. In: Proceedings of the 22nd Euromicro conference on real-time systems, pp 90\u201399"},{"key":"9090_CR32","first-page":"189","volume-title":"Proceedings of the 9th IEEE real-time and embedded technology application symposium","author":"P Gai","year":"2003","unstructured":"Gai P, di Natale M, Lipari G, Ferrari A, Gabellini C, Marceca P (2003) A comparison of MPCP and MSRP when sharing resources in the Janus multiple processor on a chip platform. In: Proceedings of the 9th IEEE real-time and embedded technology application symposium, pp 189\u2013198"},{"issue":"2\u20133","key":"9090_CR33","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1023\/A:1025120124771","volume":"25","author":"J Goossens","year":"2003","unstructured":"Goossens J, Funk S, Baruah S (2003) Priority-driven scheduling of periodic task systems on multiprocessors. Real-Time Syst 25(2\u20133):187\u2013205","journal-title":"Real-Time Syst"},{"key":"9090_CR34","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/2038642.2038656","volume-title":"Proceedings of the 9th ACM international conference on embedded software","author":"PC Hsiu","year":"2011","unstructured":"Hsiu PC, Lee DN, Kuo TW (2011) Task synchronization and allocation for many-core real-time systems. In: Proceedings of the 9th ACM international conference on embedded software. ACM, New York, pp 79\u201388"},{"issue":"5","key":"9090_CR35","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M Joseph","year":"1986","unstructured":"Joseph M, Pandya P (1986) Finding response times in a real-time system. Comput J 29(5):390\u2013395","journal-title":"Comput J"},{"key":"9090_CR36","first-page":"469","volume-title":"Proceedings of the 30th IEEE real-time systems symposium","author":"K Lakshmanan","year":"2009","unstructured":"Lakshmanan K, Niz D, Rajkumar R (2009) Coordinated task scheduling, allocation and synchronization on multiprocessors. In: Proceedings of the 30th IEEE real-time systems symposium, pp 469\u2013478"},{"key":"9090_CR37","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"30","author":"C Liu","year":"1973","unstructured":"Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 30:46\u201361","journal-title":"J ACM"},{"key":"9090_CR38","volume-title":"Real-time systems","author":"J Liu","year":"2000","unstructured":"Liu J (2000) Real-time systems. Prentice Hall, New York"},{"key":"9090_CR39","first-page":"262","volume-title":"Proceedings of the 23rd Euromicro conference on real-time systems","author":"G Macariu","year":"2011","unstructured":"Macariu G, Cretu V (2011) Limited blocking resource sharing for global multiprocessor scheduling. In: Proceedings of the 23rd Euromicro conference on real-time systems, pp 262\u2013271"},{"key":"9090_CR40","first-page":"251","volume-title":"Proceedings of the 23rd Euromicro conference on real-time systems","author":"F Nemati","year":"2011","unstructured":"Nemati F, Behnam M, Nolte T (2011) Independently-developed real-time systems on multi-cores with shared resources. In: Proceedings of the 23rd Euromicro conference on real-time systems, pp 251\u2013261"},{"key":"9090_CR41","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-642-17653-1_20","volume-title":"Proceedings of the 14th international conference on principles of distributed systems","author":"F Nemati","year":"2010","unstructured":"Nemati F, Nolte T, Behnam M (2010) Partitioning real-time systems on multiprocessors with shared resources. In: Proceedings of the 14th international conference on principles of distributed systems. LNCS, vol 6490, pp 253\u2013269"},{"key":"9090_CR42","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/ICDCS.1990.89257","volume-title":"Proceedings of the 10th international conference on distributed computing systems","author":"R Rajkumar","year":"1990","unstructured":"Rajkumar R (1990) Real-time synchronization protocols for shared memory multiprocessors. In: Proceedings of the 10th international conference on distributed computing systems, pp 116\u2013123"},{"key":"9090_CR43","volume-title":"Real-time systems\u2014a priority inheritance approach","author":"RS Rajkumar","year":"1991","unstructured":"Rajkumar RS (1991) In: Real-time systems\u2014a priority inheritance approach. Kluwer Academic, Dordrecht"},{"key":"9090_CR44","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/REAL.1988.51121","volume-title":"Proceedings of the 9th IEEE real-time systems symposium","author":"R Rajkumar","year":"1988","unstructured":"Rajkumar R, Sha L, Lehoczky J (1988) Real-time synchronization protocols for multiprocessors. In: Proceedings of the 9th IEEE real-time systems symposium, pp 259\u2013269"},{"key":"9090_CR45","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/REAL.2004.35","volume-title":"Proceedings of the 25th IEEE real-time systems symposium","author":"F Ridouard","year":"2004","unstructured":"Ridouard F, Richard P, Cottet F (2004) Negative results for scheduling independent hard real-time tasks with self-suspensions. In: Proceedings of the 25th IEEE real-time systems symposium, pp 47\u201356"},{"issue":"4","key":"9090_CR46","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1109\/TII.2009.2032068","volume":"5","author":"S Schliecker","year":"2009","unstructured":"Schliecker S, Negrean M, Ernst R (2009) Response time analysis on multicore ECUs with shared resources. IEEE Trans Ind Informatics 5(4):402\u2013413","journal-title":"IEEE Trans Ind Informatics"},{"issue":"9","key":"9090_CR47","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"Sha L, Rajkumar R, Lehoczky J (1990) Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9):1175\u20131185","journal-title":"IEEE Trans Comput"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9090-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-012-9090-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9090-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T08:35:03Z","timestamp":1642667703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-012-9090-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,6]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9090"],"URL":"https:\/\/doi.org\/10.1007\/s10617-012-9090-1","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,6]]}}}