Accelerating Burst Parallelism of SigmaOS processes with CRIU
Name
tang-ftang-meng-eecs-2025-thesis.pdf
Description
Thesis PDF
Size
916.93 KB
Format
Adobe PDF
Checksum (MD5)
942c7717f9deb1efde9017300b5efa18
Author(s)
Tang, Frederick
Advisor(s)
Szekely, Ariel
Kaashoek, Frans
Date Issued
September 2025
Publisher
Massachusetts Institute of Technology
Abstract
σOS is a multi-tenant cloud operating system designed to integrate the agility of serverless environments with the interactivity of microservices. A goal of achieving this integration is the ability to start new instances of server processes quickly. However, σOS only handles σcontainer initialization, and does not assist with runtime and app initialization costs. One approach to overcome this challenge is to checkpoint processes using Checkpoint/Restore in Userspace (CRIU). CRIU is a linux toolset which can start new server instances by restoring them from a saved checkpointed state, avoiding the full cost of reinitialization and setup. This thesis introduces σCRIU, which adapts CRIU for burst-parallel spawning of microservices in σOS. σCRIU implements a number of optimizations: compressing checkpointed proc metadata to reduce network communication costs, implementing demand-paging using a lazy page service, and caching kernel metadatadata to reduce CRIU’s restore operation latency. These optimizations allow σCRIU to start new microservices on remote machines quickly while still making use of CRIU’s existing proven checkpoint and restore technology.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
In Copyright - Educational Use Permitted
Copyright retained by author(s)
Persistent DSpace Link
