Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A preemptive scheduling method for overloaded real-time system based on MaxSAT optimal solution

A preemptive scheduling and real-time system technology, applied in the field of computer applications, can solve problems such as low efficiency and difficulty in finding the optimal solution

Active Publication Date: 2019-02-19
CHENGDU UNIVERSITY OF TECHNOLOGY
View PDF5 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The invention solves the problems of difficulty in solving the optimal scheme and low efficiency existing in the prior art, and improves the flexibility of scheduling

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A preemptive scheduling method for overloaded real-time system based on MaxSAT optimal solution
  • A preemptive scheduling method for overloaded real-time system based on MaxSAT optimal solution
  • A preemptive scheduling method for overloaded real-time system based on MaxSAT optimal solution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0061] Such as figure 1 As shown, a preemptive scheduling method for an overloaded real-time system based on the MaxSAT optimal solution, in which, preemptible means that a task is allowed to be interrupted by other tasks during execution, and the previous task is continued after other tasks are completed. The specific steps of the method are as follows:

[0062] Step 1: Determine the scheduling problem, and encode the task attributes into MaxSAT hard clauses. The task attributes and their encoding are as follows:

[0063] (1) The start time of the i-th slice of task l is not earlier than the completion time of all task slices before it, and this attribute is encoded as the following hard clause:

[0064]

[0065] in, is a Boolean variable, indicating that the i-th slice of task l starts executing at or after time t, and q l is the number of shards of task l, r l is the ready moment of task l, is the execution time of the u-th slice of task l, and n is the total numb...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a preemptive scheduling method of an overload real-time system based on a MaxSAT optimal solution. The method comprises the following steps: (S1) determining a scheduling problem and encoding a task attribute as a MaxSAT hard clause; (S2) encoding the scheduling target as a MaxSAT clause; (3) connecting the MaxSAT hard clause obtained from (S1) and the MaxSAT clause obtained from (S2) by using conjunction operator to obtain the MaxSAT problem; (S4) calculating optimal solution of the MaxSAT problem i by the MaxSAT solver, and the optimal scheduling scheme is obtained. The invention improves the efficiency of task preemptive scheduling in an overloaded real-time system through the scheme, so that the invention not only has strong expandability and execution efficiency, but also has high practical value and popularization value.

Description

technical field [0001] The invention belongs to the field of computer applications, and in particular relates to a preemptive scheduling method for an overloaded real-time system based on the MaxSAT optimal solution. Background technique [0002] Real-time systems play an important role in today's various application fields. Research on the optimal scheduling strategy of overloaded real-time systems has a positive impact on improving system stability, and has very important theoretical significance and practical value. Under normal workload, the classic scheduling algorithm can ensure that all tasks are completed before the deadline, but in practical applications, the system load may change due to unstable factors in the working environment. Once the system load is overloaded, there will be no When the scheduling algorithm can complete all the tasks within the deadline, this situation is called system overload. When the overload problem occurs, if there is no suitable sched...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F9/48G06F9/50
CPCG06F9/4881G06F9/505
Inventor 廖晓鹃张辉黄荣
Owner CHENGDU UNIVERSITY OF TECHNOLOGY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com