{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:21:34Z","timestamp":1781713294349,"version":"3.54.5"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,3,8]],"date-time":"2018-03-08T00:00:00Z","timestamp":1520467200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s11241-018-9303-1","type":"journal-article","created":{"date-parts":[[2018,3,8]],"date-time":"2018-03-08T11:18:05Z","timestamp":1520507885000},"page":"515-536","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":31,"title":["On the ineffectiveness of 1\/m-based interference bounds in the analysis of global EDF and FIFO scheduling"],"prefix":"10.1007","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6625-9336","authenticated-orcid":false,"given":"Alessandro","family":"Biondi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Youcheng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,3,8]]},"reference":[{"key":"9303_CR1","unstructured":"Altmeyer S, Sundharam SM, Navet N (2016) The case for FIFO real-time scheduling. In: Technical report, University of Luxembourg, http:\/\/hdl.handle.net\/10993\/24935"},{"key":"9303_CR2","doi-asserted-by":"crossref","unstructured":"Baker TP (2003) Multiprocessor EDF and deadline monotonic schedulability analysis. In: Proceedings of the 24th IEEE real-time systems symposium (RTSS), Cancun, pp 120\u2013129","DOI":"10.1109\/REAL.2003.1253260"},{"key":"9303_CR3","doi-asserted-by":"crossref","unstructured":"Baker TP, Cirinei M (2007) Brute-force determination of multiprocessor schedulability for sets of sporadic hard-deadline tasks. In: Principles of distributed systems, 11th international conference, OPODIS, Guadeloupe, French West Indies, pp 62\u201375","DOI":"10.1007\/978-3-540-77096-1_5"},{"key":"9303_CR4","unstructured":"Baruah S, Bini E (2008) Partitioned scheduling of sporadic task systems: an ILP-based approach. In: Proceedings of the 2008 conference on design and architectures for signal and image processing"},{"key":"9303_CR5","doi-asserted-by":"crossref","unstructured":"Baruah SK (2007) Techniques for multiprocessor global schedulability analysis. In: Proceedings of the 28th IEEE real-time systems symposium (RTSS), Tucson, pp 119\u2013128","DOI":"10.1109\/RTSS.2007.35"},{"issue":"7","key":"9303_CR6","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1109\/TC.2006.113","volume":"55","author":"SK Baruah","year":"2006","unstructured":"Baruah SK, Fisher N (2006) The partitioned multiprocessor scheduling of deadline-constrained sporadic task systems. IEEE Trans Comput 55(7):918\u2013923","journal-title":"IEEE Trans Comput"},{"issue":"4","key":"9303_CR7","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01995675","volume":"2","author":"SK Baruah","year":"1990","unstructured":"Baruah SK, Rosier LE, Howell RR (1990) Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst 2(4):301\u2013324","journal-title":"Real-Time Syst"},{"key":"9303_CR8","doi-asserted-by":"crossref","unstructured":"Bastoni A, Brandenburg BB, Anderson JH (2010) An empirical comparison of global, partitioned, and clustered multiprocessor EDF schedulers. In: 31st IEEE real-time systems symposium (RTSS)","DOI":"10.1109\/RTSS.2010.23"},{"issue":"5","key":"9303_CR9","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/j.sysarc.2010.09.004","volume":"57","author":"M Bertogna","year":"2011","unstructured":"Bertogna M, Baruah S (2011) Tests for global EDF schedulability analysis. J Syst Archit 57(5):487\u2013497 Special Issue on Multiprocessor Real-time Scheduling","journal-title":"J Syst Archit"},{"key":"9303_CR10","doi-asserted-by":"crossref","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 (RTSS), Tucson, pp 149\u2013160","DOI":"10.1109\/RTSS.2007.31"},{"key":"9303_CR11","doi-asserted-by":"crossref","unstructured":"Bertogna M, Cirinei M, Lipari G (2005) Improved schedulability analysis of EDF on multiprocessor platforms. In: Proceedings of the 17th euromicro conference on real-time systems (ECRTS), Palma de Mallorca, pp 209\u2013218","DOI":"10.1109\/ECRTS.2005.18"},{"key":"9303_CR12","doi-asserted-by":"crossref","unstructured":"Biondi A, Balsini A, Pagani M, Rossi E, Marinoni M, Buttazzo GC (2016) A framework for supporting real-time applications on dynamic reconfigurable FPGAs. In: Proceedings of the 37th IEEE real-time systems symposium, (RTSS), Porto, pp 1\u201312","DOI":"10.1109\/RTSS.2016.010"},{"key":"9303_CR13","doi-asserted-by":"crossref","unstructured":"Biondi A, Sun Y (2018) On the ineffectiveness of 1\/m-based interference bounds in the analysis of global EDF and FIFO scheduling: complete data set of experimental results. http:\/\/retis.sssup.it\/~a.biondi\/1mexps\/","DOI":"10.1007\/s11241-018-9303-1"},{"issue":"4","key":"9303_CR14","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1007\/s00453-011-9505-6","volume":"63","author":"V Bonifaci","year":"2012","unstructured":"Bonifaci V, Marchetti-Spaccamela A (2012) Feasibility analysis of sporadic real-time multiprocessor task systems. Algorithmica 63(4):763\u2013780","journal-title":"Algorithmica"},{"key":"9303_CR15","unstructured":"Brandenburg BB (2011) Scheduling and locking in multiprocessor real-time operating systems. PhD thesis, The University of North Carolina at Chapel Hill, http:\/\/www.cs.unc.edu\/~bbb\/diss\/brandenburg-diss.pdf"},{"key":"9303_CR16","doi-asserted-by":"crossref","unstructured":"Brandenburg BB, Gul M (2016) Global scheduling not required: simple, near-optimal multiprocessor real-time scheduling with semi-partitioned reservations. In: Proceedings of the 37th IEEE real-time systems symposium (RTSS), Porto, pp 99\u2013110","DOI":"10.1109\/RTSS.2016.019"},{"key":"9303_CR17","doi-asserted-by":"crossref","unstructured":"Burmyakov A, Bini E, Tovar E (2015) An exact schedulability test for global FP using state space pruning. In: Proceedings of the 23rd international conference on real time networks and systems (RTNS), Lille, pp 225\u2013234","DOI":"10.1145\/2834848.2834877"},{"key":"9303_CR18","unstructured":"Casini D, Biondi A, Buttazzo GC (2017) Semi-partitioned scheduling of dynamic real-time workload: A practical approach based on analysis-driven load balancing. In: Proceedings of the 29th euromicro conference on real-time systems (ECRTS), Dubrovnik, pp 13\u201323"},{"key":"9303_CR19","doi-asserted-by":"crossref","unstructured":"Cerqueira F, Stutz F, Brandenburg BB (2016) PROSA: a case for readable mechanized schedulability analysis. In: Proceedings of the 28th euromicro conference on real-time systems (ECRTS), Toulouse, pp 273\u2013284","DOI":"10.1109\/ECRTS.2016.28"},{"key":"9303_CR20","doi-asserted-by":"crossref","unstructured":"Chwa HS, Lee J, Phan K, Easwaran A, Shin I (2013) Global EDF schedulability analysis for synchronous parallel tasks on multicore platforms. In: Proceedings of the 25th euromicro conference on real-time systems (ECRTS), Paris","DOI":"10.1109\/ECRTS.2013.14"},{"issue":"5","key":"9303_CR21","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1016\/j.sysarc.2011.02.007","volume":"57","author":"L Cucu-Grosjean","year":"2011","unstructured":"Cucu-Grosjean L, Goossens J (2011) Exact schedulability tests for real-time scheduling of periodic tasks on unrelated multiprocessor platforms. J Syst Archit 57(5):561\u2013569","journal-title":"J Syst Archit"},{"issue":"4","key":"9303_CR22","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1978802.1978814","volume":"43","author":"RI Davis","year":"2011","unstructured":"Davis RI, Burns A (2011) A survey of hard real-time scheduling for multiprocessor systems. ACM Comput Surv 43(4):35","journal-title":"ACM Comput Surv"},{"issue":"1","key":"9303_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11241-010-9106-5","volume":"47","author":"RI Davis","year":"2011","unstructured":"Davis RI, Burns A (2011) Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real-Time Syst 47(1):1\u201340","journal-title":"Real-Time Syst"},{"issue":"3","key":"9303_CR24","first-page":"47","volume":"14","author":"RI Davis","year":"2015","unstructured":"Davis RI, Burns A, Marinho J, Nelis V, Petters SM, Bertogna M (2015) Global and partitioned multiprocessor fixed priority scheduling with deferred preemption. ACM Trans Embed Comput Syst (TECS) 14(3):47","journal-title":"ACM Trans Embed Comput Syst (TECS)"},{"key":"9303_CR25","unstructured":"Emberson P, Stafford R, Davis RI (2010) Techniques for the synthesis of multiprocessor tasksets. In: Proceedings of the 1st international workshop on analysis tools and methodologies for embedded and real-time systems (WATERS), Brussels, pp 6\u201311"},{"key":"9303_CR26","doi-asserted-by":"crossref","unstructured":"Fisher N, Baruah SK, Baker TP (2006) The partitioned scheduling of sporadic tasks according to static-priorities. In: Proceedings of the 18th euromicro conference on real-time systems (ECRTS), Dresden, pp 118\u2013127","DOI":"10.1109\/ECRTS.2006.30"},{"issue":"2","key":"9303_CR27","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11241-012-9172-y","volume":"49","author":"G Geeraerts","year":"2013","unstructured":"Geeraerts G, Goossens J, Lindstr\u00f6m M (2013) Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Real-Time Syst 49(2):171\u2013218","journal-title":"Real-Time Syst"},{"key":"9303_CR28","doi-asserted-by":"crossref","unstructured":"Guan N, Gu Z, Deng Q, Gao S, Yu G (2007) Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking. Software Technologies for Embedded and Ubiquitous Systems, pp 263\u2013272","DOI":"10.1007\/978-3-540-75664-4_26"},{"key":"9303_CR29","doi-asserted-by":"crossref","unstructured":"Guan N, Stigge M, Yi W, Yu G (2009) New response time bounds for fixed priority multiprocessor scheduling. In: Proceedings of the 30th IEEE real-time systems symposium (RTSS), Washington, DC, pp 387\u2013397","DOI":"10.1109\/RTSS.2009.11"},{"key":"9303_CR30","unstructured":"Guan N, Yi W (2014) General and efficient response time analysis for EDF scheduling. In: Design, automation and test in Europe conference (DATE), Dresden, pp 1\u20136"},{"key":"9303_CR31","unstructured":"Gujarati A, Cerqueira F, Brandenburg BB (2013) Schedulability analysis of the linux push and pull scheduler with arbitrary processor affinities. In: Proceedings of the 25th euromicro conference on real-time systems (ECRTS), Paris, pp 69\u201379"},{"key":"9303_CR32","doi-asserted-by":"crossref","unstructured":"Huang W-H, Chen J-J (2015) Response time bounds for sporadic arbitrary-deadline tasks under global fixed-priority scheduling on multiprocessors. In: Proceedings of the 23rd international conference on real time networks and systems (RTNS), Lille, pp 215\u2013224","DOI":"10.1145\/2834848.2834849"},{"issue":"10","key":"9303_CR33","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1016\/j.jss.2012.05.048","volume":"85","author":"J Lelli","year":"2012","unstructured":"Lelli J, Faggioli D, Cucinotta T, Lipari G (2012) An experimental comparison of different real-time schedulers on multicore systems. J Syst Softw 85(10):2405\u20132416","journal-title":"J Syst Softw"},{"key":"9303_CR34","doi-asserted-by":"crossref","unstructured":"Liu C, Anderson JH (2013) Suspension-aware analysis for hard real-time multiprocessor scheduling. In: Proceedings of the 25th euromicro conference on real-time systems (ECRTS), Paris, pp 271\u2013281","DOI":"10.1109\/ECRTS.2013.36"},{"issue":"1","key":"9303_CR35","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J Assoc Comput Mach 20(1):46\u201361","journal-title":"J Assoc Comput Mach"},{"issue":"1","key":"9303_CR36","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/B:TIME.0000033378.56741.14","volume":"28","author":"JM L\u00f3pez","year":"2004","unstructured":"L\u00f3pez JM, D\u00edaz JL, Garc\u00eda DF (2004) Utilization bounds for edf scheduling on real-time multiprocessor systems. Real-Time Syst 28(1):39\u201368","journal-title":"Real-Time Syst"},{"key":"9303_CR37","doi-asserted-by":"crossref","unstructured":"L\u00f3pez JM, Garc\u00eda M, D\u00edaz J.L, Garc\u00eda D.F (2000) Worst-case utilization bound for EDF scheduling on real-time multiprocessor systems. In: Proceedings of the 12th euromicro conference on real-time systems (ECRTS), Stockholm, pp 25\u201333","DOI":"10.1109\/EMRTS.2000.853989"},{"key":"9303_CR38","doi-asserted-by":"crossref","unstructured":"Nemitz CE, Yang K, Yang M, Ekberg P, Anderson JH (2016) Multiprocessor real-time locking protocols for replicated resources. In: Proceedings of the 28th euromicro conference on real-time systems (ECRTS), Toulouse, pp 50\u201360","DOI":"10.1109\/ECRTS.2016.29"},{"key":"9303_CR39","doi-asserted-by":"crossref","unstructured":"Pathan RM (2012) Schedulability analysis of mixed-criticality systems on multiprocessors. In: Proceedings of the 24th euromicro conference on real-time systems (ECRTS), Pisa, pp 309\u2013320","DOI":"10.1109\/ECRTS.2012.29"},{"key":"9303_CR40","unstructured":"Spuri M (1996) Analysis of deadline scheduled real-time systems. Research Report RR-2772, INRIA, Projet REFLECS"},{"key":"9303_CR41","unstructured":"Sun Y (2015) Real-time schedulability analysis with formal techniques. PhD thesis, Scuola Superiore S. Anna, http:\/\/retis.sssup.it\/?q=content\/phd-theses"},{"key":"9303_CR42","doi-asserted-by":"crossref","unstructured":"Sun Y, Di Natale M (2018) Assessing the pessimism of current multicore global fixed-priority schedulability analysis. In: Proceedings of the 33rd annual ACM symposium on applied computing (SAC), Pau","DOI":"10.1145\/3167132.3167195"},{"key":"9303_CR43","doi-asserted-by":"crossref","unstructured":"Sun Y, Lipari G (2015) Response time analysis with limited carry-in for global earliest deadline first scheduling. In: Proceedings of the 36th IEEE real-time systems symposium (RTSS), San Antonio, pp 130\u2013140","DOI":"10.1109\/RTSS.2015.20"},{"key":"9303_CR44","doi-asserted-by":"crossref","unstructured":"Sun Y, Lipari G (2014) A weak simulation relation for real-time schedulability analysis of global fixed priority scheduling using linear hybrid automata. In: Proceedings of the 22nd international conference on real-time networks and systems (RTNS), Versaille, pp 35\u201344","DOI":"10.1145\/2659787.2659814"},{"issue":"3","key":"9303_CR45","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11241-015-9245-9","volume":"52","author":"Y Sun","year":"2016","unstructured":"Sun Y, Lipari G (2016) A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling. Real-Time Syst 52(3):323\u2013355","journal-title":"Real-Time Syst"},{"key":"9303_CR46","unstructured":"Sun Y, Lipari G, Guan N, Yi W (2014) Improving the response time analysis of global fixed-priority multiprocessor scheduling. In: Proceedings of the 20th IEEE international conference on embedded and real-time computing systems and applications (RTCSA), Chongqing, pp 1\u20139"},{"key":"9303_CR47","doi-asserted-by":"crossref","unstructured":"Yang M, Wieder A, Brandenburg BB (2015) Global real-time semaphore protocols: a survey, unified analysis, and comparison. In: Proceedings of the 36th IEEE real-time systems symposium (RTSS), San Antonio, pp 1\u201312","DOI":"10.1109\/RTSS.2015.8"},{"key":"9303_CR48","doi-asserted-by":"crossref","unstructured":"Zhu H, Goddard S, Dwyer MB (2011) Response time analysis of hierarchical scheduling: The synchronized deferrable servers approach. In: Proceedings of the 32nd IEEE real-time systems symposium (RTSS), Vienna, pp 239\u2013248","DOI":"10.1109\/RTSS.2011.29"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-018-9303-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9303-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9303-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T10:02:46Z","timestamp":1570874566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-018-9303-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,8]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["9303"],"URL":"https:\/\/doi.org\/10.1007\/s11241-018-9303-1","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,8]]},"assertion":[{"value":"8 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}