Weiter:
Vorwort
Rendezvous mit Ada
Eine echtzeitige Annäherung
Johann Blieberger
Inhalt
Ada - Ein Überblick
1 Lexikalische Einheiten und Namen
1.1 Der Zeichensatz
1.2 Lexikalische Einheiten und Namen
2 Typen, Klassen und Variablen
2.1 Skalare Typen
2.1.1 Ganze Zahlen
Aufzählungen
2.1.3 Reelle Zahlen
2.1.4 Universelle Typen
2.2 Zusammengesetzte Typen
2.2.1 Felder
2.2.2 Records
2.2.3 Aggregate
2.3 Subtypen
2.4 Pointer
2.4.1 Pointer auf Objekte
2.4.2 Pointer auf Unterprogramme
2.4.3 Alias-Objekte
2.5 Private Typen
2.6 Limitierte Typen
2.7 Getaggte Typen und Typerweiterungen
2.7.1 Typerweiterungen
2.7.2 Erweiterungsaggregate
2.7.3 Abstrakte Typen
2.7.4 Access-Diskriminanten
Ausdrücke
3.1 Operatoren
Auswertung von Ausdrücken
3.3 Kurzauswertungen
3.4 Logische Operatoren
3.5 Vergleichsoperatoren
3.6 Elementtests
Operationen für ganze Zahlen
3.8 Konkatination
3.9 Potenzieren
4 Anweisungen
4.1 Die Null-Anweisung
4.2 Die Zuweisung
4.3 Die If-Anweisung
4.4 Die Case-Anweisung
4.5 Die Exit-Anweisung
4.6 Die Loop-Anweisung
4.6.1 Die Loop-Anweisung ohne Iterations-Schema
4.6.2 Die Loop-Anweisung mit einem While-Schema
4.6.3 Die Loop-Anweisung mit einem For-Schema
4.6.4 Benannte Loop-Anweisungen
4.7 Die Block-Anweisung
4.8 Die Return-Anweisung
4.9 Die Goto-Anweisung
5 Unterprogramme
5.1 Deklaration eines Unterprogrammes
5.2 Formale Parameter
5.3 Aufruf von Unterprogrammen
Rückkehr aus Unterprogrammen
5.5 Unterprogramm-Implementation
5.6 Das Parametertyp-Profil
5.6.1 Pointer auf Unterprogramme
Überladen von Unterprogrammen
Überladen von Operatoren
5.7 Abstrakte Unterprogramme
6 Exceptions
6.1 Die Deklaration von Exceptions
Das Auslösen von Exceptions
6.3 Die Behandlung von Exceptions
7 Pakete
7.1 Abstrakte Datentypen
7.2 Hinausgeschobene Konstanten-Definition
7.3 Zugriff auf in Paketen deklarierte Objekte
Getrennte Übersetzbarkeit
7.5 Benutzerdefinierte Initialisierung, Zuweisung und Finalisierung
8 Generische Einheiten
8.1 Ein einleitendes, umfangreicheres Beispiel
8.2 Generische formale Objekte
8.3 Generische formale Typen
8.4 Generische formale Unterprogramme
8.5 Generische Formale Pakete
9 Tasks
9.1 Multitasking in Ada
9.2 Task-Typen und Task-Objekte
Die Aktivierung und die Ausführung von Tasks
9.4 Anweisungen zur Programmierung von Tasks
9.4.1 Die Delay-Anweisung
9.4.2 Die Delay-Until-Anweisung
9.4.3 Die Abort-Anweisung
9.5 Das Rendezvous-Konzept in Ada
9.5.1 Wie ein gerufener Task das Rendezvous beeinflussen kann
9.5.2 Die Requeue-Anweisung
9.5.3 Der Private-Teil von Tasks
9.5.4 Wie der rufende Task das Rendezvous beeinflussen kann
9.6 Familien von Task-Entries
9.7 Diskriminierte Tasks
9.8 Scheduling von Tasks
9.9 Rendezvous und Exceptions
9.10 Die Termination von Tasks
Geschützte Objekte
Spezifikation und Implementierung geschützter Objekte
Die unterschiedlichen Operationstypen geschützter Objekte
Deklaration geschützer Objekte
Diskriminierte geschützte Objekte
Programmstruktur und Übersetzungsvorgang
Getrennte Übersetzung
Übersetzungs- und Bibliothekseinheiten
Untereinheiten von Übersetzungseinheiten
11.4 Das Hauptprogramm eines Ada-Programmes
12 Objektorientierte Konzepte in Ada und ihre Umsetzung in die Praxis
12.1 Heterogene Listen
12.2 Mehrfache Implementationen
12.3 Iteratoren
12.4 Ein allgemeines Mengenkonstrukt als Beispiel
12.4.1 Die Standard-Logik
12.4.2 Die Fuzzy-Logik
12.4.3 Ein Standard-Beispiel
12.4.4 Ein Fuzzy-Beispiel
13 Mehrfachvererbung in Ada
13.1 Kombination von Implementation und Abstraktion
13.2 Mixins
13.3 Mehrfache Sichtweisen eines Objektes
14 Low-Level Features
14.1 Darstellungsklauseln
Die Spezifikation von Längen
Die interne Darstellung von Aufzählungstypen
14.1.3 Die interne Darstellung von Record-Typen
14.1.4 Die Festlegung von Adressen
14.2 Attribut-Definitionen
14.3 Unkontrollierte Deallokation und Unkontrollierte Typ-Konversion
14.4 Storage Pool Management
Andere Arten maschinennaher Programmierung
15 I/O und das Calendar-Paket
15.1 Ein-/Ausgabe
Ein-/Ausgabe für binäre Daten
Ein-/Ausgabe für lesbare Daten
15.2 Das Paket Calendar
Die Anhänge zum Sprachstandard
E.2 Konfiguration von Partitionen
A Vordefinierte Pakete
A.1 Das Paket Standard
A.2 Das Paket Ada
A.2.1 Das Paket Ada.Characters
A.2.2 Das Paket Ada.Strings
A.2.3 Das Paket Ada.Numerics
A.2.4 Das Paket Ada.IO_Exceptions
A.2.5 Das Paket Ada.Sequential_IO
A.2.6 Das Paket Ada.Direct_IO
A.2.7 Das Paket Ada.Storage_IO
A.2.8 Das Paket Ada.Streams
A.2.9 Das Paket Ada.Text_IO
A.2.10 Das Paket Ada.Command_Line
A.3 Das Paket System
A.3.1 Das Paket System.Storage_Elements
A.3.2 Das Paket System.Storage_Pools
A.4 Unchecked_Conversion
A.5 Unchecked_Deallocation
C Systemprogrammierung
Unterstützung für Interrupts
C.2 Identifikation und Attributierung von Tasks
D Echtzeitprogrammierung
Prioritäten
Scheduling mit Prioritäten
D.3 Die Standard-Dispatching-Politik
D.4 Priority Ceiling Locking
D.5 Entry-Queuing-Politiken
Dynamische Prioritäten
Über die Zeit
D.8 Synchrone Task-Kontrolle
D.9 Asynchrone Task-Kontrolle
E Verteilte Systeme
E.1 Kategorisierung von Bibliothekseinheiten
E.1.1 Pure Library Units
E.1.2 Shared Passive Library Units
E.1.3 Remote Types Library Units
E.1.4 Remote Call Interface Library Units
E.1.5 Normal Library Units
Programmierhilfsmittel
16 APSE (Ada Programming Support Environment)
17 Buhr- und Booch-Diagramme
17.1 Graphische Symbole
17.2 Kombination der graphischen Symbole
Programm- und Systementwurf mit Ada
18 Objekt-orientierter Entwurf
18.1 Objekt-orientierte Konzepte und ihre Entstehung
Eine Gegenüberstellung
Herkömmliche Modularisierung
18.4 Objekt-orientierte Modularisierung
18.5 Ein Vergleich der beiden Modularisierungskonzepte
18.6 Begriffe objekt-orientierter Modularisierung
18.7 Vorgangsweise beim objekt-orientierten Entwurf
Entwurf als schrittweiser, sich wiederholender Prozeß
18.7.2 Identifizieren von Klassen und Objekten
18.7.3 Identifizieren der Semantik von Klassen und Objekten
18.7.4 Identifizieren der Beziehungen zwischen Klassen und Objekten
18.7.5 Implementieren von Klassen und Objekten
18.8 Ein Platten-Treiber als Beispiel
Entwurf von Echtzeit- und Automatisierungssystemen
19.1 Das asymmetrische Rendezvous
19.2 Das Produzent/Konsument-Problem
19.2.1 Enge Bindung
19.2.2 Lose Bindung
19.3 Die Realisierung von Zwischen-Tasks
19.3.1 Buffer-Tasks
19.3.2 Transporter-Tasks
19.3.3 Relais-Tasks
Objekt-orientierter Entwurf von Echtzeit- und Automatisierungssystemen
Beispiel eines interrupt-gesteuerten Gerätes
Literatur
Index
Johann Blieberger
Wed Feb 11 09:58:52 MET 1998
