期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种Ada83服务性任务向Ada95保护对象变换的方法
被引量：
2
1
作者
李帮清
徐宝文
《软件学报》
EI
CSCD
北大核心
2000年第6期836-840,共5页
任务是 Ada语言支持并发程序设计的基础 ,它提供了一种进程同步和通信的良好机制 .但也存在一类被动的、专为其他任务服务的服务性任务 .服务性任务的存在增加了系统的负担 ,降低了系统的性能 .如果能将服务性任务变换为保护对象 ,则可...
任务是 Ada语言支持并发程序设计的基础 ,它提供了一种进程同步和通信的良好机制 .但也存在一类被动的、专为其他任务服务的服务性任务 .服务性任务的存在增加了系统的负担 ,降低了系统的性能 .如果能将服务性任务变换为保护对象 ,则可以明显地提高系统的性能 ,减少维护的费用 .该文提出了一种在源程序级将 Ada83服务性任务变换为 Ada95保护对象的方法 .先给出服务性任务应满足的条件、识别和表示服务性任务的方法 ,最后讨论此方法的可行性 .与其他方法相比 ,此方法具有假设条件少、识别和变换效率高以及容易验证等特点 .
展开更多
关键词
ADA
服务性任务
保护对象
并发程序设计
数据流图
在线阅读
下载PDF
职称材料
题名
一种Ada83服务性任务向Ada95保护对象变换的方法
被引量：
2
1
作者
李帮清
徐宝文
机构
东南大学计算机科学与工程系
武汉大学软件工程国家重点实验室武汉
出处
《软件学报》
EI
CSCD
北大核心
2000年第6期836-840,共5页
基金
华英文教基金资助
文摘
任务是 Ada语言支持并发程序设计的基础 ,它提供了一种进程同步和通信的良好机制 .但也存在一类被动的、专为其他任务服务的服务性任务 .服务性任务的存在增加了系统的负担 ,降低了系统的性能 .如果能将服务性任务变换为保护对象 ,则可以明显地提高系统的性能 ,减少维护的费用 .该文提出了一种在源程序级将 Ada83服务性任务变换为 Ada95保护对象的方法 .先给出服务性任务应满足的条件、识别和表示服务性任务的方法 ,最后讨论此方法的可行性 .与其他方法相比 ,此方法具有假设条件少、识别和变换效率高以及容易验证等特点 .
关键词
ADA
服务性任务
保护对象
并发程序设计
数据流图
Keywords
Ada, serving task, protected object, concurrent programming, data flow diagram.
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种Ada83服务性任务向Ada95保护对象变换的方法
李帮清
徐宝文
《软件学报》
EI
CSCD
北大核心
2000
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
