Abstract:We describe a system for serverless computing where users, programs,
and the underlying platform share a common representation of a
computation: a deterministic procedure, run in an environment
of well-specified data or the outputs of other computations. This
representation externalizes I/O: data movement over the network is
performed exclusively by the platform. Applications can describe the
precise data needed at each stage, helping the provider schedule
tasks and network transfers to reduce starvation. The design
suggests an end-to-end argument for outsourced computing, shifting
the service model from ``pay-for-effort'' to ``pay-for-results.''
Submission history
From: Yuhan Deng [view email]
[v1]
Fri, 31 Oct 2025 19:05:42 UTC (299 KB)