{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:11:55Z","timestamp":1767262315822,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T00:00:00Z","timestamp":1524441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DHS","award":["BAA HSHQDC-14-R- B00016 and D15PC00223"],"award-info":[{"award-number":["BAA HSHQDC-14-R- B00016 and D15PC00223"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,23]]},"DOI":"10.1145\/3190508.3190539","type":"proceedings-article","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T17:23:36Z","timestamp":1524072216000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Scheduling-context capabilities"],"prefix":"10.1145","author":[{"given":"Anna","family":"Lyons","sequence":"first","affiliation":[{"name":"CSIRO, UNSW Sydney"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kent","family":"McLeod","sequence":"additional","affiliation":[{"name":"CSIRO, Sydney"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hesham","family":"Almatary","sequence":"additional","affiliation":[{"name":"CSIRO, UNSW Sydney"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gernot","family":"Heiser","sequence":"additional","affiliation":[{"name":"CSIRO, UNSW Sydney"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000027934.77900.22"},{"key":"e_1_3_2_1_2_1","unstructured":"ARINC 2012. Avionics Application Software Standard Interface. ARINC. ARINC Standard 653.  ARINC 2012. Avionics Application Software Standard Interface. ARINC. ARINC Standard 653."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.38"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168869"},{"volume-title":"Proceedings of the USENIX Workshop on Microkernels and other Kernel Architectures. USENIX Association","author":"Bomberger Alan C.","key":"e_1_3_2_1_6_1","unstructured":"Alan C. Bomberger , A. Peri Frantz , William S. Frantz , Ann C. Hardy , Norman Hardy , Charles R. Landau , and Jonathan S. Shapiro . 1992. The KeyKOS Nanokernel Architecture . In Proceedings of the USENIX Workshop on Microkernels and other Kernel Architectures. USENIX Association , Seattle, WA, US, 95--112. Alan C. Bomberger, A. Peri Frantz, William S. Frantz, Ann C. Hardy, Norman Hardy, Charles R. Landau, and Jonathan S. Shapiro. 1992. The KeyKOS Nanokernel Architecture. In Proceedings of the USENIX Workshop on Microkernels and other Kernel Architectures. USENIX Association, Seattle, WA, US, 95--112."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.37"},{"volume-title":"Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). IEEE Computer Society, Pisa, IT, 61--70","author":"Bj\u00f6rn","key":"e_1_3_2_1_8_1","unstructured":"Bj\u00f6rn B. Brandenburg and James H. Anderson. 2007. Feather-Trace: A Light Weight Event Tracing Toolkit . In Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). IEEE Computer Society, Pisa, IT, 61--70 . Bj\u00f6rn B. Brandenburg and James H. Anderson. 2007. Feather-Trace: A Light Weight Event Tracing Toolkit. In Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). IEEE Computer Society, Pisa, IT, 61--70."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956606"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.888386"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048932.30002.d9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.27"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.46"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435458.1435465"},{"key":"e_1_3_2_1_18_1","volume-title":"Techniques for the Synthesis of Multiprocessor Tasksets. In Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems. Euromicro","author":"Emberson Paul","year":"2010","unstructured":"Paul Emberson , Roger Stafford , and Robert Davis . 2010 . Techniques for the Synthesis of Multiprocessor Tasksets. In Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems. Euromicro , Brussels, Belgium, 6--11. Paul Emberson, Roger Stafford, and Robert Davis. 2010. Techniques for the Synthesis of Multiprocessor Tasksets. In Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems. Euromicro, Brussels, Belgium, 6--11."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 1994 Winter USENIX Technical Conference. USENIX Association","author":"Ford Bryan","year":"1994","unstructured":"Bryan Ford and Jay Lepreau . 1994 . Evolving Mach 3.0 to a Migrating Thread Model . In Proceedings of the 1994 Winter USENIX Technical Conference. USENIX Association , Berkeley, CA, USA, 97--114. Bryan Ford and Jay Lepreau. 1994. Evolving Mach 3.0 to a Migrating Thread Model. In Proceedings of the 1994 Winter USENIX Technical Conference. USENIX Association, Berkeley, CA, USA, 97--114."},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/www.netbsd.org","author":"Foundation The","year":"2018","unstructured":"The NetBSD Foundation . 2018. Net BSD. ( 2018 ). https:\/\/www.netbsd.org The NetBSD Foundation. 2018. NetBSD. (2018). https:\/\/www.netbsd.org"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 1999 USENIX Annual Technical Conference. USENIX Association","author":"Gabber Eran","year":"1999","unstructured":"Eran Gabber , Christopher Small , John Bruno , Jos\u00e9 Brustoloni , and Avi Silberschatz . 1999 . The Pebble Component-Based Operating System . In Proceedings of the 1999 USENIX Annual Technical Conference. USENIX Association , Monterey, CA, USA, 267--282. Eran Gabber, Christopher Small, John Bruno, Jos\u00e9 Brustoloni, and Avi Silberschatz. 1999. The Pebble Component-Based Operating System. In Proceedings of the 1999 USENIX Annual Technical Conference. USENIX Association, Monterey, CA, USA, 267--282."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00013"},{"key":"e_1_3_2_1_23_1","volume-title":"CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In USENIX Symposium on Operating Systems Design and Implementation. USENIX Association","author":"Gu Ronghui","year":"2016","unstructured":"Ronghui Gu , Zhong Shao , Hao Chen , Xiongnan (Newman) Wu , Jieung Kim , Vilhelm Sj\u00f6berg , and David Costanzo . 2016 . CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In USENIX Symposium on Operating Systems Design and Implementation. USENIX Association , Savannah, GA, US, 653--669. Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sj\u00f6berg, and David Costanzo. 2016. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In USENIX Symposium on Operating Systems Design and Implementation. USENIX Association, Savannah, GA, US, 653--669."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/54289.871709"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893177"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151391"},{"key":"e_1_3_2_1_28_1","volume-title":"Evolution of the PikeOS Microkernel. In International Workshop on Microkernels for Embedded Systems. NICTA","author":"Kaiser Robert","year":"2007","unstructured":"Robert Kaiser and Stephen Wagner . 2007 . Evolution of the PikeOS Microkernel. In International Workshop on Microkernels for Embedded Systems. NICTA , Sydney, AU, 50--57. Robert Kaiser and Stephen Wagner. 2007. Evolution of the PikeOS Microkernel. In International Workshop on Microkernels for Embedded Systems. NICTA, Sydney, AU, 50--57."},{"key":"e_1_3_2_1_29_1","volume-title":"Rump Kernels: No OS? No Problem! USENIX;login: 29, 5 (Oct.","author":"Kantee Antti","year":"2014","unstructured":"Antti Kantee and Justin Cormack . 2014 . Rump Kernels: No OS? No Problem! USENIX;login: 29, 5 (Oct. 2014), 11--17. Antti Kantee and Justin Cormack. 2014. Rump Kernels: No OS? No Problem! USENIX;login: 29, 5 (Oct. 2014), 11--17."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380376"},{"volume-title":"Enhanced Aperiodic Responsiveness in Hard-Real-Time Environments. In IEEE Real-Time Systems Symposium. IEEE Computer Society","author":"Lehoczky John P.","key":"e_1_3_2_1_33_1","unstructured":"John P. Lehoczky , Lui Sha , and Jay K. Strosnider . 1987 . Enhanced Aperiodic Responsiveness in Hard-Real-Time Environments. In IEEE Real-Time Systems Symposium. IEEE Computer Society , San Jose, 261--270. John P. Lehoczky, Lui Sha, and Jay K. Strosnider. 1987. Enhanced Aperiodic Responsiveness in Hard-Real-Time Environments. In IEEE Real-Time Systems Symposium. IEEE Computer Society, San Jose, 261--270."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.536480"},{"key":"e_1_3_2_1_35_1","volume-title":"Predictable Communication and Migration in the Quest-V Separation Kernel. In IEEE Real-Time Systems Symposium. IEEE Computer Society","author":"Li Ye","year":"2014","unstructured":"Ye Li , Richard West , Zhuoqun Cheng , and Eric Missimer . 2014 . Predictable Communication and Migration in the Quest-V Separation Kernel. In IEEE Real-Time Systems Symposium. IEEE Computer Society , Rome, Italy, 272--283. Ye Li, Richard West, Zhuoqun Cheng, and Eric Missimer. 2014. Predictable Communication and Migration in the Quest-V Separation Kernel. In IEEE Real-Time Systems Symposium. IEEE Computer Society, Rome, Italy, 272--283."},{"key":"e_1_3_2_1_36_1","unstructured":"Jochen Liedtke. 1996. L4 Reference Manual. GMD\/IBM.  Jochen Liedtke. 1996. L4 Reference Manual. GMD\/IBM."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTOSS.1994.292556"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/WWOS.1993.348160"},{"key":"e_1_3_2_1_40_1","volume-title":"IEEE Real-Time Systems Symposium. IEEE Computer Society","author":"Oikawa Shuichi","year":"1998","unstructured":"Shuichi Oikawa and Ragunathan Rajkumar . 1998 . Linux\/RK: A portable resource kernel in Linux . In IEEE Real-Time Systems Symposium. IEEE Computer Society , Madrid, Spain, 111--120. Shuichi Oikawa and Ragunathan Rajkumar. 1998. Linux\/RK: A portable resource kernel in Linux. In IEEE Real-Time Systems Symposium. IEEE Computer Society, Madrid, Spain, 111--120."},{"key":"e_1_3_2_1_41_1","volume-title":"Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). ACM","author":"Parmer Gabriel","year":"2010","unstructured":"Gabriel Parmer . 2010 . The Case for Thread Migration: Predictable IPC in a Customizable and Reliable OS . In Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). ACM , Brussels, BE, 91--100. Gabriel Parmer. 2010. The Case for Thread Migration: Predictable IPC in a Customizable and Reliable OS. In Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). ACM, Brussels, BE, 91--100."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.25"},{"key":"e_1_3_2_1_43_1","volume-title":"Workshop on Hot Topics in Parallelism. USENIX Association","author":"Peter Simon","year":"2010","unstructured":"Simon Peter , Adrian Sch\u00fcpbach , Paul Barham , Andrew Baumann , Rebecca Isaacs , Tim Harris , and Timothy Roscoe . 2010 . Design principles for end-to-end multicore schedulers . In Workshop on Hot Topics in Parallelism. USENIX Association , Berkeley, CA, USA, 10--10. Simon Peter, Adrian Sch\u00fcpbach, Paul Barham, Andrew Baumann, Rebecca Isaacs, Tim Harris, and Timothy Roscoe. 2010. Design principles for end-to-end multicore schedulers. In Workshop on Hot Topics in Parallelism. USENIX Association, Berkeley, CA, USA, 10--10."},{"volume-title":"https:\/\/redis.io","year":"2009","key":"e_1_3_2_1_44_1","unstructured":"RedisLabs. 2009. Redis. ( 2009 ). https:\/\/redis.io RedisLabs. 2009. Redis. (2009). https:\/\/redis.io"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9286-3"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319163"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341920"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.34"},{"key":"e_1_3_2_1_50_1","volume-title":"Timeslice Donation in Component-Based Systems. In Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). IEEE Computer Society","author":"Steinberg Udo","year":"2010","unstructured":"Udo Steinberg , Alexander B\u00f6ttcher , and Bernhard Kauer . 2010 . Timeslice Donation in Component-Based Systems. In Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). IEEE Computer Society , Brussels, BE, 16--22. Udo Steinberg, Alexander B\u00f6ttcher, and Bernhard Kauer. 2010. Timeslice Donation in Component-Based Systems. In Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT). IEEE Computer Society, Brussels, BE, 16--22."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139258.3139274"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768179.1768181"},{"key":"e_1_3_2_1_54_1","volume-title":"Proceedings of the 1st Workshop on Mixed Criticality Systems. IEEE Computer Society","author":"V\u00f6lp Marcus","year":"2013","unstructured":"Marcus V\u00f6lp , Adam Lackorzynski , and Hermann H\u00e4rtig . 2013 . On the Expressiveness of Fixed-Priority Scheduling Contexts for Mixed-Criticality Scheduling . In Proceedings of the 1st Workshop on Mixed Criticality Systems. IEEE Computer Society , Vancouver, Canada, 13--18. Marcus V\u00f6lp, Adam Lackorzynski, and Hermann H\u00e4rtig. 2013. On the Expressiveness of Fixed-Priority Scheduling Contexts for Mixed-Criticality Scheduling. In Proceedings of the 1st Workshop on Mixed Criticality Systems. IEEE Computer Society, Vancouver, Canada, 13--18."},{"key":"e_1_3_2_1_55_1","unstructured":"David A. Wheeler. 2001. SLOCCount. http:\/\/www.dwheeler.com\/sloccount\/. (2001).  David A. Wheeler. 2001. SLOCCount. http:\/\/www.dwheeler.com\/sloccount\/. (2001)."},{"key":"e_1_3_2_1_56_1","volume-title":"AUUG Winter Conference. AUUG","author":"Wienand Ian","year":"2004","unstructured":"Ian Wienand and Luke Macpherson . 2004 . ipbench: A Framework for Distributed Network Benchmarking . In AUUG Winter Conference. AUUG , Melbourne, Australia, 163--170. Ian Wienand and Luke Macpherson. 2004. ipbench: A Framework for Distributed Network Benchmarking. In AUUG Winter Conference. AUUG, Melbourne, Australia, 163--170."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2015.7108435"}],"event":{"name":"EuroSys '18: Thirteenth EuroSys Conference 2018","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Porto Portugal","acronym":"EuroSys '18"},"container-title":["Proceedings of the Thirteenth EuroSys Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3190508.3190539","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3190508.3190539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:09Z","timestamp":1750208889000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3190508.3190539"}},"subtitle":["a principled, light-weight operating-system mechanism for managing time"],"short-title":[],"issued":{"date-parts":[[2018,4,23]]},"references-count":58,"alternative-id":["10.1145\/3190508.3190539","10.1145\/3190508"],"URL":"https:\/\/doi.org\/10.1145\/3190508.3190539","relation":{},"subject":[],"published":{"date-parts":[[2018,4,23]]},"assertion":[{"value":"2018-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}