Open in app

Sign In

Write

Sign In

Dominik Tornow
Dominik Tornow

1K Followers

Home

About

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. …

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


Jan 11, 2021

What is Infrastructure as Code?

by Dominik Tornow and Maegan Jong Infrastructure as a Service, Infrastructure as Code, or recently Infrastructure as Data — certainly infrastructure comes in many forms, shapes, and sizes. Yet, even though these terms sound deceptively similar and deceptively simple, they denote fundamentally different and intricate concepts. After Infrastructure as a…

Infrastructure As Service

6 min read

What is Infrastructure as Code?
What is Infrastructure as Code?
Infrastructure As Service

6 min read

Dominik Tornow

Dominik Tornow

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