| 书目名称 | Parallel Execution of Parlog |
| 编辑 | Andrew Cheese |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different abstract models are also considered: a graph reduction basedmodel and a more imperative approach. The design of a specialized instruction set is presented that is general enough tobe used for the whole family of concurrent logic programming languages. In particular the language Parlog is concentrated upon because it is themost efficiently implementable of all the non-flat logic programminglanguages. Other issues arising from the implementation of a programminglanguage are discussed, in particular the design of a loadbalancing scheme which deals with the large number of short-lived processes inherent in a correct languageimplementation. Detailed descriptions of all the data structuresand synchronisation algorithms are also presented. Resource exhaustionis also discussed and handled within the implementations. Detailedperformance results for both models of computation are given. From thematerial it should be possible for the reader to create an implementation. |
| 出版日期 | Book 19921st edition |
| 关键词 | algorithm; algorithms; data structure; data structures; logic; logic programming; programming; programming |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0022706 |
| isbn_softcover | 978-3-540-55382-3 |
| isbn_ebook | 978-3-540-47050-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1992 |
发表于 2025-3-21 19:29:11
