2026/07/08 22:18

クラウドフリート・ミールケイト — グローバル分散コンセンサス

RSS: https://news.ycombinator.com/rss

要約▶

日本語翻訳:

サマリー:

Cloudflare は、従来の Raft ベースのシステムがタイムアウトや権限のあるリーダーによる不可用性といった課題に直面していた全球の 330 以上のデータセンターにまたがるコントロールプレーンの状態を管理するために、「Meerkat」という名称の内製実験的コンセンサスサービスを導入しました。EPFL の研究員によって発表された QuePaxa アルゴリズムにより動いている Meerkat では、すべてのレプリカが同時に書き込み操作を受け付けることができ、これにより「タイムアウトの暴政」を効果的に排除し、マジョリティのマシンが接続されている限りシステム進捗を保証します。このアーキテクチャは強い一貫性（線形化可能性）を保証し、悪天候時のネットワーク条件や標的攻撃下において、Raft および Multi-Paxos と比較して最大約 10 倍の高いスループットを提供します。現時点ではデータベースのリーダーシップなどの内部コントロールプレーン機能に限定されていますが、Meerkat は世界で最大 50 のレプリカを有する環境向けに設計されており、リーディングが一貫なく失敗し続ける状況でも安定して動作することを示す概念実証（Proof-of-Concept）によって確認されています。開発者は、レイテンシを最適化するためにレプリカをより近い場所に配置するか、または書き込みをバッチ処理することで調整でき、グローバルな鮮度性が重要でない場合はローカルデータを読み取り、一貫性のあるが潜在的に古い値を取得也可以选择します。将来の計画には、使用範囲をクラスター管理へ拡大することと、Rust 実装の検証を含みます。

レイニングの変更点:

1 つのレプリカあたりのアプリケーションホスティングに関する具体的な文脈を追加しました。
概念実証のスケーリング（最大 50 のレプリカ）を取り入れました。
読み取り戦略（コンセンサスをトリガーした読み取り vs ローカルで古い値の読み取り）を明確にしました。
将来の Rust 実装の検証について言及しました。

本文

Cloudflare の次世代分散型コンセンサスサービス「Meerkat」

背景と課題

2026 年現在、Cloudflare のグローバルネットワーク（330+ データセンター）における制御平面（Control Plane）のデータ同期は最大の技術的課題です。

要件: どのノードから問い合わせても一貫した状態を提供し、一部のリソース障害でも書き込み動作を維持する必要がある。
環境の厳しさ: インターネットは予測不能な環境であり、サーバーダウン、メッセージキューの飽和、物理線路の切断などが発生しやすい。
既存技術の問題点: 従来のコンセンサスアルゴリズム（特に Raft）は以下の理由で Cloudflare の環境に適さない：
- リーダー依存: 書き込みは特定のリリーダー（Leader）のみが可能。リーダーの障害またはネットワーク劣化時にはシステムが停止する。
- タイムアウトの難しさ: ネットワーク遅延が予測できないため、適切なタイムアウト値の設定が極めて困難。
- 実績: コンセンサス駆動型システムにおけるリーダーの不具合は過去に複数の production 事故の原因となっている。

これらの課題を解決するため、Cloudflare リサーチチームは EPFL（スイス連邦工科大学ローザンヌ校）の論文**「QuePaxa」に基づく新サービス「Meerkat」**を開発しています。

Meerkat の概要と設計思想

Meerkat は実験的な分散型コンセンサスサービスであり、制御平面データ（例：データベースのリリーダー情報、位置情報）を管理するための内部ツールとして開発されています。

必要な機能要件

制御平面システムには以下の 2 つの性質が厳格に要求されます。

1. 強い一貫性 (Strong Consistency)

目標: 「線形化（Linearizability）」を保証する。
- 書き込みが発生した後、直ちにその結果を反映して読み取る。
- プログラマーは単体メモリのような振る舞いとして分布式システムを取り扱えるようにする。
実装: アプリケーションの読み書き要求を、完全に順序付きの「ログイベント」のシーケンスに変換し、すべてのレプリカで同一の順序で適用する。

2. 高いフォールトトレランス (High Fault Tolerance)

可用性 (Availability):
- システム内の大多数（$2f + 1$ のうち $f$ つの障害）が生存・通信可能であれば、どこからでも読み書き可能。
- 単一ノード障害やネットワーク遅延によるシステム停止を防止する。
正しさ (Correctness):
- ノード間のデータ不一致（分裂脳）が発生しない。
- (注：本時点では Byzantine 故障への対応は想定していない)

アーキテクチャ構成

開発者は Meerkat クラスターのレプリカを特定のデータセンターに配置（自動最適化あり）し、以下の手順で動作します。

アプリケーション発行: クライアントは任意のレプリカに
```
GET
```
や
```
PUT
```
リクエストを送信する。
イベント変換: レプリカはアプリ要求を中身は無視した「ログイベント」に変換する。
コンセンサス: コンセンサスアルゴリズムが、すべてのレプリカ間で同一のイベント順序を決定する。
状態構築: レプリカはログイベントを順番に処理し、共通の状態（例：KV ストア）を維持する。

重要:
GET
リクエストもまた線形化を保証するためにログ上でイベントとして扱われます。

なぜ QuePaxa を採用したのか？

Meerkat にはリーダーを固定せず、すべてのレプリカが書き込み提案に参加できる「非権威型リーダー」を採用しました。その理由は従来のリーダー中心方式（Raft）の弱点にあります。

Raft の課題 vs Meerkat (QuePaxa) の強み

問題点	Raft (従来方式)	Meerkat (QuePaxa ベース)
リーダー障害	リーダーが落ちると書き込み不可（選挙が必要）。大遅延時にタイムアウト調整が不可能。	必要ない。健常なレプリカどこでも書き込み可能。システムは常に利用可能。
性能ボトルネック	1 つのリリーダーに負荷が集中する。	分散処理。並行して複数の提案を投げても相互干渉せず、効率が良い。
ネットワーク遅延	タイムアウト設定が極端に困難（早すぎても晚すぎても破綻）。	不要。物理的な遅延に関わらず安定動作。

QuePaxa の核心的利点

無効なリーダー: システム全体を止める単一のポイントがありません。
破壊的干渉の欠如: 複数のノードから同時に提案を送っても、建設的に処理されます（相互競合しません）。
高スループット: 非同期・不可信ネットワーク環境向けに設計されており、Raft/Multi-Paxos に比べて約10 倍のスループットを発揮します。

性能の評価と最適化策

すべてのコンセンサスアルゴリズムには「往復通信（RTT）」という物理的なコストがかかります。QuePaxa でも提案承認にはノード間の通信が必要ですが、設計思想としてはこれを受け入れた上で、以下の最適化が可能になっています。

配置制御: 開発者がレプリカを同じアベイラビリティゾーンなどに寄せることで RTT を削減できる（グローバル展開は不要な場合）。
バッチ書き込み: 短時間の間に集まった複数回の書き込みを 1 つの提案にまとめる。
非コンセンサス読み取り: リージョン化されたキャッシュなどから最新性保証なしで高速に読む手法も利用可能。
トランザクションサポート: CAS（比較・交換）などの一般的なトランザクション処理に対応し、複数の操作を 1 回の提案でまとめる。

結論：Meerkat の適正な用途

グローバル規模での運用: 物理距離による遅延は避けられません。
推奨シナリオ: 頻繁な書き込みは発生せず、常に一貫したデータが必要な**「制御平面情報」**への利用が最も適しています。

今後の展望

Meerkat は現在開発フェーズにありましたが、すでに世界最大級の分散クラスター（50 ノード規模）での概念実証実験において成功を収めています。リーダーの常時障害下でも安定動作を確認済みです。

今後 1 年間の計画：

技術詳細の開示: QuePaxa の正式仕様や Rust 実装の部分に関する形式検証結果。
管理機能: クラスタ管理やレプリカの最適な配置場所の決定アルゴリズムの公開。
品質保証: デターミニスティックシミュレーションによるバグ検出の実践レポート。
論文発表: 同行査読付き論文の準備を進めています。

Cloudflare Blog または Cloudflare Research で Meerkat の最新情報を追うことができます。

同じ日のほかのニュース

一覧に戻る →

2026/07/09 5:05

FAANGシミュレーター

## Japanese Translation: 「FAANG™ Life Simulator featuring MILTON」は、エントリーレベルのテックワーカーが直面する激しいプレッシャーを批判的に検証する風刺モバイルゲームです。このシミュレーションでは、**1 回のタップは人生の 1 四半期を表し**、**1 つのグリッドマスは 1 ヶ年を表す**ことで、プレイヤーには急速な加齢と変動するメトリクスを管理させながら、過酷な現実を目撃させる仕組みとなっています。初期状態として Milton は 22 歳（Q1）、パフォーマンススコアが 50、バーンアウトが 10 の状態で始まり、高給与（年額 19 万ドル）と金銭的自由の欠如（退職永久資金 0%）、そして資産総額 0 が同時に存在する厳しい現実を描き出します。プレイヤーがこれらの制約の中で動き回りながら、企業が 0% のトラクションを示す中で、特定のアクションによって定義された明確な複数のエンディングへと至ります：その行為とは、**「Form HR-1099-RAT」の記入**、**「Exit Interview」への参加**、そして**「GO HOME」画面の表示**です。シミュレーション終了後、プレイヤーはその結果を 𝕏（X）に投稿し、自らの架空のキャリアの終焉をデジタル記録として残すことができます。最終的に、このプロジェクトは業界全体の課題である従業員の福祉、定着率の難しさ、一流テクノロジー企業で働く際の隠れたコストなどについて鋭い評論を行い、官方的な提携はないまま、現状の高い成長を志向する専門職モデルの持続可能性に疑問を投げかける魅力的な体験へと抽象的な企業データを転換します。

2026/07/09 0:19

Chatto はオープンソースになりました

## Japanese Translation: Chatto は、セルフホスト用に設計された新たにリリースされたオープンソースのグループチャットおよびチームチャットアプリケーションです。ユーザーは、`brew install chattocorp/tap/chatto` で Homebrew を使用して Linux (x86_64/ARM64)、macOS、Windows 上ですぐに試すことができます。その後、`chatto init` と `chatto run` を実行します。その核心的な強みは、コンパクトなパフォーマンス、堅牢なプライバシー、完全なデータ保護です：すべてのデータは静態で暗号化され、アカウント削除時にユーザー固有の鍵が完全に「破棄」され、データ痕跡は残りません。連邦システムとは異なり、Chatto はサードパーティの追跡がない単一サーバーのコミュニティモデルを運用し、クライアントは同時に複数のサーバーに直接接続できます。内蔵された音声通話、ビデオ通話、画面共有はすべてエンドツーエンドで暗号化され、インフラストラクチャのキャパシティに応じてスケーリングします。現在、production 使用のためにバージョン 0.4 が安定しており、Chatto は広告やベンダーロックインを回避しています。有料の「Chatto Cloud」サービスが間もなくヨーロッパ所有のインフラ上で開始され、広告なしでロックインなく安全なホスティングを提供し、自動スケーリング、夜間のバックアップ、ダウンタイムなしのアップグレード、セルフホストされたサーバーとの完全互換性を提供します。追加のリージョンは 2027 年初頭に予定されています。バージョン 0.5 は安全性機能、コンテンツモデレーション、クライアントの改良に焦点を当て、予想される 1.0.0 リリースに向けて進みます（注：新しいバージョンがロールアウトするにつれて破壊的変更が発生する可能性があります）。コミュニティサポートは Chatto HQ の専用の #self-hosting チャンネルで利用でき、リリースおよび早期 Cloud ベータへのアクセスに関する更新のために低ボリュームのニュースレター（〜1 封/月）を購読することもできます。この安全かつ広告なしのプラットフォームは、現代のマルチメディア機能を損なうことなくユーザーの主権を優先します。 ## Text to translate: Chatto is a newly released open-source group and team chat application designed for self-hosting. Users can immediately try it on Linux (x86_64/ARM64), macOS, or Windows via Homebrew with `brew install chattocorp/tap/chatto`, then run `chatto init` and `chatto run`. Its core strengths are compact performance, robust privacy, and full data protection: all data is encrypted at rest and per-user keys are completely "shredded" upon account deletion, leaving no data trails. Unlike federated systems, Chatto operates on a single-server community model with no third-party tracking; clients can connect directly to multiple servers simultaneously. Built-in voice, video calls, and screen-sharing are fully end-to-end encrypted and scale with infrastructure capacity. Currently stable at version 0.4 for production use, Chatto avoids ads and vendor lock-in. A paid "Chatto Cloud" service is launching soon on European-owned infrastructure, offering secure hosting without ads or lock-in, automatic scaling, nightly backups, zero-downtime upgrades, and full compatibility with self-hosted servers; additional regions are expected in early 2027. Version 0.5 will focus on safety features, content moderation, and client polishing, leading to the anticipated 1.0.0 release within 6–12 months (note: breaking changes may occur as new versions roll out). Community support is available at Chatto HQ via a dedicated #self-hosting channel, and users can subscribe to a low-volume newsletter (~1 email/month) for updates on releases and early Cloud beta access. This secure, ad-free platform prioritizes user sovereignty without compromising modern multimedia capabilities.

2026/07/09 3:00

Grok 4.5

## Japanese Translation: SpaceXAI は、コーディング、エージェンタスク、複雑な知識業務に特化して Cursor と共同開発された、現時点で最も高度なモデルである Grok 4.5 を発売しました。本モデルは、単一のプロンプトからエンドツーエンドのアプリケーションを構築する（太陽系など細部の模擬を含む）などの強力な能力を示していますが、主要なベンチマークでは 3 位にランクインしています：DeepSWE 1.0 で 62.0%、Terminal Bench 2.1 で 83.3%、SWE Bench Pro では解決率が 64.7% と、GPT-5.5 xhigh および Fable に及ばない結果となっています。本モデルは、数万台の NVIDIA GB300 GPU を使用し、高度なデータ選別技術と、トークンごとの知能に焦点を当てた強化学習戦略を採用することで、同等モデルと比較して約 4.2 倍のトークン効率を達成しています。 Grok 4.5 は、入出力トークンあたりそれぞれ 100 万トークンで 2 米ドルおよび 6 米ドルという高速サービスを提供しており、限定期間中の無料利用オファーも用意されています。現在、Excel リサーチや PowerPoint の図表作成を強化する目的で Grok Build、Cursor、SpaceXAI コンソールに統合されていますが、ヨーロッパ連合では 7 月中旬のローンチまでの間利用できません。