| 講演名 | 1997/3/19 Timed-GCを備えた実時間型Schemeシステム 佐々木 大志, 伊藤 貴康, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | Lispシステムには動的メモリ管理のためにガーベージコレクション(GC)が備えられている。伝統的な一括型GCを用いるとプログラムの実行中に処理の長時間の中断が発生する可能性があり、実時間処理の障害となる。このために、汎用シングルプロセッサの場合に対する実時間型GCとしてIncremental-GCが提案され利用されている。しかし、Incremental-GCはその駆動が時間に基づくものでないために実時間性の観点からは問題がある。タイマによって駆動されるGCとして、Timed-GCおよびTimed-GCとIncremental-GCを融合したSpace-sensitive Timed-GCが提案されている。本論文では、高速汎用シングルプロセッサ(DEC-Alpha)のアセンブリ言語を用いて実現されたTimed-GCを備えた実時間型SchemeシステムRT-Schemeの概要について述べ、ベンチマークプログラムによってRT-Schemeが優れた実時間性を有することを実験的に示す。また、RT-SchemeにSpace-sensitive Timed-GCを実装し、その評価実験も行ったのでIncremental-GCおよびTimed-GCとの比較を行い報告する。 |
| 抄録(英) | Timed-GC is a real-time garbage collection on a single processor machine for effective implementation of real-time Lisp systems. In Timed-GC each GC action is divided into a sequence of quantum GC actions to be invoked by a timer. In this paper we describe our experimental real-time Scheme system(RT-Scheme)based on Timed-GC. The system is an efficient system implemented using DEC-Alpha assembly codes. After explaining an outline of the system we explain how the system is effective and efficient as a rea1-time Lisp system, comparing to Incremantal-GC. Also, the space-sensitive Timed-GC is implemented on RT-Scheme, and its experimental results show that the space-ysensitive Timed-GC has more favorable real-time properties than Timed-GC and Incremental-GC. |
| キーワード(和) | Lisp / 実時間性 / Increment-GC / Timed-GC / Space-sensitive Timed-GC / DEC-Alpha |
| キーワード(英) | Lisp / Real-time system / Incremental-GC / Timed-GC / Space-sensitive Timed-GC / DEC-Alpha |
| 資料番号 | CPSY96-115 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 1997/3/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Timed-GCを備えた実時間型Schemeシステム |
| サブタイトル（和） | |
| タイトル（英） | Real-time Scheme System with Timed-GC |
| サブタイトル（和） | |
| キーワード(1)（和/英） | Lisp / Lisp |
| キーワード(2)（和/英） | 実時間性 / Real-time system |
| キーワード(3)（和/英） | Increment-GC / Incremental-GC |
| キーワード(4)（和/英） | Timed-GC / Timed-GC |
| キーワード(5)（和/英） | Space-sensitive Timed-GC / Space-sensitive Timed-GC |
| キーワード(6)（和/英） | DEC-Alpha / DEC-Alpha |
| 第 1 著者 氏名（和/英） | 佐々木 大志 / Hiroshi Sasaki |
| 第 1 著者 所属（和/英） | 東北大学大学院情報科学研究科 Department of Computer and Mathematical Sciences,Graduate School of Information Sciences,Tohoku University |
| 第 2 著者 氏名（和/英） | 伊藤 貴康 / Takayasu Ito |
| 第 2 著者 所属（和/英） | 東北大学大学院情報科学研究科 Department of Computer and Mathematical Sciences,Graduate School of Information Sciences,Tohoku University |
| 発表年月日 | 1997/3/19 |
| 資料番号 | CPSY96-115 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 597 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |