Янус (язык программирования с одновременными ограничениями) - Janus (concurrent constraint programming language) - Wikipedia

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

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

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

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

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

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

  1. ^ Kahn, K .; Сарасват, Виджай А. (1 октября 1990 г.). «Акторы как частный случай параллельного программирования с ограничениями (логикой)». Уведомления ACM SIGPLAN. 25 (10): 57–66. Дои:10.1145/97946.97955. Получено 29 октября 2019.
  • В.А. Сарасват, К.М. Кан, Дж. Леви (1990). «Янус: шаг к программированию с распределенными ограничениями». NACLP.
  • В.А. Сарасват, М. Ринард, П. Панангаден (1991). «Семантические основы параллельного программирования с ограничениями». ПОПЛ.
  • Дэвид Гудеман, Коенрад Де Босшере, Саумья К. Дебрей (1992). «JC: Эффективная и портативная последовательная реализация Януса». Proc. Совместная международная конференция и симпозиум по логическому программированию.