未分類

HHVMの深淵：トレース・キャッシュが「ホットパス」を支配する仕組みHackのパフォーマンスを語る際、多くのエンジニアは「HHVMが速い」という事実だけで満足しがちだ。しかし、真のアーキテクトであれば、その背後で何が起きているかを知る必要が...

こんにちは！Hack言語の世界へようこそ。他のプログラミング言語からやってくると、Hackの厳格な静的型システムやHHVM（HipHop Virtual Machine）という独特の実行基盤に、最初はちょっと驚くかもしれませんよね。でも、こ...

やあ。Hack言語とHHVMの深淵へようこそ。普段君たちが書いているそのコードが、実行時にどうやって「爆速の機械語」へと変貌を遂げているのか、気になったことはないかな？今日は、HHVMの心臓部の一つである「トレース・キャッシュ（Trace ...

HHVMの深淵：JITコンパイラにおける例外処理のオーバーヘッドとゼロコスト抽象化の境界線我々は長年、PHPの動的な柔軟性と、C++に匹敵する静的型システムの厳格さを両立させるという矛盾に向き合ってきた。HHVM（HipHop Virtua...

HHVM JITの深淵：型ガード（Type Guards）がマシン語の分岐を「消滅」させるメカニズムHHVMのJITエンジンがなぜ、他の動的言語の実行系を凌駕するパフォーマンスを叩き出せるのか。その秘密は、型アノテーションを単なる「静的検査...

HHVMの深淵：JITコンパイルにおける例外処理のコストと、Hack言語による極限の最適化コードレビューをしていて、次のようなコードに出くすことはないだろうか。// 典型的な「思考停止型」の例外ハンドリングpublic function p...

なぜHackの型は「飾り」ではないのか？HHVM JITが生成する「型ガード」の深淵多くのWebエンジニアが勘違いしていることがある。Hackの型アノテーションを、単なる「静的なエラーチェック機能」や「IDEの補完用」だと思っているなら、君...

こんにちは！Hack言語の世界へようこそ。チーフアーキテクトの私です。他のプログラミング言語、例えばPHPやJava、JavaScriptなんかからHackの世界に飛び込んできた開発者の多くが、「型安全って素晴らしい！」と感動した後に、ふと...

こんにちは。HHVMの深淵へようこそ。多くの開発者はHackを「PHPに型を付けたもの」と誤解していますが、それは氷山の一角に過ぎません。Hackの真価は、その「厳格な型システムが、いかにしてCPUの演算効率を極限まで高めるか」という一点に...

HHVMの深淵：インターフェース呼び出しと多態性JIT最適化の極限メカニズムHHVM（HipHop Virtual Machine）のアーキテクチャ、そしてその上で強固に動作するHackの静的型システムの核心を理解している者であれば、誰もが...