Suche Home Einstellungen Anmelden Hilfe

Haben Prozesse keine gemeinsamen Datenbereiche, so kann die Synchronisation der Prozesse nicht über gemeinsame Variablen  erfolgen. Die Synchronisation muß hier durch Transferieren der  Daten von einem Datenbereich in den anderen erfolgen, mittels  NACHRICHTENAUSTAUSCH .

Nachrichten sind also Dateneinheiten, die Prozesse an andere Prozesse übergeben.

Bsp. zur Implementierung
( Botschaften { message } )
 

SENDEN  der Nachricht	?      Kommunikationskanal     ?	EMPFANGEN der Nachricht
{ send }	{ communication channel }	{ receive }
	- Daten aufnehmen  - legt fest wohin  - legt fest woher
x := 12;	{ x  ist die Prozeßvariable, die in die Nachricht kopiert wird }
send x to Kanal7		receive x from Kanal7;

 

broadcast x ;	{entspricht einer Rundsendung, alle denkbaren Empfänger erhalten die Nachricht }
multikcast x to {Kanal5, Kanal6, Kanal7}	{ nur für Empfänger  entsprechender Kanäle }
receive x from Kanal7;	{ x   wird der Empfangsoperation übergeben. Es gibt die folgenden Empfangsmöglichkeiten: konsumierender Empfang ( zerstörend )  konservierender  Empfang ( bestimmte Löschoperationen ) zeitlich beschränkte Lebensdauer

                
Es gibt zwei Arten von Sendeoperationen.
 

nichtblockierend	{der Prozeß wird nur für die Dauer des Kopierens der Dateneinheit in den  Kommunikationskanal blockiert}
blockierend	{...  bis eine Empfangsanweisung ausgeführt wird}

Empfangsanweisungen   sind üblicherweise blockierend.
 

Der Nachrichtenaustausch erfolgt

synchron: Sende- und Empfangsoperation sind blockierend. Die Nachricht wird direkt vom Sender zum Empfänger kopiert.
Problem: VERKLEMMUNG
oder
asynchron:  Mindestens eine Operation ist nichtblockierend.
Die Nachricht wird erst  in einem PUFFER gespeichert, bis der Empfänger blockiert und die Daten  empfangen werden können.
Problem: ist der Nachrichtenpuffer voll, gibt es im ECHTZEITBETRIEB Schwierigkeiten ( pufferblockierendes S. ). Es gibt die Möglichkeit die älteste
Nachricht zu  überschreiben.

Wird zum Sende- und Empfangsprozeß noch ein Pufferprozeß einbezogen, läßt sich asynchroner Datenaustausch mit Hilfe blockierender Sende- und Empfangoperationen nachbilden.

Dieser Pufferprozeß ähnelt der gemeinsamen Variablen. SENDEN                  -- > blockierendes Senden
.
.                                                                            unabhängig
.
PUFFER                   -- > blockierendes Empfangen
PUFFER                   -- > blockierendes Senden
.
.                                                                             unabhängig
.
EMPFÄNGER         -- > blockierendes Empfangen

Synchrones Kommunikationsverhalten wird erreicht, wenn Quittungen benutzt werden. Durch das Warten auf eine Quittung wird die Sende- und die Empfangsoperation blockiert. 

Benutzer: Gast • Besitzer: didaktik • Zuletzt geändert am: