導入
Haskellで大規模なデータを扱う際、メモリ使用量が想定以上に膨れ上がって困ったことはありませんか？その原因の一つが、CPUがデータに効率よくアクセスするために自動挿入される「パディング（余白）」です。本記事では、データアライメントの仕組みを理解し、UNPACKプラグマを活用してメモリ消費を劇的に改善するテクニックを解説します。
基礎知識
CPUはメモリからデータを読み込む際、特定のサイズ（64bit環境なら通常8バイト）の倍数になっているアドレスからアクセスすると最も高速に動作します。これをアライメントと呼びます。
Haskellのデータ型（Product Type）を定義すると、GHCは各フィールドをこの境界に合わせるために、間に見えない「パディング」を挿入します。例えば、小さなデータ型を複数持つ大きな構造体を作る際、このパディングが積み重なると、実際のデータ量よりも大幅に多くのメモリを消費することになります。
実装/解決策
この問題を解決する強力なツールが「UNPACKプラグマ」です。UNPACKをフィールドに指定することで、GHCは「ポインタを経由せずに、そのデータを親の構造体に直接埋め込む」ようになります。これにより、不要なパディングが排除され、メモリ効率が向上するだけでなく、間接参照（ポインタの追いかけ）が減ることで実行速度の向上も期待できます。
サンプルプログラム
以下のコードは、UNPACKを使用したデータ定義の例です。
-- 以下のコードをコンパイルする際は、最適化オプション(-O2)を有効にしてください。
data Point = Point
{ x :: {-# UNPACK #-} !Double -- Doubleを直接埋め込み、パディングを削減
, y :: {-# UNPACK #-} !Double -- 正格評価（!）と組み合わせるのが定石
} deriving (Show)
-- 複数のフィールドを持つ複雑な構造の例
data Player = Player
{ playerId :: {-# UNPACK #-} !Int
, playerPos :: !Point -- Point自体がUNPACKされているため、これも効率的
} deriving (Show)
main :: IO ()
main = do
let p = Point 1.0 2.0
print p
-- 解説: ! を付けることで正格評価を強制し、
-- UNPACK と組み合わせることで、メモリ上の配置を最適化します。
応用・注意点
UNPACKを活用する際の注意点をいくつか挙げます。
1. 正格評価との併用: UNPACKは、基本的には正格なフィールドに対してのみ有効です。遅延評価のフィールド（`!`がないもの）には適用できません。
2. 過剰な最適化の回避: 全てのデータ型にUNPACKを適用すれば良いわけではありません。再帰的なデータ構造（リストなど）にUNPACKを適用しようとすると、コンパイルエラーになるか、メモリレイアウトが成立しなくなります。サイズが確定している小さな型に対して使うのが定石です。
3. 計測を忘れずに: GHCの `-ddump-simpl` や `-ddump-stg` オプションを使うと、実際にデータがどのように配置されているかを確認できます。推測で最適化せず、メモリ使用量を確認しながら適用しましょう。
データアライメントを意識した定義を行うだけで、Haskellのパフォーマンスは大きく変わります。ぜひ、既存のデータ型を見直してみてください。
コメント