Jump to content

Янус (язык программирования с параллельными ограничениями)

Янус
Парадигма логика параллельных ограничений
Разработано Кен Кан и Виджай А. Сарасват
Впервые появился 1990
Основные реализации
(нет доступных)

Янус — это язык компьютерного программирования, частично описанный К. Каном и Виджаем А. Сарасватом в статье «Акторы как особый случай параллельного (логического) программирования с ограничениями» в 1990 году. [1] Это язык параллельных ограничений без возврата.

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

Процесс получает сообщение, сопоставляя пакет с шаблоном, который говорит, что это объединение некоторого синглтона и некоторого другого пакета. Логика каналов пакетов создает свойство, общее для модели актера , а именно: порядок прибытия сообщений не гарантируется. Однако, в отличие от акторов в модели акторов, процессы в Janus могут передаваться по своим «почтовым ящикам», так сказать, в видесумки и может вместить более одной. Эта способность передавать почтовые ящики и хранить более одного унаследована от языка программирования ToonTalk , на который повлиял Янус.

Янус, язык программирования, назван в честь Януса , двуликого римского бога, поскольку каждая логическая переменная в Янусе имеет два «лица», два аспекта, которые можно передавать в качестве аргументов. Их называют спрашивающим и кассиром . Они представляют собой, соответственно, право спрашивать значение переменной (или какую-либо характеристику значения) и право сообщать значение (или указывать некоторые ограничения на то, каким может быть это значение). Аспекты спрашивающего и говорящего могут передаваться как аргументы независимо друг от друга. Ни одно из этих прав не подразумевает другого права. Синтаксис языка предотвращает копирование кассира или его использование более одного раза. По мнению Кана и Сарасвата, логические противоречия предотвращаются статически.

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

  1. ^ Кан, К.; Сарасват, Виджай А. (1 октября 1990 г.). «Акторы как частный случай параллельного программирования с ограничениями (логики)» . Уведомления ACM SIGPLAN . 25 (10): 57–66. дои : 10.1145/97946.97955 . Проверено 29 октября 2019 г.
  • В.А. Сарасват, К.М. Кан, Дж. Леви (1990). «Янус: шаг к программированию с распределенными ограничениями». НАКЛП.
  • В.А. Сарасват, М. Ринар, П. Панангаден (1991). «Семантические основы параллельного программирования с ограничениями». ПОПЛ.
  • Дэвид Гудеман, Коэнраад Де Босшер, Саумья К. Дебре (1992). «jc: эффективная и портативная последовательная реализация Janus». Учеб. Совместная международная конференция и симпозиум по логическому программированию.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 85104cf71ce53627f94f5e07e314a636__1680157080
URL1:https://arc.ask3.ru/arc/aa/85/36/85104cf71ce53627f94f5e07e314a636.html
Заголовок, (Title) документа по адресу, URL1:
Janus (concurrent constraint programming language) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)