London Tech Talk 名物 Bookclub 第四弾 "Database Internals" の振り返り収録ボーナス編です。

Atsushi Hatakeyama さんをゲストにお呼びして、本書の振り返りや Bookclub の意義について雑談しました。

また、そこから派生して、学習の意義、新しい技術のキャッチアップ疲れ、手を動かして学ぶ「実践」の重要性について話が広がりました。

ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

Asai さんをゲストにお呼びしました。Asaiさんの近況についてキャッチアップしました。前半では第二子出産、ジュネーブとロンドンの保育園事情についてお話しました。その後、AsaiさんのSREからAI Engineerへの転身について決断した背景等をお伺いしました。

• SREからAI Engineerへ - 初週の感想
• 経営戦略を問いなおす

ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十三章の振り返り収録です。"Distributed Transactions" の内容について振り返りました。

まずは分散トランザクションの根本的な問題について紹介しました。海外旅行の複数都市手配（航空券、ホテル、レンタカー）をアナロジーとして、「オール・オア・ナッシング」の Atomicity がなぜ重要なのか、そして分散環境でそれを実現することの困難さについて説明しました。

続いて、2PC（Two-Phase Commit）について詳しく解説しました。Coordinatorが中心となって動作する二段階のアルゴリズムを、「Up-or-out な会社のチームリーダー」のアナロジーで説明し、そのシンプルさと普遍性、そして「Blocking」特性という課題について触れました。

次に、3PC（Three-Phase Commit）を紹介しました。2PCの改良版として「Prepare to Commit」フェーズを追加し、より慎重な合意形成を行う仕組みを、「スイスのような完全民主主義国家の議長」というアナロジーで説明しました。理論的な改善と実際の使用頻度のギャップについても言及しました。

決定論的アプローチとして、Calvin、Spanner についても簡単に説明しました。Calvinの「グローバルな実行順序の事前決定」による効率化、Spannerの「シャードごとの2PC最適化」とTrueTimeによるExternal Consistency について話しました。

その他 Bookclub で盛り上がった実践的な議論や、次回の Chapter 14 の予定について触れました。

ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

Shunsuke さんをゲストにお呼びしました。Shunsuke さんが最近行った旅行先のプラハ、ユトレヒト、コペンハーゲン、エッセンとデュッセルドルフについてお話しました。

• Spiel Essen
• Cable car in London
• Uber Boat

ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十二章の振り返り収録です。"Anti-Entropy and Dissemination" の内容について振り返りました。
まずは大規模な分散システムにおけるメタデータ配信の課題について紹介しました。会社の組織変更情報を全社員に伝達する状況をアナロジーとして、ブロードキャスト方式の通信コスト問題や、階層構造による情報伝達の効率性と課題について説明しました。
続いて、Anti-entropyアルゴリズムの3つの主要コンポーネントを詳しく解説しました。Read Repair（修復アルゴリズム）では図書館の司書さんによる蔵書情報照会の例を用いて、データを読む時の「ついでに修復」という仕組みを説明しました。Digest Reads（検知アルゴリズム）では、全データではなくハッシュ化されたダイジェストのみを送って効率的に差分を検知する方法を紹介しました。Hinted Handoffs（予防機能）については、学校の宿題預かりシステムをアナロジーとして使用し、故障したノードの代わりに他のノードが一時的にデータを預かる仕組みについて説明しました。重要なのは「権限の引き継ぎ」ではなく「一時的な荷物預かり所」であるという点も強調しました。
また、効率的なデータ構造として Merkle Tree と Bitmap Version Vector について触れました。Merkle Tree はブロックチェーンでも使われる階層的なハッシュ構造による差分検知技術として、Bitmap Version Vector はビット演算（XOR）を使った更新追跡の仕組みとして紹介しました。
さらに、Gossip Protocol について説明しました。疫病や噂話が集団の中で拡散される様子をアナロジーとして、情報がネットワーク全体に「感染」のように広がる仕組みと、そのスケーラビリティの利点や重複メッセージのオーバーヘッドという課題について触れました。Plumtree（Hybrid Gossip）と HyPerView（Hybrid Partial View）についても簡単に触れました。
その他 Bookclub で盛り上がった観点や、次回の Chapter 13 の予定について触れました。
ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

本日のエピソードは Kaz のパートナーの Yumiko をゲストに招待して、ロンドンの天気とロンドンに移住してから始まった新しいことをお互い３つづつ出して近況を話しました。

ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十一章の振り返り収録です。"Replication and Consistency" の内容について振り返りました。
まずは分散システムにおけるレプリケーションの必要性と、それに伴う整合性の課題について紹介しました。大学の図書館分館のアナロジーを織り交ぜながら、同じ質問に対して場所によって異なる答えが返ってくる状況を例に、分散システムの整合性問題を説明しました。
続いて、悪名高い CAP 定理について触れました。Consistency（一貫性）、Availability（可用性）、Partition tolerance（分断耐性）の三つのうち最大で二つまでしか同時に満たせないという理論と、その現実的な適用における注意点について説明しました。CP システムと AP システムの具体例も交えて紹介しました。
その後、様々な整合性モデルについて詳しく解説しました。Sequential Consistency では SNS や銀行システムの例を用いて、すべてのノードが同じ順序でイベントを確認する重要性を説明しました。Causal Consistency については、因果関係のあるイベント同士の順序性のみを保証する、より緩い整合性モデルとして紹介しました。Eventual Consistency では、Amazon のショッピングカートの実装例を挙げ、最終的な整合性がどのように実現されるかを具体的に説明しました。
また、チューナブル整合性の概念として R + W > N の式を紹介し、図書館分館での在庫確認のアナロジーを使って、読み込み（R）と書き込み（W）のクォーラムをどのように調整するかについて説明しました。
その他 Bookclub で盛り上がった実践的な議論や、次回の Chapter 12 の予定について触れました。
ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

皆さん、いかがお過ごしでしょうか？9月になってロンドンはすっかり夏の終わりです。本日のエピソードはホスト二人の近況回になっています。

ロンドンの夏の服装とKenのヒゲや髪型のこだわりについてまったりと話しています。

ご感想はご意見は X でハッシュタグ ⁠⁠#LondonTechTalk⁠⁠ をつけてつぶやいてください。お便りはこちらの ⁠⁠⁠Google Form⁠⁠⁠ でも募集しています。

London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十章の振り返り収録です。"Leader Election" の内容について振り返りました。

まずは "Bully Algorithm" について紹介しました。避難所の比喩を織り交ぜながら、リーダーが故障した時に、ノードが自分のランクをお互いに送り合いながら新しいリーダーを決める過程について紹介しました。

続いて Bully Algorithm の改良版とも言える "Next-In-Line Failover" や "Candidate/Ordinary Optimization" について紹介しました。次にリーダーになりうる候補者リストを事前に決めたり、リーダーに選定されうる候補者セットとそうではない一般セットに分けたり、といった工夫によって、リーダー選定アルゴリズムにおける Thundering Herd 現象を避けようとしている観点について触れました。

その他、ボトムアップでリーダーを選定する "Invitation Algorithm" や、リング状のトポロジーを形成してリーダーを決める "Ring Algorithm" についても説明しました。

その他 Bookclub で盛り上がった観点や、次回の Chapter 11 の予定について触れました。

ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。

Yuta さんを初めてゲストにお呼びしました。ベルリンからトロント、東京へと渡り歩いた Yuta さんの日本本帰国後に何をしているか、今後についてお話を伺いました。

• AI時代の新たな疲労：なぜ私(たち)は『説明のつかないしんどさ』を抱えているのか
  
• The New Skill in AI is Not Prompting, It's Context Engineering
• 地球環境カードゲーム マイアース My Earth
• wyom.dev
  
• 
  

ご意見・ご感想など、お便りはこちらの⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠Google Form⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ で募集しています。