同步语言的时间可预测多线程代码生成方法

作     者：杨志斌 赵永望 黄志球 胡凯 马殿富 Jean-Paul BODEVEIX Mamoun FILALI YANG Zhi-Bin;ZHAO Yong-Wang;HUANG Zhi-Qiu;HU Kai;MA Dian-Fu;Jean-Paul BODEVEIX;Mamoun FILALI

作者机构：南京航空航天大学计算机科学与技术学院江苏南京210016 软件开发环境国家重点实验室(北京航空航天大学)北京100191 软件新技术与产业化协同创新中心江苏南京210016 IRIT Université de Toulouse 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2016年第27卷第3期

页      面：611-632页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(61502231) 国家重点基础研究发展计划(973)(2014CB744904) 江苏省自然科学基金(BK2015 0753) 软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04) 航空科学基金(2015ZC52027) 中国博士后科学基金 

主　　题：安全关键系统 多核处理器 时间可预测 同步语言 AADL(architecture analysis and design language) 

摘      要：能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.