| 書目名稱 | Parallel Execution of Parlog |
| 編輯 | Andrew Cheese |
| 視頻video | http://file.papertrans.cn/741/740967/740967.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 02:38
發(fā)表于 2025-3-21 19:29:11
