並列論理言語型KL1の多重参照管理によるガーベジコレクション
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,並列論理型言語KL1のデータの参照数管理を行うことによるインクリメンタルGC方式を提案し,その方式の評価結果を報告する.ICOTでは,並列推論マシンPIMの研究開発を行っている.PIM上の言語は,並列論理型言語KL1である.KL1は副作用を持たない言語であるため,単純に実装すると,メモリを単調かつ急激に消費してしまい,ガーベジコレクションを頻繁に引き起こす.そこで,筆者らは,データ自体ではなく,そのデータヘのポインタにデータの参照数を示す1ビットのフラグを設け,このフラグをコンパイラと処理系の両方で管理することにより,参照がなくなった時点で積極的にデータを回収するインクリメンタルGC方式を提案した.この方式は,参照数情報をポインタ側に持つため,参照数更新のための余分なメモリ参照が不要で,マルチプロセッサ上での効率的な実現が容易である.本論文では,この方式を汎用計算機上に作成した処理系を用いて評価した結果を述べる.インクリメンタルGCを行わない場合に比較して,コード量の増加もわずかで,多くの場合,半分程度のヒープ消費量でプログラムを実行できることが分かった.また,回収されるデータの生存期間は非常に短く,キャッシュヒット率の向上も望めることが分かった.実行時間についても全体のメモリ量に対してアクティプセルの割合が大きいほど,一括型GCの回数を減らせる本方式が有利であることを示した.
- 一般社団法人情報処理学会の論文
- 1990-02-15
著者
関連論文
- Bouzy's 5/21 algorithmを用いたDf-pn+探索の詰碁への適用
- 対訳辞書のグラフ表現を用いた日英対訳テキストの発見(文書処理,質問応答)
- パネル討論会 : Adaとどうつきあうか : 昭和56年後期第23回全国大会報告
- 並列処理のための効率的なトポロジ推定(HPC-10 : 適応環境での通信)
- グリッドチャレンジテストベッドの構築と運用 : グリチャレテストベッドの作り方(HPC-3 : 大規模運用システム(1))
- PIMOSの資源管理方式
- 並列推論マシンPIM/pの要素プロセッサにおける分岐機能の高速化のためのアーキテクチャ
- 分散環境における構造体管理
- MRB-GCの評価 : アクティブセル量とヒープ消費
- KL1クローズインデキシング方式の評価
- 高いヒープ使用率の下で高速なインクリメンタルGC
- ジオメトリプロセサ Procyonのアーキテクチャ
- ジオメトリプロセサProcyon : ソフトウェア開発環境
- ジオメトリプロセサProcyon : 概要
- KLIC分散メモリ処理系におけるメッセージ通信の実現と評価
- KLIC処理系の分散メモリ実装方式
- ポータブルKL1処理系KLICの概要
- A'UM-90のボラタイルオブジェクトの実装方式
- ストリームに基づく並列オブジェクト指向言語A'UM-90 : ストリーム分散実装方式
- PIMOSのトレーサ
- ロード命令の先行実行の科学技術計算プログラムによる評価
- ロード命令の先行実行とその評価
- 並列論理型言語KL1のクローズインデキシング方式
- 並列論理言語型KL1の多重参照管理によるガーベジコレクション
- 3H-9 値予測を行う制御フロー並列実行に関する基礎検討
- マルチPSI/V2におけるコード形式について
- KL1のデバッグサポート機能
- ネットワークトポロジーを考慮した効率的なバンド幅推定手法(HPC-11:通信,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 自動取得したネットワーク構成情報に基づくMPI集合通信(HPC-1:MPI,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 4N-2 KLICへのデータ並列処理機能の導入について
- 3K-2 汎用並列組合せ最適化パッケージの構想
- スタック領域が不要な深さ優先順コピー型ゴミ集め方式
- KLICの共有メモリ並列実装方式
- KLIC処理系核の評価
- 分散環境におけるデッドロックのWTC方式を用いた検出方式
- PIMOSのセルフ・コンパイラ
- PIMOSの評価
- スーパスカラプロセッサ設計支援ツールの構築とその適用事例
- Java VMのGCの高速化
- Java VMのGCの高速化
- Java JITコンパイラの性能評価
- Java^ JITコンパイラの試作
- コンパイラによる静的分岐予測
- ^toolによるスーパスカラプロセッサの評価
- 並列論理型言語FGHCのVLIW計算機での実行方式
- Simon L.Peyton Jones 著, "The Implementation of Functional Programming Languages", Prentice Hall, 約 \3,600(ペーパバック), 445pp., 1987
- 論理式の充足可能性問題における変数の依存関係に基づく効率的な変数決定順序(HPC-5: 数値計算アルゴリズム(2))
- 耐故障並列計算を支援する自律的な故障検知機構(高信頼)
- 複数サブネット環境における自律的な故障検知機構(OS-4: 通信システム, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- Phoenixプログラミングモデルにおける故障検知ライブラリ(HPC-11 : グリッド(3))(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- HPC向け大規模クラスタシステムにおける省電力機能の実装
- HPC向け大規模クラスタシステムにおける省電力機能の実装
- ロード・アドレス予測方法の検討
- トポロジを考慮しソース選択を行うデータ転送スケジューラ
- マイグレーションを支援する分散集合オブジェクト
- D-5-4 ベイズ理論を用いた個人の興味・嗜好を反映するニュース・ウェブログ閲覧システム(D-5. 言語理解とコミュニケーション, 情報・システム1)
- 分岐パス情報に基づく分岐予測方式の提案
- 動的にチャネルが増減する環境下での分散スナップショットアルゴリズム
- MPI/GXP : 広域環境用の適応的なメッセージパッシングシステム(HPC-2 : 通信方式)
- 適応的並列計算を支援するプロトコルの設計と正当性の証明(HPC-10 : 適応環境での通信)
- スーパスカラとLIWの性能比較
- ロード命令の先行実行とその評価
- スーパスカラプロセッサの性能評価 : Para tool
- 抽象化は効率の源泉である
- 単純な並列処理はマイナーなのだ
- 並行・並列プログラミングは好きですか?
- BI-4-2 インタークラウドプロビジョニングに向けた計算リソースモデル(BI-4.高信頼化・省電力化に向けたクラウド連携技術,依頼シンポジウム,ソサイエティ企画)