文献

J-GLOBAL ID：201702217227735859   整理番号：17A0756012

逐次Javaプログラムからの許可ベース仕様の抽出【Powered by NICT】

Extracting Permission-Based Specifications from a Sequential Java Program

著者 (4件)： Sadiq Ayesha ,  Li Yuan-Fang ,  Ling Sea ,  Ahmed Ijaz
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICECCS  ページ： 215-218  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： mutiコアシステムは今後数年間における支配的な計算プラットフォームになるであろうことが期待される。しかし,電流プログラミングモデル(Java,.Netなど)は,このようなマルチコアシステムの計算能力を利用するためによくスケーリングしなかった。原始プログラミングパラダイムでは,コードとプログラム状態間の陰的依存性が存在し,プログラマはマルチスレッドを用いて手動で同時実行,レース条件とデッドロックのような誤差を生じる傾向を紹介しなければコンパイラはプログラム中に存在する潜在的な並行性を有効に使うことができない。本研究の目的は,プログラマはこのドメインの複雑さをマスターない並行性を達成することである。形式的手法とアクセス許可権の形で逐次Javaプログラムから陰的依存性を抽出するために高レベルアルゴリズムを提案した。提案手法はモジュールに基づいてソースコードの静的解析を行った。推論された許可は,マルチコアシステム上のシーケンシャルプログラムを並列自動的に同時実行性に関する推論のためのJava仮想マシン(JVM)のような実行時間エンジンで使用できる可能性がある。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： コンパイラ ,  *Java ,  プログラマ ,  *許認可 ,  マルチスレッド ,  デッドロック
準シソーラス用語： 実行時間 ,  Java仮想マシン ,  静的解析 ,  ソースコード ,  プログラミングモデル , 【Automatic Indexing@JST】

分類 (1件)： 言語プロセッサ  (JD03040F)

タイトルに関連する用語 (3件)： Java ,  許可 ,  仕様