InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

Facebookチャットアーキテクチャー

作者 Gavin Terrill , 翻訳者 編集部 投稿日 2008年5月19日

セクション
設計/アーキテクチャ
トピック
パフォーマンス&スケーラビリティ ,
Architecture
タグ
Erlang ,
C++

Facebookのエンジニアリングのブログ(source)上で、ソフトウェアエンジニアであるEugene Letuchy氏が最近、Facebook Chatの背景にあるエンジニアリングに関する決定(source)について詳細を書いた。

機能のユーザベースが実際には一晩で0から7000万になる場合、最初からスケーラビリティを考えておく必要がある。

Eugene氏はそのサイズのユーザベースに対する多くの課題を 特定した。

ユーザがオンラインであろうと、オフラインであろうと、すべての友達に通知を送信するという単純な実装は1秒につきO(平均的な友達リストサイズ*ピーク ユーザ * チャーン率)メッセージという最悪のケースをはらんでいる。ここでチャーン率は、1秒ごとのイベントでユーザがオンラインとオフラインになるユーザの周波 数のことである。ユーザごとの平均的な友達の数が百単位で計測され、サイトのピーク時の並行ユーザの数が数百万であることを考慮すると、このことは広く受 け入れがたいとは言えない。

もう1つの課題は、リアルタイムでメッセージを送ることであった。Facebookは、CometのXHR Long Polling Process(source)と同様な方法をとっている、クライアントがサーバから更新を引き出すテクニックを選択している。

われわれが選択した、1人のユーザからテキストを取得し他のユーザに渡すそのメソッドには、各Facebookページでiframeをロードし、その ifameの Javascriptをそのクライアントのデータをサーバが保持している限り、返さないHTTP GET要求にする。

Eugene氏は続けて「長時間実行中の同時要求が大量にあると、標準LAMPのApacheの部分が疑わしい実装の選択を溜め込んでしまう」と語る。

FacebookはC++およびErlangを選択し、 クラスター化およびパーティション化されたサブシステムを実装する。C++モジュールがチャットメッセージの記録に使用される一方で、Erlangが「オ ンラインユーザの会話をメモリー内に保持し、 長時間ポーリングされたHTTP要求に対処する」。Linux 2.6で導入されている新しいシステムコールは、Erlangモジュールの駆動に使用された。Eugene氏は、Erlangでおこなうことに決めた理由 を以下のように述べている。

つまり、問題のドメインがグローブのようにErlangとぴったり合う。Erlangは機能的な並行性指向の言語であり、極めて軽量なユーザスペース「プ ロセス」、 share-nothingメッセージパッシングセマンティクス、内蔵型ディストリビューションを装備し、大規模なソフトリアルタイム稼動システムでの 20年間にわたるデプロイメントによって証明された「クラッシュおよびリカバー」の考えを固持している。

「スケーラブルなクロス言語サービス開発」向けのオープンソースフレームワークであるThrift(source)(昨年のエイプリルフールにFacebookに よってリリースされた)は、Facebook Chatで使用されているさまざまなテクノロジーを結束させるために使用された。今は、Erlangのバインディングを特色としている。

かつて興味深いアプローチは、いわゆる「dark launch」と呼ばれるサービスのロールアウトであった。

ユーザが一晩で0から7000万になる秘密は、すべてを一挙にするのを避けることである。われわれは「dark launch」期間、多くのマシンを叩いているリアルユーザの影響をシミュレーションすることにした。「dark launch」では、Facebookページがチャットサーバと関連づいて、情報の照会をし、ページに描かれた単一UIエレメントなしでメッセージ送信を シミュレートする。

FacebookエンジニアによるErlangの選択は、その言語にとって重要な承認である。 ErlangのエバンジェリストであるYariv Sadan氏(source)は、以下のように述べている。

この発表によって、Erlangがスケーラブルなリアルタイム(aka Comet)アプリケーションを構築するための *the*プラットフォームであることに対するあらゆる疑いを取り除くに違いない。

原文はこちらです:http://www.infoq.com/news/2008/05/facebookchatarchitecture

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。