Mozilla Hacksの「A crash course in memory management」は、ArrayBufferとSharedArrayBufferの解説シリーズの第1回です。主題は低レベルAPIそのものではなく、その前提になる「メモリとは何か」「プログラムはいつメモリを確保し、いつ手放すのか」という基礎の整理です。
記事は、メモリを同じ大きさの箱が並んだものとして説明します。値を保存するには、その値をビット列に変換し、空いている場所を探して置く必要があります。数字だけでなく文字も、UTF-8のようなエンコーディングを通して数値化され、取り出すときには逆向きにデコードされます。
記事の要点
- JavaScriptでは、JSエンジンがメモリ操作を仲介する。 変数やオブジェクトを作ると、エンジンが値を内部表現へ変換し、置き場所を確保します。
- 自動メモリ管理では、到達不能になった値をガベージコレクションが回収する。 開発者は直接メモリを解放しませんが、その分、実行時のオーバーヘッドや性能の読みにくさが生まれます。
- Cのような手動メモリ管理では、malloc/freeで確保と解放を明示する。 細かく制御できる反面、解放忘れはメモリ不足につながり、早すぎる解放はバグやセキュリティ問題になります。
- WebAssemblyの文脈では、この違いが重要になる。 CなどをWebAssemblyへコンパイルすると、JavaScriptとは異なるメモリ管理モデルがブラウザ内に入ってくるためです。
リンク先も読むと見える流れ
同じシリーズの第2回「A cartoon intro to ArrayBuffers and SharedArrayBuffers」では、ArrayBufferがJavaScriptの中で「バイト列として扱うメモリ」を提供する仕組みとして説明されています。通常の配列とは違い、ArrayBufferそのものは値の型や区切りを知らず、TypedArrayなどのviewを通して解釈します。
さらに第3回「Avoiding race conditions in SharedArrayBuffers with Atomics」へ進むと、SharedArrayBufferで複数のworkerが同じメモリを読んだり書いたりできる代わりに、race conditionの問題が出てくることがわかります。Atomicsは、単一操作の競合、ロック、命令の並べ替えといった問題を抑えるための土台として扱われています。
補助リンクとして、2進数の説明やUTF-8の説明、そしてWebAssembly入門も参照されています。これらを合わせると、この記事は単なるメモリ管理の入門ではなく、WebAssembly、ArrayBuffer、SharedArrayBufferへ進むための地ならしになっています。
気づき
この記事で大事なのは、「自動管理か手動管理か」という二択だけではなく、メモリの責任がどこに置かれているかを意識することだと感じました。JavaScriptでは多くの責任をエンジンが引き受けますが、ArrayBufferを使うと開発者側に少しだけ低レベルな責任が戻ってきます。SharedArrayBufferではその責任がさらに広がり、複数の実行主体が同じメモリを扱うため、Atomicsのような同期の考え方が必要になります。
つまりこの第1回は、後続記事を読むための用語解説ではなく、「便利な抽象化の下で、誰がメモリの寿命を管理しているのか」を見直す記事です。普段のJavaScriptでは見えにくい部分を先に理解しておくと、ArrayBufferやWebAssemblyの設計意図もかなり読みやすくなります。
コメントを残す