無制限の寿命を持つ単一呼出継続

• Item type: Journal(1)
• 公開日: 1996-01-15
• タイトル: 無制限の寿命を持つ単一呼出継続
• タイトル / 言語: en
• タイトル: Indefinite One - time Continuation
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文（論文賞受賞）
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: プログラミング技術
• 著者所属: 豊橋技術科学大学情報工学系
• 著者所属: 豊橋技術科学大学情報工学系
• 著者所属(英): en
• 著者所属(英): Department of Informartion and Computer Sciences, Toyohashi University of Technology
• 著者所属(英): en
• 著者所属(英): Department of Informartion and Computer Sciences, Toyohashi University of Technology
• 著者名: 小宮, 常康; 湯淺, 太一
• 著者名(英): Tsuneyasu, Komiya; Taiichi, Yuasa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 継続とはある時点以降の残りの計算を表したものである。Lispの一方言であるSchemeでは、継続を生成する関数が用意されており、継続をデータとして扱うことができる。これによって、非局所的脱出やコルーチン、マルチタスクなど様々な制御構造を実現することができる。スタックを用いた標準的なScheme処理系ではスタックの内容をヒープに退避することによって継続を生成し、呼び出し時にはそれをスタックに復元する。そのため、継続の生成と呼び出しの処理は重い。そこで本論文では、ほとんどの継続の便用法において、その呼び出しは一度に限られることに注目し、呼び出しは一度に限るが、いつどこからでも呼び出すことができる継続を提案する。この継続を用いることにより、継続を用いて実現されるほとんどのプログラムに対して、性能を改善することができる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A continuation represents the rest of computation from a given point. Scheme, a dialect of Lisp, provides a function to generate a continuation as a first-class object. Using Scheme continuation, we can express various control structures such as non-local exits, coroutines and multitasks. In stack-based Scheme implementations, continuations are implemented by saving the contents of the control stack into the heap when a continuation is captured and by restoring the control stack from the heap when the continuation is invoked. Therefore, the operation of capturing and invoking continuations is heavy. In this paper, based on the fact that each continuation is invoked only once in most applications, we propose indefinite one-time continuations which can be invoked only once but which can be invoked at any time. Using these continuations, we can improve performance of application programs of Scheme continuations.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 37, 号 1, p. 92-100, 発行日 1996-01-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764