WEKO3
アイテム
Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages
http://hdl.handle.net/10228/0002001198
http://hdl.handle.net/10228/00020011989554400b-2dea-4d4e-bda8-ba05722df695
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
10443840.pdf (2.2 MB)
|
|
| Item type | 共通アイテムタイプ(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-01-31 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages | |||||||||||||||
| 言語 | en | |||||||||||||||
| 著者 |
八杉, 昌宏
× 八杉, 昌宏
WEKO
24175
× 江本, 健斗
WEKO
35570
× Hiraishi, Tasuku
|
|||||||||||||||
| 著作権関連情報 | ||||||||||||||||
| 権利情報 | Copyright (c) 2024 Information Processing Society of Japan | |||||||||||||||
| 抄録 | ||||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||||
| 内容記述 | Mechanisms for legitimate execution stack access (LESA for short) provide legitimate access to values of callers' variables sleeping deeply in a C-like execution stack. LESA mechanisms enable efficient implementations of high-level services that require dynamic rearrangement of running software, such as garbage collection, first-class continuations, and dynamic load balancing, for implementing efficient and safe high-level languages. As a nested-function-style LESA mechanism, we can create a closure from a nested function definition and indirectly call the nested function via a pointer to the closure, achieving access to values of the variables captured in the closure-creation-time environment. In this study, we propose restartable exception handling mechanisms as new LESA mechanisms, which provide callable exception handlers without non-local exiting; handlers are found on the basis of dynamic scope without requiring pointers. In addition, the LESA mechanisms can be used at multiple levels; e.g., garbage collection can be started during the creation of a first-class continuation. In this paper, we design core languages that feature leveled restartable exception handling mechanisms and discuss their properties and implementations. | |||||||||||||||
| 言語 | en | |||||||||||||||
| 書誌情報 |
en : Journal of Information Processing 巻 32, p. 436-450, 発行日 2024 |
|||||||||||||||
| 出版社 | ||||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||
| 言語 | ja | |||||||||||||||
| キーワード | ||||||||||||||||
| 主題Scheme | Other | |||||||||||||||
| 主題 | execution stack | |||||||||||||||
| キーワード | ||||||||||||||||
| 主題Scheme | Other | |||||||||||||||
| 主題 | closure | |||||||||||||||
| キーワード | ||||||||||||||||
| 主題Scheme | Other | |||||||||||||||
| 主題 | exception handling | |||||||||||||||
| キーワード | ||||||||||||||||
| 主題Scheme | Other | |||||||||||||||
| 主題 | language design | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | eng | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||
| 資源タイプ | journal article | |||||||||||||||
| 出版タイプ | ||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||
| DOI | ||||||||||||||||
| 識別子タイプ | DOI | |||||||||||||||
| 関連識別子 | https://doi.org/10.2197/ipsjjip.32.436 | |||||||||||||||
| ISSN | ||||||||||||||||
| 収録物識別子タイプ | EISSN | |||||||||||||||
| 収録物識別子 | 1882-6652 | |||||||||||||||
| 査読の有無 | ||||||||||||||||
| 値 | yes | |||||||||||||||
| 研究者情報 | ||||||||||||||||
| URL | https://hyokadb02.jimu.kyutech.ac.jp/html/100000662_ja.html | |||||||||||||||
| 論文ID（連携） | ||||||||||||||||
| 値 | 10443840 | |||||||||||||||
| 連携ID | ||||||||||||||||
| 値 | 12578 | |||||||||||||||
