| 一种同步语言多线程代码自动生成工具 |
| |
| 引用本文： | 杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI.一种同步语言多线程代码自动生成工具[J].软件学报,2019,30(7):1980-2002. |
| |
| 作者姓名： | 杨志斌 袁胜浩 谢健 周勇 陈哲 薛垒 Jean-Paul BODEVIX Mamoun FILALI |
| |
| 作者单位： | 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 210093,南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106,南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106,南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106,南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106,上海航天电子技术研究所, 上海 201109,IRIT-University of Toulouse, Toulouse 31062, France,IRIT-University of Toulouse, Toulouse 31062, France |
| |
| 基金项目： | 国家自然科学基金（61502231）；国家重点研发计划（2016YFB1000802）；GF基础科研重点项目（JCKY2016203B011）；江苏省自然科学基金（BK20150753）；中央高校基本科研业务费专项资金（NP2017205）；国家自然科学基金委员会-中国民航局民航联合研究基金（U1533130）；南京航空航天大学研究生创新基地（实验室）开放基金（kfjj20181603） |
| |
| 摘 要： | 随着安全关键系统对计算性能要求的日趋提高，能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性，适用于安全关键软件的建模和验证.目前，同步语言SIGNAL编译器主要支持串行代码生成，较少关注多线程代码生成.提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序；之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系；然后对时钟数据依赖图进行拓扑排序划分，并针对划分结果提出优化算法和基于流水线方式的任务划分方法；最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上的实验，验证了所提方法的有效性.
|
| 关 键 词： | 同步语言 同步多时钟卫式动作 多线程代码生成 |
| 收稿时间： | 2018/7/15 0:00:00 |
| 修稿时间： | 2018/9/28 0:00:00 |
Multi-threaded Code Generation Tool for Synchronous Language |
| |
| YANG Zhi-Bin,YUAN Sheng-Hao,XIE Jian,ZHOU Yong,CHEN Zhe,XUE Lei,Jean-Paul BODEVIX and Mamoun FILALI.Multi-threaded Code Generation Tool for Synchronous Language[J].Journal of Software,2019,30(7):1980-2002. |
| |
| Authors: | YANG Zhi-Bin YUAN Sheng-Hao XIE Jian ZHOU Yong CHEN Zhe XUE Lei Jean-Paul BODEVIX and Mamoun FILALI |
| |
| Affiliation: | School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing 210093, China,School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China,School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China,School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China,School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China,Shanghai Aerospace Electronic Technology Institute, Shanghai 201109, China,IRIT-University of Toulouse, Toulouse 31062, France and IRIT-University of Toulouse, Toulouse 31062, France |
| |
| Abstract: | |
| |
| Keywords: | synchronous language synchronous clocked guarded action multi-threaded code generation |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
