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

• Item type: Trans(1)
• 公開日: 2003-02-15
• タイトル: 仮想記憶管理を積極的に利用した共有メモリ型マルチプロセッサ向け実時間型ガーベジコレクションの実装
• タイトル / 言語: en
• タイトル: An Implementation of Real - time Garbage Collection for Shared Memory Multiprocessor Positively Using Virtual Memory Management
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 九州工業大学大学院工学研究科電気工学専攻
• 著者所属(英): en
• 著者所属(英): Department of Electrical, Electronic and Computer Engineering, Kyushu Institute of Technology
• 著者名: 小出, 洋
• 著者名(英): Hiroshi, Koide
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 仮想記憶管理を積極的に利用した共有メモリ型マルチプロセッサ向けの実時間型ガーベジコレクションを提案し，その実装と実行結果について報告する．Lisp 等の言語処理系において処理が進む際に枯渇してくるのは実際的には物理メモリページである．本手法は，Snapshot at beginning 実時間型コピー方式を基本としているが，再利用可能な物理メモリページを直接的に回収することが可能であり，アロケーションポインタの進む先にすでに物理メモリページが割り付けられているため，ページフォールトが起りにくい．また，mmap ，munmap システムコールを備える最近のUNIX 系OSならば，一般ユーザの権限で容易に実装することができる．本手法は，FreeBSD-4.5 で動く2 プロセッサSMP 構成のAT 互換機上に一般ユーザの権限で動作するLisp 処理系に組み込む形式で実装されている．実装したLisp 処理系を起動すると，提案する手法のガーベジコレクションを行うコレクタプロセスと実際的な処理を行うミューテータプロセスが生成され，ほぼ別々のプロセッサでほとんど並列に動作することができる．その実行結果についても報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We propose an real-time garbage collection for a shared memory multiprocessor positively using virtual memory management and present an implementation and results of the execution. Physical memory pages are practically exhausted in order to progress the execution in any computer language systems such as Lisp. The proposed method, based on the snapshot at beginning real-time copying garbage collection, directly collects the physical memory pages which can be recycled. Page-faults will be reduced, because physical memory pages have been already allocated in the point which the allocation pointer will go to. The proposed method can be easily implemented with authority of general user on recent UNIX systems which have mmap and munmap system calls. The proposed method is implemented and built in Lisp processing system with authority of general user on the two processors SMP AT compatible PC with FreeBSD-4.5. When The Lisp processing system is started, a collector process doing the proposed garbage collection and a mutator process doing the practical execution are spawned. Their processes are almost all concurrently executed. We also present the execution results of the implementation.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 44, 号 SIG02(PRO16), p. 37-37, 発行日 2003-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会