首页>
外国专利>
Technique for efficient parallelization of software analysis in a distributed computing environment through intelligent dynamic load balancing
Technique for efficient parallelization of software analysis in a distributed computing environment through intelligent 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.
展开▼