Rechensysteme Grundlagen der Modellbildung [Paperback]

0 Einleitung.- 1 Elementare Begriffe und Erscheinungen.- 1.1 Handlung und Auftrag.- Handlung, Netz, Vergr?berung, Verfeinerung, Betriebsmittel, Funktionseinheit, Auftrag, Programmiersprache PROG.- 1.2 Pr?zedenzen.- Auftragssystem, Pr?zedenzrelation, Kausalnetz, Relationen lo un co, Linien und Schnitte.- 1.3 Zeitliche Ordnung und Prozesse.- S/T-Netz, B/E-Netz, Schaltregel, Ausf?hrungsfolgen, asynchrone und synchrone Prozesse, komplement?re Stellen, Netzprogramme und ihre Prozesse.- 1.4 Auftr?ge an Funktionseinheiten.- S/T-Netz, B/E-Netz, Schaltregel, Ausf?hrungsfolgen, asynchrone und synchrone Prozesse, komplement?re Stellen, Netzprogramme und ihre Prozesse.- 1.5 Kosten.- Kosten-Durchsatz-Verh?ltnis, mittlere Kosten je Auftrag, Gemeinkosten-Auftrag.- 1.6 Nutzen.- Nutzenfunktion.- 1.7 Einige Aspekte des Entwurfs von Rechensystemen: Strukturen, Strategien, Dimensionierung.- Bewertung, Dimensionierung, verteilte Systeme, Graph mit Kostenfunktion, Ger?st, Konzentratoren, optimale Verteilung von Funktionseinheiten auf Baueinheiten, Bindungsgraph, Flu?-Probleme.- 2 Nebenl?ufige Prozesse.- 2.1 Nebenl?ufigkeit in Rechensystemen.- Bedeutung von Nebenl?ufigkeit.- 2.2 Das Extensionalit?ts-Prinzip.- Synchronisation, Fall/Transitions-System, schlichtes Netz, Extensionalit?tsprinzip, kritischer Abschnitt.- 2.3 Unteilbarkeit von Handlungen.- 2.3.1 Einf?hrende Beispiele.- Protokolle, Realisierung von kritischen Abschnitten, L?sung von Dekker/Peterson.- 2.3.2 Unteilbarkeit als programmier-methodologisches Konzept.- Unteilbare Anweisung, Proze?semantik von Unteilbarkeit.- 2.3.3 Realisierungen von Unteilbarkeit.- Semaphor, test-and-set-, region- und await-Anweisungen.- 2.3.4 Unteilbarkeit als Konsistenzkriterium.- Schematisches Auftragssystem, Interpretation, nutzlose und relevante Auftr?ge, Serialisierung, Serialisierbarkeit, virtuell serielles und zweiphasiges Transaktionensystem.- 2.3.5 Funktionalit?t.- Funktionales und spurfunktionales Auftragssystem, St?rungs- und Verlustfreiheit,l3Ë