仮想記憶管理を積極的に利用した共有メモリ型マルチプロセッサ向け実時間型ガーベジコレクションの実装

概要

論文の詳細を見る
仮想記憶管理を積極的に利用した共有メモリ型マルチプロセッサ向けの実時間型ガーベジコレクションを提案し,その実装と実行結果について報告する.Lisp等の言語処理系において処理が進む際に枯渇してくるのは実際的には物理メモリページである.本手法は,Snapshot at beginning実時間型コピー方式を基本としているが,再利用可能な物理メモリページを直接的に回収することが可能であり,アロケーションポインタの進む先にすでに物理メモリページが割り付けられているため,ページフォールトが起こりにくい.また,mmap, munmapシステムコールを備える最近のUNIX系OSならば,一般ユーザの権限で容易に実装することができる.本手法は,FreeBSD-4.5で動く2プロセッサSMP構成のAT互換機上に一般ユーザの権限で動作するLisp処理系に組み込む形式で実装されている.実装したLisp処理系を起動すると,提案する手法のガーベジコレクションを行うコレクタプロセスと実際的な処理を行うミューテータプロセスが生成され,ほぼ別々のプロセッサでほとんど並列に動作することができる.その実行結果についても報告する.
2003-02-15