| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide scheduling of policies for efficient parallelization of software analysis in a distributed computing environment. <P>SOLUTION: A method provided by this invention includes accessing a job queue, accessing a resource queue, and assigning a job from the job queue to a resource from the resource queue if an addition is made to the job queue or to the resource queue. The job queue includes an indication of one or more jobs to be executed by a worker node, each job indicating a portion of a code to be verified. The resource queue includes an indication of one or more worker nodes available to verify a portion of software. The resource is selected by determining the best match for the characteristics of the selected job among the resources in the resource queue. <P>COPYRIGHT: (C)2012,JPO&INPIT |
