An overload real-time system non-preemptive scheduling method based on MaxSAT optimal solution

A preemptive scheduling, real-time system technology, applied in the direction of program startup/switching, program control design, instruments, etc., can solve the problems of difficulty in finding the optimal solution, low efficiency, non-preemptive scheduling methods, etc., and achieve strong scalability and execution efficiency, reduce computing cost, and improve solution efficiency

Active Publication Date: 2019-01-08
CHENGDU UNIVERSITY OF TECHNOLOGY
View PDF5 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] The purpose of the present invention is to provide a non-preemptive scheduling method for overloaded real-time systems based on the MaxSAT optimal solution. The present invention solves the problems of difficulty in solving optimal solutions and low efficiency in overloaded real-time systems

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
  • An overload real-time system non-preemptive scheduling method based on MaxSAT optimal solution
  • An overload real-time system non-preemptive scheduling method based on MaxSAT optimal solution
  • An overload real-time system non-preemptive scheduling method based on MaxSAT optimal solution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0049] Such as figure 1 As shown, a non-preemptive scheduling method for an overloaded real-time system based on the MaxSAT optimal solution, the specific steps of the method are as follows:

[0050] Step 1: Determine the scheduling problem, and encode the task attributes into MaxSAT hard clauses, where the task attribute encoding and the corresponding MaxSAT hard clauses should satisfy the following rules at the same time:

[0051] (1) When a task τ istarts at time t or after t, then the task τ i Must start at time t-1 or after t-1, encode the task attribute as the following hard clause:

[0052]

[0053] in, is a Boolean variable, representing the task τ i Start execution after time t or t-1, c i is the task τ i execution time, d i is the task τ i The deadline of , n is the total number of system tasks;

[0054] (2) When a task τ i ends at time t or before t, then the task τ i Must end at time t+1 or before t+1, encode the task attribute into the following har...

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 an overload real-time system non-preemptive scheduling method based on MaxSAT optimal solution, which comprises the following steps: (S1) determining scheduling problem and coding task attributes into MaxSAT hard clauses; (S2) encoding the scheduling target as a MaxSAT clause; (S3) 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 the optimal solution of the MaxSAT problem by the MaxSAT solver, and obtaining the optimal scheduling scheme. By adoptingthe scheme, the invention solves the problems of difficulty in solving the optimal scheme and low efficiency existing in the overload real-time system, and finally improves the efficiency of the target task scheduling method, so that the method has strong expansibility and execution efficiency, but also has high practical values and popularization values.

Description

technical field [0001] The invention belongs to the field of computer applications, and in particular relates to a non-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 s...

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/48
CPCG06F9/4881
Inventor 廖晓鹃张辉黄荣
Owner CHENGDU UNIVERSITY OF TECHNOLOGY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap