Присоединяйтесь к Java - Join Java

Присоединяйтесь к Java
ПарадигмаПроцедурный, Светоотражающий
РазработаноГ. Стюарт фон Ицштейн
Впервые появился2000 (2000)
Интернет сайтjoinjava.unisa.edu.au
Под влиянием
Ява

Присоединяйтесь к Java это язык программирования на основе шаблон соединения что расширяет стандарт Язык программирования Java с семантикой соединения соединительное исчисление. Это было написано на Университет Южной Австралии в лаборатории реконфигурируемых вычислений доктора фон Ицштейна.

Языковые характеристики

Расширение Join Java представляет три новых языковых конструкции:

  • Методы соединения
  • Асинхронные методы
  • Модификаторы класса порядка для определения порядка сопоставления шаблонов

Параллелизм в большинстве популярных языков программирования реализуется с помощью таких конструкций, как семафоры и мониторы. Появляются библиотеки (такие как библиотека параллелизма Java JSR-166), которые обеспечивают семантику параллелизма более высокого уровня. Взаимодействующие последовательные процессы (CSP), исчисление коммуникационных систем (CCS) и Pi имеют поведение синхронизации более высокого уровня, неявно определяемое посредством композиции событий на интерфейсах параллельных процессов. Исчисление соединений, напротив, имеет явную синхронизацию, основанную на локализованном соединении событий, определенных как правила сокращения. Семантика соединения пытается предоставить явные выражения синхронизации, не нарушая объектно-ориентированную идею модульности, включая динамическое создание и уничтожение процессов и каналов.

Язык Java Join может выражать практически все опубликованные шаблоны параллелизма без явного обращения к низкоуровневым вызовам монитора. В общем, Java-программы Join более лаконичны, чем их Java-эквиваленты. Накладные расходы, вносимые в Join Java выражениями более высокого уровня, полученными из исчисления Join, управляемы. Выражения синхронизации, связанные с мониторами (ожидание и уведомление), которые обычно находятся в теле методов, могут быть заменены выражениями Java Java (методы соединения), которые составляют часть сигнатуры метода.

Методы соединения

Метод соединения определяется двумя или более фрагментами соединения. Метод соединения будет выполняться после того, как все фрагменты шаблона соединения будут вызваны. Если тип возвращаемого значения является стандартным типом Java, тогда ведущий фрагмент будет блокировать вызывающего до тех пор, пока шаблон соединения не будет завершен, а метод не будет выполнен. Если возвращаемый тип имеет тип сигнал тогда начальный фрагмент вернется немедленно. Все замыкающие фрагменты синхронны, поэтому вызывающий объект не блокируется.

Пример:

 учебный класс JoinExample {    int фрагмент1() & фрагмент2(int Икс) {       // вернет значение x       // вызывающему фрагмента 1       возвращаться Икс;    } }

Модификаторы заказа

Фрагменты соединения могут повторяться в нескольких шаблонах соединения, поэтому может быть случай, когда несколько шаблонов соединения завершаются при вызове фрагмента. Такой случай может иметь место в примере ниже, если B (), C () и D (), затем A ( ) называются. Последний фрагмент A () завершает три шаблона, поэтому есть три возможных метода, которые могут быть вызваны. В упорядоченный classmodifier используется здесь, чтобы определить, какой метод Join будет вызываться по умолчанию и при использовании неупорядоченный Модификатор класса - это случайный выбор одного из методов. С упорядоченныймодификатор методы имеют приоритет в соответствии с порядком их объявления.

Пример:

 учебный класс упорядоченный SimpleJoinPattern {    пустота А() & B() {    }    пустота А() & C() {    }    пустота А() & D() {    }    сигнал D() & E() {    } }

Асинхронные методы

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

Пример:

 учебный класс ThreadExample {    сигнал нить(SomeObject Икс) {       // этот код будет выполняться в новом потоке    } }

Родственные языки

Полифонический до-диез это ближайший родственный язык.
Cω преемник Polyphonic C-Sharp.

Оборудование Присоединяйтесь к Java язык дополнительно расширен Присоединиться к Java для реализации аппаратной семантики. Этот язык расширил семантику Join Java до FPGA Приложения.

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

  • фон Ицштейн, Г. Стюарт. и Ясюнас, М. (2003). О реализации высокоуровневого параллелизма в Java. Успехи в архитектуре компьютерных систем 2003, Aizu Japan, Springer Verlag.
  • фон Ицштейн, Г. Стюарт. и Д. Кирни (2002). Приложения Join Java. Труды седьмой Азиатско-Тихоокеанской конференции по архитектуре компьютерных систем ACSAC'2002. Мельбурн, Австралия, Австралийское компьютерное общество: 1-20.
  • фон Ицштейн, Г. Стюарт. и Д. Кирни (2004). Выражение общих шаблонов параллелизма в Java Join. Международная конференция по методам и приложениям параллельной и распределенной обработки, Лас-Вегас.
  • Hopf, J., von Itzstein, G, Stewart, et al. (2002). Оборудование присоединяется к Java: язык высокого уровня для разработки реконфигурируемого оборудования. Международная конференция по программируемым технологиям, Гонконг.

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