USENIX ATC '23 - Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain

USENIX ATC '23 - Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain
Maksym Arutyunyan, DFINITY, Zurich, Andriy Berestovskyy, DFINITY, Zurich, Adam Bratschi-Kaye, DFINITY, Zurich, Ulan Degenbaev, DFINITY, Zurich, Manu Drijvers, DFINITY, Zurich, Islam El-Ashi, DFINITY, Zurich, Stefan Kaestle, DFINITY, Zurich, Roman Kashitsyn, DFINITY, Zurich, Maciej Kot, DFINITY, Zurich, Yvonne-Anne Pignolet, DFINITY, Zurich, Rostislav Rumenov, DFINITY, Zurich, Dimitris Sarlis, DFINITY, Zurich, Alin Sinpalean, DFINITY, Zurich, Alexandru Uta, DFINITY, Zurich, Bogdan Warinschi, DFINITY, Zurich, Alexandra Zapuc, DFINITY, Zurich
The Internet Computer (IC) is a fast and efficient decentralized blockchain-based platform for the execution of general-purpose applications in the form of smart contracts. In other words, the IC service is the antithesis of current serverless computing. Instead of ephemeral, stateless functions operated by a single entity, the IC offers decentralized stateful serverless computation over untrusted, independent datacenters. Developers deploy stateful canisters that serve calls either to end-users or other canisters. The IC programming model is similar to serverless clouds, with applications written in modern languages such as Rust or Python, yet simpler: state is maintained automatically, without developer intervention.In this paper, we identify and address significant systems challenges to enable efficient decentralized stateful serverless computation: scalability, stateful execution through orthogonal persistence, and deterministic scheduling. We describe the design of the IC and characterize its operational data gathered over the past 1.5 years, and its performance.
View the full USENIX ATC '23 program at www.usenix.org...