技术总结
本发明提出一种对基于矩阵的分布式编程语言进行自动优化的方法，包括以下步骤：将用户输入的程序按照预设的编程模型以进行规范化处理；对规范化处理后的程序进行基于数据流的静态分析，以得到各个变量间的数据依赖关系；对规范化处理后的程序进行条件敏感的静态分析，以得到语句间的控制流依赖关系；对规范化后的程序进行分块，以使每一个程序块都可以完全依赖本地的数据，且在完全不进行网络通讯的情况下进行计算，以使程序块的数量最少；在得到的程序块之间插入网络通讯原语，以使网络通讯的开销最小。本发明可以自动地对给定的基于矩阵的程序进行优化，通过减少内存的读取与写入，提升缓存的利用率，减少通讯量等手段将程序的运行效率提升。
技术研发人员：武永卫;章明星;陈康;郑纬民
受保护的技术使用者：鄞州浙江清华长三角研究院创新中心
技术研发日：2016.02.24
技术公布日：2019.03.29