Vita schauspieler Muster

Das Akteurmodell kann als Framework für Modellierung, Verständnis und Argumentation über eine Vielzahl gleichzeitiger Systeme verwendet werden. Beispiel: Akteure dürfen z. B. die Verarbeitung von Nachrichten anpipelineen. Das bedeutet, dass ein Akteur im Zuge der Verarbeitung einer Nachricht M1 das Verhalten festlegen kann, das zum Verarbeiten der nächsten Nachricht verwendet werden soll, und dann tatsächlich mit der Verarbeitung einer anderen Nachricht M2 beginnen kann, bevor die Verarbeitung von M1 abgeschlossen ist. Nur weil ein Akteur die Verarbeitung von Nachrichten anpipelinesdarf, bedeutet dies nicht, dass er die Verarbeitung anpipelinesmuss. Ob eine Nachricht gepipelinet wird, ist ein technischer Kompromiss. Wie würde ein externer Beobachter wissen, ob die Verarbeitung einer Nachricht durch einen Akteur in die Pipeline gegangen ist? Es gibt keine Unklarheit in der Definition eines Akteurs, die durch die Möglichkeit des Pipelinings geschaffen wird. Natürlich ist es möglich, die Pipelineoptimierung in einigen Implementierungen falsch durchzuführen, in diesem Fall kann es zu unerwartetem Verhalten kommen.

Das Akteurmodell zeichnet sich durch inhärente Parallelität der Berechnung innerhalb und zwischen Akteuren, dynamische Erstellung von Akteuren, Einbeziehung von Akteuradressen in Nachrichten und Interaktion nur durch direkte asynchrone Nachrichtenübermittlung ohne Einschränkung der Nachrichtenankunftsreihenfolge aus. Nach Hewitt, Bischof, und Steigers Publikation von 1973 entwickelte Irene Greif im Rahmen ihrer Doktorarbeit eine operative Semantik für das Schauspielermodell. [3] Zwei Jahre später veröffentlichten Henry Baker und Hewitt eine Reihe von axiomamatischen Gesetzen für Schauspielersysteme. [4] [5] Weitere wichtige Meilensteine sind William Clingers Dissertation von 1981 zur Einführung einer denotationalen Semantik, die auf Machtdomänen basiert[2] und Gul Aghas Dissertation von 1985, die ein übergangsbasiertes semantisches Modell weiterentwickelte, das Clingers ergänzte. [6] Dies führte zur vollständigen Entwicklung der Schauspielermodelltheorie. Robin Milners erste veröffentlichte Arbeit über Parallelität[21] war auch dadurch bemerkenswert, dass sie nicht auf dem Komponieren sequenzieller Prozesse beruhte. Seine Arbeit unterschied sich vom Akteursmodell, da sie auf einer festen Anzahl von Prozessen fester Topologie beruhte, die Zahlen und Strings mittels synchroner Kommunikation kommunizierten. Das ursprüngliche CSP-Modell (Communicating Sequential Processes)[22], das von Tony Hoare veröffentlicht wurde, unterschied sich vom Akteurmodell, da es auf der parallelen Zusammensetzung einer festen Anzahl sequenzieller Prozesse beruhte, die in einer festen Topologie verbunden sind, und auf der Kommunikation mithilfe der synchronen Nachrichtenübermittlung basierend auf Prozessnamen (siehe Actor-Modell und Prozessberechnungshistorie). Spätere Versionen von CSP verzichteten auf die Kommunikation auf der Grundlage von Prozessnamen zugunsten der anonymen Kommunikation über Kanäle, ein Ansatz, der auch in Milners Arbeit über das Kalkül der kommunizierenden Systeme und des -kalküls verwendet wird. Das Schauspielermodell zeigt einen grenzenlosen Nichtdeterminismus, der in einem mathematischen Modell von Will Clinger mittels Domänentheorie erfasst wurde. [2] Im Schauspielermodell gibt es keinen globalen Staat. [zweifelhaft – diskutieren] Die Entkopplung des Absenders von den gesendeten Kommunikationen war ein grundlegender Fortschritt des Akteurmodells, das asynchrone Kommunikations- und Steuerungsstrukturen als Muster für die Weitergabe von Nachrichten ermöglichte.

[8] Die Forschung am Actor Model wurde am California Institute of Technology, Kyoto University Tokoro Laboratory, Microelectronics and Computer Technology Corporation (MCC), MIT Artificial Intelligence Laboratory, SRI, Stanford University, University of Illinois at Urbana-Champaign,[7] Pierre and Marie Curie University (University of Paris 6), University of Pisa, University of Tokyo Yonezawa Laboratory, Centrum Wiskunde & Informatica (CWI) und anderswo durchgeführt.