Відмінності між акторською моделлю та комунікаційними послідовними процесами (CSP)

Коли ми дивимось на модель актора та комунікаційні послідовні процеси, ми бачимо, що вони обидва намагаються зробити паралельність на основі передачі повідомлень , але вони є різними .

(Ми бачимо реалізації НСП моделі в ходу-лані «s goroutines (і Clojure в core.async ) і актор модель в компанії Scala Akka інструментарії)

Я намагаюся отримати простий перелік відмінностей між Акторською моделлю та CSP. Поки що я маю:

передача повідомлень акторів асинхронна, передача повідомлень CSP - синхронна
актори композиційні , CSP не є (обов'язково)
актори завжди мають необмежений недетермінізм , ДСП може бути обмеженим або необмеженим недетермінізмом
суб'єкти мають змінну топологію, тоді як ДСП має фіксовану топологію
актори мають принцип локальності , ЦСП не має місцевості
актори розроблені навколо своєї поведінки, CSP не обов'язково цього має

Це правильно? Що-небудь мені не вистачає?

Припущення

Коли я кажу «акторська модель» - я маю на увазі теоретичну основу, що лежить в основі впровадження в рамки «Акка» Скали

concurrency message-passing

— хокі
джерело

Величезний момент: у передачі повідомлень CSP є синхронним; в Акторах передача повідомлень асинхронна.

— Дейв Кларк

@hawkeye Що ви вважаєте моделлю актора? З часу його неофіційного опису з'явилося багато формалізацій, що мають дещо різні властивості.

— Мартін Бергер

@Martin - це корисно. Я оновив свої припущення. Можливо, ви можете допомогти мені знайти "того, кого я шукаю"

— hawkeye

@hawkeye Що ви розумієте під моделлю Акка? Тільки ключовий обчислювальний механізм чи також розподілений моніторинг / поводження з помилками?

— Мартін Бергер

@MartinBerger просто ключовий обчислювальний механізм

— hawkeye

Ось як я думаю, що працює Ерланг. Я вважаю, Акка дуже схожий.

Кожен процес має одну поштову скриньку. Повідомлення поміщаються в поштову скриньку одержувача відправником і отримуються отримувачем за допомогою відповідності шаблонів. Цей процес узгодження може змінити впорядкування повідомлень у тому сенсі, що найдавніше повідомлення в поштовій скриньці може не відповідати, але молодше. У цьому випадку молодший споживається спочатку. Крім цього, впорядкування повідомлень зберігається.

$\pi$ $\pi$

— Мартін Бергер
джерело