Portals: An Extension of Dataflow Streaming for Stateful Serverless

Explore the innovative Portals programming model for serverless, distributed computing in this 29-minute conference talk from ACM SIGPLAN. Learn how Portals combines the exactly-once processing guarantees of stateful dataflow streaming frameworks with the message-driven compositionality of actor frameworks. Discover how decentralized applications built with Portals can scale on demand while maintaining strict atomic processing guarantees. Gain insights into the capabilities of Portals, its support for popular distributed programming paradigms, and its use cases. Delve into the programming model invariants and system methods used to satisfy them. Understand key concepts such as atomic streams, workflows, tasks, alignment protocol, and event ordering examples. Examine the atomic processing contract and potential future developments in this cutting-edge approach to building distributed services.

Intro
Dataflow Streaming
Modern Distributed Services
Building Distributed Services is Difficult
Current Stateful Serverless Systems
Portals Overview
Example 4
Workflows and Tasks
Alignment Protocol
Event Ordering Examples
The Atomic Processing Contract
Future Work