2024-03-28T18:37:51Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000294502023-04-27T10:00:04Z01164:02240:02283:02286
学振MIRAIコンパイラにおける剰余区間伝播の設計Design of Modulo Interval Propagation in the JSPS MIRAI Compilerjpnhttp://id.nii.ac.jp/1001/00029450/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=29450&item_no=1&attribute_id=1&file_no=1Copyright (c) 2000 by the Information Processing Society of Japan奈良先端科学技術大学院大学情報科学研究科奈良先端科学技術大学院大学情報科学研究科中西, 恒夫福田, 晃自動並列化コンパイラにおける依存解析ではループ指標や配列添字の値域情報が必要となる.一般に値域は区間,すなわち上限値と下限値とによって表現されるが,1より大きなストライドのループにおいては区間による値域表現は正確さを欠き,ひいては依存解析精度の低下につながる.本稿では,依存解析精度の向上を図り,スカラ変数の値域表現のために区間に法と剰余を追加した剰余区間を用い,単調データフローシステムによってスカラ変数の値域解析を行う剰余区間伝播のアルゴリズムを設計する.Dependence analysis for parallelizing compilers requires range information of loop indices and array subscripts. Range information of a scalar variable is represented by the interval consisting of the upper and lower bounds of the variable in general. The interval is not accurate representation in loops with strides greater than one and can provide false dependence information which disables parallelization. In this paper we employ the modulo interval, the interval with the modulus and the residue, for range representation and develop an algorithm, called modulo interval propagation, to evaluate ranges of scalar variables with the monotone dataflow system.AN10463942情報処理学会研究報告ハイパフォーマンスコンピューティング(HPC)200073(2000-HPC-082)951002000-08-032009-06-30