{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T17:23:49Z","timestamp":1763054629027,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T00:00:00Z","timestamp":1760313600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2247687,2312346"],"award-info":[{"award-number":["2247687,2312346"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR001124C0486"],"award-info":[{"award-number":["HR001124C0486"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,13]]},"DOI":"10.1145\/3764860.3768329","type":"proceedings-article","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T13:54:43Z","timestamp":1759326883000},"page":"68-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Hybrid Cooperative-Preemptive Scheduling"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5595-5203","authenticated-orcid":false,"given":"Yizheng","family":"Xie","sequence":"first","affiliation":[{"name":"Brown University, Providence, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2950-6964","authenticated-orcid":false,"given":"Di","family":"Jin","sequence":"additional","affiliation":[{"name":"Brown University, Providence, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7347-298X","authenticated-orcid":false,"given":"Nikos","family":"Vasilakis","sequence":"additional","affiliation":[{"name":"Brown University, Providence, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/www.riscos.info\/index.php\/RISC_OS","author":"RISC","year":"2025","unstructured":"2024. RISC OS. https:\/\/www.riscos.info\/index.php\/RISC_OS. Accessed: June 2025."},{"volume-title":"Asynchronous Programming. https:\/\/docs.julialang.org\/en\/v1\/manual\/asynchronous-programrning\/#rnan-asynchronous","year":"2025","key":"e_1_3_2_1_2_1","unstructured":"2025. Asynchronous Programming. https:\/\/docs.julialang.org\/en\/v1\/manual\/asynchronous-programrning\/#rnan-asynchronous. Accessed: June 2025."},{"volume-title":"https:\/\/cilium.io\/","year":"2025","key":"e_1_3_2_1_3_1","unstructured":"2025. Cilium. https:\/\/cilium.io\/. Accessed: June 2025."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/docs.rs\/tokio\/latest\/tokio\/task\/coop\/fn.consume_budget.html","author":"Budget Consume","year":"2025","unstructured":"2025. Consume Budget. https:\/\/docs.rs\/tokio\/latest\/tokio\/task\/coop\/fn.consume_budget.html. Accessed: June 2025."},{"volume-title":"https:\/\/www.lua.org\/pil\/9.1.html","year":"2025","key":"e_1_3_2_1_5_1","unstructured":"2025. Coroutines. https:\/\/www.lua.org\/pil\/9.1.html. Accessed: June 2025."},{"volume-title":"https:\/\/docs.oracle.com\/javase\/8\/docs\/api\/java\/util\/concurrent\/ExecutorService.html","year":"2025","key":"e_1_3_2_1_6_1","unstructured":"2025. ExecutorService. https:\/\/docs.oracle.com\/javase\/8\/docs\/api\/java\/util\/concurrent\/ExecutorService.html. Accessed: June 2025."},{"volume-title":"Futures and async syntax. https:\/\/doc.rust-lang.org\/book\/ch17-01-futures-and-syntax.html","year":"2025","key":"e_1_3_2_1_7_1","unstructured":"2025. Futures and async syntax. https:\/\/doc.rust-lang.org\/book\/ch17-01-futures-and-syntax.html. Accessed: June 2025."},{"volume-title":"https:\/\/istio.io\/","year":"2025","key":"e_1_3_2_1_8_1","unstructured":"2025. Istio. https:\/\/istio.io\/. Accessed: June 2025."},{"volume-title":"https:\/\/www.jaegertracing.io\/","year":"2025","key":"e_1_3_2_1_9_1","unstructured":"2025. Jaeger. https:\/\/www.jaegertracing.io\/. Accessed: June 2025."},{"volume-title":"https:\/\/opentelemetry.io\/","year":"2025","key":"e_1_3_2_1_10_1","unstructured":"2025. OpenTelemetry. https:\/\/opentelemetry.io\/. Accessed: June 2025."},{"volume-title":"https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/JavaScript\/Reference\/Global_Objects\/Promise","year":"2025","key":"e_1_3_2_1_11_1","unstructured":"2025. Promise. https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/JavaScript\/Reference\/Global_Objects\/Promise. Accessed: June 2025."},{"volume-title":"https:\/\/docs.rs\/rayon\/latest\/rayon\/","year":"2025","key":"e_1_3_2_1_12_1","unstructured":"2025. Rayon. https:\/\/docs.rs\/rayon\/latest\/rayon\/. Accessed: June 2025."},{"key":"e_1_3_2_1_13_1","volume-title":"https:\/\/rocksdb.org\/","author":"DB.","year":"2025","unstructured":"2025. RocksDB. https:\/\/rocksdb.org\/. Accessed: June 2025."},{"volume-title":"std::promise. https:\/\/cplusplus.com\/reference\/future\/promise\/","year":"2025","key":"e_1_3_2_1_14_1","unstructured":"2025. std::promise. https:\/\/cplusplus.com\/reference\/future\/promise\/. Accessed: June 2025."},{"volume-title":"tokio. https:\/\/tokio.rs","year":"2025","key":"e_1_3_2_1_15_1","unstructured":"2025. tokio. https:\/\/tokio.rs. Accessed: June 2025."},{"key":"e_1_3_2_1_16_1","volume-title":"Cloud Computing without Containers. https:\/\/blog.cloudflare.com\/cloud-computing-without-containers\/","author":"Bloom Zack","year":"2025","unstructured":"Zack Bloom. 2018. Cloud Computing without Containers. https:\/\/blog.cloudflare.com\/cloud-computing-without-containers\/. Accessed: June 2025."},{"key":"e_1_3_2_1_17_1","volume-title":"2002 USENIX Annual Technical Conference (USENIX ATC 02)","author":"Adya Atul","year":"2002","unstructured":"Atul Adya, Jon Howell, Marvin Theimer, Bill Bolosky, and John Douceur. 2002. Cooperative task management without manual stack management. In 2002 USENIX Annual Technical Conference (USENIX ATC 02)."},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/go.googlesource.com\/proposal\/+\/master\/design\/24543-non-cooperative-preemption.md","author":"Clements Austin","year":"2025","unstructured":"Austin Clements. 2019. Non-Cooperative Preemption. https:\/\/go.googlesource.com\/proposal\/+\/master\/design\/24543-non-cooperative-preemption.md. Accessed: June 2025."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3676641.3716028"},{"key":"e_1_3_2_1_20_1","volume-title":"Multiscale Scheduling: Integrating Competitive and Cooperative Scheduling in Theory and in Practice.","author":"Blelloch Guy E","year":"2020","unstructured":"Guy E Blelloch, Lenore Blum, Mor Harchol-Balter, and Robert Harper. 2020. Multiscale Scheduling: Integrating Competitive and Cooperative Scheduling in Theory and in Practice. (2020)."},{"key":"e_1_3_2_1_21_1","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Boucher Sol","year":"2018","unstructured":"Sol Boucher, Anuj Kalia, David G Andersen, and Michael Kaminsky. 2018. Putting the\" micro\" back in microservice. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). 645--650."},{"key":"e_1_3_2_1_22_1","volume-title":"2020 USENIX Annual Technical Conference (USENIX ATC 20)","author":"Boucher Sol","year":"2020","unstructured":"Sol Boucher, Anuj Kalia, David G Andersen, and Michael Kaminsky. 2020. Lightweight preemptible functions. In 2020 USENIX Annual Technical Conference (USENIX ATC 20). 465--477."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1123315.1123317"},{"key":"e_1_3_2_1_24_1","volume-title":"From non-preemptive to preemptive scheduling using synchronization synthesis. Formal methods in system design 50, 2","author":"\u010cerny Pavol","year":"2017","unstructured":"Pavol \u010cerny, Edmund M Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal methods in system design 50, 2 (2017), 97--139."},{"key":"e_1_3_2_1_25_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Cho Inho","year":"2020","unstructured":"Inho Cho, Ahmed Saeed, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, and Adam Belay. 2020. Overload control for {μs-scale } {RPCs} with breakwater. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). 299--314."},{"key":"e_1_3_2_1_26_1","unstructured":"Ryan Cunningham and Eddie Kohler. 2005. Making Events Less Slippery with eel.. In HotOS."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133373.1133410"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908106"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/800001.811672"},{"key":"e_1_3_2_1_30_1","volume-title":"EWD1303: My recollections of operating system design. https:\/\/www.cs.utexas.edu\/~EWD\/transcriptions\/EWD13xx\/EWD1303.html","author":"Dijkstra Edsger W.","year":"2025","unstructured":"Edsger W. Dijkstra. 2000. EWD1303: My recollections of operating system design. https:\/\/www.cs.utexas.edu\/~EWD\/transcriptions\/EWD13xx\/EWD1303.html. Accessed: June 2025."},{"key":"e_1_3_2_1_31_1","unstructured":"FreeRTOS. 2025. Tasks and Co-routines. https:\/\/www.freertos.org\/Documentation\/02-Kernel\/02-Kernel-features\/01-Tasks-and-co-routines\/00-Tasks-and-co-routines."},{"key":"e_1_3_2_1_32_1","volume-title":"The Benefits and Limitations of User Interrupts for Preemptive Userspace Scheduling. In 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 25)","author":"Guo Linsong","year":"2025","unstructured":"Linsong Guo, Danial Zuberi, Tal Garfinkel, and Amy Ousterhout. 2025. The Benefits and Limitations of User Interrupts for Preemptive Userspace Scheduling. In 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 25). 1015--1032."},{"key":"e_1_3_2_1_33_1","volume-title":"Provably fair cooperative scheduling. arXiv preprint arXiv:2312.16977","author":"H\u00e4hnle Reiner","year":"2023","unstructured":"Reiner H\u00e4hnle and Ludovic Henrio. 2023. Provably fair cooperative scheduling. arXiv preprint arXiv:2312.16977 (2023)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613136"},{"key":"e_1_3_2_1_35_1","volume-title":"A survey on large language models for code generation. arXiv preprint arXiv:2406.00515","author":"Jiang Juyong","year":"2024","unstructured":"Juyong Jiang, Fan Wang, Jiasi Shen, Sungju Kim, and Sunghun Kim. 2024. A survey on large language models for code generation. arXiv preprint arXiv:2406.00515 (2024)."},{"key":"e_1_3_2_1_36_1","volume-title":"Details of the Cloudflare Outage on","author":"Graham-Cumming John","year":"2019","unstructured":"John Graham-Cumming. 2019. Details of the Cloudflare Outage on July 2, 2019. https:\/\/blog.cloudflare.com\/details-of-the-cloudflare-outage-on-july-2-2019\/. Accessed: June 2025."},{"key":"e_1_3_2_1_37_1","volume-title":"16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)","author":"Kaffes Kostis","year":"2019","unstructured":"Kostis Kaffes, Timothy Chong, Jack Tigar Humphries, Adam Belay, David Mazi\u00e8res, and Christos Kozyrakis. 2019. Shinjuku: Preemptive Scheduling for {μsecond-scale} Tail Latency. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). 345--360."},{"key":"e_1_3_2_1_38_1","volume-title":"Webassembly on Cloudflare Workers. https:\/\/blog.cloudflare.com\/webassembly-on-cloudflare-workers\/","author":"Varda Kenton","year":"2025","unstructured":"Kenton Varda. 2018. Webassembly on Cloudflare Workers. https:\/\/blog.cloudflare.com\/webassembly-on-cloudflare-workers\/. Accessed: June 2025."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/850657.850658"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008194508956"},{"key":"e_1_3_2_1_41_1","volume-title":"A language-based approach to unifying events and threads","author":"Li Peng","year":"2006","unstructured":"Peng Li and S Zdancewic. 2006. A language-based approach to unifying events and threads (2006)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA57654.2024.00075"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the ACM on Programming Languages 4, POPL","author":"Liu Mengqi","year":"2019","unstructured":"Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, and Man-Ki Yoon. 2019. Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. Proceedings of the ACM on Programming Languages 4, POPL (2019), 1--31."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.34"},{"key":"e_1_3_2_1_45_1","volume-title":"https:\/\/nodejs.org\/en","author":"Foundation JS","year":"2025","unstructured":"OpenJS Foundation. 2025. Node.js. https:\/\/nodejs.org\/en. Accessed: June 2025."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672253"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613156"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000071"},{"key":"e_1_3_2_1_49_1","volume-title":"Outage Postmortem -","author":"Overflow Stack","year":"2016","unstructured":"Stack Overflow. 2016. Outage Postmortem - July 20, 2016. http:\/\/web.archive.org\/web\/20180801005940\/http:\/\/stackstatus.net\/post\/147710624694\/outage-postmortem-july-20-2016. Accessed: June 2025."},{"volume-title":"27th USENIX security symposium (USENIX Security 18). 361--376.","author":"Staicu Cristian-Alexandru","key":"e_1_3_2_1_50_1","unstructured":"Cristian-Alexandru Staicu and Michael Pradel. 2018. Freezing the Web: a study of {ReDoS} vulnerabilities in {JavaScript-based} web servers. In 27th USENIX security symposium (USENIX Security 18). 361--376."},{"key":"e_1_3_2_1_51_1","volume-title":"The Beam Book. https:\/\/blog.stenmans.org\/theBeamBook\/","author":"Stenmans Fredrik","year":"2025","unstructured":"Fredrik Stenmans. 2025. The Beam Book. https:\/\/blog.stenmans.org\/theBeamBook\/. Accessed: June 2025."},{"key":"e_1_3_2_1_52_1","unstructured":"Sudhir Tonse. 2015. Scalable Microservices at Netflix. Challenges and Tools of the Trade. https:\/\/www.infoq.com\/presentations\/netflix-ipc\/"},{"key":"e_1_3_2_1_53_1","unstructured":"C Joseph Vanderwaart. 2006. Static enforcement of timing policies using code certification. Technical Report."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3144555.3144563"},{"key":"e_1_3_2_1_55_1","volume-title":"9th Workshop on Hot Topics in Operating Systems (HotOS IX).","author":"Behren Rob Von","year":"2003","unstructured":"Rob Von Behren, Jeremy Condit, and Eric Brewer. 2003. Why events are a bad idea (for {High-Concurrency} servers). In 9th Workshop on Hot Topics in Operating Systems (HotOS IX)."},{"key":"e_1_3_2_1_56_1","volume-title":"22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 25)","author":"Xing Jiali","year":"2025","unstructured":"Jiali Xing, Akis Giannoukos, Paul Loh, Shuyue Wang, Justin Qiu, Henri Maxime Demoulin, Konstantinos Kallas, and Benjamin C Lee. 2025. Rajomon: Decentralized and Coordinated Overload Control for {Latency-Sensitive} Microservices. In 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 25). 21--36."},{"key":"e_1_3_2_1_57_1","volume-title":"Twitter architecture 2022 vs","author":"Alex Xu.","year":"2012","unstructured":"Alex Xu. 2022. Twitter architecture 2022 vs. 2012. what's changed over the past 10 years? https:\/\/blog.bytebytego.com\/p\/twitter-architecture-2022-vs-2012"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941575"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3267809.3267823"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.3390\/s19081793"}],"event":{"name":"SOSP '25: ACM SIGOPS 31st Symposium on Operating Systems Principles","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Seoul Republic of Korea","acronym":"SOSP '25"},"container-title":["Proceedings of the 13th Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3764860.3768329","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3764860.3768329","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3764860.3768329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T17:20:48Z","timestamp":1763054448000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3764860.3768329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,13]]},"references-count":60,"alternative-id":["10.1145\/3764860.3768329","10.1145\/3764860"],"URL":"https:\/\/doi.org\/10.1145\/3764860.3768329","relation":{},"subject":[],"published":{"date-parts":[[2025,10,13]]},"assertion":[{"value":"2025-10-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}