В информатике , то окружающее исчисление является процесс исчисление придумано Лука Карделл и Эндрю Д. Гордон в 1998 год и используется для описания и теоретизировать о параллельных системах , которые включают мобильность . Здесь мобильность означает как вычисления, выполняемые на мобильных устройствах ( т. Е. Сети с динамической топологией), так и мобильные вычисления ( т. Е. Исполняемый код, который может перемещаться по сети). Окружающее исчисление обеспечивает единую основу для моделирования обоих видов мобильности. [1] Он используется для моделирования взаимодействий в такихпараллельные системы как Интернет .
С момента своего создания амбиентное исчисление превратилось в семейство тесно связанных окружающих исчислений.
Неофициальное описание [ править ]
Окружающие [ править ]
Фундаментальный примитив эмбиентного исчисления - окружающий . Окружающий неформально определяется как ограниченное место, в котором могут происходить вычисления. Понятие границ считается ключевым для представления мобильности, поскольку граница определяет ограниченный вычислительный агент, который можно перемещать полностью. [1] Примеры окружения:
- веб-страница (ограниченная файлом)
- виртуальное адресное пространство (ограниченное диапазоном адресов)
- файловая система Unix (ограниченная физическим объемом)
- один объект данных (ограниченный « я »)
- ноутбук (ограниченный корпусом и портами данных)
Ключевые свойства эмбиентов в рамках вычислений Ambient:
- У окружающих есть имена, которые используются для управления доступом к окружающему.
- Окружающие среды могут быть вложены в другие окружения (представляющие, например, административные домены)
- Окружающих можно перемещать целиком.
Операции [ править ]
Вычисление представлено как пересечение границ, то есть движение окружающих. Есть четыре основные операции (или возможности) над окружением: [1]
- поручает окружающему окружению войти в некоторый родственный эмбиент , а затем действовать как
- приказывает окружающему окружению выйти из родительского окружения
- предписывает окружающему окружению растворить границу окружения, находящегося на том же уровне
- делает любое количество копий чего-либо
Внешнее исчисление обеспечивает семантику редукции, которая формально определяет, каковы результаты этих операций.
Связь внутри ( т.е. локально) в среде анонимна и асинхронна. Действия вывода высвобождают имена или возможности в окружающую среду. Действия ввода захватывают значение из окружающей среды и связывают его с переменной. Нелокальный ввод / вывод может быть представлен в терминах этих локальных коммуникационных действий множеством средств. Один из подходов заключается в использовании мобильных агентов «мессенджеров», которые передают сообщение из одной среды в другую (используя возможности, описанные выше). Другой подход - имитировать связь на основе каналов путем моделирования канала с точки зрения окружения и операций с этими окружениями. [1] Три основных эмбиентных примитива, а именно in , out и open.достаточно выразительны, чтобы моделировать каналы передачи имен в π-исчислении .
См. Также [ править ]
Ссылки [ править ]
- ^ а б в г Карделли, Л .; А. Д. Гордон. «Мобильные окружения». Труды Первой международной конференции по основам науки о программном обеспечении и вычислительной структуре (28 марта - 4 апреля 1998 г.). М. Ниват / Под ред. Конспект лекций по информатике . Springer-Verlag. 1378 : 140–155.