未分類 【入門編】Hackの非同期処理（Awaitable）とJITのスタック管理：コンテキストスイッチのオーバーヘッドを削減する仕組み – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
こんにちは！Hackの世界へようこそ。PHPの派生言語として生まれながら、Facebook（現Meta）の超巨大なインフラを支えるために進化を遂げた言語「Hack」。その圧倒的なパフォーマンスの秘密は、強固な静的型システムと、裏側で動くWe...
未分類
未分類 未分類 【テクニカル・上級編】HHVMのJITコンパイルにおける「SIMD命令」の自動生成：Hackのコレクション操作を高速化する – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
はじめに：動的言語の限界を穿つHHVMのJITとSIMDPHPからの脱却と静的型システムへの進化を遂げたHack言語において、その真価は単なる「コンパイル時の安全性の獲得」にとどまらない。HHVM（HipHop Virtual Machin...
未分類 【実務・中級編】HHVMのJITコンパイルにおける「SIMD命令」の自動生成：Hackのコレクション操作を高速化する – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
HHVM JITの深淵：SIMD自動生成を極め、Hackコレクション操作を限界突破させるプロダクションのコードレビューで、このような実装を目にすることはありませんか？// 典型的な「動くが激遅」なアンチパターンfunction proces...
未分類 【入門編】HHVMのJITコンパイルにおける「SIMD命令」の自動生成：Hackのコレクション操作を高速化する – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
こんにちは、Hack/HHVMの世界へようこそ。私は長年、HHVMのコアロジックや静的型チェッカー「hh_client」の内部構造に携わってきたアーキテクトです。皆さんはHackでコードを書いているとき、「なぜHackはPHPよりも圧倒的に...
未分類 【テクニカル・上級編】HHVMのJITにおける「投機的最適化」の失敗と再コンパイル：デオプティマイゼーションを避けるコードの書き方 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
HHVM JITの深淵：投機的最適化の落とし穴とデオプティマイゼーション回避のための型戦略私は長年、HipHop Virtual Machine (HHVM) の心臓部、すなわちJITコンパイル構造と格闘してきた。その中でも特に、JITがパ...
未分類 【実務・中級編】HHVMのJITにおける「投機的最適化」の失敗と再コンパイル：デオプティマイゼーションを避けるコードの書き方 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
序論：JITが「賭け」に負ける時、あなたのコードは死ぬ諸君、Hack/HHVMの世界へようこそ。我々が`hh_client`という厳格な門番を愛しているのは、単にバグを未然に防ぐためだけではない。その真の価値は、実行基盤であるHHVMのJI...
未分類 【入門編】HHVMのJITにおける「投機的最適化」の失敗と再コンパイル：デオプティマイゼーションを避けるコードの書き方 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
こんにちは！Hackの世界へようこそ。普段、私たちが書いているHackのコードは、HHVM（HipHop Virtual Machine）という非常に強力なエンジンの上で動いています。Hackを使い始めたばかりの皆さんは、「型をしっかり書く...
未分類 【テクニカル・上級編】Hackのトレイト（Traits）とJIT：多重継承的な構造がメソッドルックアップに与える影響 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
序論：トレイトという名の「幻影」を解体するHackにおけるトレイト（Traits）は、表層的には「コード再利用の手段」あるいは「多重継承の代用」として語られる。しかし、HHVM（HipHop Virtual Machine）の心臓部を司る我...
未分類 【テクニカル・上級編】HHVMのJITにおける型ガードの生成ルール：なぜHackの型アノテーションがマシン語の分岐を減らすのか – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
HHVMの深淵：型ガードの消滅がもたらすマシン語レベルの最適化Hackの型システムを単なる「IDEの補助輪」だと考えているなら、それはHHVMの心臓部で何が起きているかを知らない証拠だ。私は長年、HHVMのJIT（Just-In-Time）...
未分類 【実務・中級編】Hackのトレイト（Traits）とJIT：多重継承的な構造がメソッドルックアップに与える影響 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
トレイトの深淵：HHVM JITはあなたの「再利用性」をどう裁いているかHackにおける`trait`（トレイト）は、多重継承のジレンマを回避しつつコードを再利用するための強力な武器だ。しかし、多くのエンジニアが「単なるコードのコピペの自動...