
I tweet/retweet interesting stuff about #DistributedSystems and #compsci. Suggest links/papers/conversations via DM! Tag for retweets. Run by @federico_ponzi
Joined January 2017
- Tweets3.6K
- Following222
- Followers6.3K
- Likes789
Distributed Bytes retweeted
[new blog post]
Jetpack: Consensus Made Generally Fast (OSDI '26)
muratbuffalo.blogspot.com/20…
Distributed Bytes retweeted
Did you know that Aurora DSQL now supports foreign key constraints?
The team's done a great job here: FKCs that scale well, especially for your read-heavy workloads.
Check it out here: docs.aws.amazon.com/aurora-d…
Quick thread on how FKCs in DSQL work...
Distributed Bytes retweeted
The trend of using S3 for databases is continuing, if not gaining momentum. I've seen three or four new examples in the past week with Cursor Origin being the headline yesterday. I wrote about why I thought this would happen a couple of year ago:
blog.colinbreck.com/predicti…
Distributed Bytes retweeted
Remy's blog post is good, but I think it severely overstates the simplicity of WSI when compared to traditional SI.
What we would agree on: SSI is a little weird, and I see it mostly as a pragmatic historical artifact that the 'right solution'.
Simple and Correct Snapshot Isolation
remy.wang/blog/si.html
Snapshot isolation (SI) is a popular approach to concurrency control in databases systems. It avoids many forms of anomalies, yet provides a high degree of concurrency, especially for read-heavy workloads.
Distributed Bytes retweeted
[new blog post]
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
muratbuffalo.blogspot.com/20…
Distributed Bytes retweeted
io_uring easily beats AIO and gets faster with every kernel — until both suddenly get 30% slower.
Join a database developer’s unexpected journey into the Linux kernel and IOMMU.
medium.com/ydbtech/how-io-ur…
Distributed Bytes retweeted
Replying to @DistribSystems
Thanks for sharing this! Happy to answer any questions
Distributed Bytes retweeted
I think this is broadly correct.
But I'd focus on specification instead - getting good at thinking about and formally writing down the safety, liveness, and performance properties of the system.
Verification follows from specification.
Distributed Bytes retweeted
One thing I find interesting about OpenAI's Postgres blog post is how similar their approach is to the one we took in the early days of EC2.
Keeping up with rapid early scale is a whole set of technical challenges, and you have to pick your battles.
Distributed Bytes retweeted
Aurora DSQL offers strongly consistent reads across multiple AWS regions, faster than the speed of light.
How is this possible?
Distributed Bytes retweeted
TLA+ Community Event 2026 - conf.tlapl.us/2026-etaps/
Co-located with ETAPS 2026 in Torino, Italy, on April 12, 2026.
Submit talk proposals by Jan 31 on:
- industrial or academic case studies,
- new tools for TLA+ or add-ons to existing tools,
- innovative use of existing tools or reports on their shortcomings,
- use of TLA+ in education.
Distributed Bytes retweeted
Do you like databases?
Do you want to hear two database professors rant about them?
Do you need one of those professors to have a Turing Award for databases?
If yes, then join Mike Stonebraker and I next Wed Dec 10 @ 1:00pm EST for database hot takes:
dbos.dev/webcast-2025-in-rev…
Distributed Bytes retweeted
Distributed Locking with Redis Redlock
When multiple services need mutually exclusive access to a shared resource (files, counters, payments, job execution), you need a distributed lock.
I recently came across this redlock algorithm by redis and it's a true distributed systems masterpiece BUT DONT USE IT FOR CONSENSUS
---
A single-node Redis lock (SET key value NX PX=TTL) is fast but unsafe:
Redis can crash → lock disappears
Network partitions → split-brain
Clients can pause → act with expired locks
So Redis proposed Redlock:
Use N = 5 independent Redis nodes.
Client tries to acquire the lock on all nodes with a TTL.
If it obtains ≥ 3/5 locks within a bounded time window → lock is considered acquired.
But here’s the problem — Redlock relies on timing assumptions.
To be safe, Redlock implicitly assumes:
bounded clock drift
bounded process pauses
bounded network delays
TTLs expiring “on time”
In real distributed systems, none of these hold.
Your process can GC-pause for seconds.
Packets can be delayed for minutes (yes, this has happened at GitHub).
NTP can jump the system clock forward/backwards.
A Redis node can crash and lose the key before syncing.
If any of these happen, Redlock can violate safety:
Two clients can both think they hold the lock.
This is fatal if the lock protects correctness (e.g., money movement, inventory writes).
The deeper issue: Redlock has no fencing tokens.
Correct distributed locking requires monotonically increasing fencing tokens:
Client A acquires lock → token 33
Client B acquires lock → token 34
Downstream systems (DB, S3, job processor) must reject old tokens.
Redlock returns random values — not monotonic.
So you can't build correctness guarantees on top of it.
TL;DR
Redlock ≠ consensus
Redlock ≠ safe under arbitrary delays
Redlock ≠ safe under clock drift
Redlock ≠ safe for correctness-critical locks
Redlock is okay only for “prevent duplicate work” use cases
If correctness matters → use ZooKeeper/etcd/Consul.
They implement real consensus and generate fencing tokens reliably.
How to do distributed locking
martin.kleppmann.com/2016/02…
Redis has been making inroads into areas of data management where there are stronger consistency and durability expectations. Distributed locking is one of those areas. Let’s examine it in some more detail.
Distributed Bytes retweeted
[new blog post]
Disaggregated Database Management Systems
muratbuffalo.blogspot.com/20…
Distributed Bytes retweeted
I have no doubt that disaggregation is going to continue to be a good bet in the DB market. The really interesting thing to watch is how the hardware trends of AI (especially tons of network bandwidth, and highly connected low-latency networks) change disaggregated architectures.
[new blog post]
Disaggregated Database Management Systems
muratbuffalo.blogspot.com/20…
Distributed Bytes retweeted
The idea that "the log is the database" shaped how we think about systems.
At Tigris, we applied that same idea to object storage — a lesson rooted in our time building at Uber.
The result: append-only immutability, consistency, and O(1) snapshots.
tigrisdata.com/blog/append-o…
Distributed Bytes retweeted
For everyone interested in data infra, want to get a quick sense of how big data works, how data systems are designed, and what the tradeoffs are, start with this share from @MOVNTDQ, really nice intro!
intro-data-system.xiangpeng.…
Distributed Bytes retweeted
A number of smart engineers have looked at the us-east-1 outage and covered it with the blanket of a simple explanation: brain drain; race condition; it’s always DNS; the cloud is unreliable, go on-prem.
Even sitting outside AWS, you can look and find at least a dozen troubles.
thundergolfer.com/blog/aws-u…
Distributed Bytes retweeted
Reading the AWS postmortem, and the HN reaction to it, and: I will never stop evangelizing this, the most brain-altering piece of writing I've encountered. howcomplexsystems.fail/
Distributed Bytes retweeted
The detailed AWS incident report is out, and it’s worth a read
- DNS records managed by 2 systems; a race condition led to regional record getting unset
- EC2 lease establishment was borked as it depends on DynamoDB
- fluctuating NLB health checks leading to EC2 DNS entry purges























