Аккорд (параллелизм)

Аккорд — это конструкция параллелизма, доступная в Polyphonic C♯ и Cω , вдохновленная шаблоном соединения исчисления соединений . Аккорд — это тело функции, которое связано с несколькими заголовками функций и не может выполняться до тех пор, пока не будут вызваны все заголовки функций. ^[1]

Синхронность

Cω определяет два типа функций: синхронные и асинхронные. Синхронная функция действует как стандартная функция в большинстве объектно-ориентированных языков, при вызове выполняется тело функции, и возвращаемое значение может быть возвращено или не возвращено вызывающей стороне. Асинхронная функция действует подобно функции, возвращающей void, за исключением того, что она гарантированно возвращает немедленное значение, поскольку выполнение выполняется в отдельном потоке.

использованная литература