A Distributed Scheduling Method for Constraint Solver Based on Smart Contract

Abstract

The present invention provides a distributed scheduling method for constraint solvers based on smart contracts. The steps are as follows: 1: Obtain multiple types of constraint sets in parallel programs and place them in the first cloud; 2: Obtain multiple types of constraint solvers , placed on the second cloud; 3: Write the matching principle into the smart contract, and deploy the smart contract to the blockchain; 4: Call the smart contract, and complete the scheduling based on the matching principle in the contract; 5: Obtain the constraints in the scheduling process The scheduling path between the solver and the constraint set; the present invention realizes writing the matching relationship between the constraint set and the constraint solver into the smart contract, thereby completing the scheduling process of the constraint solver based on the smart contract, and applying the smart contract for scheduling, Real-time recording of the solution progress of the constraint solver can be realized, so that 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 by those skilled in the art.

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