文献

J-GLOBAL ID：202002246961863981   整理番号：20A1865891

不揮発性メモリのためのネスティングサフェ回復可能線形化可能モジュール構築【JST・京大機械翻訳】

Nesting-Safe Recoverable Linearizability Modular Constructions for Non-Volatile Memory

著者 (3件)： Attiya Hagit (Technion, Haifa, Israel) ,  Ben-Baruch Ohad (Ben-Gurion University, Be’er Sheva, Israel) ,  Hendler Danny (Ben-Gurion University, Be’er Sheva, Israel)
資料名： ACM Proceedings  (ACM Proceedings)
号： PODC ’18  ページ： 7-16  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モジュール性を可能にする非揮発性メモリのための新しい抽象的個別プロセス衝突回復モデルを提示し,複雑な回復可能物体を,より単純な回復可能ベースオブジェクトからモジュール方式で構築できるようにした。このモデルの枠組みの中で,営巣-安全回復可能線形可能性(NRL),すなわち,回復可能オブジェクトを営巣する要求を捉える新しい正しさ条件を定義した。形式的に,NRLは回復コードが完了するまで(多重故障と回復試みの後)成功するまで回復コードを拡張できる。以前の正当性定義とは異なり,NRL条件は,回復に続いて,実装された(高レベル)回復可能操作が,ベースオブジェクト操作の呼び出しを完了し,その応答を獲得することができることを意味する。ネスト-安全回復可能プリミティブのためのアルゴリズム,すなわち,読取,書き込み,テストおよびセットおよび比較-スワップのような広く使用されたプリミティブ共有メモリ演算の復元可能バージョンを提示し,それはより高いレベルの回復可能オブジェクトを実装するために使用することができる。次に,これらの回復可能ベースオブジェクトが回復可能対物を構築するためにどのように使用できるかを例示した。最後に,読取り,書き込みおよびTAS操作からの回復可能テストおよびセット(TAS)オブジェクトの待たない実装に関する不可能性な結果を証明し,その結果,著者らのモデルが回復可能な同時オブジェクトの限界の厳密な解析も促進することを実証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  故障 ,  演算 ,  多重化 ,  線形性 ,  営巣 ,  *不揮発性メモリ ,  自由度 ,  共有メモリ
準シソーラス用語： 物体操作 ,  入れ子構造 ,  スワップ , 【Automatic Indexing@JST】

著者キーワード (6件)： 並行性 ,  ロック-自由度 ,  マルチコアアルゴリズム ,  非ブロッキング ,  共有メモリ ,  待ち時間

分類 (3件)： 通信網  (ND07030A) ,  計算機システム開発  (JD02010R) ,  光通信方式・機器  (ND10000B)

タイトルに関連する用語 (5件)： 不揮発性メモリ ,  回復 ,  線形化 ,  モジュール ,  構築