Concurrency state models & Java programs
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Chichester
Wiley
2007
|
| Ausgabe: | 2. ed., repr. |
| Schlagworte: | |
| Online-Zugang: | http://www.loc.gov/catdir/toc/ecip068/2006004540.html Inhaltsverzeichnis Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023095334 | ||
| 003 | DE-604 | ||
| 005 | 20090716 | ||
| 007 | t| | ||
| 008 | 080123s2007 xxkad|| |||| 00||| eng d | ||
| 020 | |a 0470093552 |c cloth : alk. paper |9 0-470-09355-2 | ||
| 020 | |a 9780470093559 |9 978-0-470-09355-9 | ||
| 035 | |a (OCoLC)315766411 | ||
| 035 | |a (DE-599)BVBBV023095334 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-739 |a DE-83 |a DE-861 |a DE-523 | ||
| 084 | |a ST 151 |0 (DE-625)143595: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Magee, Jeff |d 1952- |e Verfasser |0 (DE-588)1026705452 |4 aut | |
| 245 | 1 | 0 | |a Concurrency |b state models & Java programs |c Jeff Magee; Jeff Kramer |
| 250 | |a 2. ed., repr. | ||
| 264 | 1 | |a Chichester |b Wiley |c 2007 | |
| 300 | |a XVIII, 413 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Parallel programming (Computer science) | |
| 650 | 4 | |a Java (Computer program language) | |
| 650 | 0 | 7 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Multithreading |0 (DE-588)4377481-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | 1 | |a Multithreading |0 (DE-588)4377481-7 |D s |
| 689 | 1 | 2 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 2 | 1 | |a Java |g Programmiersprache |0 (DE-588)4401313-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Kramer, Jeff |d 1949- |e Sonstige |0 (DE-588)1026705991 |4 oth | |
| 856 | 4 | |a Table of contents |u http://www.loc.gov/catdir/toc/ecip068/2006004540.html | |
| 856 | 4 | |u http://www3.ub.tu-berlin.de/ihv/001746792.pdf |3 Inhaltsverzeichnis | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016298144&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016298144 | |
Datensatz im Suchindex
| _version_ | 1819650841967067136 |
|---|---|
| adam_text | Preface
Acknowledgments
1
Introduction
1.1
Concurrent Programs
1.2
The Modeling Approach
1.3
Practice
1.4
Content Overview
Summary
Notes and Further Reading
2
Processes and Threads
2.1
Modeling Processes
2.2
Implementing Processes
Summary
Notes and Further Reading
Exercises
3
Concurrent Execution
3.1
Modeling Concurrency
3.2
Multi-Threaded Programs
Summary
Notes and Further Reading
Exercises
4
Shared Objects and Mutual Exclusion
4.1
Interference
4.2
Mutual Exclusion in Java
4.3
Modeling Mutual Exclusion
Summary
77
Notes and Further Reading
77
Exercises
78
5
Monitors and Condition Synchronization
79
5.1
Condition Synchronization
79
5.2
Semaphores
86
5.3
Bounded Buffers
93
5.4
Nested Monitors
97
5.5
Monitor Invariants
101
Summary
102
Notes and Further Reading
103
Exercises
104
6
Deadlock
107
6.1
Deadlock Analysis
108
6.2
Dining Philosophers Problem
112
Summary
119
Notes and Further Reading
120
Exercises
120
7
Safety and Liveness Properties
123
7.1
Safety
124
7.2
Single-Lane Bridge Problem
127
7.3
Liveness
135
7.4
Liveness of the Single-Lane Bridge
140
7.5
Readers-Writers Problem
146
Summary
155
Notes and Further Reading
156
Exercises
157
8
Model-Based Design
159
8.1
From Requirements to Models
160
8.2
From Models to Implementations
174
Summary
178
Notes and Further Reading
180
Exercises
181
9
Dynamic Systems
183
9.1
Golf Club Program
184
9.2
Golf Club Model
188
9.3
Fair Allocation
192
9.4
Revised Golf Ball Allocator
193
9.5
Bounded Overtaking
194
9.6
Bounded Overtaking Golf Ball Allocator
200
9.7
Master-Slave Program
202
9.8
Master-Slave Model
203
Summary
205
Notes and Further Reading
206
Exercises
208
10
Message Passing
10.1
Synchronous Message Passing
10.2
Asynchronous Message Passing
10.3
Rendezvous
Summary
Notes and Further Reading
Exercises
11
Concurrent Architectures
11.1
Filter Pipeline
11.2
Supervisor-Worker
11.3
Announcer-Listener
Summary
Notes and Further Reading
Exercises
12
Timed Systems
12.1
Modeling Timed Systems
12.2
Implementing Timed Systems
12.3
Parcel Router Problem
12.4
Space Invaders
Summary
Notes and Further Reading
Exercises
13
Program Verification
13.1
Sequential Processes
13.2
Modeling Condition Synchronization
13.3
Modeling Variables and Synchronized Methods
13.4
Bounded Buffer Example
13.5
Readers-Writers Example
334
Summary
340
Notes and Further Reading
341
Exercises
342
14
Logical Properties
345
14.1
Fluent Propositions
346
14.2
Temporal Propositions
348
14.3
Fluent Linear Temporal Logic (FLTL)
355
14.4
Database Ring Problem
358
Summary
364
Notes and Further Reading
365
Exercises
366
Appendix A FSP Quick Reference
367
A.I Processes
367
A.2 Composite Processes
368
A.3 Common Operators
368
A.4 Properties
369
A.5 Fluent Linear Temporal Logic (FLTL)
370
Appendix
В
FSP Language Specification
371
B.I FSP Description
372
Б.2
Identifiers
372
B.3 Action Labels
373
B.4 const, range, set
374
B.5 Process Definition
375
B.6 Composite Process
378
B.7 Parameters
380
B.8 Re-Labeling and Hiding
381
B.9 property, progress and menu
382
B.10 Expression
383
B.ll Basic
F SP
385
B.12 fluent and assert
386
Appendix
С
FSP Semantics
389
C.I Labeled Transition System
(LTS)
389
C.2 Processes
390
C.3 Composite Processes
391
C.4 Common Operators
393
C.5
Safety Properties
394
С.
6
Semantic Equivalences
394
C.7 Fluent Linear Temporal Logic (FLTL)
395
Appendix
D UML
Class Diagrams
399
Bibliography
401
Index
407
|
| any_adam_object | 1 |
| author | Magee, Jeff 1952- |
| author_GND | (DE-588)1026705452 (DE-588)1026705991 |
| author_facet | Magee, Jeff 1952- |
| author_role | aut |
| author_sort | Magee, Jeff 1952- |
| author_variant | j m jm |
| building | Verbundindex |
| bvnumber | BV023095334 |
| classification_rvk | ST 151 ST 250 |
| ctrlnum | (OCoLC)315766411 (DE-599)BVBBV023095334 |
| discipline | Informatik |
| edition | 2. ed., repr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02367nam a2200553zc 4500</leader><controlfield tag="001">BV023095334</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090716 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">080123s2007 xxkad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0470093552</subfield><subfield code="c">cloth : alk. paper</subfield><subfield code="9">0-470-09355-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780470093559</subfield><subfield code="9">978-0-470-09355-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)315766411</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023095334</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 151</subfield><subfield code="0">(DE-625)143595:</subfield><subfield code="2">rvk</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">Magee, Jeff</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1026705452</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concurrency</subfield><subfield code="b">state models & Java programs</subfield><subfield code="c">Jeff Magee; Jeff Kramer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., repr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester</subfield><subfield code="b">Wiley</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 413 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="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Java (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Multithreading</subfield><subfield code="0">(DE-588)4377481-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Multithreading</subfield><subfield code="0">(DE-588)4377481-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Java</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4401313-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kramer, Jeff</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1026705991</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="a">Table of contents</subfield><subfield code="u">http://www.loc.gov/catdir/toc/ecip068/2006004540.html</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www3.ub.tu-berlin.de/ihv/001746792.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=016298144&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016298144</subfield></datafield></record></collection> |
| id | DE-604.BV023095334 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T20:53:31Z |
| institution | BVB |
| isbn | 0470093552 9780470093559 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016298144 |
| oclc_num | 315766411 |
| open_access_boolean | |
| owner | DE-739 DE-83 DE-861 DE-523 |
| owner_facet | DE-739 DE-83 DE-861 DE-523 |
| physical | XVIII, 413 S. Ill., graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Wiley |
| record_format | marc |
| spellingShingle | Magee, Jeff 1952- Concurrency state models & Java programs Parallel programming (Computer science) Java (Computer program language) Java Programmiersprache (DE-588)4401313-9 gnd Multithreading (DE-588)4377481-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| subject_GND | (DE-588)4401313-9 (DE-588)4377481-7 (DE-588)4115352-2 (DE-588)4075860-6 |
| title | Concurrency state models & Java programs |
| title_auth | Concurrency state models & Java programs |
| title_exact_search | Concurrency state models & Java programs |
| title_full | Concurrency state models & Java programs Jeff Magee; Jeff Kramer |
| title_fullStr | Concurrency state models & Java programs Jeff Magee; Jeff Kramer |
| title_full_unstemmed | Concurrency state models & Java programs Jeff Magee; Jeff Kramer |
| title_short | Concurrency |
| title_sort | concurrency state models java programs |
| title_sub | state models & Java programs |
| topic | Parallel programming (Computer science) Java (Computer program language) Java Programmiersprache (DE-588)4401313-9 gnd Multithreading (DE-588)4377481-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| topic_facet | Parallel programming (Computer science) Java (Computer program language) Java Programmiersprache Multithreading Nebenläufigkeit Parallelverarbeitung |
| url | http://www.loc.gov/catdir/toc/ecip068/2006004540.html http://www3.ub.tu-berlin.de/ihv/001746792.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016298144&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mageejeff concurrencystatemodelsjavaprograms AT kramerjeff concurrencystatemodelsjavaprograms |