Open in app

Sign In

Write

Sign In

Dominik Tornow
Dominik Tornow

1.1K Followers

Home

About

Sep 6

Outside Runtime Boundaries

In software engineering, async • await has fundamentally changed the way we develop asynchronous and concurrent applications. Async • await enables us to develop asynchronous, concurrent functions by writing synchronous, serial looking code. We raised the abstraction level and improved the developer experience by removing (as in hiding) what we…

Software Development

2 min read

Outside Runtime Boundaries
Outside Runtime Boundaries
Software Development

2 min read


May 28

A Tale of Two Dimensions

In this blog post, we will explore distributed systems through the lens of two fundamental dimensions: synchronous versus asynchronous and sequential versus concurrent. Different authors think differently about terminology. I do not want to claim that my thoughts are correct and others’ are not correct. Instead, I want to share…

Software Engineering

6 min read

A Tale of Two Spectrums
A Tale of Two Spectrums
Software Engineering

6 min read


May 20

The Magic of Abstractions

In arguably the most fundamental work in computer science, Structure and Interpretation of Computer Programs by Abelson and Sussman, the term abstraction appears on page one, chapter one, headline one. Abelson and Sussman identify Abstractions as one of the 3 fundamental building blocks of computer programs: Primitive expressions, means of…

Software Engineering

5 min read

The Magic of Abstractions
The Magic of Abstractions
Software Engineering

5 min read


Mar 28

Getting started with small-step operational semantics

A formal model of Sagas At temporal.io, we have a recurring event dubbed Temporal University where the team explores the ins and outs of Temporal’s architecture. I have done a few presentations but one stands out as my personal favorite: Small-Step Operational Semantics of Temporal’s Durable Executions. Small-step operational semantics (SOS) are often used for…

Software Engineering

7 min read

Getting started with small-step operational semantics
Getting started with small-step operational semantics
Software Engineering

7 min read


Feb 15

Paper Summary: Sagas

H. Garcia-Molina and K. Salem. 1987. Sagas. In Proceedings of the 1987 ACM SIGMOD international conference on management of data (SIGMOD ‘87). Association for Computing Machinery, New York, NY, USA, 249–259. Keywords: Long Running Processes, Sagas, Transactions, Compensation, Failure Mitigation, Failure Tolerance, Failure Transparency Although the original paper on Sagas…

Software Engineering

5 min read

Paper Summary: Sagas
Paper Summary: Sagas
Software Engineering

5 min read


Oct 22, 2022

Handling Failures From First Principles

Keywords Failure, Failure Tolerance, Failure Transparence, Failure Detection, Failure Mitigation, Application vs platform-level, Failure Presentation, Transient, Intermittent, Permanent, Recovery, Forward Recovery, Backward Recovery, Repair, Manual Repair, Auto Repair This blog post presents a blueprint for a principled failure handling strategy that guarantees correctness and completeness while maximizing the chance of…

Distributed Systems

7 min read

Handling Failures From First Principles
Handling Failures From First Principles
Distributed Systems

7 min read


Sep 6, 2022

Paper Summary: Fundamentals of Fault-Tolerant Distributed Computing

Felix C. Gärtner. 1999. Fundamentals of fault-tolerant distributed computing in asynchronous environments. ACM Comput. Surv. 31, 1 (March 1999), 1–26. Keywords: Failure, Failure Detection, Failure Mitigation, Failure Tolerance, Failure Transparence This paper explores the very foundations of failure, failure tolerance, and failure transparence. In Fundamentals of fault-tolerant distributed computing in…

Distributed Systems

6 min read

Paper Summary: Fundamentals of Fault-Tolerant Distributed Computing
Paper Summary: Fundamentals of Fault-Tolerant Distributed Computing
Distributed Systems

6 min read


Aug 15, 2022

Paper Summary: End-to-End Arguments in System Design

J. H. Saltzer, D. P. Reed, and D. D. Clark. 1984. End-to-end arguments in system design. ACM Transactions on Computer Systems 2, 4 (Nov. 1984), 277–288. Key Words Function, Completeness, Correctness, Application Layer, Platform Layer, Failure, Failure Detection, Failure Mitigation. The End-to-End Argument is a great, thought provoking paper that…

5 min read

Paper Summary: End-to-End Arguments in System Design
Paper Summary: End-to-End Arguments in System Design

5 min read


Feb 9, 2021

Kubernetes Network Policy

Kubernetes is a Container Orchestration Engine designed to host containerized applications on a set of nodes, commonly referred to as a cluster. Using a systems modeling approach, this series aims to advance the understanding of Kubernetes and its underlying concepts. Recommended Read Kubernetes Networking by Maegan Jong and Dominik Tornow Overview The Kubernetes…

101

7 min read

Kubernetes Network Policy
Kubernetes Network Policy
101

7 min read


Jan 17, 2021

Kubernetes Networking

by Maegan Jong and Dominik Tornow Kubernetes is a Container Orchestration Engine designed to host containerized applications on a set of nodes, commonly referred to as a cluster. Using a systems modeling approach, this series aims to advance the understanding of Kubernetes and its underlying concepts. For this blog post…

101

7 min read

Kubernetes Networking
Kubernetes Networking
101

7 min read

Dominik Tornow

Dominik Tornow

1.1K Followers

Principal Engineer

Following
  • Natalie Vais

    Natalie Vais

  • Gilles Barbier

    Gilles Barbier

  • Maxim Fateev

    Maxim Fateev

See all (5)

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech

Teams