Dissertation
Thread selection and control: Towards a concurrency model for Prolog
Washington State University
Doctor of Philosophy (PhD), Washington State University
2009
DOI:
https://doi.org/10.7273/000006108
Abstract
Explicit expressions of concurrency advance Prolog's standing as a practical programming language capable of exploiting modern multiprocessor computers. This dissertation describes the design and implementation of a high-level concurrency model for Prolog. The design is based on self-blocking threads which facilitate the separation of thread creation and execution and the implementation of suspend and resume primitives, both of which are critical to Prolog interoperability. The model subsumes the one recommended in ISO/IEC DTR 13211-5:2007 and provides for high-level features such as backtracking, multiple executions and execution modes. Experimental results based on a proof-of-concept implementation show that the model is competitively efficient in terms of simplicity and expressiveness, as well as performance.
Metrics
3 File views/ downloads
17 Record Views
Details
- Title
- Thread selection and control
- Creators
- Atef Suleiman
- Contributors
- John H. Miller (Chair)
- Awarding Institution
- Washington State University
- Academic Unit
- School of Electrical Engineering and Computer Science
- Theses and Dissertations
- Doctor of Philosophy (PhD), Washington State University
- Publisher
- Washington State University
- Identifiers
- 99901055020901842
- Language
- English
- Resource Type
- Dissertation