抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
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】