首页>
外国专利>
Efficient parallelization of software analysis in distributed computing environment by intelligent and dynamic load balancing
Efficient parallelization of software analysis in distributed computing environment by intelligent and dynamic load balancing
展开▼
机译:通过智能和动态负载平衡,有效地并行化分布式计算环境中的软件分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for verifying software includes monitoring a resource queue and a job queue, determining whether the resource queue and the job queue contain entries, and if both the resource queue and the job queue contain entries, then applying a scheduling policy to select a job, selecting a worker node as a best match for the characteristics of the job among the resource queue entries, assigning the job to the worker node, assigning parameters to the worker node for a job creation policy for creating new jobs in the job queue while executing the job, and assigning parameters to the worker node for a termination policy for halting execution of the job. The resource queue indicates worker nodes available to verify a portion of code. The job queue indicates one or more jobs to be executed by a worker node. A job includes a portion of code to be verified.
展开▼