服务体执行流模型中消息通信的时间可预测性分析

邹晓婷; 陈香兰; 李曦

首页> 中文期刊> 《计算机系统应用》 >服务体执行流模型中消息通信的时间可预测性分析

服务体执行流模型中消息通信的时间可预测性分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Minicore是基于服务体执行流模型的新型微内核,它有效的将操作系统中的存储模型和运行模型相分离.微内核的高度模块化的设计使Minicore对服务体(Minicore的基本单元)间的消息通信的依赖度极高.于是对于Minicore操作系统的时间可预测性分析也无可避免的依赖于通信模块的时间可预测性.本文的工作即是通过计算Minicore通信模块的WCET,分析消息通信的时间可预测性,为未来实现时间可预测的通信机制并分析Minicore的时间可预测性提供基础.对通信模块的WCET分析计算采用静态WCET分析中的基于路径的算法,应用到Minicore系统的通信模块,包括四个阶段:提取目标代码片段,程序控制流分析,处理器特征分析和WCET计算.基于WCET计算结果本文定义配置相关的时间可预测性(CIPr)作为评估消息通信时间可预测性的指标.

著录项

来源
《计算机系统应用》 |2015年第12期|170-175|共6页
作者
邹晓婷; 陈香兰; 李曦;
展开▼
作者单位

中国科学技术大学计算机科学技术学院;

合肥230027;

中国科学技术大学计算机科学技术学院;

合肥230027;

中国科学技术大学计算机科学技术学院;

合肥230027;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
实时系统; 可预测性; 服务体执行流模型; 消息通信; WCET;

相似文献

中文文献
外文文献
专利

1. 基于服务体/执行流模型的MiniCore系统的容错设计 [J] . 杨金彪 ,陈香兰 . 计算机系统应用 . 2016,第003期
2. 基于服务体/执行流模型的MiniOSEK操作系统 [J] . 王仁 ,李曦 ,陈香兰 . 计算机系统应用 . 2010,第012期
3. 基于服务体/执行流模型的操作系统 [J] . 陈香兰 ,龚育昌 ,张晔 . 计算机工程 . 2008,第011期
4. 一种基于服务体/执行流的新型操作系统构造模型 [J] . 吴明桥 ,陈香兰 ,张晔 . 中国科学技术大学学报 . 2006,第002期
5. 人机交互中基于时间约束的人体工效模型 [J] . 周晓磊 . 计算机应用 . 2015,第002期
6. IEE 1588 v2精确时间同步协议PTP中的时间消息通信 [C] . 胡冰新 ,陈姝 ,刘景夏 . CTATEE’2011--2011年全国电工理论与新技术学术年会 . 2011
7. 服务体执行流模型中消息通信的时间可预测性研究 [A] . 邹晓婷 . 2015

服务体执行流模型中消息通信的时间可预测性分析

摘要

著录项

相似文献

相关主题

期刊订阅