イチゼロエフエム

他社の障害報告を読んで勝手に胃を痛くするシリーズです。今回は2025年11月18日に発生したCloudflareの障害分析を読みながら胃をキリキリさせています。後半では新興のserverless datastoreサービスであるs2を紹介しています。 Cloudflare outage on November 18, 2025 Antirezの反応  https://x.com/antirez/status/1991082931415126492 S2, the durable stream API - S2.dev https://github.com/s2-streamstore/s2 Chapters: (00...

データベースアクセスの並列度を上げてスループットを向上させるためにロックフリーデータ構造を導入しているというMongoDBの解説ブログをネタに雑談しました。後半ではGoogleクラウドのブログ記事をネタにAIを使ったArmアーキテクチャへの移行の取り組みについて話しています。 To Lock or Not: MongoDB’s Lock-Free B-Tree Unlocks Throughput Hazard pointer - Wikipedia スキップリスト - Wikipedia ConcurrentSkipListMap (Ja...

まったり息抜き回です。iPhone Airを買った話や最近読んだ本、漫画、最近見ているアニメの話などをだらっとしています。 iPhone Air - Apple（日本） Latency ONE PIECE 113／尾田 栄一郎 | 集英社 ― SHUEISHA ― カグラバチ ＣＯＳＭＯＳ | 書籍 | 小学館 TVアニメ『僕のヒーローアカデミア』 Chapters: (00:00) Opening (02:39) iPhone Airを買った (15:21) 新刊「Latency」について (23:02) 最近読んだ漫画 (30:51) 僕のヒーロー...

Fil-Cというメモリ安全なバイナリを出力できる新しいC/C++処理系について雑談しました。後半はAIがシステム系の研究に与えるインパクトについて書かれた論文を紹介しつつAI活用のよもやま話をしています。 Fil-C https://x.com/hashbreaker/status/1980699316089188649 InvisiCaps By Example [2510.06189] Barbarians at the Gate: How AI is Upending Systems Research Is Systems Research Really Just About Making Numbers Bi...

先日(2025年10月19日)に発生したAWSの障害について、公式からのサマリの記事を見ながら勝手に胃を痛める回です。 Summary of the Amazon DynamoDB Service Disruption in Northern Virginia (US-EAST-1) Region Amazon DynamoDB Global Tables Jeff Dean on X: "I was very pleased to learn on Monday that The Tail at Scale paper (https://t.co/59qOUnEJBD) thatl my dear colleague @labarroso and I wrote in 2013 was selec...

The Software Internalsというdiscordで紹介されていたLogless RaftというRaftのvariantを提案する記事を読みつつ、ディスクレスな合意アルゴリズムやmulti-Paxosについて雑談しました。 Logless Raft Disk Paxos EPaxos Viewstamped Replication Revisited [2405.11183] MultiPaxos Made Complete Paxos Made Moderately Complex Extended Raft algorithm with witness support · Issue #133 · etcd-io/raft Chapters: (00:00) Op...

Chroma DBというAIワークロード用途のデータベースがObject Storageを使ったWrite-Ahead Logを実装したという話題を取り上げました。後半はMetaが提唱したOpenZLという圧縮フレームワークについて雑談しています。 wal3: A Write-Ahead Log for Chroma, Build on Object Storage setsum - crates.io: Rust Package Registry Introducing OpenZL: An Open Source Format-Aware Compression Framework - Engineering at Meta Zstanda...

久しぶりにプログラミング言語について話そうということで、IEEE Spectrumが出しているプログラミング言語ランキングを見ながら雑談しました。後半は最近リリースされたJava 25についてさらっと紹介しています。 The Top Programming Languages 2025 - IEEE Spectrum   Java 25新機能まとめ - Qiita Java 25 / JDK 25: General Availability Chapters: (00:00) Opening (01:27) The Top Programming Languages 2025 (22:04) Java 2...

DataDogのバックエンドを支えるtimeseries storageについて解説したブログ記事を肴に雑談しました。 Evolving our real-time timeseries storage again: Built in Rust for performance at scale | Datadog About RRDtool Computing accurate percentiles with DDSketch | Datadog GitHub - influxdata/influxdb: Scalable datastore for metrics, events, and real-time analytics   Gorilla: A Fast, Scalable, In-Memory Time S...

Katoさんが書いた同タイトルのブログ記事について即興で説明してもらいつつMetaの裏側のシステムに思いを馳せています。 Meta における分散キャッシュの一貫性保証 Skybridge: Bounded Staleness for Distributed Caches | USENIX FlightTracker: Consistency across Read-Optimized Online Stores at Facebook | USENIX Chapters: (00:00) Opening (04:13) Metaにおける分散キャッシュの一貫性保証 (10:18) 一貫性レベルの変遷 (1...

VLDB2025からLAW theorem論文について雑に語っています。 The LAW theorem: Local Reads and Linearizable Asynchronous Replication L2AW theorem Hermes TiDBのLease Readの解説ブログ https://www.pingcap.com/blog/lease-read/ YugabyteDBのLow Latency Readsの解説ブログ https://www.yugabyte.com/blog/low-latency-reads-in-geo-distributed-sql-with-raft-leader-leases/ Chapters: (00:00) Opening (02:51) The L2AW theo...

いつにもましてまったりな雑談回です。KatoさんがついにNASを買った話と、スマートホームの話をしました。 Katoさんが買ったNAS UGREEN NASync DXP4800 Plus LinkJapanHEMSハブHEMS機器をアプリに簡単接続 SwitchBot Nature Remo Chapters: (00:00) Opening (01:43) NASを買いました (05:45) dockerが動くNAS (08:48) cloudサービス化するNAS (15:19) ホームアシスタント (18:15) 太陽光発電とスマートホーム (25:59) Ending

TiDBのMonitoringに使われているPrometheusをVictoriaMetricsに置き換えてOutOfMemoryを解決した話やAWSが100KノードのKubernetesクラスタを達成した件について雑談しました。Kubernetes v1.34で導入されるYAMLのサブセットであるKYAMLについても話題にしています。 TiDB Observability: Moving from Prometheus to VictoriaMetrics   Under the hood: Amazon EKS ultra scale clusters 関連するGCPの記事 Google Kubernetes Engin...

KubernetesのControllerの安全性を検証するAnvilというframeworkについて話しました。後半はAsterinasというRustで書かれたLinux ABI互換のOSを紹介しています。 Anvil: Verifying Liveness of Cluster Management Controllers https://github.com/anvil-verifier/anvil Verus Asterinas Chapters: (00:00) Opening (04:28) Anvil: Verifying Liveness of Cluster Management Controllers (24:36) Asterinas: A New OS written in...

TiDB (TiKV) のtail latency改善の手法やKotlin 2.2.0でプレビューとして使えるようになったcontext parameters、Terabyte-Scaleの分析を瞬く間に完了させる技術について雑談しました。 TiKV Write Latency Solved: Unlock Smoother, Faster Performance What's new in Kotlin 2 .2.0 Understanding Context Parameters in Kotlin 2.2.0 – Carrion.dev https://x.com/helloyuki_/status/1938959361818480804 [2506.09226] Terabyte...

Goの新しいガーベージコレクタの提案であるgreen tea gcとKubernetes 2.0が出るとしたらどうなる？というネタで雑談しました。 runtime: green tea garbage collector · Issue #73581 · golang/go What Would a Kubernetes 2.0 Look Like - matduggan.com   Kubernetes 2.0 - bash edition · Issue #3933 (エイプリルフール) Build the highest resilience apps with multi-Region strong consistency in Amazon DynamoDB global t...

2023年のP99 Confのセッションから、Netflixで行われているオンラインマイグレーションの仕組みについてざっくりと雑談しました。後半はHotOSというACMのworkshopで議論されたシェルスクリプトの静的解析ネタを話題にしています。 Announcing Rust 1.88.0 Zero Downtime Critical Traffic Migration @Netflix Scale - P99 CONF From Ahead-of- to Just-in-Time and Back Again:  Static Analysis for Unix Shell Programs HotOS 20...

27ノードのElasticsearchをVictoriaLogs 1ノードでリプレイスした話や、Netflixが分散キャッシュをsecureにするためにどういった取り組みをしているのかといった話題を中心に雑談しました。 Seriously impressed with Victoria Logs - Aus. Social VictoriaLogs SREcon25 Americas - Securing Distributed Cache Achieving Secure-by-Default with Key Challenges OxCaml DuckDBのイースターエッグ   https://x.com/duckdb/status/...

AppleがWWDCで発表したcontainer、PostgreSQL18 BETAのasync I/O、Goのエラーハンドリングの文法に関する続報などについて雑談しました。後半はマイホームを建てたkatoさんとのNAS導入検討談義です。 GitHub - apple/container: A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It's written in Swift, and optimized for Apple silicon. PostgreSQL 18 Beta 1 Released! 次期Pos...

久しぶりの通常回です。AppleのパスワードモニタリングサービスとAWSのAurora DSQLの開発における言語の変遷などを肴に雑談しています。後半では、HTAPは死んだという主張するブログ記事をとりあげ、わかりみを展開しています。 Swift at Apple: migrating the Password Monitoring service from Java Just make it scale: An Aurora DSQL story | All Things Distributed Mooncake Blog: HTAP is Dead 過去ServerSideSwift Confer...

先週に引き続きゲストにOkadaさんをお迎えしてApache Kafka 4.0について雑談しました。今回はConsumer Rebalance Protocolや、Early AccessとなったQueues for Kafka、Raftをより安定化させるためのPre-Voteの仕組みについて話しています。 Apache Kafka 4.0.0 Release Announcement Release Notes - Kafka - Version 4.0.0 KIP-848: The Next Generation of the Consumer Rebalance Protocol KIP-932: Queues for Kafka KIP-996:...

ゲストにOkadaさんをお迎えしてApache Kafka 4.0.0のリリースノートを見ながら雑談しました。KRaftの実装や4.0でPreviewとなったEligible Leader ReplicasについてKafkaのデータレプリケーションの構造などから詳しく解説していただいています。 Apache Kafka 4.0.0 Release Announcement Release Notes - Kafka - Version 4.0.0 KRaft - Apache Kafka Without ZooKeeper KIP-966: Eligible Leader Replicas Chapters: (00:00) Ope...

Metaが作っている新しいPythonの型チェッカーPyreflyの話やまだあまりメジャーでないPythonの機能について雑談しました。後半はPostgreSQLのSnapshot Isolationへの違反とみなされる微妙な振る舞いについてしゃべっています。 Pyrefly: A Static Type Checker for Python | Pyrefly GitHub - astral-sh/ruff: An extremely fast Python linter and code formatter, written in Rust. GitHub - astral-sh/ty: An extremely fast Pyt...

連休ということでまったり小ネタ雑談回です。Raftアルゴリズムの名前の由来について、作者が2014年ごろに投稿したメールを読みつつなるほどねぇとなっています。後半はエディタについてとりとめのない話をしました。 Raft の名前の由来 https://groups.google.com/g/raft-dev/c/95rZqptGpmU 約1000行のCコードで作るテキストエディタ https://viewsourcecode.org/snaptoken/kilo/ イチゼロエフエム過去回   8: Zed, Haystack, エデ...

AWSがDafnyという言語を用いてIAMの仕様検証と実装の置き換えを行った件について、解説論文をネタに雑談しています。後半は次期Pythonで実装されると思われるt-stringという新しいリテラル表記について話しました。 Formally verified cloud-scale authorization - Amazon Science AWS re:Inforce 2024 - Proving the correctness of AWS authorization (IAM401) 以前紹介した記事 An unexpected discovery: Automated reasoning o...