Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor
Abstract
The Assumption-Based Truth Maintenance System (ATMS) is an important tool in AI. So far its wider use has been limited due to the enormous computational resources which it requires. We investigate the possibility of speeding it up by using a modest number of processors in parallel. We begin with a highly efficient sequential version written in C and then extend this version to allow parallel execution on the Encore Multimax, a 16 node shared-memory multiprocessor. We describe our experiences in implementing this shared-memory parallel version of the ATMS, present detailed results of its execution, and discuss the factors which limit the available speedup.
Cite
Text
Rothberg and Gupta. "Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor." International Joint Conference on Artificial Intelligence, 1989.Markdown
[Rothberg and Gupta. "Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/rothberg1989ijcai-experiences/)BibTeX
@inproceedings{rothberg1989ijcai-experiences,
title = {{Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor}},
author = {Rothberg, Edward and Gupta, Anoop},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {199-205},
url = {https://mlanthology.org/ijcai/1989/rothberg1989ijcai-experiences/}
}