Parallel execution of Parlog
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 based model and a more imperative approach. The design of a specialized instruction set...
Saved in:
| Main Author: | |
|---|---|
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
586 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Parallel execution of Parlog, A. Cheese, Berlin, Springer-Verlag, 1992, 1 vol. (IX-184 p.), Lecture notes in computer science, 3-540-55382-7 • Parallel Execution of Parlog, Texte imprimé, 9783662181027 |
| LEADER | 03493nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 945691 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155237403 | ||
| 020 | |a 9783540470502 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.133 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Cheese, Andrew, |d 19..- | |
| 245 | 1 | 0 | |a Parallel execution of Parlog |c A. Cheese. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 586 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Parlog a concurrent logic programming language -- A fine-grain graph-reduction model of computation -- Implementing parlog on a packet-rewriting computational model -- The Multi-Sequential coarse-grain approach -- Summary, further work and conclusions. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 based model and a more imperative approach. The design of a specialized instruction set is presented that is general enough to be used for the whole family of concurrent logic programming languages. In particular the language Parlog is concentrated upon because it is the most efficiently implementable of all the non-flat logic programming languages. Other issues arising from the implementation of a programming language are discussed, in particular the design of a load balancing scheme which deals with the large number of short-lived processes inherent in a correct language implementation. Detailed descriptions of all the data structures and synchronisation algorithms are also presented. Resource exhaustion is also discussed and handled within the implementations. Detailed performance results for both models of computation are given. From the material it should be possible for the reader to create an implementation. . | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Programmation parallèle (informatique) | ||
| 650 | |a Parlog (langage de programmation) | ||
| 776 | 0 | |0 023404779 |t Parallel execution of Parlog |f A. Cheese |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (IX-184 p.) |s Lecture notes in computer science |z 3-540-55382-7 | |
| 776 | 0 | |t Parallel Execution of Parlog |b Texte imprimé |z 9783662181027 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0022706 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-WT13QGKT-M |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747908397 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0022706 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092134X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0022706 |z Accès INSA CVL | |
| 997 | |0 945691 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||