文献

J-GLOBAL ID：201802238881740653   整理番号：18A0340213

非同期通信並列オブジェクトシステムにおける先行並列性の検出【Powered by NICT】

On detecting over-eager concurrency in asynchronously communicating concurrent object systems

著者 (2件)： Owe Olaf (University of Oslo, Norway) ,  McDowell Charlie (University of California, Santa Cruz, USA)
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 90  ページ： 158-175  発行年： 2017年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 最新ソフトウェアシステムはしばしば分布し,オブジェクト指向システムモデル化と設計のための主要なパラダイムである。分散システムのためのオブジェクト指向並行モデル,アクティブオブジェクト,非同期メソッド呼び出し,共有未来に基づいて考察した。この手法はアクティブな待ちと明示的なロックを回避しながら,超並列を生じさせるという点で魅力的である,簡単な意味論を持っている。本論文では,アクティブオブジェクトと非同期メソッド呼び出しを用いて開発したシステムは熱心で同時実行によるシステム故障,フラッディングをもたらすことを示した。システムは,その処理速度にかかわらずもいくつかの場合できる以上の呼を有する物体を餌を取ることもある。物体の湛水としてこの状況に言及した。強および弱フラッディングを区別した。特に,強いフラッディングの概念を非反応性物体,システム事故,過度の緩衝液または大量失われたメッセージのような問題,公平スケジューリングの存在下でもにつながる可能性がある。強および弱フラッディングを検出静的,アルゴリズムの健全性を証明するためにアルゴリズムを提案した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 健全性 ,  湛水 ,  アルゴリズム ,  意味論 ,  システムモデル ,  *フラッディング ,  超並列処理 ,  スケジューリング
準シソーラス用語： 処理速度 ,  システム障害 ,  分散システム ,  オブジェクト指向 ,  ソフトウェアシステム ,  *非同期通信 , 【Automatic Indexing@JST】

著者キーワード (8件)： アクティブオブジェクト ,  コンカレント・オブジェクト ,  非同期通信 ,  未来 ,  静的解析 ,  並行処理 ,  オブジェクトフラッディング ,  スケジューリング

分類 (2件)： 計算機システム開発  (JD02010R) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (2件)： 非同期通信 ,  オブジェクト