Окружающее исчисление - Википедия - Ambient calculus

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

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

Неформальное описание

Окружающие

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

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

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

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

Операции

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

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

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

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

Смотрите также

Рекомендации

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

внешняя ссылка