{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:57Z","timestamp":1750309317192,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,23]]},"DOI":"10.1145\/3605181.3626289","type":"proceedings-article","created":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T18:55:15Z","timestamp":1696964115000},"page":"44-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Evicting for the greater good: The case for Reactive Checkpointing in serverless computing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9055-8910","authenticated-orcid":false,"given":"Rafael","family":"Alexandre","sequence":"first","affiliation":[{"name":"INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1578-5149","authenticated-orcid":false,"given":"Rodrigo","family":"Bruno","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0726-2025","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Barreto","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8367-4024","authenticated-orcid":false,"given":"Rodrigo","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation","author":"Agache Alexandra","year":"2020","unstructured":"Alexandra Agache , Marc Brooker , Andreea Florescu , Alexandra Iordache , Anthony Liguori , Rolf Neugebauer , Phil Piwonka , and Diana-Maria Popa . 2020 . Firecracker: Lightweight Virtualization for Serverless Applications . In Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation ( Santa Clara, CA, USA) (NSDI'20). USENIX Association, USA, 419--434. Alexandra Agache, Marc Brooker, Andreea Florescu, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, and Diana-Maria Popa. 2020. Firecracker: Lightweight Virtualization for Serverless Applications. In Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation (Santa Clara, CA, USA) (NSDI'20). USENIX Association, USA, 419--434."},{"key":"e_1_3_2_1_2_1","unstructured":"Amazon Web Services 2018. AWS Lambda enables functions that can run up to 15 minutes. https:\/\/aws.amazon.com\/about-aws\/whats-new\/2018\/10\/aws-lambda-supports-functions-that-can-run-up-to-15-minutes\/  Amazon Web Services 2018. AWS Lambda enables functions that can run up to 15 minutes. https:\/\/aws.amazon.com\/about-aws\/whats-new\/2018\/10\/aws-lambda-supports-functions-that-can-run-up-to-15-minutes\/"},{"key":"e_1_3_2_1_3_1","unstructured":"Amazon Web Services 2022. Accelerate Your Lambda Functions with Lambda SnapStart. https:\/\/aws.amazon.com\/blogs\/aws\/new-accelerate-your-lambda-functions-with-lambda-snapstart\/  Amazon Web Services 2022. Accelerate Your Lambda Functions with Lambda SnapStart. https:\/\/aws.amazon.com\/blogs\/aws\/new-accelerate-your-lambda-functions-with-lambda-snapstart\/"},{"key":"e_1_3_2_1_4_1","unstructured":"Amazon Web Services 2023. AWS Burstable performance instances. https:\/\/docs.aws.amazon.com\/AWSEC2\/latest\/UserGuide\/burstable-performance-instances.html  Amazon Web Services 2023. AWS Burstable performance instances. https:\/\/docs.aws.amazon.com\/AWSEC2\/latest\/UserGuide\/burstable-performance-instances.html"},{"key":"e_1_3_2_1_5_1","unstructured":"Amazon Web Services 2023. AWS Lambda. https:\/\/aws.amazon.com\/lambda\/  Amazon Web Services 2023. AWS Lambda. https:\/\/aws.amazon.com\/lambda\/"},{"key":"e_1_3_2_1_6_1","unstructured":"Amazon Web Services 2023. AWS Spot Instancess. https:\/\/aws.amazon.com\/ec2\/spot\/  Amazon Web Services 2023. AWS Spot Instancess. https:\/\/aws.amazon.com\/ec2\/spot\/"},{"key":"e_1_3_2_1_7_1","unstructured":"Amazon Web Services 2023. How do I make my Lambda function idempotent? https:\/\/aws.amazon.com\/premiumsupport\/knowledge-center\/lambda-function-idempotent\/  Amazon Web Services 2023. How do I make my Lambda function idempotent? https:\/\/aws.amazon.com\/premiumsupport\/knowledge-center\/lambda-function-idempotent\/"},{"key":"e_1_3_2_1_8_1","volume-title":"Providing SLOs for Resource-Harvesting VMs in Cloud Platforms. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Ambati Pradeep","year":"2020","unstructured":"Pradeep Ambati , Inigo Goiri , Felipe Frujeri , Alper Gun , Ke Wang , Brian Dolan , Brian Corell , Sekhar Pasupuleti , Thomas Moscibroda , Sameh Elnikety , Marcus Fontoura , and Ricardo Bianchini . 2020 . Providing SLOs for Resource-Harvesting VMs in Cloud Platforms. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . USENIX Association, 735--751. Pradeep Ambati, Inigo Goiri, Felipe Frujeri, Alper Gun, Ke Wang, Brian Dolan, Brian Corell, Sekhar Pasupuleti, Thomas Moscibroda, Sameh Elnikety, Marcus Fontoura, and Ricardo Bianchini. 2020. Providing SLOs for Resource-Harvesting VMs in Cloud Platforms. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 735--751."},{"key":"e_1_3_2_1_9_1","unstructured":"Apache OpenWhisk 2023. Open Source Serverless Cloud Platform. https:\/\/openwhisk.apache.org\/  Apache OpenWhisk 2023. Open Source Serverless Cloud Platform. https:\/\/openwhisk.apache.org\/"},{"key":"e_1_3_2_1_10_1","unstructured":"Microsoft Azure. 2023. Use Azure Spot Virtual Machines. https:\/\/learn.microsoft.com\/en-us\/azure\/architecture\/guide\/spot\/spot-eviction.  Microsoft Azure. 2023. Use Azure Spot Virtual Machines. https:\/\/learn.microsoft.com\/en-us\/azure\/architecture\/guide\/spot\/spot-eviction."},{"key":"e_1_3_2_1_11_1","volume-title":"Serverless Computing: Current Trends and Open Problems.","author":"Baldini Ioana","year":"2017","unstructured":"Ioana Baldini , Paul Castro , Kerry Chang , Perry Cheng , Stephen Fink , Vatche Ishakian , Nick Mitchell , Vinod Muthusamy , Rodric Rabbah , Aleksander Slominski , and Philippe Suter . 2017 . Serverless Computing: Current Trends and Open Problems. Ioana Baldini, Paul Castro, Kerry Chang, Perry Cheng, Stephen Fink, Vatche Ishakian, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Aleksander Slominski, and Philippe Suter. 2017. Serverless Computing: Current Trends and Open Problems."},{"key":"e_1_3_2_1_12_1","article-title":"Stateful Serverless Computing with Crucial","volume":"31","author":"Barcelona-Pons Daniel","year":"2022","unstructured":"Daniel Barcelona-Pons , Pierre Sutra , Marc S\u00e1nchez-Artigas , Gerard Par\u00eds , and Pedro Garc\u00eda-L\u00f3pez . 2022 . Stateful Serverless Computing with Crucial . ACM Trans. Softw. Eng. Methodol. 31 , 3, Article 39 (mar 2022), 38 pages. Daniel Barcelona-Pons, Pierre Sutra, Marc S\u00e1nchez-Artigas, Gerard Par\u00eds, and Pedro Garc\u00eda-L\u00f3pez. 2022. Stateful Serverless Computing with Crucial. ACM Trans. Softw. Eng. Methodol. 31, 3, Article 39 (mar 2022), 38 pages.","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 17th International Middleware Conference","author":"Bruno Rodrigo","year":"2016","unstructured":"Rodrigo Bruno and Paulo Ferreira . 2016 . ALMA: GC-Assisted JVM Live Migration for Java Server Applications . In Proceedings of the 17th International Middleware Conference ( Trento, Italy) (Middleware '16). Association for Computing Machinery, New York, NY, USA, Article 5, 14 pages. Rodrigo Bruno and Paulo Ferreira. 2016. ALMA: GC-Assisted JVM Live Migration for Java Server Applications. In Proceedings of the 17th International Middleware Conference (Trento, Italy) (Middleware '16). Association for Computing Machinery, New York, NY, USA, Article 5, 14 pages."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3392698"},{"key":"e_1_3_2_1_15_1","unstructured":"Alibaba Cloud. 2023. Receive a preemptible instance interruption event. https:\/\/www.alibabacloud.com\/help\/en\/ecs\/use-cases\/receive-a-preemptible-instance-interruption-event.  Alibaba Cloud. 2023. Receive a preemptible instance interruption event. https:\/\/www.alibabacloud.com\/help\/en\/ecs\/use-cases\/receive-a-preemptible-instance-interruption-event."},{"key":"e_1_3_2_1_16_1","unstructured":"CRIU 2023. Checkpoint\/Restore in Userspace. https:\/\/criu.org\/Main_Page  CRIU 2023. Checkpoint\/Restore in Userspace. https:\/\/criu.org\/Main_Page"},{"key":"e_1_3_2_1_17_1","volume-title":"Catalyzer: Sub-Millisecond Startup for Serverless Computing with Initialization-Less Booting","author":"Du Dong","year":"2020","unstructured":"Dong Du , Tianyi Yu , Yubin Xia , Binyu Zang , Guanglu Yan , Chenggang Qin , Qixuan Wu , and Haibo Chen . 2020 . Catalyzer: Sub-Millisecond Startup for Serverless Computing with Initialization-Less Booting . Association for Computing Machinery , New York, NY, USA , 467--481. Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, and Haibo Chen. 2020. Catalyzer: Sub-Millisecond Startup for Serverless Computing with Initialization-Less Booting. Association for Computing Machinery, New York, NY, USA, 467--481."},{"key":"e_1_3_2_1_18_1","unstructured":"Google Cloud 2023. Google Cloud Functions. https:\/\/google.com\/functions\/  Google Cloud 2023. Google Cloud Functions. https:\/\/google.com\/functions\/"},{"key":"e_1_3_2_1_19_1","unstructured":"IBM Cloud 2023. IBM Cloud Functions. https:\/\/cloud.ibm.com\/functions\/  IBM Cloud 2023. IBM Cloud Functions. https:\/\/cloud.ibm.com\/functions\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483541"},{"key":"e_1_3_2_1_21_1","volume-title":"Pocket: Elastic Ephemeral Storage for Serverless Analytics. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Klimovic Ana","year":"2018","unstructured":"Ana Klimovic , Yawen Wang , Patrick Stuedi , Animesh Trivedi , Jonas Pfefferle , and Christos Kozyrakis . 2018 . Pocket: Elastic Ephemeral Storage for Serverless Analytics. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) . USENIX Association, Carlsbad, CA, 427--444. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/klimovic Ana Klimovic, Yawen Wang, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle, and Christos Kozyrakis. 2018. Pocket: Elastic Ephemeral Storage for Serverless Analytics. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA, 427--444. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/klimovic"},{"key":"e_1_3_2_1_22_1","unstructured":"Microsoft Azure 2023. Azure Burstable VMs. https:\/\/docs.microsoft.com\/en-us\/azure\/virtual-machines\/sizes-b-series-burstable  Microsoft Azure 2023. Azure Burstable VMs. https:\/\/docs.microsoft.com\/en-us\/azure\/virtual-machines\/sizes-b-series-burstable"},{"key":"e_1_3_2_1_23_1","unstructured":"Microsoft Azure 2023. Azure Functions. https:\/\/microsoft.com\/en-us\/services\/functions\/  Microsoft Azure 2023. Azure Functions. https:\/\/microsoft.com\/en-us\/services\/functions\/"},{"key":"e_1_3_2_1_24_1","unstructured":"OpenFaas 2023. OpenFaaS - Serverless Functions Made Simple. https:\/\/www.openfaas.com  OpenFaas 2023. OpenFaaS - Serverless Functions Made Simple. https:\/\/www.openfaas.com"},{"key":"e_1_3_2_1_25_1","volume-title":"Fast and Slow: Scalable Analytics on Serverless Infrastructure. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)","author":"Pu Qifan","year":"2019","unstructured":"Qifan Pu , Shivaram Venkataraman , and Ion Stoica . 2019 . Shuffling , Fast and Slow: Scalable Analytics on Serverless Infrastructure. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19) . USENIX Association, Boston, MA, 193--206. Qifan Pu, Shivaram Venkataraman, and Ion Stoica. 2019. Shuffling, Fast and Slow: Scalable Analytics on Serverless Infrastructure. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). USENIX Association, Boston, MA, 193--206."},{"key":"e_1_3_2_1_26_1","unstructured":"Amazon Web Services. 2023. Spot Instance interruption notices. https:\/\/docs.aws.amazon.com\/AWSEC2\/latest\/UserGuide\/spot-instance-termination-notices.html.  Amazon Web Services. 2023. Spot Instance interruption notices. https:\/\/docs.aws.amazon.com\/AWSEC2\/latest\/UserGuide\/spot-instance-termination-notices.html."},{"key":"e_1_3_2_1_27_1","volume-title":"Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider. CoRR abs\/2003.03423","author":"Shahrad Mohammad","year":"2020","unstructured":"Mohammad Shahrad , Rodrigo Fonseca , I\u00f1igo Goiri , Gohar Chaudhry , Paul Batum , Jason Cooke , Eduardo Laureano , Colby Tresness , Mark Russinovich , and Ricardo Bianchini . 2020. Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider. CoRR abs\/2003.03423 ( 2020 ). Mohammad Shahrad, Rodrigo Fonseca, I\u00f1igo Goiri, Gohar Chaudhry, Paul Batum, Jason Cooke, Eduardo Laureano, Colby Tresness, Mark Russinovich, and Ricardo Bianchini. 2020. Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider. CoRR abs\/2003.03423 (2020)."},{"key":"e_1_3_2_1_28_1","volume-title":"Faasm: Lightweight Isolation for Efficient Stateful Serverless Computing. In 2020 USENIX Annual Technical Conference (USENIX ATC 20)","author":"Shillaker Simon","year":"2020","unstructured":"Simon Shillaker and Peter Pietzuch . 2020 . Faasm: Lightweight Isolation for Efficient Stateful Serverless Computing. In 2020 USENIX Annual Technical Conference (USENIX ATC 20) . USENIX Association, 419--433. Simon Shillaker and Peter Pietzuch. 2020. Faasm: Lightweight Isolation for Efficient Stateful Serverless Computing. In 2020 USENIX Annual Technical Conference (USENIX ATC 20). USENIX Association, 419--433."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407836"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446714"},{"key":"e_1_3_2_1_31_1","volume-title":"Peeking Behind the Curtains of Serverless Platforms. In 2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Wang Liang","year":"2018","unstructured":"Liang Wang , Mengyuan Li , Yinqian Zhang , Thomas Ristenpart , and Michael Swift . 2018 . Peeking Behind the Curtains of Serverless Platforms. In 2018 USENIX Annual Technical Conference (USENIX ATC 18) . USENIX Association, Boston, MA, 133--146. Liang Wang, Mengyuan Li, Yinqian Zhang, Thomas Ristenpart, and Michael Swift. 2018. Peeking Behind the Curtains of Serverless Platforms. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). USENIX Association, Boston, MA, 133--146."},{"key":"e_1_3_2_1_32_1","volume-title":"Boxer: Data Analytics on Network-enabled Serverless Platforms. In CIDR.","author":"Wawrzoniak Michal","year":"2021","unstructured":"Michal Wawrzoniak , Ingo M\u00fcller , Rodrigo Bruno , and Gustavo Alonso . 2021 . Boxer: Data Analytics on Network-enabled Serverless Platforms. In CIDR. Michal Wawrzoniak, Ingo M\u00fcller, Rodrigo Bruno, and Gustavo Alonso. 2021. Boxer: Data Analytics on Network-enabled Serverless Platforms. In CIDR."},{"key":"e_1_3_2_1_33_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Zhang Haoran","year":"2020","unstructured":"Haoran Zhang , Adney Cardoza , Peter Baile Chen , Sebastian Angel , and Vincent Liu . 2020 . Fault-tolerant and transactional stateful serverless workflows . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . USENIX Association, 1187--1204. Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, and Vincent Liu. 2020. Fault-tolerant and transactional stateful serverless workflows. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 1187--1204."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3419111.3421277"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483580"}],"event":{"name":"WORDS '23: 4th Workshop on Resource Disaggregation and Serverless","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"],"location":"Koblenz Germany","acronym":"WORDS '23"},"container-title":["Proceedings of the 4th Workshop on Resource Disaggregation and Serverless"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605181.3626289","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:54Z","timestamp":1750291434000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605181.3626289"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":35,"alternative-id":["10.1145\/3605181.3626289","10.1145\/3605181"],"URL":"https:\/\/doi.org\/10.1145\/3605181.3626289","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"2023-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}