文献

J-GLOBAL ID：202202246549526532   整理番号：22A1053016

衝突耐性オブジェクトのための抽象化【JST・京大機械翻訳】

Abstraction for Crash-Resilient Objects

著者 (3件)： Khyzha Artem (Tel Aviv University, Tel Aviv, Israel) ,  Khyzha Artem (Arm Ltd, Cambridge, UK) ,  Lahav Ori (Tel Aviv University, Tel Aviv, Israel)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13240  ページ： 262-289  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 不揮発性メモリ(NVM)を用いて,衝突-回復同時オブジェクトに対する抽象化を研究した。著者らは,この設定における文脈的精密化を確実にするための音であるライブラリ修正基準を開発し,それにより,クライアントが抽象仕様に関して図書館行動を推論することを可能にし,図書館開発者は,特定のクライアントプログラムから離れて抽象化された仕様に対する実装を検証する。意味的基礎として,最近のNVMモデルを採用して,持続性逐次一貫性と呼ばれ,その言語と操作意味論を有用な仕様構築体で拡張した。提案した正当性基準は,明示的な持続命令によるクライアントと図書館コードの間のNVM関連相互作用,および図書館によって強制された呼出しポリシーを説明する。異なるプロトタイプ耐久性保証を有する簡単な持続性オブジェクトの2つの実装と仕様に関する著者らのアプローチを説明した。著者らの結果は,NVMの下で形式的組成推論への最初のアプローチを提供する。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 相互作用 ,  標準 ,  言語 ,  *図書館 ,  音響 ,  耐久性 ,  精密化 ,  不揮発性メモリ ,  操作的意味論 ,  プロトタイプ

著者キーワード (3件)： 不揮発性メモリ ,  線形化可能性 ,  ライブラリ抽象化

分類 (1件)： 図書館一般  (AC09010C)

タイトルに関連する用語 (4件)： 衝突 ,  耐性 ,  オブジェクト ,  抽象化