当前位置: 首页 > 专利查询>吉林大学专利>正文

一种针对移动π演算语言的文件处理功能的编译方法技术

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

【技术实现步骤摘要】
一种针对移动π演算语言的文件处理功能的编译方法
本专利技术属于移动通信、并发计算领域,涉及NomadicPict(移动π演算语言),特别涉及一种针对移动π演算语言的文件处理功能的编译方法。
技术介绍
π演算是在1991年由英国著名科学家,图灵奖获得者罗宾·米尔纳提出。其是一种用于描述和分析并发系统的演算模型。π演算推广了通信系统演算,允许在通信中传递通道的名字,使得π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,同时又继承了通信系统演算的简洁优美的语义理论——互模拟。π演算已经被应用到程序设计语言的设计、分布式系统的分析与验证等领域,产生了广泛的影响。Pict(π演算语言)语言是一门单纯应用π演算的高级并发语言。π演算语言拥有自己独特的处理方式,并且非常贴近π演算思想。因为π演算中变量的值是不可以改变的,就不存在多个进程同时修改一个变量而导致“死锁”的问题,这就降低并发控制的成本,为并行提供了极大的方便。由于π演算语言是最早描述π演算的基本语言,而NomadicPict(移动π演算语言)在继承了π演算语言的基础上并对其进行了扩展,使得与移动代理之间的通信与位置无关。但移动π本文档来自技高网...
一种针对移动π演算语言的文件处理功能的编译方法

【技术保护点】
一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,包括以下步骤:A、编写库文件在Nomadic Pict(移动π演算语言)标准库中,编写文件处理功能的源文件及npict文件(使用移动π演算语言编写的文件);B、编译npict文件在终端中编写命令,编译执行步骤A中编写的npict文件,生成运行时系统可执行的中间代码文件;C、修改运行时系统文件使用中间代码语言中的文件通道技术,编写与步骤A中npict文件中各功能对应的底层代码,并进行相应的异常处理;D、生成可执行程序删除相应的源文件编译的模块接口和模块实现的已编译字节码对象文件,删除当前可执行文件,重新编译整个npict底层编译器相关文...

【技术特征摘要】
1.一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,包括以下步骤:A、编写库文件在NomadicPict(移动π演算语言)标准库中,编写文件处理功能的源文件及npict文件(使用移动π演算语言编写的文件);B、编译npict文件在终端中编写命令,编译执行步骤A中编写的npict文件,生成运行时系统可执行的中间代码文件;C、修改运行时系统文件使用中间代码语言中的文件通道技术,编写与步骤A中npict文件中各功能对应的底层代码,并进行相应的异常处理;D、生成可执行程序删除相应的源文件编译的模块接口和模块实现的已编译字节码对象文件,删除当前可执行文件,重新编译整个npict底层编译器相关文件,生成最终可执行程序。2.根据权利要求1所述的一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,步骤A,所述编写库文件具体包括以下步骤:创建源文件,文件中定义该文件类名称、文件相关函数声明、函数功能说明、文件相关内联函数声明、函数调用缩写;创建与源文件对应的npict文件。3.根据权利要求1所述的一种针对移动π演算语言的文件处理功能的编译方法,其特征在于,步骤B,所述编译npict文件具体包括以下步骤:在移动π演算语言标准库中打开终端,输入编译命令并执行,生成运行时系统可执行的的中间代码文件。4.根据权利要求2所述的一种针对移动π演算语言的文件处理功能的编译方法,其特征在于:步骤C,所述文...

【专利技术属性】
技术研发人员:康辉李柏润徐男
申请(专利权)人:吉林大学
类型:发明
国别省市:吉林,22

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1