Еволюція реалізації моделі Акторів у розподілених системах: систематичний документарний огляд та мультикритеріальне порівняння Erlang, Akka, Orleans та Proto.Actor

Анотація

У статті здійснено систематизований порівняльний аналіз чотирьох провідних фреймворків реалізації моделі Акторів - Erlang/OTP, Akka, Microsoft Orleans та Proto.Actor - у п'яти ключових архітектурних вимірах: управління життєвим циклом актора, топологія кластера та механізми виявлення вузлів, серіалізація повідомлень і міжвузлова комунікація, стратегії керування станом і персистентності, а також модель конкурентності та організація поштових скриньок (mailboxes). Робота побудована як документарний огляд із мультикритеріальним аналізом рішень (MCDA): кожен критерій прив'язано до документованої властивості фреймворку, оцінено за п'ятибальною порядковою шкалою та підсумовано за рівними й сценарними вагами. Показано, що за п'ятдесят років еволюції модель Акторів, запропонована К. Хьюіттом у 1973 році, розділилася на два архітектурно протилежні табори: класичні актори з явним керуванням життєвим циклом (Erlang, Akka, Proto.Actor) та віртуальні актори з неявним, платформо-керованим життєвим циклом (Orleans, Dapr). Виявлено три ключові точки еволюції: перехід від монолітного виявлення вузлів до externalized coordination (Consul, etcd); від нативної серіалізації до крос-платформових форматів на базі gRPC/Protobuf; від ручної персистентності до декларативної. Запропоновано матрицю вибору фреймворку з десяти критеріїв із декларативним деревом рішень та розглянуто аспекти спостережуваності та безпеки. Результати можуть бути використані при проектуванні нових розподілених систем та аудиті існуючих. Наукова новизна полягає в систематизації внутрішніх механізмів акторних фреймворків у порівняльному вимірі, який дотепер був відсутній у літературі