再帰的なデータ構造を扱うC言語プログラムのためのデータ依存解析手法の提案

DOI 機関リポジトリ Web Site

書誌事項

タイトル別名
  • サイキテキ ナ データ コウゾウ オ アツカウ C ゲンゴ プログラム ノ タメ ノ データ イソン カイセキ シュホウ ノ テイアン

この論文をさがす

抄録

type:Article

Recently, the necessity for parallel programming has been increased with the rapid spread of multicore/multiprocessor systems. However, it is difficult for a programmer to create a highly-effective and high-performance parallel program. So, we are developing the automatic translator from C programs to parallel programs using MPI(Message Passing Interface). In our conventional automatic parallelism analysis of C program with pointer variables, it was able to analyze the data dependencies of only the pointer variables declared explicitly in the code. In this research, we have first applied the Shape analysis to C programs with pointer variables for getting to know the form of the recursive data structures which will be allocated and constructed dynamically at the time of execution. Then, using the result of the analysis, we can analyze the data dependencies of recursive data structures, such as linked list or binary tree structures, and detect more parallelism from C program.

identifier:http://repository.seikei.ac.jp/dspace/handle/10928/543

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ