Concurrent programming in ML:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Pr.
1999
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 308 S. graph. Darst. |
| ISBN: | 0521480892 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012818983 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 991020s1999 d||| |||| 00||| engod | ||
| 020 | |a 0521480892 |9 0-521-48089-2 | ||
| 035 | |a (OCoLC)40940026 | ||
| 035 | |a (DE-599)BVBBV012818983 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.73.M6 | |
| 082 | 0 | |a 005.2/752 |2 21 | |
| 100 | 1 | |a Reppy, John H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Concurrent programming in ML |c John H. Reppy |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Pr. |c 1999 | |
| 300 | |a XIV, 308 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a ML (Langage de programmation) | |
| 650 | 7 | |a ML (langage de programmation) |2 ram | |
| 650 | 7 | |a ML |2 inriac | |
| 650 | 7 | |a Parallelverarbeitung |2 swd | |
| 650 | 4 | |a Parallélisme (Informatique) | |
| 650 | 7 | |a Parallélisme (informatique) |2 ram | |
| 650 | 7 | |a SML |2 inriac | |
| 650 | 7 | |a programmation parallèle |2 inriac | |
| 650 | 4 | |a ML (Computer program language) | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 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=008720064&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008720064 | ||
Datensatz im Suchindex
| _version_ | 1804127493606604800 |
|---|---|
| adam_text | Contents
Preface page ix
Legend xv
1 Introduction 1
1.1 Concurrency as a structuring tool 2
1.2 High level languages 6
1.3 Concurrent ML 7
2 Concepts in Concurrent Programming 11
2.1 Processes 12
2.2 Interference 13
2.3 Correctness issues in concurrent programming 14
2.4 Shared memory languages 16
2.5 Message passing languages 22
2.6 Parallel programming mechanisms 31
3 An Introduction to Concurrent ML 39
3.1 Sequential programming 39
3.2 Basic concurrency primitives 40
3.3 First class synchronous operations 52
3.4 Summary 60
4 CML Programming Techniques 63
4.1 Process networks 63
4.2 Client server programming 72
5 Synchronization and Communication Mechanisms 85
5.1 Other base event constructors 85
vi Contents
5.2 External synchronous events 87
5.3 Synchronizing shared memory 91
5.4 Buffered channels 97
5.5 Multicast channels 99
5.6 Meta programming RPC protocols 105
6 The Rationale for CML 117
6.1 Basic design choices 117
6.2 First class synchronous operations 120
6.3 Extending PML events 124
6.4 The expressiveness of CML 127
6.5 Discussion 129
7 A Software Build System 131
7.1 The problem 131
7.2 The design 133
7.3 Building the dependency graph 134
7.4 Creating the graph nodes 137
7.5 Parsing makefiles 139
7.6 Putting it all together 140
8 A Concurrent Window System 145
8.1 Overview 146
8.2 Geometry 146
8.3 The display system 147
8.4 The Toy Window System architecture 152
8.5 Some simple components 156
8.6 The implementation of a window manager 163
8.7 A sample application 173
9 A CML Implementation of Linda 183
9.1 CML Linda 184
9.2 An implementation overview 187
9.3 The protocols 190
9.4 The major components 193
9.5 The network layer 194
9.6 The server layer 204
9.7 The client layer 215
Contents vii
10 Implementing Concurrency in SML/NJ 221
10.1 First class continuations 221
10.2 Coroutines 223
10.3 Shared memory concurrency 225
10.4 Simple message passing 231
10.5 First class synchronous operations 236
10.6 Scheduling issues 244
Appendix A A CML Reference 249
Appendix B The Semantics of CML 275
Bibliography 293
Index 301
|
| any_adam_object | 1 |
| author | Reppy, John H. |
| author_facet | Reppy, John H. |
| author_role | aut |
| author_sort | Reppy, John H. |
| author_variant | j h r jh jhr |
| building | Verbundindex |
| bvnumber | BV012818983 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.M6 |
| callnumber-search | QA76.73.M6 |
| callnumber-sort | QA 276.73 M6 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)40940026 (DE-599)BVBBV012818983 |
| dewey-full | 005.2/752 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.2/752 |
| dewey-search | 005.2/752 |
| dewey-sort | 15.2 3752 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01480nam a2200421 c 4500</leader><controlfield tag="001">BV012818983</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991020s1999 d||| |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521480892</subfield><subfield code="9">0-521-48089-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40940026</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012818983</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.M6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2/752</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Reppy, John H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concurrent programming in ML</subfield><subfield code="c">John H. Reppy</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Pr.</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 308 S.</subfield><subfield code="b">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="650" ind1=" " ind2="4"><subfield code="a">ML (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ML (langage de programmation)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ML</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SML</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ML (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</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=008720064&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-008720064</subfield></datafield></record></collection> |
| id | DE-604.BV012818983 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:34:14Z |
| institution | BVB |
| isbn | 0521480892 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008720064 |
| oclc_num | 40940026 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | XIV, 308 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Cambridge Univ. Pr. |
| record_format | marc |
| spelling | Reppy, John H. Verfasser aut Concurrent programming in ML John H. Reppy 1. publ. Cambridge u.a. Cambridge Univ. Pr. 1999 XIV, 308 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier ML (Langage de programmation) ML (langage de programmation) ram ML inriac Parallelverarbeitung swd Parallélisme (Informatique) Parallélisme (informatique) ram SML inriac programmation parallèle inriac ML (Computer program language) Parallel processing (Electronic computers) HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008720064&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reppy, John H. Concurrent programming in ML ML (Langage de programmation) ML (langage de programmation) ram ML inriac Parallelverarbeitung swd Parallélisme (Informatique) Parallélisme (informatique) ram SML inriac programmation parallèle inriac ML (Computer program language) Parallel processing (Electronic computers) |
| title | Concurrent programming in ML |
| title_auth | Concurrent programming in ML |
| title_exact_search | Concurrent programming in ML |
| title_full | Concurrent programming in ML John H. Reppy |
| title_fullStr | Concurrent programming in ML John H. Reppy |
| title_full_unstemmed | Concurrent programming in ML John H. Reppy |
| title_short | Concurrent programming in ML |
| title_sort | concurrent programming in ml |
| topic | ML (Langage de programmation) ML (langage de programmation) ram ML inriac Parallelverarbeitung swd Parallélisme (Informatique) Parallélisme (informatique) ram SML inriac programmation parallèle inriac ML (Computer program language) Parallel processing (Electronic computers) |
| topic_facet | ML (Langage de programmation) ML (langage de programmation) ML Parallelverarbeitung Parallélisme (Informatique) Parallélisme (informatique) SML programmation parallèle ML (Computer program language) Parallel processing (Electronic computers) |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008720064&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT reppyjohnh concurrentprogramminginml |