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

来源：软件学报杂志2016年第3期北京时间：

作者：杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI

单位：杨志斌，南京航空航天大学计算机科学与技术学院, 江苏 南京 210016;软件开发环境国家重点实验室(北京航空航天大学), 北京 100191;软件新技术与产业化协同创新中心, 江苏 南京 21001611,赵永望，软件开发环境国家重点实验室(北京航空航天大学), 北京 10019102,黄志球，南京航空航天大学计算机科学与技术学院, 江苏 南京 210016;软件新技术与产业化协同创新中心, 江苏 南京 21001603,胡凯，软件开发环境国家重点实验室(北京航空航天大学), 北京 10019104,马殿富，软件开发环境国家重点实验室(北京航空航天大学), 北京 10019105,Jean-Paul BODEVEIX，IRIT, Université de Toulouse, Toulouse, France06,Mamoun FILALI，IRIT, Université de Toulouse, Toulouse, France07

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

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

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