GridSAT: Design and Implementation of a Computational Grid Application
GridSAT: Design and Implementation of a Computational Grid Application
复制标题
GridSAT：计算网格应用程序的设计和实现
DOI：
--
复制
发表时间：
2006
影响因子：
5.5
通讯作者：
R. Wolski
中科院分区：
文献类型：
--
作者：
Wahid Chrabakh;R. Wolski
我们提出了GridSAT的最新实例[1]，一个分布式的和完整的可满足性求解器，明确地设计为聚合网格资源的应用程序的性能。GridSAT以前被证明优于最先进的顺序求解器。在这项工作中，我们探索了前所未有的解决能力GridSAT使通过算法和实施创新。我们描述的实现技术，使GridSAT利用各种高端批处理调度资源，集群，交互式工作站，和个人计算资源，通过自主调度，检查点调度，和工作迁移。这些创新使GridSAT解决了一系列以前未解决的工业和社区满意度问题。除了这种新的解决方案能力，GridSAT还在年度SAT竞赛[21]的性能基准上超越了其他最高性能的通用求解器。
We present the latest instantiation of GridSAT [1], a distributed and complete satisfiability solver that is explicitly designed to aggregate Grid resources for application performance. GridSAT was previously shown to outperform the state-of-the-art sequential solvers. In this work, we explore the unprecedented solving power GridSAT enables through algorithmic and implementation innovations. We describe the implementation techniques that allow GridSAT to leverage a variety of high-end batch-scheduled resources, clusters, interactive workstations, and personal computing resources through autonomous scheduling, checkpoint scheduling, and work migration. These innovations have allowed GridSAT to solve a set of ‘hard’ and previously unsolved industrial and community satisfiability problems. In addition to this new solution power, GridSAT also outperforms the otherwise highest performance general solvers on the annual SAT competition [21] performance benchmarks.