文献

J-GLOBAL ID：201802214202172979   整理番号：18A0852250

突然変異可能なチェックポインティングと関連アルゴリズムの研究【JST・京大機械翻訳】

A study of mutable checkpointing and related algorithms

著者 (2件)： Kiehn Astrid (Indian Institute of Technology Mandi, India) ,  Aggarwal Deepanker (University of Wisconsin, Madison, United States)
資料名： Science of Computer Programming  (Science of Computer Programming)
巻： 160  ページ： 78-92  発行年： 2018年 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 多変量チェックポイントアルゴリズム(MC)は,通常,開始プロセスへの依存性を誘導するプロセスのチェックポイントを取るスナップショットアルゴリズムのために立っている。それらは,コミュニケーションによって誘発されたチェックポインティングを有する協調スナップショットアルゴリズムとして分類されるそのようなアルゴリズムを形式的に特定し検証するために,それらの操作意味を容易に表現できる形式的フレームワークを導入した。このフレームワークの中で,アルゴリズムの正当性は不変量に従い,スナップショットがどのように増分的に構築されるかを説明する。MCのために,いくつかの適応の関連するブロッキング待ち行列アルゴリズムは,それらが部分スナップショットを取るとき,必要とされる。しかし,両方とも与えられた枠組みで証明され,この方法では,直接的で構成的な一貫性証明によりそれらを等化することができる。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コミュニケーション ,  *アルゴリズム ,  分散処理 ,  *突然変異 ,  ブロッキング ,  待ち行列 ,  不変量
準シソーラス用語： スナップショット ,  チェックポイント ,  多変量 ,  *チェックポインティング , 【Automatic Indexing@JST】

著者キーワード (5件)： スナップショット ,  チェックポインティング ,  一貫性 ,  形式的検証 ,  分散コンピューティング

分類 (4件)： ディジタル計算機方式一般  (JC02010O) ,  計算機システム開発  (JD02010R) ,  計算理論  (JB02000A) ,  その他のディジタル計算機方式  (JC02050G)

タイトルに関連する用語 (4件)： 突然変異 ,  チェックポインティング ,  アルゴリズム ,  研究