عنوان

Nichtsequentielle Programmierung mit Go 1 kompakt :

شابک

3642299695

شابک

9783642299698

شماره

b567422

عنوان اصلي

Nichtsequentielle Programmierung mit Go 1 kompakt :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, Parallele Algorithmen, Verteilte Systeme und Datenbanktransaktionen

نام نخستين پديدآور

von Christian Maurer.

وضعيت ويراست

2. Aufl. 2012

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

2012

عنوان فروست

IT kompakt.

متن يادداشت

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.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Information Systems Applications (incl. Internet)

موضوع مستند نشده

Programming Techniques.

مستند نام اشخاص تاييد نشده

von Christian Maurer.

مستند نام اشخاص تاييد نشده

Christian Maurer

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y