程序并行化中数据收集代码自动生成算法研究

Study on automatic generation algorithm of the collection code in translating serial program into parallel program

着重论述了串行程序并行化过程中的数据收集部分代码的自动生成。提出利用等价类的方法获取数据的最后写关系,并建立包括计算划分、循环迭代和数据最后写关系的不等式限制系统,最后利用FME消元法对不等式限制系统进行消元处理,最终实现数据收集代码的自动生成。

The parallelization of serial program is mainly made up of parallel identification, data and computation decomposition, dependence relation analysis and automatic code generation. Data gathering is a very important part of automatic code generation. This paper studied the automatic generation algorithm of data collection code, and brought forward how to get the last write relation of the data based on the equivalence class, then created an inequality system with computation decomposition, loop iteration and last write relation, and at last realized auto-generation of the data collection code by using FME elimination method.