Eike Jessen, Rüdiger Valk

Rechensysteme

Grundlagen der Modellbildung

• Broschiertes Buch

Produktbeschreibung

Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universität Hamburg gehalten haben. Der Umstand, daß die übliche getrennte Darstellung der Gebiete "Betriebssysteme", "Rechnerorganisation" und "Verteilte Systeme" jede der Veran staltungen mit der Präsentation eines Instrumentariums von Verfahren belastet und dabei den Lernenden die Einheit der Gesichtspunkte leicht verborgen bleibt, führte dazu, daß das Lehrgebiet "Rechnerorganisation und Betriebssysteme" in eine Grundvorlesung "Rechensysteme" und darauf aufbauende - dank der bereits ge brachten Grundlagen - mehr implementationsorientierte Vorlesungen "Rechneror ganisation" , "Betriebssysteme", "Verteilte Systeme" gegliedert wurde. Die Vor lesung "Rechensysteme" hat Ansatz und Material zu diesem Buch geliefert. Das Buch eignet sich daher als Begleittext für Studenten der Informatik im Hauptstudium und für Nebenfachinformatiker mit Interesse für Rechensysteme, sowie als Grundlagentext für Programmierer und Systemanalytiker. Es ist als Lehrbuch für eigenständiges Lernen und als Nachschlagewerk für Praktiker geeig net, die Aufschluß über theoretische Modelle voraussetzende Fragen brauchen. Für vertiefende Studien werden zahlreiche Literaturhinweise gegeben. Wir danken Eike Best, Wilfried Brauer, Heino Carstensen, Hans-Jürgen Siegert und Bernd Wolfinger für viele wichtige Ratschläge, Werner Pohlmann und zahlreichen Studenten für Hinweise auf Fehler und Verständnisschwierigkeiten und den vielen, die mit Geduld und Verständnis Manuskript und druckfertigen Text hergestellt haben: Gabriele Diem, Ullrich Dillis, Heidrun Durry, Anita Graef, Monika Grimm und Anne Christi ne Hogrefe. München/Hamburg, Juni 1986 Jessen Eike Rüdiger Va1k Wer sich der Praxis hingibt ohne Wissenschaft ist wie der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie weiß, wohin er fährt.

Produktdetails

• Studienreihe Informatik
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-16383-1
• 1987.
• Seitenzahl: 584
• Erscheinungstermin: 1. November 1986
• Deutsch
• Abmessung: 244mm x 170mm x 32mm
• Gewicht: 962g
• ISBN-13: 9783540163831
• ISBN-10: 3540163832
• Artikelnr.: 24811516

Inhaltsangabe

0 Einleitung.- 1 Elementare Begriffe und Erscheinungen.- 1.1 Handlung und Auftrag.- 1.2 Präzedenzen.- 1.3 Zeitliche Ordnung und Prozesse.- 1.4 Aufträge an Funktionseinheiten.- 1.5 Kosten.- 1.6 Nutzen.- 1.7 Einige Aspekte des Entwurfs von Rechensystemen: Strukturen, Strategien, Dimensionierung.- 2 Nebenläufige Prozesse.- 2.1 Nebenläufigkeit in Rechensystemen.- 2.2 Das Extensionalitäts-Prinzip.- 2.3 Unteilbarkeit von Handlungen.- 2.4 Synchronisation.- 2.2 Höhere programmsprachliche Synchronisationskonzepte.- 2.3 Kommunikation in verteilten Systemen.- 3 Sicherheit und Korrektheit von Rechensystemen.- 3.1 Rechte und Schutzmechanismen.- 3.2 Rechtsbereiche.- 3.3 Korrektheit von Rechensystemen und Realisierung von 283 Schutzmechanismen.- 4 Zuverlässigkeit: Stochastische Modelle.- 4.1 Begriffe und Erscheinungen.- 4.2 Stochastische Modelle für Lebensdauer und für das Auftreten von Störungen und Ausfällen.- 4.3 Zuverlässigkeit von Strukturen ohne Fehlerbehebung.- 4.4 Zuverlässigkeit von Strukturen mit Fehlerbehebung.- 5 Auftragsverkehr.- 5.1 Littlesche Formeln.- 5.2 Elementare Wartesysteme.- 5.3 Auftragsverkehr in allgemeinen Systemen.- 5.4 Wartenetze.- 5.5 Wechselwirkungen von Auftrags verkehr und Zuverlässigkeit.- 5.6 Betriebsformen von Rechensystemen.- 6 Ablaufplanung.- 6.1 Last.- 6.2 Bedienstrategien: allgemeine Eigenschaften.- 6.3 Nichtverdrängende Bedienstrategien im Wartesystem M/G/l.- 6.4 Verdrängende Bedienstrategien im Wartesystem M/G/l.- 6.5 Vergleich.- 7 Speicherverwaltung.- 7.1 Grundphänomene.- 7.2 Totale Zuteilung von Hauptspeicher.- 7.3 Partielle Zuteilung von Hauptspeicher.- 7.4 Dateiverwaltung.- Stichwortverzeichnis.