文献

J-GLOBAL ID：201802280771374121   整理番号：18A0204836

アクターシステムを対象としたリバースデバッギングのためのフレームワーク

著者 (2件)： 柴内一宏 (東京工大) ,  渡部卓雄 (東京工大)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 34th  ページ： ROMBUNNO.PPL9-1  発行年： 2017年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： アクターモデルは並行計算モデルの一つであり,アクターと呼ばれる計算主体間の非同期メッセージ通信により計算が行われる。アクターモデルでは原則として状態を共有しないため,データ競合やデッドロックといった単純な並行バグは回避できる。しかしながら,メッセージ到着順序の非決定性に起因するバグは依然として発生しうる。我々はこのようなバグの発見を容易にすることを目的として,アクターモデルにもとづく各種言語および実行系を対象としたデバッギングフレームワークActoverseを設計・実装した。Actoverseはリバースデバッギングおよびメッセージ到着順の制御機構を備えており,メッセージ到着順序の非決定性に伴うバグの発見を支援する。本稿ではActoverseの概要について述べ,Akkaによる例題を通してその有効性について議論する。(著者抄録)

シソーラス用語： *デバッギング ,  *計算モデル ,  オブジェクト指向プログラミング ,  メッセージ交換 ,  非決定性 ,  競争 ,  デッドロック ,  計算機プログラミング ,  モデル検査 ,  *フレームワーク【ソフトウェア開発】
準シソーラス用語： アクターモデル ,  データ競合 ,  デバッグ ,  プログラムデバッグ ,  リバースデバッギング ,  並列プログラミング

分類 (1件)： システムプログラミング一般  (JD03010Y)

タイトルに関連する用語 (2件)： アクター ,  フレームワーク