文献

J-GLOBAL ID：201702253984985199   整理番号：17A1774642

移相器プログラムの安全性検証【Powered by NICT】

Safety verification of phaser programs

著者 (4件)： Ganjei Zeinab (Dept. of computer and information science, Linkoeping University, Sweden) ,  Rezine Ahmed (Dept. of computer and information science, Linkoeping University, Sweden) ,  Eles Petru (Dept. of computer and information science, Linkoeping University, Sweden) ,  Peng Zebo (Dept. of computer and information science, Linkoeping University, Sweden)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： FMCAD  ページ： 68-75  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： フェーザプログラムの制御状態到達可能性(主張違反,レース条件や実行時エラーの可能性のような)と単純可到達性(デッドロック自由のように)を静的問題を取り上げて論じた。Phasersは産卵タスクの実行時間レジストレーションおよびデレジストレーションを用いた動的並列性を支援する現代の自明でない同期構成概念である。集団およびポイントツーポイント同期を可能にした。例えば,フェーザを全てまたは走行タスクの部分集合間で障壁または生産者 消費者同期方式を増強することができる。実装はHabanero Javaのような最新言語で見出されている。Phasersは本質的に個々のタスクに相を会合し,可能な並行実行を制限するそれらの実行時間値を使用した。非有界相は課題と移相器の有限数を生成するプログラムだけの場合でさえ無限遷移システムをもたらす可能性がある。共存課題とフェーザの有界数を生成するプログラムのための制御可到達性をチェックする場合は常に終了する正確なギャップ次ベース方法を導入した。も単純可到達性を検証するいくつかの課題とフェーザを生成するプログラムに対しても決定不能であることを示した。,手順を単純可到達性(デッドロック自由度を含む)をチェックするための音響解析への方法を説明した。オープンソースツールを用いた予備実験について報告した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *安全性 ,  音響分析 ,  生産者 ,  部分集合 ,  デッドロック ,  消費者 ,  産卵 ,  遷移システム ,  *移相器 ,  Java ,  自由度
準シソーラス用語： 予備実験 ,  有界 ,  フェーザ ,  実行時間 , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 移相器 ,  安全性 ,  検証