未分類

HackのShape型とJITの最適化：連想配列の動的アクセスを構造体アクセスに昇格させるメカニズムHHVM（HipHop Virtual Machine）のアーキテクチャ、そしてHack言語の静的型システムの核心に踏み込むとき、私たちは常...

鉄の型が支配するレジスタ：HHVM JITにおける型推論とグラフ彩色の真実コードがCPUのレジスタにどう配置されるかを知らずに、Hackのパフォーマンスを語ることは許されない。多くの開発者は「型があるから速い」と安易に結論づけるが、実際には...

HHVMの深淵：Repo Authoritative ModeがJITの「空白」を埋める仕組みHHVMの真価を語る際、多くの者は単に「PHPより速い」という表層的な比較に終始する。だが、本質を理解するエンジニアにとって、HHVMとは「動的言...

コードレビューの現場から：なぜその「配列アクセスの嵐」がシステムを殺すのかコードレビューをしていて、次のようなPHP時代の悪習を引きずったHackのコードに出くわすたびに、私は強烈なめまいを覚える。// 最悪のアンチパターン：動的キーアクセ...

JITの背信：HHVMにおけるデオプティマイゼーションの深淵と、型による防壁HHVMのJITコンパイラは、単なるバイトコードの機械語翻訳機ではない。それは実行時の動的なプロファイリングに基づき、推論された「型」という名の仮説を信じ切る、極め...

HHVMの真髄：Repo Authoritative ModeでJITの「空白時間」をゼロにするコードを書くとき、君たちは「実行時のコスト」をどこまで解像度高くイメージできているか？HHVMは単なるインタープリタではない。JIT（Just-...

こんにちは！Hack言語の世界へようこそ。他のプログラミング言語、例えばPHPやJavaScriptからやってくると、「連想配列（キーと値のペア）」って本当に便利で、ついついどこでも使いたくなりますよね。でも、Hackの世界では、その「何で...

Shape型という名の「静的迷宮」：HHVMにおけるメモリレイアウト最適化の深淵Hack言語を単なる「PHPの強化版」と捉えているのであれば、君の認識は浅い。HHVMの心臓部において、`shape`型が単なる連想配列のエイリアスではないこと...

HHVMの心臓部を掌握せよ：Repo Authoritative Modeで実現する「爆速」の真実こんにちは。Hackの深淵へようこそ。普段、私たちが書いているHackコードがどのようにマシンコードへと変換され、なぜあれほどまでに高速に動作...

HHVMのJIT生成コードにおけるレジスタ割り当て戦略：Hackの厳格な型情報がもたらす機械語レベルの極限最適化HHVM（HipHop Virtual Machine）のアーキテクチャ、そしてそこで稼働するHack言語の静的型システムを真に...