-
题名抢占式调度问题的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
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式实时操作系统VxWorks内核调度机制分析
被引量：8
- 2
-
-
作者
万柳
-
机构
解放军信息工程大学信息工程学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2004年第6期51-52,共2页
-
文摘
本文简要介绍了多任务内核 。
-
关键词
嵌入式
实时操作系统
多任务内核
VxWorks内核
优先级抢占调度
时间片轮转调度算法
-
Keywords
Embedded RTOS Multi-task VxWorks Round-robin scheduling
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名Linux进程调度机制分析
- 3
-
-
作者
方林波
黄樟钦
侯义斌
-
机构
北京工业大学计算机学院
-
出处
《北京工业大学学报》
CAS
CSCD
北大核心
2005年第4期415-419,共5页
-
基金
北京市自然科学基金资助项目(KZ200510005006).
-
文摘
从如何增强Linux操作系统对实时任务的支持出发,阐述了2.4内核进程调度系统设计上存在的缺陷:缺乏对实时任务的支持,无法保证实时任务得到及时响应和调度;对多处理器环境的支持较差.分析了Linux的最新2.6内核进程调度系统的原理和实现细节.与2.4内核相比,2.6内核增强了对实时任务和多处理器环境的支持,实现了O(1)调度算法,支持抢占式调度,在响应时间及系统开销上均有大的改进,其显著特点是支持抢占式调度、支持多处理器负载平衡等,更加适合于实时应用环境.
-
关键词
进程调度
调度策略
优先级
时间片
抢占式
-
Keywords
process scheduling
scheduling policy
priority
timeslice
preemption
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
