主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI.同步语言的时间可预测多线程代码生成方法.软件学报,2016,27(3):611-632
同步语言的时间可预测多线程代码生成方法
Time-Predictable Multi-Threaded Code Generation with Synchronous Languages
投稿时间:2015-07-15  修订日期:2015-10-20
DOI:10.13328/j.cnki.jos.004984
中文关键词:  安全关键系统  多核处理器  时间可预测  同步语言  AADL(architecture analysis and design language)
英文关键词:safety-critical system  multi-core processor  time predictability  synchronous language  AADL(architecture analysis and design language)
基金项目:国家自然科学基金(61502231);国家重点基础研究发展计划(973)(2014CB744904);江苏省自然科学基金(BK20150753);软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04);航空科学基金(2015ZC52027);中国博士后科学基金
作者单位E-mail
杨志斌 南京航空航天大学计算机科学与技术学院, 江苏 南京 210016
软件开发环境国家重点实验室(北京航空航天大学), 北京 100191
软件新技术与产业化协同创新中心, 江苏 南京 210016 
yangzhibin168@163.com 
赵永望 软件开发环境国家重点实验室(北京航空航天大学), 北京 100191  
黄志球 南京航空航天大学计算机科学与技术学院, 江苏 南京 210016
软件新技术与产业化协同创新中心, 江苏 南京 210016 
 
胡凯 软件开发环境国家重点实验室(北京航空航天大学), 北京 100191  
马殿富 软件开发环境国家重点实验室(北京航空航天大学), 北京 100191  
Jean-Paul BODEVEIX IRIT, Université
de Toulouse, Toulouse, France 
 
Mamoun FILALI IRIT, Université
de Toulouse, Toulouse, France 
 
摘要点击次数: 2223
全文下载次数: 1490
中文摘要:
      能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.
英文摘要:
      Multi-core processors are being widely used in safety-critical systems.Unfortunately, the introduction of performance-enhancing architectural elements, such as pipelines, out-of-order execution, dynamic branch prediction, caches and inter-cores resource-sharing, make WCET(worst-case execution time) analysis of a system become more difficult.Thus, time-predictable system design is established to meet the challenge of building systems for which WCET can be statically and easily analyzed.At the software level, this paper proposes a time-predictable multi-threaded code generation based on synchronous-model development.At the platform level, it presents a time-predictable multi-core architecture model in AADL(architecture analysis and design language), and then maps the multi-threaded code to this model.Real-time specifications propagate down in the system hierarchy.As a result, the proposed method integrates time predictability across several design layers, and finally reduces the complexity of WCET analysis.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利