文献

J-GLOBAL ID：201402278483330030   整理番号：14A0135247

構文主導型データフロー解析の並列実装

著者 (2件)： 佐藤重幸 (電通大) ,  森畑明昌 (東北大 電通研)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 30th  ページ： 366-389  発行年： 2013年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： これまで,データフロー解析を並列化する研究が行われてきている。手続き間の並列性を利用する場合こともあれば,手続き内の区間解析の並列性を利用することもある。しかし,既存手法では,自由な分割統治が適用できるわけではないので,少数の巨大な手続きから構成されるような入力プログラムに対しては,十分な負荷分散を行うことができない。そもそも,CFG上で定式化されたデータフロー解析では,自由な分割統治の実現は難しい。そこで,本研究では,分割統治が容易なAST上での消去法に基づくデータフロー解析を提案する。提案手法では,whileループなどの構造的制御フローと,gotoなどの非構造的制御フローを区別し,前者の上のデータフローを構文主導で計算する。本論文では,我々の手法の応用事例も示す。我々は,提案手法による解析器をCOINS上に試験実装し,簡易的な実験によってビットベクタ解析器との比較も行った。本論文では,その実装と実験から得られた実装上の知見も述べる。(著者抄録)

シソーラス用語： *並列処理 ,  *データフロー解析 ,  実装設計 ,  構文論 ,  ループ ,  評価試験 ,  ベクトル ,  *プログラム解析 ,  計算量 ,  ハッシング ,  ハッシュ関数 ,  電気回路
準シソーラス用語： ビットベクトル ,  フロントエンド【回路】

分類 (2件)： ディジタル計算機方式一般  (JC02010O) ,  言語プロセッサ  (JD03040F)

タイトルに関連する用語 (3件)： 構文 ,  データフロー解析 ,  並列実装