HipHop Virtual Machine

HipHop Virtual Machine（ヒップホップ・バーチャル・マシン、HHVM）は、実行時コンパイラ (JIT) 方式でPHPおよびHackといったプログラミング言語を実行する、仮想機械型の処理系である。HHVMで実行する場合、PHPやHackのコードは、JITコンパイルの過程でまず中間言語のHipHopバイトコード (HHBC) に変換され、さらに動的にx64の機械語へとコンパイル・最適化を行った上で実行される。これに対し、公式のPHP実装であるZend Engineでは、PHPのコードを中間表現に変換した上で、中間表現をそのまま実行している。 HHVMはMeta（旧Facebook）が開発しており、Github上にあるソースコードはPHP LicenseとZend License（英語版）のもと公開されている。2018年9月12日、Facebookの開発チームはPHPのサポートを段階的に終了することを発表し、同年9月18日にはHHVMのPHP 5のサポートを終了すると同時に、以降はHackに注力し、PHP 7の新しい機能も積極的には実装しないことを発表した。 2023年10月27日、Paul Bissonetteは公式ブログにてGCCサポート終了決定とHHVMおよびHackの公式リリースを以降行わない旨を表明した。 HHVMはFacebook社で使われていた、PHPをC++に変換するタイプの処理系であるHipHop for PHP（英語版） (HPHPc) の後継として開発された。HPHPcの運用を行う過程で、さらなるパフォーマンス向上が見込めなくなってきたこと、PHPの中でサポートできない機能があったこと、開発やデプロイに関わる時間・資源消費の問題など、各種の問題が発生してきた。HPHPcの運用で得られた経験を元に、それら問題点を解決することを目標として、2010年の頭頃にはFacebookとしてPHPのJIT仮想マシンを作ることを決定した。2013年の第1四半期には、facebook.comの実運用がHPHPcからHHVMへ切り替わった。 JITコンパイルの過程として、HHVMではPHPやHackのコードを、HHBCと呼ばれるバイトコード型の中間言語へと変換する。HHBCはHHVMのために設計されたバイトコードであり、後工程でJITコンパイラとインタープリタのどちらも使用できるようになっている。そして、HHBCはバイトコードのレベルで最適化が行われ、x64の機械語にその場で（JIT）コンパイルされ、CPUが直接実行する。このような実行過程は、.NET Frameworkでの共通言語ランタイムや、Javaの仮想マシンといった、他の言語での仮想マシンとも共通する部分がある。 HHVMでは、公式のPHP 5.4が含む機能を、create_function()やeval()といった、文字列をコードとして実行する機能までほぼ完全に実装したこと、時間のかかるバイナリビルドが不要となりデプロイが簡単となること、開発用と本番用で同じ処理系が使えること（HPHPcの時代には、開発過程で逐一ビルドするのを避けるため、別途でインタープリタを用意していた）など、HPHPcと比べて多くの利点がある。 HHVMの公開に合わせて、「PHPの新たな形態」とも言える、Facebook社が開発したHack言語も同時に動かせるようになっている。Hackは動的型付けと静的型付けをあわせ持つ言語であり、関数の引数や返り値、プロパティに型チェックを加えられる（ローカル変数に対しては不可能）。なお、HackではPHPの一部機能に非対応となっている。 ウェブサイトでは、ユーザーはページ表示の速度に敏感であり、サーバの、1秒の半分にも満たない遅れであっても、ユーザーエクスペリエンスに深刻な悪影響を及ぼし、サイトの効果を大きく損ねてしまうことが知られている。 実行環境としてのHHVMを考えると、実行時の型情報を使うことで、事前コンパイル型よりスループット・レイテンシの両面に優れたコードを出力しうるものとなっている。実際、2012年の第4四半期には、HHVMの性能は事前コンパイル型のHPHPcに匹敵するようになり、2013年12月にはさらに15%高速化している。 前述のように元々はPHPの実行環境として開発されたHHVMだが、Facebookは2018年9月、PHPのサポートを段階的に終了することを発表した。これは独自のプログラミング言語Hackの登場、並びにHackの構文を取り込み性能も改善されたPHP7の登場によりPHP側の状況が変化したためとみられる。PHPのサポートはHHVM 3.30までとされており、次期メジャーリリースのHHVM 4.0ではサポートは完全に廃止される。利用者にはHackかPHP7または他のPHP実行環境への移行が推奨された。 翌2019年2月12日、予定通りPHPサポートを終了したHHVM 4.0がリリースされた。 ^ a b c d Jason Evans (12月9日2011年). “The HipHop Virtual Machine”. Facebook. 8月2日2014年閲覧。 ^ “Releases” (英語). facebook/hhvm. Facebook. 2019年2月13日閲覧。 ^ a b “facebook/hhvm”. github.com. Facebook. 8月2日2014年閲覧。 ^ “facebook/hhvm”. github.com. Facebook. 8月2日2014年閲覧。 ^ Kaushik Pal (4月28日2014年). “PHP and Zend Engine Internals”. phpbuilder.com. 9月23日2014年閲覧。 ^ “Ending PHP Support, and The Future Of Hack”. hhvm.com. Facebook (9月12日2018年). 11月8日2018年閲覧。 ^ 末岡洋子 (9月14日2018年). “米Facebook、「HHVM」でのPHPサポートを終了する方針を発表”. mag.osdn.jp. 11月8日2018年閲覧。 ^ “The Future of HHVM”. hhvm.com. Facebook (9月18日2018年). 11月8日2018年閲覧。 ^ “Project Update and OSS Support Changes”. hhvm.com. Facebook (2023年10月27日). 2023年12月18日閲覧。 ^ a b c d Drew Paroski (11月29日2012年). “Speeding up PHP-based development with HHVM”. Facebook. 8月2日2014年閲覧。 ^ “Announcement on GitHub removing HPHPc support”. github.com. Facebook (2月19日2013年). 5月24日2013年閲覧。 ^ Cade Metz (6月10日2013年). “How Three Guys Rebuilt the Foundation of Facebook”. Wired. 9月28日2014年閲覧。 ^ “HipHop Bytecode v1 revision 18”. github.com. Facebook (7月31日2014年). 5月24日2013年閲覧。 ^ “facebook/hhvm”. github.com (May 2013). 8月2日2014年閲覧。 ^ “facebook/hhvm”. github.com. Facebook (5月8日2014年). 8月2日2014年閲覧。 ^ Cade Metz (3月20日2014年). “Facebook Introduces 'Hack,' the Programming Language of the Future”. Wired. 4月15日2014年閲覧。 ^ “Hack: a new programming language for HHVM”. code.facebook.com. Facebook (April 2014). 3月23日2014年閲覧。 ^ Josh Lockhart (4月3日2014年). “Facebook’s Hack, HHVM, and the future of PHP”. O'Reilly Media. 8月2日2014年閲覧。 ^ “Hack Manual”. docs.hhvm.com. 3月25日2014年閲覧。 ^ “Hack Manual”. docs.hhvm.com. 3月25日2014年閲覧。 ^ “Hack Manual”. docs.hhvm.com. 4月2日2014年閲覧。 ^ Brady Forrest (6月23日2009年). “Bing and Google Agree: Slow Pages Lose Users”. O'Reilly Media. 9月28日2014年閲覧。 ^ “We are the 98.5% (and the 16%)”. hhvm.com (12月19日2013年). 8月2日2014年閲覧。 ^ “米Facebook、「HHVM」でのPHPサポートを終了する方針を発表”. OSDN (2018年9月14日). 2018年9月14日閲覧。 ^ “「HHVM 4.0」リリース、PHPのサポートを廃止”. OSDN (2019年2月13日). 2019年2月13日閲覧。 Parrot Phalanger Zend Engine 公式ウェブサイト GitHub上のソースコード Internals of HHVM a talk given by a HipHop engineer, Keith Adams, at QCon 2012 HHVM Talk to Wikimedia in March 2013 a talk given by a HipHop engineer, Andrew Paroski, at Wikimedia Scaling with HipHop - YouTube a talk given by a HipHop open source engineer, Sara Goleman, at PHP UK Conference 2013 公式ブログ 公式Facebookページ