Skip to content

⊗Agent Algebra

Papers About Code

Part IV · cs.DC

Failure, Supervision, and Durable Execution

Matthew Long · 28 pages

Download PDF Code

Table of contents

1 Introduction 1.1 Contributions 1.2 Relation to the rest of the series 2 Preliminaries 2.1 Imported objects 2.2 The execution interface 2.3 Recording the start value 2.4 Observed closed systems 3 The execution model 3.1 Fail-stop failure 3.2 An execution model as an agent 3.3 Symbols introduced here 4 Retry, timeout and backoff 5 Supervision 6 Persistence 7 Logs and replay 8 Supervision refinement 9 Effectively-once execution 10 Workflows 10.1 The construction and its fragment 10.2 Dependency shape 11 Worked examples 11.1 A durable pipeline 11.2 A supervised worker group 11.3 An N-shaped workflow 11.4 A replayed model call 12 Prior art 13 Limitations 14 Conclusion 15 Code evidence References

1 Introduction 1.1 Contributions 1.2 Relation to the rest of the series 2 Preliminaries 2.1 Imported objects 2.2 The execution interface 2.3 Recording the start value 2.4 Observed closed systems 3 The execution model 3.1 Fail-stop failure 3.2 An execution model as an agent 3.3 Symbols introduced here 4 Retry, timeout and backoff 5 Supervision 6 Persistence 7 Logs and replay 8 Supervision refinement 9 Effectively-once execution 10 Workflows 10.1 The construction and its fragment 10.2 Dependency shape 11 Worked examples 11.1 A durable pipeline 11.2 A supervised worker group 11.3 An N-shaped workflow 11.4 A replayed model call 12 Prior art 13 Limitations 14 Conclusion 15 Code evidence References

Channels, Actors, and Shared State

Policies, Planning, and Feedback Control

Matthew Long · The YonedaAI Collaboration · YonedaAI Research Collective · Chicago

matthew@yonedaai.com yonedaai.com GitHub

Papers licensed CC BY 4.0. Code licensed MIT.