[发明专利]一种针对移动π演算语言的文件处理功能的编译方法

说明书

本发明属于并发通信领域，涉及一种针对移动π演算语言的文件处理功能的编译方法，包括编写库文件、编译npict文件、修改运行时系统文件、生成可执行程序，该方法通过使用文件通道技术，有效地实现了移动π演算语言的文件处理功能，并且对文件处理功能可能的异常状况进行相应的异常处理，给出友好的错误提示，具有良好的健壮性。从而可以更有效地处理海量数据，与用户更加直接地进行交互，灵活地处理数据，弥补了目前领域中对移动π演算语言文件处理功能的缺失，继而进一步推动π演算及其编程语言的推广和发展。

技术领域

本发明属于移动通信、并发计算领域，涉及Nomadic Pict(移动π演算语言)，特别涉及一种针对移动π演算语言的文件处理功能的编译方法。

背景技术

π演算是在1991年由英国著名科学家，图灵奖获得者罗宾·米尔纳提出。其是一种用于描述和分析并发系统的演算模型。π演算推广了通信系统演算，允许在通信中传递通道的名字，使得π演算能够描述通信拓扑结构的动态改变，具有强大的表达能力，同时又继承了通信系统演算的简洁优美的语义理论——互模拟。π演算已经被应用到程序设计语言的设计、分布式系统的分析与验证等领域，产生了广泛的影响。Pict(π演算语言)语言是一门单纯应用π演算的高级并发语言。π演算语言拥有自己独特的处理方式，并且非常贴近π演算思想。因为π演算中变量的值是不可以改变的，就不存在多个进程同时修改一个变量而导致“死锁”的问题，这就降低并发控制的成本，为并行提供了极大的方便。

由于π演算语言是最早描述π演算的基本语言，而Nomadic Pict(移动π演算语言)在继承了π演算语言的基础上并对其进行了扩展，使得与移动代理之间的通信与位置无关。但移动π演算语言的编译系统与π演算语言的编译系统相比缺少了文件处理功能。而π演算语言系统中的文件处理功能是以内联c函数的方式实现的，可移植性并不好，并且移动π演算语言的虚拟机并不支持解释执行c程序，所以无从借鉴。

当算法涉及到例如海量数据、图像数据、地理信息数据时，数据一般不会写在程序中，会借助文件来进行处理，而且如果移动π演算语言的编译系统直接在程序中处理大量数据，由于运行内存是有限的，从而会导致内存溢出，程序无法运行。在同样状况下，c程序也会借助文件来处理大量数据，所以当与c语言对比，证明移动π演算语言并行方面的优越性时，需要满足对照实验的条件，所以必须有文件处理功能。而且文件处理功能是与使用者交互最直接的功能，对于数据的处理也更加灵活，程序代码也更加简洁规范。π演算语言正处于发展中，许多目前π演算语言的研究人员手动输入大量数据，十分繁琐；并且算法一旦涉及到海量数据，即便非常耗时地手动去输入海量数据，程序也极有可能导致内存溢出、卡住无法运行。所以急需一种针对移动π演算语言的文件处理功能的编译方法，才能更有效地解决这些问题，进一步推动π演算及其编程语言的推广和发展。

发明内容

本发明的目的在于针对上述现有编译器的不足，提供一种针对移动π演算语言的文件处理功能的编译方法。

本发明的目的是通过以下技术方案实现的：

一种针对移动π演算语言的文件处理功能编译方法，包括以下步骤：

A、编写库文件

在移动π演算语言Nomadic Pict标准库中，编写文件处理功能的源文件及使用移动π演算语言编写的npict文件；

B、编译npict文件

在终端中编写命令，编译执行步骤A中编写的npict文件，生成运行时系统可执行的中间代码文件；

C、修改运行时系统文件

使用中间代码语言中的文件通道技术，编写与步骤A中npict文件中各功能对应的底层代码，并进行相应的异常处理；

D、生成可执行程序