Scheduling method of overload real-time system based on SMT optimal solution

A technology of real-time system and scheduling method, applied in the direction of multi-programming device, machine learning, program control design, etc., can solve the problems of difficulty and low efficiency in finding the optimal solution

Active Publication Date: 2019-08-16
CHENGDU UNIVERSITY OF TECHNOLOGY
View PDF3 Cites 0 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 scheduling method for an overloaded real-time system based on the optimal solution of SMT, which mainly solves the problem of difficulty and low efficiency in solving the optimal solution in the prior art

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
  • Scheduling method of overload real-time system based on SMT optimal solution
  • Scheduling method of overload real-time system based on SMT optimal solution
  • Scheduling method of overload real-time system based on SMT optimal solution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0047] Such as figure 1 As shown, a scheduling method for an overloaded real-time system based on the optimal solution of SMT includes the following steps:

[0048] Step (S1): According to the system constraints of the scheduling problem, encode the system constraints with Z3 grammar, and at the same time, the system constraints and the corresponding Z3 grammar codes should satisfy the following three rules at the same time:

[0049] Rule 1: Task τ i The start time of the first shard of is no earlier than τ i At the request moment of , the system constraints are coded as:

[0050]

[0051]

[0052] Rule 2: Task τ i The a-th shard of is prior to task τ i The b-th fragment of , encodes the system constraints as:

[0053]

[0054]

[0055] Rule 3: When task τ i the a-th slice of and task τ j The b-th shard of Occupy the same processor, and the execution time periods of the two fragments a and b overlap, then there is prior to execute or prior to Exe...

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 scheduling method of an overload real-time system based on an SMT optimal solution. The scheduling method mainly solves the problems that an optimal scheme is difficult to solve and the efficiency is low in the prior art. The method comprises the following steps: (S1) encoding system constraints by using Z3 syntax according to the system constraints of a scheduling problem; (S2) coding the target constraint by using Z3 syntax according to the target constraint of the scheduling problem; (3) writing the results obtained in the step (1) and the step (2) into a file to obtain an SMT problem; and (4) calculating an optimal solution of the SMT problem through a Z3 solver to obtain an optimal scheduling scheme. By means of the scheme, the purpose of high expandability and execution efficiency is achieved, and high practical value and popularization value are achieved.

Description

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

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/48G06N20/00
CPCG06F9/4881G06N20/00
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