-
题名抢占式调度问题的PPTA模型与验证方法
- 1
-
-
作者
左正康
赵帅
王昌晶
谢武平
黄箐
-
机构
江西师范大学数字产业学院
江西师范大学计算机信息工程学院
江西师范大学网络化支撑软件国家科技合作基地
-
出处
《软件学报》
EI
CSCD
北大核心
2024年第10期4533-4554,共22页
-
基金
国家自然科学基金(61862033,62262031)
江西省教育厅科技项目(GJJ210307,GJJ210334)。
-
文摘
优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统带来抢占式调度问题.现有研究,缺乏一种可以直观表示任务的优先级以及任务之间的依赖关系的建模及自动验证方法.为此,提出抢占式优先级时间自动机(PPTA)并引入抢占式优先级时间自动机网络(PPTAN).首先,通过在时间自动机上添加变迁的优先级来表示任务的优先级,再利用变迁将具有依赖关系的任务相关联,从而可以利用PPTA建模带有优先级的实时任务.在时间自动机上添加阻塞位置,进而利用PPTAN建模优先级抢占式调度问题.其次,提出基于模型的转换方法,将抢占式优先级时间自动机映射到自动验证工具UPPAAL中.最后,通过建模多核多任务实时系统实例并与其他模型进行对比,说明所提模型不仅适用于建模优先级抢占式调度问题并可对其进行准确验证分析.
-
关键词
优先级抢占式调度
抢占式优先级时间自动机
多核多任务实时系统
UPPAAL
-
Keywords
preemptive priority scheduling
preemptive priority timed automata(PPTA)
multi-core multi-task real-time system
UPPAAL
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名优先级调度在交换式工业以太网中的应用研究
被引量：1
- 2
-
-
作者
檀明
魏臻
韩江洪
钟伯成
-
机构
合肥工业大学计算机与信息学院
合肥学院网络与智能信息处理重点实验室
-
出处
《微电子学与计算机》
CSCD
北大核心
2010年第5期148-152,共5页
-
基金
国家自然科学基金项目(60873003
60873195)
-
文摘
针对交换式以太网用于工业实时通信时不能确保数据按时送达问题,在通信站点和交换机端引入IEEE802.1p优先级服务机制,通过设置实时优先级字段来区分其不同的紧急程度的实时数据帧,并采用非抢占式固定优先级调度算法改善实时数据帧的传输时延.通过将调度分析法和网络演算法相结合,提出了一种混合的实时数据帧传输时延上界计算方法.比较研究表明该方法得到的结果比网络演算法更准确.
-
关键词
交换式工业以太网
非抢占式固定优先级调度
最大时延
最坏响应时间
-
Keywords
switched industrial ethernet
non-preemptive fixed priority scheduling
maximum time delay
worst-case response time
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名VoiceXML语音平台中预取方案的研究
被引量：2
- 3
-
-
作者
王文林
廖建新
朱晓民
王纯
-
机构
北京邮电大学网络与交换技术国家重点实验室
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2007年第11期2574-2579,共6页
-
基金
国家杰出青年科学基金(60525110)
新世纪优秀人才支持计划(NCET-04-0111)
+2 种基金
高等学校博士学科点专项科研基金(20030013006)
国家高技术产业化信息化装备专项项目
电子信息产业发展基金资助课题
-
文摘
该文在分析目前主要预取算法优劣的基础上,根据VoiceXML语音平台与基于HTML的WWW之间的区别,认为在VoiceXML语音平台中应该预取其引用的语音资源,提出一种自适应的多用户共享的Markov预测模型,统一预测所有在线用户下一步所需的资源及其访问概率,有助于提高预测的准确率。最后,该文还提出抢占式优先级模型来调度预取任务,将资源的访问概率映射为优先级。仿真研究表明,与单用户预测算法和循环调度模型比较,该预取算法和调度模型都能很好地减少用户请求的访问延迟,提高响应速度。
-
关键词
语音平台
VOICEXML
预取
预测
MARKOV模型
调度
抢占式优先级
-
Keywords
Voice platform
VoiceXML
Prefetch
Predict
Markov model
Schedule
Preemptive priority
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
