Неопределенность в параллельных вычислениях
-
Ограничения логического программирования
- Логическое программирование не может реализовать параллельные вычисления в открытых системах из-за неопределенности порядка прибытия сообщений.
- Математическая логика не может избежать неопределенности, связанной с арбитражем, что ограничивает ее применение в параллельных вычислениях.
- Некоторые частные случаи параллельных вычислений, такие как последовательные вычисления и лямбда-исчисление, могут быть реализованы с помощью математической логики.
-
Теория акторной модели
- Замкнутая акторная система может быть описана математически, в то время как открытые акторные системы зависят от порядка времени прибытия сообщений и не могут быть описаны с помощью дедуктивной логики.
- Математическая теория акторов позволяет описать все возможные вычисления замкнутой акторной системы.
-
Эффективность и ограничения
- Универсальные модели параллельных вычислений ограничены накладными расходами в базовых коммуникационных механизмах.
- Параллельные системы, основанные на унификации и извлечении сообщений, не являются ни дедуктивными, ни логическими.
-
Неопределенность в других моделях вычислений
- Арбитраж играет ключевую роль в неопределенности акторной модели, а также в других моделях параллельных систем, таких как расчеты процессов.
-
Рекомендации и внешние ссылки
- Представлен список публикаций Карла Хьюитта, связанных с логическим программированием и акторными моделями.
- Упомянуты внешние ссылки на материалы, связанные с акторными моделями и логическим программированием.