WEKO3
アイテム
異常状態の大域的検出と要求駆動型例外処理に関する一考察
https://ipsj.ixsq.nii.ac.jp/records/25657
https://ipsj.ixsq.nii.ac.jp/records/25657acf6479a-bc1b-4fe0-a4c0-553cc2cd1169
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS02092002.pdf (155.2 kB)
|
Copyright (c) 2003 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2003-02-27 | |||||||
| タイトル | ||||||||
| タイトル | 異常状態の大域的検出と要求駆動型例外処理に関する一考察 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Global Exception Detection and Demand Driven Exception Handling | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 九州大学システムLSI研究センター | ||||||||
| 著者所属 | ||||||||
| 九州大学工学部電気情報工学科 | ||||||||
| 著者所属 | ||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||
| 著者所属 | ||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Computing and Communications Center, Kyushu Univ. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Electrical Engineering and Computer Science, Faculty of Engineering, Kyushu University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science and Electrical Engineering, Kyushu University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science and Electrical Engineering, Kyushu University | ||||||||
| 著者名 |
中西, 恒夫
× 中西, 恒夫
|
|||||||
| 著者名(英) |
Nakanishi, Tsuneo
× Nakanishi, Tsuneo
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 安全で頑健なシステムを構築する上で例外処理は重要であるが，その漏れのない記述は極めて難しく繁雑である．本稿では例外処理を異常状態の検出と異常状態からの回復の二局面に分けて考察する．異常状態を漏れなく検出するべく，プログラムのコード断片が満足すべき条件を宣言的に記述し，条件を逸脱したときにはすぐに例外処理を起動する例外処理方式を考える．またそのときの異常状態検出コードの自動生成について述べる．さらに異常状態からの回復処理に見られる冗長性を除くべく，要求駆動型の例外処理を考える． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Exception handling is essential to construct safe and robust systems, however, its implementation is difficult and boring. Exception handling consists of detection of abnormal situations and recovery from those situations. We consider an exception handling model such that exception handlers are invoked as soon as a program breaks invariant conditions, described in a declarative manner, to be preserved. Code generation for detecting exceptions under the exception handling model is also described. Moreover, we consider demand driven exception handling to eliminate redundant codes which are often shown in exception handlers. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10444176 | |||||||
| 書誌情報 |
情報処理学会研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2003, 号 19(2002-OS-092), p. 7-13, 発行日 2003-02-27 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
