首页>
外国专利>
Scheduling policy for efficient parallelization of software analysis in a distributed computing environment
Scheduling policy for efficient parallelization of software analysis in a distributed computing environment
展开▼
机译:在分布式计算环境中有效并行化软件分析的调度策略
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for verifying software 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 a job queue or to a 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 a 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.
展开▼