14. Модель акторов
Актор – вычислительная сущность
• Отправить конечное число сообщений
другим авторам
• Создать конечное число акторов
• Выбрать поведение для приема следующего
сообщения
14 TIKTOKCOACH.RU
16. Функционал ЯП в модели акторов
Gul A. Agha
Actors: A Model Of
Concurrent
Computation in
Distributed Systems
1985
16 TIKTOKCOACH.RU
Gul A. Agha
17. Without Inversion Control
Philipp Haler, Martin
Odersky
Event-Based
Programming Without
Inversion Control
2006
Scala, C# 5 (await)
17 TIKTOKCOACH.RU
18. Пример await на С# 5
static async Task SavePage(string file, string a)
{
using (var stream = File.AppendText(file))
{
var html = await new
WebClient().DownloadStringTaskAsync(a);
await stream.WriteAsync(html);
}
}
18 TIKTOKCOACH.RU
19. Fog cutter
Gul A. Agha, Karmani 2011
Распространенная
архитектура для
вычислительных агентов
19 TIKTOKCOACH.RU
20. Подходы к реализации
• Новый ЯП (Erlang)
• Расширение существующих (C# 5, await)
• Библиотеки для ЯП
20 TIKTOKCOACH.RU
28. Проект 5-го поколения провалился
Япония, 1982-1992
$500 млн
Логическая обработка данных
Сверхбольшие БД
Многопроцессорные рабочие
станции
Распределенные вычисления
28 TIKTOKCOACH.RU
29. В чем подвох?
Тезис Ковальского
«Вычисления могут быть
сгруппированы по
логическим выводам»
Hewitt, Agha 1988
Guarded Horn clause
languages: are they
deductive and Logical?
Clinger 1981
Foundations Of Actor
Semantics
29 TIKTOKCOACH.RU
31. Карты Шухарта
1923 г. AT&T
Ламповые усилители
сигнала
Количество аварийных
бригад и транстпорта?
Bell Labs 1924 г.
31 TIKTOKCOACH.RU
Уолтер Шухарт
32. Управляемость
Явление следует назвать
управляемым тогда, когда, используя
прошлый опыт, мы можем
предсказать, по крайней мере в
некоторых пределах, каких его
вариаций можно ожидать в будущем
32 TIKTOKCOACH.RU