Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 225 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010169739 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 950508s1994 d||| m||| 00||| gerod | ||
| 016 | 7 | |a 944275869 |2 DE-101 | |
| 035 | |a (OCoLC)75552708 | ||
| 035 | |a (DE-599)BVBBV010169739 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-91G |a DE-29T |a DE-12 |a DE-706 |a DE-11 |a DE-188 | ||
| 084 | |a DAT 516d |2 stub | ||
| 084 | |a DAT 703d |2 stub | ||
| 100 | 1 | |a Weininger, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen |c Andreas Weininger |
| 264 | 1 | |c 1994 | |
| 300 | |a 225 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a München, Techn. Univ., Diss., 1994 | ||
| 650 | 0 | 7 | |a Nichtdeterminismus |0 (DE-588)4315152-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wiederholung |0 (DE-588)4065972-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmablauf |0 (DE-588)4175839-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Nichtdeterminismus |0 (DE-588)4315152-8 |D s |
| 689 | 0 | 1 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 2 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 1 | 1 | |a Nichtdeterminismus |0 (DE-588)4315152-8 |D s |
| 689 | 1 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 3 | |a Programmablauf |0 (DE-588)4175839-0 |D s |
| 689 | 1 | 4 | |a Wiederholung |0 (DE-588)4065972-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006754410&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006754410 | |
Datensatz im Suchindex
| _version_ | 1807865709073530880 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
INHALTSVERZEICHNIS
1
ABBILDUNGSVERZEICHNIS
3
TABELLENVERZEICHNIS
7
DEFINITIONSVERZEICHNIS
9
1
EINLEITUNG
13
2
REPRODUKTION
17
2.1
GRUNDLAGEN
.
18
2.1.1
ANDERE
FORMALISIERUNGEN
.
18
2.1.2
ALLGEMEINES
MODELL
ZUR
REPRODUKTION
VON
PARALLELEN
UND
VERTEILTEN
PROGRAMMEN
.
20
2.1.3
WELCHE
FEHLER
SIND
ZU
REPRODUZIEREN?
.
33
2.1.4
NICHTDETERMINISMUS
IN
PARMOD
.
35
2.2
STAND
DER
TECHNIK
.
37
2.2.1
KLASSIFIKATION
VON
REPRODUKTIONSVERFAHREN
.
37
2.2.2
BEWERTUNG
VON
REPRODUKTIONSVERFAHREN
.
42
2.2.3
INSTANT
REPLAY
.
42
2.2.4
EREIGNISZAEHLER
.
47
2.2.5
VERFAHREN
VON
DODD
UND
RAVISHANKAR
.
50
2.2.6
CHECKPOINTING
.
54
2.2.7
FLOWBACK-ANALYSE
.
56
2.2.8
HARDWARE-UNTERSTUETZTE
REPRODUKTION
.
57
2.2.9
DAS
VERFAHREN
VON
LEVROUW,
AUDENAERT
UND
VAN
CAM
PENHOUT
.
58
2.2.10
REPRODUKTION
VON
SR-PROGRAMMEN
.
65
2
INHALTSVERZEICHNIS
2.2.11
REPRODUKTION
MIT
UNTERSTUETZUNG
VON
KAUSALEN
BREAK
POINTS
.
66
2.2.12
ON-THE-FLY-REPLAY
.
67
2.2.13
MINIMIERUNG
DES
PROTKOLLUMFANGS
DURCH
LAUFZEITENT
SCHEIDUNGEN
.
67
2.3
OPTIMIERUNG
DURCH
AUSNUTZUNG
VON
HARDWARE-EIGENSCHAFTEN
70
2.4
OPTIMIERUNG
DURCH
AUSNUTZUNG
VON
PROGRAMMEIGENSCHAFTEN
71
2.4.1
KLASSIFIKATION
VON
VARIABLEN
BZGL.
DER
ART
DES
ZUGRIFFS
71
2.4.2
STRUKTUREN
BEI
NACHRICHTENKOMMUNIKATION
.
73
2.5
PROBLEME
BEI
DER
IMPLEMENTIERUNG
VON
REPRODUKTIONSVERFAHREN
73
2.5.1
PROTOKOLLDATEINAMEN
BEI
DYNAMISCHER
PROZESSERZEUGUNG
74
2.5.2
EINDEUTIGE
PROTOKOLLZUORDNUNG
BEI
VARIABLEN
.
75
2.5.3
DATENSTRUKTUREN
ZUR
VERWALTUNG
VON
VARIABLEN
.
77
2.5.4
NACHBILDUNG
VON
NACHRICHTENKOMMUNIKATION
DURCH
GEMEINSAME
VARIABLEN
.
80
2.6
EFFIZIENTE
REPRODUKTIONSVERFAHREN
.
81
2.6.1
DAS
ZUGRIFFSSTELLENVERFAHREN
.
81
2.6.2
DAS
BESITZERVERFAHREN
.
86
2.6.3
BESITZERSCHREIBVERFAHREN
.
89
2.6.4
REPRODUKTION
BEI
GESCHAEFTIGEM
WARTEN
.
99
2.6.5
WERTAENDERUNGSVERFAHREN
.
103
2.6.6
REPRODUKTION
BEI
KOMMUNIKATION
UEBER
NACHRICHTEN
.
104
2.7
AUSWIRKUNGEN
AUF
DEN
ENTWURF
VON
PROGRAMMIERSPRACHEN
.
.
113
2.8
WEITERE
ANWENDUNGEN
FUER
REPRODUKTIONSVERFAHREN
.
121
2.8.1
REPRODUKTION
VON
PHYSIKALISCHER
ZEIT
.
121
2.8.2
VISUALISIERUNG
.
124
3
RACES
125
3.1
GRUNDLAGEN
.
125
3.2
STATISCHE
ANALYSE
.
132
3.3
DYNAMISCHE
ANALYSE
.
133
3.3.1
ON-THE-FLY-VERFAHREN
VON
SNIR
.
134
3.3.2
VERFAHREN
VON
SCHONBERG
.
138
3.3.3
ENGLISH-HEBREW-LABELING
.
139
3.3.4
TASK-RECYCLING
.
143
3.4
KOMBINATION
VON
STATISCHER
UND
DYNAMISCHER
ANALYSE
.
146
3.5
ZEITSTEMPEL
.
148
3.5.1
KAUSALE
ORDNUNG
.
149
3.5.2
VEKTORZEIT
.
152
INHALTSVERZEICHNIS
3
3.5.3
BAUMZEIT
.
160
3.5.3.1
KOMPLEXITAET
.
179
3.5.3.2
BEZIEHUNG
ZWISCHEN
KAUSALITAET
UND
ZEITLI
CHEM
ABLAUF
.
184
3.5.4
ERKENNUNG
VON
FRONTIER
RACES
MIT
HILFE
VON
BAUM
ZEITSTEMPELN
.
186
3.5.5
WEITERE
OPTIMIERUNGEN
.
191
4
SCHLUSSBETRACHTUNGEN
193
4.1
ZUSAMMENFASSUNG
.
193
4.2
AUSBLICK
.
195
LITERATURVERZEICHNIS
197
INDEX
213 |
| any_adam_object | 1 |
| author | Weininger, Andreas |
| author_facet | Weininger, Andreas |
| author_role | aut |
| author_sort | Weininger, Andreas |
| author_variant | a w aw |
| building | Verbundindex |
| bvnumber | BV010169739 |
| classification_tum | DAT 516d DAT 703d |
| ctrlnum | (OCoLC)75552708 (DE-599)BVBBV010169739 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010169739</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950508s1994 d||| m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944275869</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75552708</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010169739</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Weininger, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen</subfield><subfield code="c">Andreas Weininger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">225 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="502" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 1994</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtdeterminismus</subfield><subfield code="0">(DE-588)4315152-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wiederholung</subfield><subfield code="0">(DE-588)4065972-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmablauf</subfield><subfield code="0">(DE-588)4175839-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-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">Nichtdeterminismus</subfield><subfield code="0">(DE-588)4315152-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Nichtdeterminismus</subfield><subfield code="0">(DE-588)4315152-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Programmablauf</subfield><subfield code="0">(DE-588)4175839-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Wiederholung</subfield><subfield code="0">(DE-588)4065972-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=006754410&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006754410</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010169739 |
| illustrated | Illustrated |
| indexdate | 2024-08-20T00:51:32Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006754410 |
| oclc_num | 75552708 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T DE-12 DE-706 DE-11 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-29T DE-12 DE-706 DE-11 DE-188 |
| physical | 225 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| spelling | Weininger, Andreas Verfasser aut Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen Andreas Weininger 1994 225 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 1994 Nichtdeterminismus (DE-588)4315152-8 gnd rswk-swf Wiederholung (DE-588)4065972-0 gnd rswk-swf Programmablauf (DE-588)4175839-0 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Nichtdeterminismus (DE-588)4315152-8 s Parallelverarbeitung (DE-588)4075860-6 s Programmierung (DE-588)4076370-5 s DE-604 Softwaretest (DE-588)4132652-0 s Programmablauf (DE-588)4175839-0 s Wiederholung (DE-588)4065972-0 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006754410&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Weininger, Andreas Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen Nichtdeterminismus (DE-588)4315152-8 gnd Wiederholung (DE-588)4065972-0 gnd Programmablauf (DE-588)4175839-0 gnd Softwaretest (DE-588)4132652-0 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4315152-8 (DE-588)4065972-0 (DE-588)4175839-0 (DE-588)4132652-0 (DE-588)4075860-6 (DE-588)4076370-5 (DE-588)4113937-9 |
| title | Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen |
| title_auth | Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen |
| title_exact_search | Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen |
| title_full | Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen Andreas Weininger |
| title_fullStr | Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen Andreas Weininger |
| title_full_unstemmed | Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen Andreas Weininger |
| title_short | Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen |
| title_sort | verfahren zur behandlung von nichtdeterminismus in parallelen systemen |
| topic | Nichtdeterminismus (DE-588)4315152-8 gnd Wiederholung (DE-588)4065972-0 gnd Programmablauf (DE-588)4175839-0 gnd Softwaretest (DE-588)4132652-0 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Nichtdeterminismus Wiederholung Programmablauf Softwaretest Parallelverarbeitung Programmierung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006754410&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT weiningerandreas verfahrenzurbehandlungvonnichtdeterminismusinparallelensystemen |