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
[new blog post] Jetpack: Consensus Made Generally Fast (OSDI '26) muratbuffalo.blogspot.com/20…
8
1
58
5,594
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...
5
15
2
89
9,931
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…
8
26
2
225
13,775
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.
3
4
83
13,514
[new blog post] SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems muratbuffalo.blogspot.com/20…
4
1
29
4,487
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…
3
30
1
231
47,308
Distributed Bytes retweeted
Replying to @DistribSystems
Thanks for sharing this! Happy to answer any questions
1
1
1
484
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.
I think the best investment you could make right now if you work on distributed systems would be to get really good at methods for verifying systems correctness and performance
3
12
97
11,430
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.
3
4
1
114
9,318
Distributed Bytes retweeted
Aurora DSQL offers strongly consistent reads across multiple AWS regions, faster than the speed of light. How is this possible?
7
9
124
18,201
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.
3
23
2,386
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…
9
49
5
290
25,614
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.
6
25
1
273
28,587
[new blog post] Disaggregated Database Management Systems muratbuffalo.blogspot.com/20…
2
14
2
84
21,659
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…
5
13
74
13,600
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…
9
41
4
380
23,631
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.…
8
42
2
292
21,615
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…
13
55
8
563
104,421
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/
9
105
7
912
70,818
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
54
407
44
2,447
474,206