Vergleich Actor Model und CSP sowie deren Implementierung in den Programmiersprachen Elixir und Go

[Jerbrich]

Das Konzept ist noch nicht vollständig ausgearbeitet. Falls es Ideen zur Umsetzung gibt, gerne an dieser Diskussion vermerken.

Ziel ist es, die beiden Modelle für nebenläufige Programme zu erforschen und darzustellen. Dazu wird die Implementierung dieser Modelle in den modernen Programmiersprachen Elixir(Actor Model) und Go(CSP*) näher betrachtet. (Coding-Beispiel?)

Paper:
Carl Hewitt, Peter Bishop, and Richard Steiger. 1973. A universal modular ACTOR formalism for artificial intelligence.
C. A. R. Hoare. 1978. Communicating sequential processes.

*CSP = Communicating Sequential Processes

[cagix]

Klingt interessant 👍🏻 Das trifft vermutlich vor allem die Laufzeitumgebung, oder?

Den Umfang kann ich aber im Moment noch nicht einschätzen, aber Du schreibst ja auch "noch nicht vollständig" :)

Gibt es noch Literatur neueren Datums? Die beiden vermerkten Quellen sind ja 50 Jahre alt und bilden vermutlich eine allgemeine Grundlage, aber es sollte speziell zu Elixir und Go neuere Paper geben?

[Jerbrich]

Ich wollte den Fokus darauf legen, wie die Modelle für den Programmierer in den Programmiersprachen umgesetzt sind (wie man sie anwendet) und welche Unterschiede es zu den "formalen" Definitionen gibt.

Ich habe nur kurz zu Elixir und Go recherchiert, habe dort noch keine guten Paper finden können.

Werde nächste Woche weiter recherchieren und schauen, ob sich neuere Paper finden lassen.

[cagix]

• Konzept: Was verbirgt sich hinter Actor und/oder CSP, wie funktionierts?
• Syntax: Was erwartet mich als Programmierer?
• Laufzeit: Wie funktionieren die Modelle zur Laufzeit? Wie wird das umgesetzt, welche Strukturen brauche ich?
• Bewertung: Was sind mögliche Vor- und Nachteile? Wie sieht das im Vergleich zu anderen Modellen aus (z. B. Multi-Threading)?

[cagix]

@Jerbrich kannst du bitte deinen blog-beitrag noch hier einstellen?

[cagix]

argh. ist separat hochgeladen. sorry.

[cagix]

vortrag gehalten, blog hochgeladen