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

权利要求书

1.一种通过函数编程模型支持大规模分布式并行计算的方法，其特征在于包括以下步骤：

1)首先，将过程式的程序代码转换为函数式代码，过程是：消除变量的存在，对于每一个变量的引用，用该变量赋值式右边的函数部分取代；

2)然后，消除函数的边际效应，过程是：利用python代码的code对象的global字段，得到全局变量的访问信息，将对全局变量的读取转换为传入的参数，对全局变量的写入转换成返回值；

3)通过fork和forkout函数，对消除了边际效用的函数进行第一次执行，步骤是：复制frame对象，包括其本地变量和堆栈，随后把被复制的frame交给python虚拟机模拟执行，并且每当遇到函数调用的时候，将代码替换成伪调用代码；

4)构造VOID类，使得任何对这个类的实例的任何操作都会返会这个类本身，通过此染色机制获知函数调用的依赖关系；

5)利用伪调用函数，去执行原本需要执行的函数，传入的参数是一个任何对该类实例的操作都会返回这个实例本身的VOID类；

6)执行到forkout函数时，将执行结果通过forkout函数返回，并将被复制的frame对象抛弃，将全局环境复原到执行之前的状态，并正常执行；

7)forkout函数返回的是在模拟执行过程中产生的一系列可以并行执行的函数执行序列，根据这个执行序列以及参数进行一次分布式计算，将结果缓冲起来，并对代码进行第二次执行，在第二次执行的过程中，遇到函数调用，直接返回已经缓冲的数据。