[发明专利]一种基于MaxSAT最优解的过载实时系统可抢占式调度方法有效
| 申请号： | 201811109019.4 | 申请日： | 2018-09-21 |
| 公开（公告）号： | CN109358954B | 公开（公告）日： | 2021-11-02 |
| 发明（设计）人： | 廖晓鹃;张辉;黄荣 | 申请（专利权）人： | 成都理工大学 |
| 主分类号： | G06F9/48 | 分类号： | G06F9/48;G06F9/50 |
| 代理公司： | 成都众恒智合专利代理事务所(普通合伙) 51239 | 代理人： | 钟显毅 |
| 地址： | 610000 四川*** | 国省代码： | 四川;51 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于MaxSAT最优解的过载实时系统可抢占式调度方法，该方法包括如下步骤：(S1)确定调度问题，将任务属性编码为MaxSAT硬子句；(S2)将调度目标编码为MaxSAT子句；(S3)将(S1)得到的MaxSAT硬子句和(S2)得到的MaxSAT子句，利用合取运算符进行连接，得到MaxSAT问题；(S4)通过MaxSAT解算器计算出MaxSAT问题的最优解，得到最优调度方案。本发明通过上述方案，提高了过载实时系统中任务可抢占式调度的效率，从而使得本发明不仅具有很强的可扩展性和执行效率，还具有很高的实用价值和推广价值。 | ||
| 搜索关键词： | 一种 基于 maxsat 最优 过载 实时 系统 抢占 调度 方法 | ||
【主权项】：
1.一种基于MaxSAT最优解的过载实时系统可抢占式调度方法，其特征在于，包括如下步骤：(S1)确定调度问题，将任务属性编码为MaxSAT硬子句；(S2)将调度目标编码为MaxSAT子句；(S3)将(S1)和(S2)得到的子句用合取运算符进行连接，得到MaxSAT问题；(S4)通过MaxSAT解算器计算出MaxSAT问题的最优解，得到最优调度方案。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于成都理工大学，未经成都理工大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811109019.4/，转载请声明来源钻瓜专利网。
- 上一篇：一种微云中的多任务应用卸载方法
- 下一篇：进程管理方法和装置
