文献

J-GLOBAL ID：201802230623087159   整理番号：18A1853554

イベント構造の逆転

Reversing Event Structures

著者 (3件)： ULIDOWSKI Irek (Univ. Leicester, Leicester, GBR) ,  PHILLIPS Iain (Imperial Coll. London, London, GBR) ,  YUEN Shoji (Nagoya Univ., Nagoya, JPN)
資料名： New Generation Computing  (New Generation Computing)
巻： 36  号： 3  ページ： 281-306  発行年： 2018年07月 
JST資料番号： Y0555A  ISSN： 0288-3635  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ・並列分散システムの可逆計算は大規模シミュレーションを含む多くの新しい有望な応用を含んでおり,最近,研究者が可逆計算に注目。
・いくつかの異なるタイプのundo計算が最近特定され,因果関係順序を保持するバックトラックや逆転が研究されたり,提案されたりし,復元指向のシステムや可逆デバッグへの適用や試行が進行。
・本論文では,イベント構造として抽象的に表現された並列計算における可逆性を如何にモデル化するかを考察したが,2つの異なるイベント構造,即ち,因果関係と禁止関係により定義される構造と禁止を伴う許可関係により与えられる構造,を考察。
・これら構造を如何に逆転するかの方法を提示し,因果関係と因果関係でない順序の逆転について議論。

シソーラス用語： *計算モデル ,  可逆変化 ,  *並列処理 ,  分散処理 ,  離散事象シミュレーション ,  大規模系 ,  因果律 ,  バックトラッキング ,  デバッギング
準シソーラス用語： *可逆的計算 ,  離散イベントシミュレーション ,  大規模シミュレーション ,  因果関係 ,  バックトラック ,  デバッグ

分類 (2件)： 計算理論  (JB02000A) ,  ディジタル計算機方式一般  (JC02010O)

引用文献 (40件)：

• Aubert, C., Cristescu, I.: Contextual equivalences in configuration structures and reversibility. J. Log. Algebraic Methods Program. 86(1), 77-106 (2017)
• Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures, and processes. Inf. Comput. 171(1), 1-49 (2001)
• Barylska, K., Gogolinska, A., Mikulski, L., Philippou, A., Piatkowski, M., Psara, K.: Reversing computations modelled by coloured Petri nets. In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018, vol. 2115 of CEUR Workshop Proceedings, pp. 91-111 (2018)
• Barylska, K., Koutny, M., Mikulski, L., Piatkowski, M.: Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. 151, 48-60 (2018)
• Bednarczyk, M.A.: Hereditary history preserving bisimulations or what is the power of the future perfect in program logics. Technical Report ICS PAS. Polish Academy of Sciences (1991)

タイトルに関連する用語 (2件)： イベント ,  逆転