Overview of DASWAM: Exploitation of dependent and-parallelism The dynamic dependent and-parallel scheme (DDAS) is a parallel execution scheme for Prolog that is designed to exploit independent and dependent and-parallelism in full Prolog programs. In this paper, an overview of some techniques for implementing DDAS is presented. The main purpose of these techniques is to provide reasonably efficient methods for implementing the idea of the dependent status and the dynamic detection of the leftmost instance of a variable, along with the techniques needed for suspending and waking up of goals. DASWAM, an implementation of DDAS using the techniques presented in this paper, is based on modifying the Warren abstract machine (WAM) for parallel execution, and is designed to execute programs efficiently. A prototype DASWAM has been implemented, and results on running significant application programs presented in this paper suggest that it is possible to implement DASWAM efficiently, and that significant parallelism can be extracted.
Keywords for this software
References in zbMATH (referenced in 10 articles , 1 standard article )
Showing results 1 to 10 of 10.
- De Guzmán, Pablo Chico; Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.: Parallel backtracking with answer memoing for independent and-parallelism (2011)
- Wang, Peter; Somogyi, Zoltan: Minimizing the overheads of dependent AND-parallelism (2011)
- Perri, Simona; Scarcello, Francesco; Catalano, Gelsomina; Leone, Nicola: Enhancing DLV instantiator by backjumping techniques (2007)
- Hermenegildo, M.: Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming (2000)
- Ranjan, Desh; Pontelli, Enrico; Gupta, Gopal: Data structures for order-sensitive predicates in parallel nondeterministic systems (2000)
- Muthukumar, K.; Bueno, F.; García de la Banda, María; Hermenegildo, M.: Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism (1999)
- Santos Costa, Vítor (ed.); Pontelli, Enrico (ed.); Gupta, Gopal (ed.): Workshop on Parallelism and implementation technology for (constraint) logic programming languages. Special issue of selected papers (1999)
- Shen, Kish; Santos Costa, Vítor; King, Andy: Distance: A new metric for controlling granularity for parallel execution (1998)
- Hermenegildo, Manuel: Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming (1997)
- Shen, Kish: Overview of DASWAM: Exploitation of dependent and-parallelism (1996)