吉林大学学报(工学版) ›› 2016, Vol. 46 ›› Issue (1): 235-241.doi: 10.13229/j.cnki.jdxbgxb201601035

Previous Articles     Next Articles

A parallel programming language based on Pi-calculus

KANG Hui, WANG Jia-qi, MEI Fang   

  1. College of Computer Science and Technology,Jilin University,Changchun 130012,China
  • Received:2014-10-11 Online:2016-01-30 Published:2016-01-30

Abstract: Considering that the traditional programming language fails to use multicore processors to calculate conveniently and effectively, a parallel programming language is proposed and its core semantics and the relative algorithms of its runtime environment are defined. This language with Pi-calculus 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.

Key words: computer application, Pi-calculus, programming language, parallel programming, multicore processors

CLC Number: 

  • TP31
[1] Sutter H. The free lunch is over: A fundamental turn toward concurrency in software[J]. Dr. Dobb's Journal, 2005, 30(3): 202-210.
[2] 康辉, 张双双, 梅芳. 一种递归π演算向Petri网的转换方法[J]. 吉林大学学报:工学版, 2014, 34(1):142-148.
Kang Hui, Zhang Shuang-shuang, Mei Fang.Petri net translation of recursion π-calculus[J].Journal of Jilin University(Engineering and Technology Edition),2014, 34(1):142-148.
[3] Victor, Björn, Faron Moller. The Mobility Workbench-a Tool for the π-calculus[M]. Computer Aided Verification, Heidelberg: Springer Berlin, 1994.
[4] Paz H, Petrank E, Bacon D F, et al. An efficient on-the-fly cycle collection[C]∥Compiler Construction, Springer, Berlin Heidelberg, 2005: 156-171.
[5] Honda K, Tokoro M. An object calculus for asynchronous communication[C]∥European Conference on Object-Oriented Programming. Springer Berlin Heidelberg, 1991: 133-147.
[6] Boudol G. Asynchrony and the Pi-calculus[R]. INRIA Research Report 1702,1992.
[7] 郝克刚, 郭小群. Pi 演算对图灵机的表达[J]. 计算机工程与科学, 2009, 31(10): 53-55.
Hao Ke-gang,Guo Xiao-qun. Expression of turing machines by pi calculus[J].Computer Engineering & Science, 2009, 31(10): 53-55.
[8] Milner R, Parrow J, Walker D. A calculus of mobile processes, parts I and II[J]. Information and Computation, 1992, 100(1):151-175.
[9] Sangiorgi D. A theory of bisimulation for the π-calculus[J]. Acta Informatica, 1996, 33(1): 69-97.
[10] Pierce B C, Turner D N. Pict: a programming language based on the Pi-Calculus[C]∥Proof, Language, and Interaction, 2000: 455-494.
[1] LIU Fu,ZONG Yu-xuan,KANG Bing,ZHANG Yi-meng,LIN Cai-xia,ZHAO Hong-wei. Dorsal hand vein recognition system based on optimized texture features [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1844-1850.
[2] WANG Li-min,LIU Yang,SUN Ming-hui,LI Mei-hui. Ensemble of unrestricted K-dependence Bayesian classifiers based on Markov blanket [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1851-1858.
[3] JIN Shun-fu,WANG Bao-shuai,HAO Shan-shan,JIA Xiao-guang,HUO Zhan-qiang. Synchronous sleeping based energy saving strategy of reservation virtual machines in cloud data centers and its performance research [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1859-1866.
[4] ZHAO Dong,SUN Ming-yu,ZHU Jin-long,YU Fan-hua,LIU Guang-jie,CHEN Hui-ling. Improved moth-flame optimization method based on combination of particle swarm optimization and simplex method [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1867-1872.
[5] LIU En-ze,WU Wen-fu. Agricultural surface multiple feature decision fusion disease judgment algorithm based on machine vision [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1873-1878.
[6] OUYANG Dan-tong, FAN Qi. Clause-level context-aware open information extraction [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1563-1570.
[7] LIU Fu, LAN Xu-teng, HOU Tao, KANG Bing, LIU Yun, LIN Cai-xia. Metagenomic clustering method based on k-mer frequency optimization [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1593-1599.
[8] GUI Chun, HUANG Wang-xing. Network clustering method based on improved label propagation algorithm [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1600-1605.
[9] LIU Yuan-ning, LIU Shuai, ZHU Xiao-dong, CHEN Yi-hao, ZHENG Shao-ge, SHEN Chun-zhuang. LOG operator and adaptive optimization Gabor filtering for iris recognition [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1606-1613.
[10] CHE Xiang-jiu, WANG Li, GUO Xiao-xin. Improved boundary detection based on multi-scale cues fusion [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1621-1628.
[11] ZHAO Hong-wei, LIU Yu-qi, DONG Li-yan, WANG Yu, LIU Pei. Dynamic route optimization algorithm based on hybrid in ITS [J]. 吉林大学学报(工学版), 2018, 48(4): 1214-1223.
[12] HUANG Hui, FENG Xi-an, WEI Yan, XU Chi, CHEN Hui-ling. An intelligent system based on enhanced kernel extreme learning machine for choosing the second major [J]. 吉林大学学报(工学版), 2018, 48(4): 1224-1230.
[13] FU Wen-bo, ZHANG Jie, CHEN Yong-le. Network topology discovery algorithm against routing spoofing attack in Internet of things [J]. 吉林大学学报(工学版), 2018, 48(4): 1231-1236.
[14] CAO Jie, SU Zhe, LI Xiao-xu. Image annotation method based on Corr-LDA model [J]. 吉林大学学报(工学版), 2018, 48(4): 1237-1243.
[15] HOU Yong-hong, WANG Li-wei, XING Jia-ming. HTTP-based dynamic adaptive streaming video transmission algorithm [J]. 吉林大学学报(工学版), 2018, 48(4): 1244-1253.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!