imported>Jansan: /* Nachteile */ korrekte Rechtschreibung bei Durchkopplung & Substantivierung

2025-01-20T06:59:09Z

Nachteile: korrekte Rechtschreibung bei Durchkopplung & Substantivierung

Neue Seite

{{Begriffsklärungshinweis|Zum soziologischen Ansatz siehe [[Akteur-Netzwerk-Theorie]].}}
Das '''Actor Model''' (deutsch '''Aktorenmodell''', auch '''Aktormodell''') ist in der [[Informatik]] ein [[Modell]] für [[Nebenläufigkeit|nebenläufige]] Berechnungen bzw. [[Computerprogramm|Programm]]e. Diese werden in nebenläufige Einheiten unterteilt, die ''Aktoren'', die ausschließlich über [[Nachrichtenaustausch]] kommunizieren. Es stellt somit eine mögliche Ausprägung des [[Message passing]]s dar und wurde erstmals 1973 von [[Carl Hewitt]], Peter Bishop und Richard Steiger beschrieben.<ref>{{Literatur |Autor=Carl Hewitt, Peter Bishop, Richard Steiger |Titel=A Universal Modular Actor Formalism for Artificial Intelligence |Sammelwerk=Proceeding IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence |Datum=1973 |Seiten=235–245 |DOI=10.5555/1624775.1624804}}</ref> Verwendet wird das Actor Model heute u. a. in den [[Programmiersprache]]n [[Erlang (Programmiersprache)|Erlang]], [[Io (Programmiersprache)|Io]], [[D (Programmiersprache)|D]], Pony<ref>{{Internetquelle |autor=Ponylang |url=https://tutorial.ponylang.org/types/actors.html |titel=Actors · Pony Tutorial |werk=tutorial.ponylang.org |abruf=2016-08-22}}</ref>, [[Scala (Programmiersprache)|Scala]], [[Swift (Programmiersprache)|Swift]] und [[Dart (Programmiersprache)|Dart]].

== Funktionsweise ==
Aktoren sind nebenläufige Einheiten, die ''nicht'' über einen geteilten [[Speicherbereich]] verfügen, sondern ausschließlich über Nachrichten kommunizieren. Die [[Datenkapselung (Programmierung)|Kapselung]] des Zustandes des Aktors ähnelt dem Prinzip der Kapselung in der [[Objektorientierte Programmierung|objektorientierten Programmierung]]. Jeder Aktor verfügt über einen Posteingang, eine Adresse und ein Verhalten.

Der Empfang einer Nachricht wird als ''[[Ereignis]]'' bezeichnet. Empfangene Nachrichten werden zunächst im Posteingang gespeichert. Der Aktor bearbeitet die darin enthaltenen Nachrichten nach dem [[First In – First Out|FIFO]]-Prinzip. Das Verhalten des Aktoren beschreibt Reaktionen auf Nachrichten, abhängig von deren Aufbau. Aktoren können drei verschiedene Reaktionen durchführen:
* Nachrichten an sich selbst oder an andere Aktoren verschicken.
* neue Aktoren erzeugen.
* das eigene Verhalten ändern.

Der Nachrichtenaustausch erfolgt [[Asynchrone Kommunikation|asynchron]], d. h. der [[Sender-Empfänger-Modell|Sender]] einer Nachricht kann nach dem Abschicken sofort mit anderen Aktionen fortfahren und muss nicht warten, bis der Empfänger die Nachricht akzeptiert.

Das Actor Model legt nicht fest, wie lange die Vermittlung einer Nachricht dauern darf; es wird nur definiert, dass jede Nachricht nach endlicher Zeit beim Empfänger ankommen muss.

Überdies müssen Nachrichten nicht zwingend in derselben Reihenfolge ankommen, in der sie versendet werden. Letzteres wird in vielen [[Implementierung]]en trotzdem garantiert.

=== Vorteile ===
Dass Aktoren zu einem Zeitpunkt nur eine Nachricht abarbeiten und kein anderer nebenläufiger Prozess den internen Speicherbereich eines Aktors beeinflussen darf, führt dazu, dass die Programmierung innerhalb des Aktors rein sequentiell ist. Vermutungen, die aufgrund des internen Zustandes des Aktors zu Beginn der Verarbeitung einer Nachricht getroffen wurden, behalten über die gesamte Abarbeitung der Nachricht weiterhin ihre Gültigkeit. Dies unterscheidet das Actor Model grundlegend von klassischen und verbreiteten [[Shared Memory Concurrency|Shared-Memory-Concurrency]]-Ansätzen, in denen alle nebenläufigen [[Thread (Informatik)|Thread]]s auf einen gemeinsamen Speicherbereich zugreifen und dieser in Teilen über [[Lock]]ing-Primitive wie [[Semaphor (Informatik)|Semaphore]], [[Mutex]]e und Signals geschützt wird.

=== Nachteile ===
Da Aktoren nicht über einen gemeinsamen Speicherbereich verfügen, stellen sowohl die Nachrichten, als auch der interne Speicherbereich eines anderen Aktors eine Kopie von bestimmten Werten dar. Somit liegt die gleiche Information mehrfach im Speicher vor, was zu einem erhöhten [[Speicherbedarf]] führt.

Darüber hinaus steht das Versenden, In-die-''Mailbox''-Legen und Verarbeiten einer Nachricht im Actor Model einem (im besten Fall statisch gebundenen) Funktionsaufruf bei der ''Shared State Concurrency'' gegenüber. Der Aufwand ist im Actor Model somit wesentlich erhöht.

== Verbreitung ==
Das Actor Model ist stark bei [[funktionale Programmiersprache|funktionalen Programmiersprachen]] verbreitet. So stellt es das grundlegende Modell für Nebenläufigkeit in der Programmiersprache Erlang dar. Eine weitere Verbreitung erhält das Modell durch Sprachen mit gemischten Paradigmen wie Scala. Auch für klassisch [[imperative Programmiersprache]]n existieren [[Implementierung]]en des Actor Models, wie z. B. Theron als Actor-[[Programmbibliothek|Bibliothek]] für [[C++]].

== Literatur ==
* {{Literatur
|Autor=Carl Hewitt, Peter Bishop, Richard Steiger
|Titel=A Universal Modular Actor Formalism for Artificial Intelligence
|Sammelwerk=Proceeding IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
|Datum=1973
|Seiten=235–245
|DOI=10.5555/1624775.1624804}}
* {{Literatur
|Autor=Gul Agha
|Titel=Actors: A Model of Concurrent Computation in Distributed Systems
|Verlag= [[MIT Press]]
|Datum=1986}}
* {{Literatur
|Autor=Jim Larson
|Titel=Erlang for Concurrent Programming
|Sammelwerk=Queue
|Band=6
|Nummer=5
|Datum=2008
|Seiten=18–23
|DOI=10.1145/1454456.1454463}}

== Weblinks ==

* [https://letitcrash.com/post/20964174345/carl-hewitt-explains-the-essence-of-the-actor#_=_ Carl Hewitt erklärt die Grundlagen des Actor Modells]

== Einzelnachweise ==
<references />

[[Kategorie:Parallelverarbeitung]]

Actor Model - Versionsgeschichte

imported>Jansan: /* Nachteile */ korrekte Rechtschreibung bei Durchkopplung & Substantivierung