Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages

• Item type: Trans(1)
• 公開日: 2024-04-22
• タイトル: Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages
• タイトル / 言語: en
• タイトル: Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: [通常論文] execution stack, closure, exception handling, language design
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: Department of Computer Science and Networks, Kyushu Institute of Technology
• 著者所属: Department of Computer Science and Networks, Kyushu Institute of Technology
• 著者所属: Department of Information and Computer Science, Faculty of Engineering, Kyoto Tachibana University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Networks, Kyushu Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Networks, Kyushu Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Science, Faculty of Engineering, Kyoto Tachibana University
• 著者名: Masahiro, Yasugi; Kento, Emoto; Tasuku, Hiraishi
• 著者名(英): Masahiro, Yasugi; Kento, Emoto; Tasuku, Hiraishi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 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.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.32(2024) (online); ------------------------------
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.32(2024) (online); ------------------------------
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 17, 号 2, 発行日 2024-04-22
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会