I am not happy with my understanding of non-blocking, lock-freedom, and wait-freedom yet.

x.com/dominiktornow/…

Two early observations while reading Multi Processor Programming

1⃣

The book makes mentions the terms asynchronous, concurrent, and parallel early without defining them

2⃣

The book states that 'Threads share a common time (although not necessarily a common clock)', which is…

I am not happy with my understanding of non-blocking, lock-freedom, and wait-freedom yet.

x.com/dominiktornow/…

The book starts with a fundamental insight:

Concurrency isn't something you can 'abstract away', concurrency is an irreducible property

x.com/dominiktornow/…

New weekend read just arrived! Looking forward to timeless wisdom on taming concurrency 📚🔍

Just read the incredible paper DepFast: Orchestrating Code of Quorum Systems.

Problem Statement

The authors tackle distributed consensus, focusing not on the mechanics but on enhancing the developer experience－a unique angle

Their Solution?

Coroutines. They introduce a…

Systems Distributed boasts an unmatched lineup of speakers:

Alex Petrov, Gwen Shapira, James Cowling, Kyle Kingsbury, and many more

This will be an incredible event. Don’t miss out—get your tickets now! 🏴‍☠️

Glad you enjoyed the paper, Dominik Tornow ! It's very important for us to hear folks like you who see the values. Research on expressiveness and programmability (or 'developer experience' in modern words) often has a hard time publishing and is much less appreciated in academia,…

The articulation of the problem is so concise yet hits so hard 🏴‍☠️

x.com/dominiktornow/…

Systems Distributed boasts an unmatched lineup of speakers:

Alex Petrov, Gwen Shapira, James Cowling, Kyle Kingsbury, and many more

This will be an incredible event. Don’t miss out—get your tickets now! 🏴‍☠️

Failure mitigation via retry involves more than just invoking a failed operation again

In distributed systems, retrying requires management of the entire call graph. We must discern what needs to be restarted and what can rejoin

How do you retry?

x.com/dominiktornow/…

The paper Reliable Actors with Retry Orchestration embodies what I enjoy about papers using formal semantics:

Thinking above the code with relentless accuracy, uncovering the very essence of a concept

In this case, the authors explore the essence of reliability via retries

For an approachable introduction how to conceptualize distributed systems, I recommend Martin Kleppmann's post Verifying distributed systems with Isabelle/HOL

The post focuses on the mental models to use not just the technical details of formal verification with Isabelle.…

The TLA+ Conf 2024 playlist dropped 🎉

There goes my day ❤️

youtube.com/playlist?list=…