A distributed scheduling method of a constraint solver based on an intelligent contract

Abstract

The invention provides a distributed scheduling method of a constraint solver based on an intelligent contract, which comprises the following steps: 1, acquiring a plurality of types of constraint sets in a parallel program and placing the sets on a first cloud end; 2, obtaining a plurality of types of constraint solvers and arranging the solvers at a second cloud end; 3, writing the match principle into the intelligent contract, and deploying the intelligent contract on the block chain; 4:, calling the intelligent contract to complete the scheduling based on the matching principle in the contract; 5, obtaining a scheduling path between a constraint solver and a constraint set during that scheduling process. The method realizes that the matching relation between the constraint set and theconstraint solver is written into the intelligent contract, so as to complete the scheduling process of the constraint solver based on the intelligent contract. Through intelligent contract for scheduling, the progress of constraint solver can be recorded in real time, and the matching mode between the recorded constraint set and the constraint solver can be selected for model training, and the obtained model can be used as the basis for constraint solution of personnel in the technical field.

Description

technical field [0001] The invention provides a smart contract-based distributed scheduling method for constraint solvers, which belongs to the technical field of cloud testing. Background technique [0002] With the development of cloud computing technology in computer network technology, the cloud service model provides users with dynamic and scalable virtual resources based on the Internet. As one of the important research contents of cloud computing, cloud resource scheduling has won the research of technical personnel, so as to realize the optimization of scheduling model. When it is necessary to solve the constraint sets in multiple parallel test cases, the process of selecting and calling the appropriate constraint solver becomes extremely complicated. Simultaneously calling the symbolic execution tool to solve multiple constraint sets will cause a series of problems such as path explosion. In order to avoid the problem of path explosion, relevant personnel proposed ...

AI Technical Summary

Problems solved by technology

[0005] The invention provides a smart contract-based distributed scheduling method for constraint solvers, which can solve the problem that the existing scheduling constraint solvers cannot record the solution progress of the constraint solvers and the details of the constraint sets and constraint solvers when the solution is completed. Problem with matching paths

Images