【技术实现步骤摘要】
一种针对移动π演算语言的文件处理功能的编译方法
本专利技术属于移动通信、并发计算领域,涉及NomadicPict(移动π演算语言),特别涉及一种针对移动π演算语言的文件处理功能的编译方法。
技术介绍
π演算是在1991年由英国著名科学家,图灵奖获得者罗宾·米尔纳提出。其是一种用于描述和分析并发系统的演算模型。π演算推广了通信系统演算,允许在通信中传递通道的名字,使得π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,同时又继承了通信系统演算的简洁优美的语义理论——互模拟。π演算已经被应用到程序设计语言的设计、分布式系统的分析与验证等领域,产生了广泛的影响。Pict(π演算语言)语言是一门单纯应用π演算的高级并发语言。π演算语言拥有自己独特的处理方式,并且非常贴近π演算思想。因为π演算中变量的值是不可以改变的,就不存在多个进程同时修改一个变量而导致“死锁”的问题,这就降低并发控制的成本,为并行提供了极大的方便。由于π演算语言是最早描述π演算的基本语言,而NomadicPict(移动π演算语言)在继承了π演算语言的基础上并对其进行了扩展,使得与移动代理之间的通信 ...
【技术保护点】
一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,包括以下步骤:A、编写库文件在Nomadic Pict(移动π演算语言)标准库中,编写文件处理功能的源文件及npict文件(使用移动π演算语言编写的文件);B、编译npict文件在终端中编写命令,编译执行步骤A中编写的npict文件,生成运行时系统可执行的中间代码文件;C、修改运行时系统文件使用中间代码语言中的文件通道技术,编写与步骤A中npict文件中各功能对应的底层代码,并进行相应的异常处理;D、生成可执行程序删除相应的源文件编译的模块接口和模块实现的已编译字节码对象文件,删除当前可执行文件,重新编译整个npi ...
【技术特征摘要】
1.一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,包括以下步骤:A、编写库文件在NomadicPict(移动π演算语言)标准库中,编写文件处理功能的源文件及npict文件(使用移动π演算语言编写的文件);B、编译npict文件在终端中编写命令,编译执行步骤A中编写的npict文件,生成运行时系统可执行的中间代码文件;C、修改运行时系统文件使用中间代码语言中的文件通道技术,编写与步骤A中npict文件中各功能对应的底层代码,并进行相应的异常处理;D、生成可执行程序删除相应的源文件编译的模块接口和模块实现的已编译字节码对象文件,删除当前可执行文件,重新编译整个npict底层编译器相关文件,生成最终可执行程序。2.根据权利要求1所述的一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,步骤A,所述编写库文件具体包括以下步骤:创建源文件,文件中定义该文件类名称、文件相关函数声明、函数功能说明、文件相关内联函数声明、函数调用缩写;创建与源文件对应的npict文件。3.根据权利要求1所述的一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,步骤B,所述编译npict文件具体包括以下步骤:在移动π演算语言标准库中打开终端,输入编译命令并执行,生成运行时系统可执行的的中间代码文件。4.根据权利要求2所述的一种针对移动π演算语言的文件处理功能的编译方法,其特征在于:步骤C,所述文...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。