面向同步规范的并行代码自动生成
本文关键词： 同步规范 SIGNAL 并行程序 代码生成 OpenMP 出处：《软件学报》2017年07期 论文类型：期刊论文
【摘要】：随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果,但在多核平台上的研究仍面临许多科学问题.同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法,适用于对系统确定性并发行为的描述.SIGNAL编译器也支持将同步规范(synchronous specification)生成仿真代码,以对其进行验证与分析.然而,现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法.研究了面向SIGNAL同步规范的并行自动代码生成方法.提出了方程依赖图EDG的概念,将SIGNAL规范转换为EDG以分析其全局数据依赖关系;研究了对EDG进行任务划分获取规范中可以并行执行部分的算法;最后,以跨平台并行编程API-Open MP作为对象,结合程序中信号的时钟关系,将并行任务映射到Open MP并行代码,并进行了实例验证.
[Abstract]:With the increasing demand for real-time system functionality and non-function, The use of multi-nuclear technology will become a trend. How to ensure the reliability and reliability of the system under the condition of multi-core platform is a key issue in academic and application. Verification and automatic code generation have resulted in a lot of research on a single core platform, However, the research on multi-core platform still faces many scientific problems. Synchronous language SIGNAL is a formal method which is widely used in real-time system function design. The SIGNAL compiler also supports the generation of simulation code to validate and analyze the synchronization specification. Little attention has been paid to the generation of parallel code from SIGNAL synchronization specification to supporting cross-platform parallel code generation. A parallel automatic code generation method for SIGNAL synchronization specification is studied. The concept of equation dependent graph (EDG) is proposed. The SIGNAL specification is converted to EDG to analyze its global data dependency; the algorithm of obtaining the task partition specification for EDG can be executed in parallel; finally, the cross-platform parallel programming API-Open MP is taken as the object. Combining the clock relation of the signal in the program, the parallel task is mapped to the Open MP parallel code, and an example is given.
【作者单位】： 软件开发环境国家重点实验室(北京航空航天大学计算机学院);南京航空航天大学计算机学院;Toulouse
【基金】：国家自然科学基金(91538202,61672074) 软件开发国家重点实验室基金(SKLSDE-2016ZX-16)~~
【分类号】：TP311.1
【相似文献】
相关期刊论文 前10条
1 吉基兵;;感受代码生成之美[J];中国现代教育装备;2011年06期
2 刘鹰;;代码生成技术及其在企业开发中的应用[J];西安文理学院学报(自然科学版);2006年03期
3 杨向忠;安锦文;崔文革;;嵌入式自动代码生成技术应用研究[J];弹箭与制导学报;2008年03期
4 肖久明;耿祥义;;利用动态代码生成提高设计模式的效率[J];电脑知识与技术;2010年33期
5 郑茂松;;机器描述形式的代码生成方法[J];计算机科学;1982年03期
6 M.Ganabath ,C.N.Fischer ,庄悦平 ,张宏;可移植编译程序的代码生成[J];计算机工程与应用;1984年04期
7 郑茂松;一个代码生成的自动化方法[J];计算机学报;1984年05期
8 杨颖,谢奇光;一个语义引导的代码生成工具系统的设计与实现[J];计算机应用与软件;1987年02期
9 杨军;刘毅斌;;代码生成技术在通信接口开发中的应用[J];江西冶金;2014年04期
10 蒋凌云;王汝传;;用于网格计算的复合代码生成技术研究[J];南京邮电学院学报;2005年06期
相关会议论文 前2条
1 韩颖;高翔;王国仁;于戈;郑怀远;;OQL预处理器代码生成算法的设计[A];第十六届全国数据库学术会议论文集[C];1999年
2 盛刚;闫振福;;应用ACGS进行有效的电子政务系统的开发(英文)[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年
相关重要报纸文章 前1条
1 ;发动机ECU开发应集中于软件[N];中国电子报;2006年
相关硕士学位论文 前10条
1 葛乐;电动汽车用永磁同步电机控制系统研究[D];天津理工大学;2015年
2 孙聚;基于FreeMarker引擎的代码生成工具的设计与实现[D];哈尔滨工业大学;2015年
3 谌志涛;基于模板的软件构建自动化技术的研究[D];南昌大学;2015年
4 孙石;基于模型的OBD故障诊断仪设计[D];北京理工大学;2015年
5 左春雪;地震资料道集流设计及自动代码生成研究[D];东北石油大学;2015年
6 冯璨;基于模型的无功补偿控制器研究[D];上海交通大学;2015年
7 曹流;一种基于OCL的约束验证框架[D];南京大学;2013年
8 章枧;数学模型化的自动驾驶仪软件设计[D];北京理工大学;2016年
9 尹太元;基于MATLAB自动代码生成的有源电力滤波器研究[D];中原工学院;2016年
10 肖小岚;支持企业业务信息系统快速变更的代码生成方法改进[D];南华大学;2016年
，本文编号：1504351
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/1504351.html
