Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В информатике , то окружающее исчисление является процесс исчисление придумано Лука Карделл и Эндрю Д. Гордон в 1998 год и используется для описания и теоретизировать о параллельных системах , которые включают мобильность . Здесь мобильность означает как вычисления, выполняемые на мобильных устройствах ( т. Е. Сети с динамической топологией), так и мобильные вычисления ( т. Е. Исполняемый код, который может перемещаться по сети). Окружающее исчисление обеспечивает единую основу для моделирования обоих видов мобильности. [1] Он используется для моделирования взаимодействий в такихпараллельные системы как Интернет .

С момента своего создания амбиентное исчисление превратилось в семейство тесно связанных окружающих исчислений.

Неофициальное описание [ править ]

Окружающие [ править ]

Фундаментальный примитив эмбиентного исчисления - окружающий . Окружающий неформально определяется как ограниченное место, в котором могут происходить вычисления. Понятие границ считается ключевым для представления мобильности, поскольку граница определяет ограниченный вычислительный агент, который можно перемещать полностью. [1] Примеры окружения:

  • веб-страница (ограниченная файлом)
  • виртуальное адресное пространство (ограниченное диапазоном адресов)
  • файловая система Unix (ограниченная физическим объемом)
  • один объект данных (ограниченный « я »)
  • ноутбук (ограниченный корпусом и портами данных)

Ключевые свойства эмбиентов в рамках вычислений Ambient:

  • У окружающих есть имена, которые используются для управления доступом к окружающему.
  • Окружающие среды могут быть вложены в другие окружения (представляющие, например, административные домены)
  • Окружающих можно перемещать целиком.

Операции [ править ]

Вычисление представлено как пересечение границ, то есть движение окружающих. Есть четыре основные операции (или возможности) над окружением: [1]

  • поручает окружающему окружению войти в некоторый родственный эмбиент , а затем действовать как
  • приказывает окружающему окружению выйти из родительского окружения
  • предписывает окружающему окружению растворить границу окружения, находящегося на том же уровне
  • делает любое количество копий чего-либо

Внешнее исчисление обеспечивает семантику редукции, которая формально определяет, каковы результаты этих операций.

Связь внутри ( т.е. локально) в среде анонимна и асинхронна. Действия вывода высвобождают имена или возможности в окружающую среду. Действия ввода захватывают значение из окружающей среды и связывают его с переменной. Нелокальный ввод / вывод может быть представлен в терминах этих локальных коммуникационных действий множеством средств. Один из подходов заключается в использовании мобильных агентов «мессенджеров», которые передают сообщение из одной среды в другую (используя возможности, описанные выше). Другой подход - имитировать связь на основе каналов путем моделирования канала с точки зрения окружения и операций с этими окружениями. [1] Три основных эмбиентных примитива, а именно in , out и open.достаточно выразительны, чтобы моделировать каналы передачи имен в π-исчислении .

См. Также [ править ]

Ссылки [ править ]

  1. ^ а б в г Карделли, Л .; А. Д. Гордон. «Мобильные окружения». Труды Первой международной конференции по основам науки о программном обеспечении и вычислительной структуре (28 марта - 4 апреля 1998 г.). М. Ниват / Под ред. Конспект лекций по информатике . Springer-Verlag. 1378 : 140–155.

Внешние ссылки [ править ]