knowledge-flow
← Categories

Distributed Systems

30 件の記事

2026

11

  1. Choosing QuePaxa, an unusual consensus algorithm
  2. Inside GitHub's new Git storage architecture
  3. How we continuously validate formal specifications in production
  4. Figmaのリアルタイム同期の仕組みを、Node.js + WebSocketの最小構成で実装してみた
  5. Exactly-Once Publishing on Cloudflare D1 Without Transactions
  6. How Flink’s Kafka connector commits offsets to Kafka
  7. Uberはリトライストームからどのように身を守っているのか
  8. Jepsen: ParticleDB 1.1.4

10Kafka への移行談と、Jepsen による Orkes 検証

  1. Twelve years of distributed SQLite
  2. UUIDv7 doesn't have the properties you think it does
  3. Jepsen: Orkes Conductor 5.3.2
  4. Everyone is doing Git on S3 wrong
  5. Unison Cloud is now open source
  6. We used a database as a message queue. Now we use Kafka

09CRDTによる同時編集と、静的確保の設計

  1. Decaton Per-Key-Quotaによるプッシュ通知のスパイク制御（インターンレポート）
  2. Optimizing a Lock-Free Ring Buffer
  3. How Notion handles concurrent editing with CRDTs
  4. Distributed Systems Classics (2017)
  5. Ok, but does it scale?
  6. Static Allocation, Constant Work

08「リトライより冪等性」、決定論的シミュレーションテスト

  1. WebSockets vs. SSE should be about ordering and correctness
  2. The end of IPFS at Shipyard
  3. Improving system safety with Temporal Logic of Actions (TLA+)
  4. Why Idempotency Matters More Than Retries in Microservices
  5. 認証がプロダクトの足かせにならない世界へ —— 認証・認可基盤ユニットの発足と挑戦
  6. 速い書き込みは、必ずどこかに仕事を押し付けている
  7. 「リトライは結果整合性を直さない」分散システムの落とし穴
  8. ランダムに起きるバグを「毎回再現」する決定論的シミュレーションテスト「Marionette」

07Raft のバグ探しと、規模が壊す「飽和」

  1. 「Saturation（飽和）」──あなたのソフトは規模が大きくなった瞬間に壊れる
  2. Raft実装のバグを見つける