Principles of artificial intelligence
Principles of artificial intelligence
Single-Agent Parallel Window Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
Linear-space best-first search
Artificial Intelligence
PRA*: massively parallel heuristic search
Journal of Parallel and Distributed Computing
Lock-free data structures
MPI-The Complete Reference, Volume 1: The MPI Core
MPI-The Complete Reference, Volume 1: The MPI Core
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
A Pragmatic Implementation of Non-blocking Linked-Lists
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Model Checking TLA+ Specifications
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Using Magnatic Disk Instead of Main Memory in the Murphi Verifier
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Fast and lock-free concurrent priority queues for multi-thread systems
Journal of Parallel and Distributed Computing
A Parallel External-Memory Frontier Breadth-First Traversal Algorithm for Clusters of Workstations
ICPP '06 Proceedings of the 2006 International Conference on Parallel Processing
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
Structured duplicate detection in external-memory graph search
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Sequential and parallel algorithms for frontier A* with delayed duplicate detection
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Domain-independent structured duplicate detection
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Large-scale parallel breadth-first search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Parallel structured duplicate detection
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Iterative-deepening-A: an optimal admissible tree search
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Best-first utility-guided search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Edge partitioning in external-memory graph search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Delayed duplicate detection: extended abstract
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Breadth-first heuristic search
Artificial Intelligence
Best-first heuristic search for multi-core machines
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The LAMA planner: guiding cost-based anytime planning with landmarks
Journal of Artificial Intelligence Research
Parallel external directed model checking with linear i/o
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Parallel divide-and-evolve: experiments with OpenMP on a multicore machine
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Parallel suboptimal heuristic search for finding a w-admissible solution. performance analysis
ICANCM'11/ICDCC'11 Proceedings of the 2011 international conference on applied, numerical and computational mathematics, and Proceedings of the 2011 international conference on Computers, digital communications and computing
Evaluations of hash distributed A* in optimal sequence alignment
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Parallel model checking using abstraction
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Evaluation of a simple, scalable, parallel best-first search strategy
Artificial Intelligence
Hi-index | 0.00 |
To harness modern multicore processors, it is imperative to develop parallel versions of fundamental algorithms. In this paper, we compare different approaches to parallel best-first search in a shared-memory setting. We present a new method, PBNF, that uses abstraction to partition the state space and to detect duplicate states without requiring frequent locking. PBNF allows speculative expansions when necessary to keep threads busy. We identify and fix potential livelock conditions in our approach, proving its correctness using temporal logic. Our approach is general, allowing it to extend easily to suboptimal and anytime heuristic search. In an empirical comparison on STRIPS planning, grid pathfinding, and sliding tile puzzle problems using 8-core machines, we show that A*, weighted A* and Anytime weighted A* implemented using PBNF yield faster search than improved versions of previous parallel search proposals.