11.10.2013 Aufrufe

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

6. Verteilte Berechnungen<br />

¯ Kommunizierende Prozesse als Ausführungsmodell<br />

¯ Petri-Netze als Beschreibungsformalismus<br />

¯ Programmierkonzepte<br />

6.1. Kommunizierende Prozesse<br />

Bisher: Eine Sequenz von Ausführungsschritten als Berechnung<br />

Kommunizierende Prozesse:<br />

¯ jeder Prozess eine Ausführungssequenz<br />

¯ Schritte mehrerer Prozesse prinzipiell unabhängig:<br />

zeitliche Reihenfolge oft nicht bestimmt!<br />

¯ Synchronisation durch Kommunikation<br />

Beispiele für kommunizierende Prozesse<br />

¯ Kommunizierende Rechner<br />

– Web-Server <strong>und</strong> Browser<br />

– Client-Server-Anwendungen<br />

¯ Produzenten-Verbraucher-Systeme (Logistik-Anlagen)<br />

¯ Agenten-Systeme (Internet, Simulationen, Spiele)<br />

¯ Betriebssysteme / Benutzeroberflächen<br />

6.2. Modell der Petri-Netze<br />

1962 von C. A. Petri vorgeschlagen<br />

Modell zur Beschreibung von Abläufen mit nebenläufigen <strong>und</strong> nichtdeterministischen<br />

Vorgängen<br />

117

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!