Towards high-level execution primitives for and-parallelism: preliminary results
作者： Manuel Carro Liñares , Amadeo Casas , Manuel V. Hermenegildo
DOI:
关键词:
摘要: Most implementations of parallel logic programming rely on complex low-level machinery which is arguably difflcult to implement and modify. We explore an alternative approach aimed at taming that complexity by raising core parts the implementation source language level for particular case and-parallelism. Therefore, we handle a signiflcant portion mechanism Prolog with help comparatively small number concurrency-related primitives take care lower-level tasks such as locking, thread management, stack set etc. The does not eliminate altogether modiflcations abstract machine, but it greatly simplify them also facilitates experimenting different alternatives. show how this allows implementing both restricted unrestricted (i.e., non fork-join) parallelism. Preliminary experiments amount performance sacriflced reasonable, although granularity control required in some cases. Also, observe availability parallelism contributes better observed speedups.
参考文章(21)
K. Muthukumar, F. Bueno, M. García de la Banda, M. Hermenegildo, Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism Journal of Logic Programming. ,vol. 38, pp. 165- 218 ,(1999) , 10.1016/S0743-1066(98)10022-5
M. V. Hermenegildo, K. J. Greene, The &-Prolog system: Exploiting independent and-parallelism New Generation Computing. ,vol. 9, pp. 233- 256 ,(1991) , 10.1007/BF03037164
Manuel Hermenegildo, Parallelizing irregular and pointer-based computations automatically: perpectives from logic and constraint programming parallel computing. ,vol. 26, pp. 1685- 1708 ,(2000) , 10.1016/S0167-8191(00)00051-X
E. Pontelli, G. Gupta, M. Hermenegildo, &ACE: a high-performance parallel Prolog system international parallel processing symposium. pp. 564- 571 ,(1995) , 10.1109/IPPS.1995.395891
Ewing Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman, The Aurora or-parallel Prolog system New Generation Computing. ,vol. 7, pp. 243- 271 ,(1990) , 10.1007/BF03037208
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García, Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) Science of Computer Programming. ,vol. 58, pp. 115- 140 ,(2005) , 10.1016/J.SCICO.2005.02.006
Manuel Carro, José F. Morales, Henk L. Muller, G. Puebla, M. Hermenegildo, High-level languages for small devices: a case study compilers, architecture, and synthesis for embedded systems. pp. 271- 281 ,(2006) , 10.1145/1176760.1176794
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo, Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs Logic-Based Program Synthesis and Transformation. pp. 138- 153 ,(2008) , 10.1007/978-3-540-78769-3_10
P. LOPEZ, M. HERMENEGILDO, S. DEBRAY, A methodology for granularity-based control of parallelism in logic programs parallel symbolic computation. ,vol. 21, pp. 715- 734 ,(1996) , 10.1006/JSCO.1996.0038
Vítor Santos Costa, Optimising Bytecode Emulation for Prolog principles and practice of declarative programming. pp. 261- 277 ,(1999) , 10.1007/10704567_16