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

来源 :吉林大学学报:工学版 | 被引量 : 0次 | 上传用户:guoqy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对传统编程语言不能便捷高效利用多核芯片计算资源的缺点,本文提出了一种并行编程语言并定义了核心语义及其运行时环境的相关算法。该语言以Pi演算为理论基础,首先根据Pi演算的基本结构定义语言的核心句法结构,然后以Pi演算中进程间同步通信为基础定义了核心操作语义。本文给出了在并行操作语义中进程的上下文环境的定义,设计了构成运行时环境整体架构的主要数据结构及运行时环境中基于同步通信的调度算法和基于引用计数器的垃圾回收算法,根据本文定义的句法结构可以定义出高效地利用多核芯片计算资源的并行程序。
其他文献
经过六十余载的漫长探索,人工智能在多个领域实现了技术创新和落地应用。技术的创新催生了新的发展机遇,但同时也带来了诸多挑战。在2019世界计算机大会·AI算法主题论坛
随着经济全球化以及电商产业的不断延伸拓展,电子商务已经不仅仅限于一个国家的物流贸易,而是伴随商贸的日益紧密,成为快速崛起的效益增长点。与国外相比较,我国跨境电子商务物流
中国服装企业在经历了将近20年宏观经济的高速发展后.必须强化定位.注重企业及服装品牌的文化内涵。——这是2013宁波中国服装论坛给记者的深刻印象。“怎样从文化和产业的融合
暖通空调是空调系统中的重要设施,它的使用范围越来越广。要想将暖通空调的使用功能充分的发挥,要求在安装的时候提高质量。但是暖通空调的安装过程相比其他空调复杂,这就要求安
针对通用的两状态陆地移动卫星(LMS)信道模型中,每一状态的Loo分布包含无限范围内的积分且不存在闭合形式,导致性能估计难以实现的问题,基于两状态信道模型给出等增益合并分集LMS
介绍了一种铁磁性管道涡流阻抗模型的数值解析方法。该方法利用阻抗模型中贝塞尔函数在大宗量(分治法产生的一个子区间)时的渐近性,在整个广义积分区间采用分治法简化积分函数,降
随着我国社会经济的飞速发展,人们对于生活质量的追求越来越高,而电力工作的有序运行则是人们安稳生活的基本保障,由此可见,电力企业对于我国的建设发展十分重要。但是,由于电力工
物联网的发展和崛起对现实社会的发展有着重要的意义,普及物联网的实践应用程度能够快速的实现社会信息交换功能。物联网是在互联网的基础上衍生发展而来的,物联网的出现整合了移动信息技术的发展,为互联网迎接新的社会需求提供了方向,随着世界经济全球化发展,如今的地球已经成为了信息全球化的"地球村",信息技术产业更新速度快,人类信息技术也经历了几次技术革新,物联网的出现代表着信息通信技术的发展水平,也在推进全球
现阶段广播技术中的重要组成部分就是广播制作播出网,广播节目的录制、编辑、审查以及播放等各个流程都已经与制播网完全融合。我台广播制播网设备老化,技术落后,容量不足问
文章通过以北京诺德中心1#楼幕墙工程为例,从石材幕墙挂件的设计、石材色差控制及保温效果,这些容易在工程管理忽略的几个方面对石材幕墙质量控制进行分析,为今后石材幕墙工