• 検索結果がありません。

ビットマップマーキングを利用したマークコンパクトごみ集めのJikes RVMへの実装

N/A
N/A
Protected

Academic year: 2021

シェア "ビットマップマーキングを利用したマークコンパクトごみ集めのJikes RVMへの実装"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)情報処理学会論文誌. プログラミング. Vol.6 No.1 27 (Jan. 2013). 発表概要. ビットマップマーキングを利用した マークコンパクトごみ集めの Jikes RVM への実装 森川 和哉1,a). 鵜川 始陽1. 岩崎 英哉1. 2012年6月21日発表. Jikes RVM 上で,ビットマップマーキングを利用したマークコンパクトごみ集めを実装し評価した. マークコンパクトごみ集めで広く使われている Lisp 2 アルゴリズムでは,オブジェクトの移動処理のため に,生きているオブジェクトをアドレス順に 2 回探索する.本手法は,オブジェクトの生存情報をビット マップを使って保持し,そのビットマップをスキャンすることによって,生きているオブジェクトを探索 する.生きているオブジェクトが少ない場合,ビットマップ上ではゼロビットが連続しているため,この 探索を高速化することができる.提案するごみ集めの性能を DaCapo ベンチマークを用いて評価したとこ ろ,プログラムによっては,ヒープの使用率が低い場合に,Jikes RVM に標準で搭載されているマークコ ンパクトごみ集めよりも優れた結果を示した.. An Implementation of Mark-compact Garbage Collection Using Bitmap Marking Technique on Jikes RVM Kazuya Morikawa1,a). Tomoharu Ugawa1. Hideya Iwasaki1. Presented: June 21, 2012. We have implemented and evaluated a mark-compact garbage collection using bitmap marking on Jikes RVM. The Lisp 2 algorithm, which is widely used in mark-compact garbage colletion, searches twice for live objects in the address order. Our garbage collection holds the locations of live objects in the bitmap by marking their corresponding bits. Then it scans the bitmap for live objects. In the case where the number of live objects is small, the bitmap can be scanned quickly because it has long sequences of zero bits. According to the results of DaCapo benchmarks, our garbage collection is faster than the one that has been implemented on Jikes RVM, depending on programs and heap usage.. 1. a). 電気通信大学大学院情報理工学研究科 Graduate School of Infomatics and Engineering, The University of Electro-Communications, Chofu, Tokyo 182–8585, Japan [email protected]. c 2013 Information Processing Society of Japan . 27.

(2)

参照

関連したドキュメント

We show that a functor ψ defined on the category S X of open rela- tively compact subanalytic subsets of a real analytic manifold X with values in an abelian category and satisfying

Assuming the ergodicity of the collection of conductances and a few other technical conditions (uniform ellipticity and polynomial bounds on the tails of the jumps) we prove a

We prove that the spread of shape operator is a conformal invariant for any submanifold in a Riemannian manifold.. Then, we prove that, for a compact submanifold of a

In this section we outline the construction of an algebraic integrable system out of non- compact Calabi–Yau threefolds, called non-compact Calabi–Yau integrable systems, and show

For example, a maximal embedded collection of tori in an irreducible manifold is complete as each of the component manifolds is indecomposable (any additional surface would have to

— For a collection of sections of a holomorphic vector bundle over a complete intersection variety, we give three expressions for its residues at an isolated singular point..

For a compact complex manifold M , they introduced an exact cube of hermitian vector bundles on M and associated with it a differential form called a higher Bott-Chern form.. One

5. Scaling random walks on graph trees 6. Fusing and the critical random graph 7.. GROMOV-HAUSDORFF AND RELATED TOPOLOGIES.. compact), then so is the collection of non-empty