未分類

【HHVM内部探訪】JITを減速させる「デオプティマイゼーション」の正体と、型推論を助ける美しいHackコードの書き方こんにちは！ HackとHHVMの深遠な世界へようこそ。PHPからステップアップしてきた方や、TypeScript、Jav...

投機的最適化の深淵へ：HHVMの「デ・オプティマイゼーション」を制する者だけが、Hackの真の速度を享受できるHackの設計思想を理解しているか？単に型を書けばいいのではない。HHVMが動的に生成する機械語の「裏側」を想像し、型チェッカーの...

HHVMの深淵：JITが殺す「メモリバリア」と、その先のパフォーマンスHackのランタイムであるHHVMにおいて、パフォーマンスの限界を追求することは、単にアルゴリズムを洗練させることではない。それは、CPUのパイプラインを止める「メモリバ...

HHVMトレースベースJITの深淵：ホットパス検出のメカニズムとHackコードの最適設計こんにちは。テックリードの私だ。コードレビューの場で「なぜその書き方ではHHVMのJITが効かないのか」「どう書けばトレースが途切れずにネイティブマシン...

こんにちは！Hackの世界へようこそ。新しい言語を学ぶときはワクワクしますよね。特にHackは、Facebook（Meta）の巨大なシステムを支えるために生まれた「徹底的に高速化を追求した言語」です。今日フォーカスするのは、Hackの型シス...

HackのShape型がもたらす「真の最適化」：動的配列からの脱却とメモリの静的化Hackを扱うエンジニア諸君。君たちは「型」をただのバグ防止策だと思っていないか？もしそうなら、君たちはHHVMが提供する強力な最適化の恩恵を半分も受けていな...

こんにちは！HHVM（HipHop Virtual Machine）の内部挙動や、Hack言語の厳格な型システムの世界へようこそ。他の言語からHackの世界に飛び込んできた開発者の中には、「なぜHackはこれほどまでに実行速度が速いのか」「...

こんにちは！Hack言語の世界へようこそ。世界最高峰のHHVMアーキテクチャや型システムを日々いじり倒している私ですが、今日は皆さんに、本番環境のパフォーマンスを極限まで引き出す「Repo Authoritative Mode（レポ権威モー...

Repo Authoritative Mode：HHVMの静的進化がもたらす「定常状態」の極致Hackを単なる「PHPの進化系」だと誤解していないか？ もし君が、HHVMを単なるインタープリタの高速化エンジンだと捉えているなら、それは重大な...

HHVMの深淵：JITが隠蔽するメモリバリアと、並行処理の「正解」Hackのコードを書くとき、君たちはHHVMが裏で何をしているか意識しているか？「PHPの延長」という甘い認識で書かれたマルチスレッド処理は、いずれ必ずデータ競合という名の悪...