软件学报

作者：杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI

单位：杨志斌，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 21009311,袁胜浩，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110602,谢健，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110603,周勇，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110604,陈哲，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110605,薛垒，上海航天电子技术研究所, 上海 20110906,Jean-Paul BODEVIX，IRIT-University of Toulouse, Toulouse 31062, France07,Mamoun FILALI，IRIT-University of Toulouse, Toulouse 31062, France08

关键词：同步语言;同步多时钟卫式动作;多线程代码生成

基金：国家自然科学基金（61502231）；国家重点研发计划（2016YFB1000802）；GF基础科研重点项目（JCKY2016203B011）；江苏省自然科学基金（BK20150753）；中央高校基本科研业务费专项资金（NP2017205）；国家自然科学基金委员会-中国民航局民航联合研究基金（U1533130）；南京航空航天大学研究生创新基地（实验室）开放基金（kfjj20181603）

随着安全关键系统对计算性能要求的日趋提高，能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性，适用于安全关键软件的建模和验证.目前，同步语言SIGNAL编译器主要支持串行代码生成，较少关注多线程代码生成.提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序；之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系；然后对时钟数据依赖图进行拓扑排序划分，并针对划分结果提出优化算法和基于流水线方式的任务划分方法；最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上的实验，验证了所提方法的有效性.

来源：2019年第7期

《软件学报》期刊编辑部

查看软件学报杂志2019年第7期