|
" Symmetries and Singularity Structures : "
edited by Muthuswamy Lakshmanan, Muthiah Daniel.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747471
|
| Doc. No
|
:
|
b567422
|
| Main Entry
|
:
|
von Christian Maurer.
|
| Title & Author
|
:
|
Nichtsequentielle Programmierung mit Go 1 kompakt : : Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, Parallele Algorithmen, Verteilte Systeme und Datenbanktransaktionen\ von Christian Maurer.
|
| Edition Statement
|
:
|
2. Aufl. 2012
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
| Series Statement
|
:
|
IT kompakt.
|
| ISBN
|
:
|
3642299695
|
|
|
:
|
: 9783642299698
|
| Contents
|
:
|
Inhaltsverzeichnis; 1 Einführung; 1 .1 Begriffsklärung; 1.2 Vom (Un- )Sinn des Testens; 1.3 Motivation und Anwendungen; 1.4 Nebenläufigkeit und der informelle Prozessbegriff; 1.5 Beispiele nichtsequentieller Algorithmen; 1.6 Konflikte beim Zugriff auf gemeinsame Daten; 1.7 Atomare Anweisungen; 1.8 Kritische Abschnitte und Synchronisation; 1.9 Prozesszustände; 2 Schlösser; 2.1 Spezifikation von Schlössern; 2.2 Schlösser in C, Java und Go; 2.3 Unteilbare Maschineninstruktionen; 2.4 Wertung des Einsatzesvon Maschineninstruktionen; 2.5 Einfache Schlossalgorithmenauf Hochsprachenebene. 2.6 Der Algorithmus von Peterson2.7 Der Algorithmus von Dekker; 2.8 Schlossalgorithmen für mehrere Prozesse; 3 Semaphore; 3.1 Dijkstras Ansatz; 3.2 Binäre Semaphore; 3.3 Allgemeine Semaphoreund beschränkte Puffer; 3.4 Puffer sequentiell vs. nichtsequentiell; 3.5 Semaphore in C, Java und Go; 3.6 Unbeschränkte Puffer; 3.7 Konstruktion allgemeiner Semaphoreaus binären Semaphoren; 3.8 Das Leser-Schreiber-Problem; 3.9 Kürzeste Anforderungen zuerst; 3.10 Der Staffelstab-Algorithmus; 3.11 Universelle kritische Abschnitte; 3.12 Die speisenden Philosophen; 3.13 Additive und mehrfache Semaphore. 3.14 Barrierensynchronisation3.15 Implementierung von Semaphoren; 3.16 Das Konvoi-Phänomen; 4 Fairness; 4.1 Schwache vs. starke Fairness; 5 Verklemmungen; 5.1 Einfache Beispiele; 5.2 Charakterisierung und Gegenmaßnahmen; 5.3 Ausschluss; 5.4 Erkennung und Auflösung; 5.5 Vermeidung; 5.6 Der Bankiers-Algorithmus; 5.7 Verklemmungswahrscheinlichkeit; 5.8 Wertung der Maßnahmen gegen Verklemmungen; 6 Monitore; 6.1 Charakterisierung von Monitoren; 6.2 Bedingungsvariable; 6.3 Monitore in C, Java und Go; 6.4 Der beschränkte Puffer; 6.5 Das Leser-Schreiber-Problem; 6.6 Signal-Semantiken. 6.7 Vergleichende Wertung der Signal-Semantiken6.8 Barrierensynchronisation; 6.9 Rundruf; 6.10 Der schlafende Barbier: Das Barbieren als Rendezvous; 6.11 Der Hoaresche Wecker; 6.12 Kürzeste Anforderungen zuerst; 6.13 Äquivalenz von Semaphor- und Monitorkonzept; 6.14 Zur Implementierung des Monitorkonzepts; 6.15 Universelle Monitore; 6.16 Die speisenden Philosophen; 6.17 Zur Problematik geschachtelter Monitoraufrufe; 7 Botschaftenaustausch; 7.1 Kanäle und Botschaften; 7.2 Semaphore und beschränkte Pufferper asynchroner Kommunikation; 7.3 Netzwerke von Filtern; 7.4 Selektives Warten. 7.5 Das Kunden-Anbieter-Paradigma7.6 Bewachtes selektives Warten; 7.7 Äquivalenz von Botschaftenaustauschund Semaphorkonzept; 7.8 Die speisenden Philosophen; 7.9 Auftragsvormerkung; 7.10 Dualität zwischen Monitoren und Anbietern; 8 Netzweiter Botschaftenaustausch; 8.1 Kanäle im Netzwerk; 8.2 Verteilter gegenseitiger Ausschluss: Algorithmus von Ricart und Agrawala; 8.3 Ferne Monitore; 9 Abschliessende Betrachtungen; 9.1 Vergleich der Sprachkonstrukte; 10 Literatur; 10.1 Lehrbücher; 10.2 Grundlegende Arbeiten und Übersichtsartikel; 10.3 Informationen im weltweiten Netz; 11 Stichwortverzeichnis.
|
| Abstract
|
:
|
Der Band bietet eine kompakte Einf hrung in die Nichtsequentielle Programmierung als gemeinsamen Kern von Vorlesungen ber Betriebssysteme, Verteilte Systeme, Parallele Algorithmen, Echtzeitprogrammierung und Datenbanktransaktionen. Basiskonzepte zur Synchronisation und Kommunikation nebenl ufiger Prozesse werden systematisch dargestellt: Schl sser, Semaphore, Monitore, lokaler und netzweiter Botschaftenaustausch. Die Algorithmen sind in der Programmiersprache Google Go formuliert, mit der viele Synchronisationskonzepte ausgedr ckt werden k nnen.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Information Systems Applications (incl. Internet)
|
| Subject
|
:
|
Programming Techniques.
|
| Added Entry
|
:
|
Christian Maurer
|
| |