文献

J-GLOBAL ID：201202228223507474   整理番号：12A0619773

効率的な実行時間検出と非対称レースの容認

Efficient Runtime Detection and Toleration of Asymmetric Races

著者 (6件)： RATANAWORABHAN Paruj (Kasetsart Univ., Bangkok, THA) ,  BURTSCHER Martin (Texas State Univ.-San Marcos, TX) ,  KIROVSKI Darko (Microsoft Res., WA) ,  ZORN Benjamin (Microsoft Res., WA) ,  NAGPAL Rahul (Indian Inst. Sci., Karnataka, IND) ,  PATTABIRAMAN Karthik (Univ. British Columbia, BC, CAN)
資料名： IEEE Transactions on Computers  (IEEE Transactions on Computers)
巻： 61  号： 4  ページ： 548-562  発行年： 2012年04月 
JST資料番号： C0233A  ISSN： 0018-9340  CODEN： ICTOB4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 非対称レースを検出するばかりでなく,それらを容認する,ランタイムシステムToleRaceを提示した。ToleRaceは,非対称レースの存在中でのプログラムの実行継続を可能にし,明確なセマンッテックを持って完了可能にする。ToleRaceは,レプリケーションを使用し,レースを検出,容認する。これは,危険域に入ったとき,共有変数のローカルコピーを作り出し,危険域における分離の近似を提供する。危険域にいる間,ローカルコピーについて演算し,共有データへのコンフリクト変化を検出し,レースを隠すことが可能なときは,適切なコピーを伝達する。理論的なフレームワークと三つのソフトウェア実装を提示し,13の実際の並列アプリケーションで検証した。

シソーラス用語： *プログラム実行 ,  変数 ,  計算機プログラミング
準シソーラス用語： *レプリケーション ,  危険域 ,  共有メモリシステム ,  *実行時間 ,  *非対称 ,  *並列プログラミング

分類 (2件)： 計算理論  (JB02000A) ,  演算方式  (JC02020Z)

タイトルに関連する用語 (4件)： 実行時間 ,  非対称 ,  レース ,  容認