一种通过函数编程模型支持大规模分布式并行计算的方法

摘要

本发明公开了一种通过函数编程模型支持大规模分布式并行计算的方法，首先将基于过程的实现代码转换成函数式，然后消除函数的边际效应，再构造fork和forkout函数，进行模拟执行过程，当遇到函数调用时，将函数调用转换为将函数和其参数作为参数，传入伪调用函数。利用VOID的感染特性来对函数调用进行染色获取函数的调用关系。当到达程序的终点则产生一系列的函数执行序列，根据执行序列以及参数进行一次分布式计算，将结果缓冲起来，并对代码进行第二次执行，在此过程，遇到函数调用，直接返回已经缓冲的数据。本发明通过建立基于通用语言的并自动化归纳问题分割的模型，实现函数的分布调度执行算法，适合应用于大规模分布式系统。