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

• Основы языка программирования Janus

  • Janus – это параллельный язык программирования, разработанный в 1990 году. 
  • Он моделирует параллелизм через bag-каналы и не гарантирует порядок поступления сообщений. 
  • Процессы в Janus могут передавать свои “почтовые ящики” и хранить более одного сообщения. 

• Особенности языка Janus

  • Каждый логический параметр в Janus имеет два аспекта: “спрашивающий” и “кассир”. 
  • Эти аспекты позволяют запрашивать значение переменной и указывать ограничения на это значение. 
  • Синтаксис языка не позволяет копировать “кассира” или использовать его более одного раза. 

• Статическая проверка противоречий

  • Логическое противоречие в Janus статически предотвращается. 

• Библиография

  • Статья “Янус: шаг к программированию с распределенными ограничениями” была опубликована в 1990 году. 
  • В 1991 году была опубликована статья “Семантические основы параллельного программирования с ограничениями”. 
  • В 1992 году была опубликована статья “jc: Эффективная и портативная последовательная реализация Janus”.