A distributed implementation of flat concurrent prolog on message passing multiprocessor systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Stuttgart u.a.
Teubner
1993
|
| Schriftenreihe: | Teubner-Texte zur Informatik
3 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 116 S. Ill., graph. Darst. |
| ISBN: | 3815420512 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005903541 | ||
| 003 | DE-604 | ||
| 005 | 20121219 | ||
| 007 | t | ||
| 008 | 921214s1993 gw ad|| m||| 00||| eng d | ||
| 020 | |a 3815420512 |9 3-8154-2051-2 | ||
| 035 | |a (OCoLC)28559147 | ||
| 035 | |a (DE-599)BVBBV005903541 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 004/.35 |2 20 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Glässer, Uwe |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A distributed implementation of flat concurrent prolog on message passing multiprocessor systems |c von Uwe Glässer |
| 264 | 1 | |a Stuttgart u.a. |b Teubner |c 1993 | |
| 300 | |a 116 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Teubner-Texte zur Informatik |v 3 | |
| 502 | |a Zugl.: Paderborn, Univ., Diss., 1992 | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Multiprocessors | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 0 | 7 | |a Concurrent Prolog |0 (DE-588)4293668-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Transputer |0 (DE-588)4207653-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Transputer |0 (DE-588)4207653-5 |D s |
| 689 | 0 | 1 | |a Concurrent Prolog |0 (DE-588)4293668-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Teubner-Texte zur Informatik |v 3 |w (DE-604)BV035418302 |9 3 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003696938&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003696938 | ||
Datensatz im Suchindex
| _version_ | 1804120094372003840 |
|---|---|
| adam_text | Titel: A distributed implementation of flat concurrent prolog on message passing multiprocessor systems
Autor: Glässer, Uwe
Jahr: 1993
Contents
Acknowledgements 7
1 Introduction and Overview 9
1.1 General Introduction 9
1.2 Significance of the Work 10
1.3 Overall Organization 11
1.4 Syntax of Logic Programs 12
1.5 Data Manipulation by Unification 14
2 Concurrent Logic Programming 16
2.1 Process Interpretation of Logic Programs 16
2.1.1 The Process Model 16
2.1.2 Computational Behaviour 17
2.1.3 General Language Classification 19
2.2 Data-Flow Synchronization Techniques 20
2.2.1 Process Synchronization 20
2.2.2 Atomicity of Unification 21
2.2.3 Specification of Synchronization 21
2.2.4 Overall Comparison 22
2.3 Operational Semantics of FCP 23
2.3.1 FCP Data-Flow Synchronization 23
2.3.2 An Abstract FCP Interpreter 27
2.3.3 Formal Description of Computations 28
2.3.4 An Example for an FCP Program 30
3 Design of an Abstract FCP Machine 36
3.1 The Process Reduction Mechanism 36
3.1.1 Complexity Issues 36
3.1.2 The Process Reduction-Cycle 38
3.2 The Abstract Machine Model 38
3.2.1 A Sequential FCP Machine 39
3.2.2 Functional Machine Architecture 40
3.2.3 Process Scheduling 42
4 Concepts for a Distributed Implementation 45
4.1 Abstract System Architecture 45
4.1.1 Parallelization 46
4.1.2 Scalability 48
4.1.3 Communication and Synchronization 50
4.2 Distributed Data Representation 52
4.2.1 Data Representation at the Application Layer 52
4.2.2 Data Representation at the Machine Layer 53
4.2.3 Representation of Non-Variable Terms 54
4.2.4 Representation of Logical Variables 55
4.2.5 Representation of Process Structures 58
4.2.6 Distribution of Process Strucures 61
4.3 The Distributed Reduction Algorithm 61
4.3.1 Variable Migration 62
4.3.2 Synchronizing Reduction Operations 64
4.3.3 Distributed Process Suspension 65
4.3.4 Observations on Complexity 70
4.4 Distributed Termination Detection 71
4.5 Multiprogramming Facilities 73
4.6 Deadlock and Livelock Prevention 73
4.6.1 Prevention of Livelocks 73
4.6.2 Prevention of Deadlocks 74
4.6.3 Detection of Livelocks 76
4.6.4 A Combined Approach 76
4.7 Dynamic Work Load Balancing 77
4.7.1 The Process Selection Policy 78
4.7.2 The Load Balancing Policy 80
4.8 Distributed Garbage Collection 81
4.9 Related Work 81
5 Implementing FCP on Large Transputer Networks 84
5.1 Parallel Machine Architecture 84
5.2 Reduction Unit Architecture 86
5.2.1 The Reducer Subunit 88
5.2.2 The Distributor Subunit 89
5.2.3 The Router Subunit 94
5.3 Host Unit Architecture 96
6 Performance Measurements and Optimizations 98
6.1 Performance Measures 98
6.2 Possible Optimizations 103
7 Conclusions 104
Bibliography 107
Index 114
|
| any_adam_object | 1 |
| author | Glässer, Uwe |
| author_facet | Glässer, Uwe |
| author_role | aut |
| author_sort | Glässer, Uwe |
| author_variant | u g ug |
| building | Verbundindex |
| bvnumber | BV005903541 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 |
| callnumber-search | QA76.9.D5 |
| callnumber-sort | QA 276.9 D5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 250 |
| ctrlnum | (OCoLC)28559147 (DE-599)BVBBV005903541 |
| dewey-full | 004/.35 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.35 |
| dewey-search | 004/.35 |
| dewey-sort | 14 235 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01867nam a2200481 cb4500</leader><controlfield tag="001">BV005903541</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921214s1993 gw ad|| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3815420512</subfield><subfield code="9">3-8154-2051-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28559147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005903541</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.35</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Glässer, Uwe</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A distributed implementation of flat concurrent prolog on message passing multiprocessor systems</subfield><subfield code="c">von Uwe Glässer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart u.a.</subfield><subfield code="b">Teubner</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">116 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Teubner-Texte zur Informatik</subfield><subfield code="v">3</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Paderborn, Univ., Diss., 1992</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Multiprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Concurrent Prolog</subfield><subfield code="0">(DE-588)4293668-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transputer</subfield><subfield code="0">(DE-588)4207653-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Transputer</subfield><subfield code="0">(DE-588)4207653-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Concurrent Prolog</subfield><subfield code="0">(DE-588)4293668-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Teubner-Texte zur Informatik</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV035418302</subfield><subfield code="9">3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003696938&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003696938</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV005903541 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:36:37Z |
| institution | BVB |
| isbn | 3815420512 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003696938 |
| oclc_num | 28559147 |
| open_access_boolean | |
| owner | DE-739 DE-83 DE-188 |
| owner_facet | DE-739 DE-83 DE-188 |
| physical | 116 S. Ill., graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Teubner |
| record_format | marc |
| series | Teubner-Texte zur Informatik |
| series2 | Teubner-Texte zur Informatik |
| spelling | Glässer, Uwe Verfasser aut A distributed implementation of flat concurrent prolog on message passing multiprocessor systems von Uwe Glässer Stuttgart u.a. Teubner 1993 116 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Teubner-Texte zur Informatik 3 Zugl.: Paderborn, Univ., Diss., 1992 Datenverarbeitung Electronic data processing Distributed processing Logic programming Multiprocessors Prolog (Computer program language) Concurrent Prolog (DE-588)4293668-8 gnd rswk-swf Transputer (DE-588)4207653-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Transputer (DE-588)4207653-5 s Concurrent Prolog (DE-588)4293668-8 s DE-604 Teubner-Texte zur Informatik 3 (DE-604)BV035418302 3 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003696938&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Glässer, Uwe A distributed implementation of flat concurrent prolog on message passing multiprocessor systems Teubner-Texte zur Informatik Datenverarbeitung Electronic data processing Distributed processing Logic programming Multiprocessors Prolog (Computer program language) Concurrent Prolog (DE-588)4293668-8 gnd Transputer (DE-588)4207653-5 gnd |
| subject_GND | (DE-588)4293668-8 (DE-588)4207653-5 (DE-588)4113937-9 |
| title | A distributed implementation of flat concurrent prolog on message passing multiprocessor systems |
| title_auth | A distributed implementation of flat concurrent prolog on message passing multiprocessor systems |
| title_exact_search | A distributed implementation of flat concurrent prolog on message passing multiprocessor systems |
| title_full | A distributed implementation of flat concurrent prolog on message passing multiprocessor systems von Uwe Glässer |
| title_fullStr | A distributed implementation of flat concurrent prolog on message passing multiprocessor systems von Uwe Glässer |
| title_full_unstemmed | A distributed implementation of flat concurrent prolog on message passing multiprocessor systems von Uwe Glässer |
| title_short | A distributed implementation of flat concurrent prolog on message passing multiprocessor systems |
| title_sort | a distributed implementation of flat concurrent prolog on message passing multiprocessor systems |
| topic | Datenverarbeitung Electronic data processing Distributed processing Logic programming Multiprocessors Prolog (Computer program language) Concurrent Prolog (DE-588)4293668-8 gnd Transputer (DE-588)4207653-5 gnd |
| topic_facet | Datenverarbeitung Electronic data processing Distributed processing Logic programming Multiprocessors Prolog (Computer program language) Concurrent Prolog Transputer Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003696938&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035418302 |
| work_keys_str_mv | AT glasseruwe adistributedimplementationofflatconcurrentprologonmessagepassingmultiprocessorsystems |