抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
高度に利用可能な分散アプリケーションは,デフォルトによって弱い一貫性保証を提供する地理分散店で複製するデータを必要とする。残念なことに,望ましくない行動は,アプリケーションの正当性を破る弱い一貫性の下で生じ,設計者は,これらの異常を避けるか,あるいは性能を犠牲にして,複雑なアドホックメカニズムを実行するか,より強力なレベルの一貫性を用いてアプリケーションを実行するように選択する。本論文では,そのようなトレードオフを行うため,開発者を緩和する軽量ランタイムシステムについて述べた。代わりに,提案アプローチは,必要な制約を反映する宣言的公理仕様を活用し,ランタイム一貫性の取締りと監視機構を導くために,正しい実装を満足しなければならない。実験結果は,著者らの(おそらく最適で安全)自動誘導の微細粒一貫性強化機構の性能は,一般的貯蔵-オフセット一貫性保証より良好であることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】