基于Pi演算的并行编程语言  

A parallel programming language based on Pi-calculus

作　　者：康辉[1] 王家琦[1] 梅芳[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《吉林大学学报（工学版）》2016年第1期235-241,共7页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金项目(61073164)

摘　　要：针对传统编程语言不能便捷高效利用多核芯片计算资源的缺点,本文提出了一种并行编程语言并定义了核心语义及其运行时环境的相关算法。该语言以Pi演算为理论基础,首先根据Pi演算的基本结构定义语言的核心句法结构,然后以Pi演算中进程间同步通信为基础定义了核心操作语义。本文给出了在并行操作语义中进程的上下文环境的定义,设计了构成运行时环境整体架构的主要数据结构及运行时环境中基于同步通信的调度算法和基于引用计数器的垃圾回收算法,根据本文定义的句法结构可以定义出高效地利用多核芯片计算资源的并行程序。Considering that the traditional programming language fails to use multicore processors to calculate conveniently and effectively,aparallel programming language is proposed and its core semantics and the relative algorithms of its runtime environment are defined.This language with Picalculus as its theoretical foundation first defines the core syntactic structure of the language based on the basic structure of Pi-calculus,and then defines the core operating semantics on the basis of synchronous communication in Pi-calculus process.This paper also defines the context of process in parallel operating semantics and designs the main data structure,which consists of overall architecture in operating and scheduling algorithms based on synchronous communication and garbage collection algorithm based on reference count.Therefore,the proposed parallel programming language is capable of using multicore processors to calculate sources easily and effectively.

关 键 词：计算机软件 PI演算 编程语言 并行编程 多核芯片 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]