СуперПаскаль - SuperPascal - Wikipedia

СуперПаскаль
Парадигма	одновременный, императив, структурированный
Семья	Вирт Паскаль
Разработано	Пер Бринч Хансен
Впервые появился	1993; 27 лет назад
Стабильный выпуск	1 / 1993; 27 лет назад
Печатная дисциплина	Сильный
Интернет сайт	Brinch-Hansen.сеть
Под влиянием
	Связь последовательных процессов, Паскаль, Параллельный Паскаль, Джойс, Оккам

СуперПаскаль это императив, параллельные вычисления язык программирования разработан Пер Бринч Хансен.^[1] Он был разработан как язык публикации: инструмент мышления, позволяющий четко и кратко излагать концепции параллельного программирования. Это контрастирует с языки реализации которые часто усложняются деталями машин и историческими условностями. Он был создан, чтобы удовлетворить потребность в параллельном языке публикации в то время. Возможно, сегодня немногие языки являются достаточно выразительными и лаконичными, чтобы их можно было использовать в качестве инструментов мышления.

История и развитие

SuperPascal основан на Никлаус Вирт последовательный язык Паскаль, расширяя его функциями для безопасного и эффективного параллелизма. Сам Паскаль широко использовался как язык публикаций в 1970-х годах. Его использовали для обучения структурное программирование практики и представлены в учебниках, например, по компиляторы^[2] и языки программирования.^[3] Хансен ранее разработал язык Параллельный Паскаль,^[4] один из первых языков параллельного программирования для разработки операционные системы и в реальном времени Системы управления.

Требования SuperPascal были основаны на опыте, накопленном Хансеном за три года в разработке набора модельных параллельных программ, в которых реализованы методы решения общих проблем в Информатика.^[5] Этот эксперимент позволил ему сделать следующие выводы о будущем научных исследований. параллельные вычисления:

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

Это привело к следующим требованиям к языку параллельной публикации:

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

Функции

Ключевыми идеями при разработке SuperPascal было обеспечение безопасный программирование с абстрактными концепциями параллелизма.^[6]^[7]

Безопасность

SuperPascal - это безопасный в том, что он должен включить свой компилятор и система времени выполнения чтобы выявить как можно больше случаев, когда концепции языка не работают и приводят к бессмысленным результатам.^[8] SuperPascal налагает ограничения на использование переменных, которые позволяют однопроходному компилятору проверять, что параллельные процессы не пересекаются, даже если процессы используют процедуры с глобальными переменными, устраняя зависящие от времени ошибки. Некоторые функции Pascal были неоднозначными или небезопасными и были исключены из SuperPascal, например, метки и идти к операторы, указатели и предварительные объявления.^[6]

Параллелизм

Параллельные функции SuperPascal являются подмножеством Оккам 2, с добавлением универсальности динамических массивов процессов и рекурсивных параллельных процессов.^[7]

А параллельно оператор означает, что фиксированное количество содержащихся в нем операторов должно выполняться параллельно. Например:

параллельный источник () | раковина () конец

А для всех оператор обозначает параллельное выполнение оператора динамическим числом процессов, например:

forall i: = от 0 до 10 что-то делать ()

Каналы и связь

Параллельные процессы взаимодействуют, отправляя типизированные сообщения по динамически созданным каналам. Каналы сами по себе не являются переменными, но идентифицируются уникальным значением, известным как ссылка на канал, которые проводятся переменные канала. Канал объявляется, например, объявлением

тип канал = *(логический, целое число);вар c: канал;

который определяет новый (смешанный) тип с именем канал и переменная этого типа с именем c. Канал смешанного типа ограничен передачей только указанных типов, в данном случае логических и целочисленных значений. Канал c инициализируется открыто утверждение:

открытый (c)

Обмен сообщениями затем достигается с помощью отправить (канал, значение) и прием (канал, переменная) заявления. Выражение или переменная, предоставляющая значение для Отправить, а переменная в получить, оба должны быть того же типа, что и первый аргумент канала. В следующем примере показано использование этих функций в процессе, который получает значение от оставили канал и выводит его на верно один.

вар оставили, верно: канал; а: номер;получить(оставили, а);Отправить(верно, а)

Функции Отправить и получить оба могут принимать несколько входных и выходных аргументов соответственно:

отправить (канал, e1, e2, ..., en); получить (канал, v1, v2, ..., vn)

Следующее время выполнения Ошибки связи могут возникать:

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

Параллельная рекурсия

Рекурсивный процедуры можно комбинировать с параллельно и для всех операторы для создания параллельных рекурсивных процессов. В следующем примере показано, как трубопровод процессов можно рекурсивно определить с помощью параллельно утверждение.

процедура трубопровод(мин, Максимум: целое число; оставили, верно: канал);вар середина: канал;начинать  если мин < Максимум тогда    начинать      открыто(середина);      параллельно        узел(мин, оставили, середина) |        трубопровод(мин + 1, Максимум, середина, верно)      конец    конец  еще узел(мин, оставили, верно)конец;

Другой пример - рекурсивное определение процесса. дерево:

процедура дерево(глубина: целое число, Нижний: канал);вар оставили, верно: канал;начинать  если глубина > 0 тогда    начинать      открыто(оставили, верно);      параллельно        дерево(глубина - 1, оставили) |        дерево(глубина - 1, верно) |        корень(Нижний, оставили, верно)      конец    конец  еще лист(Нижний)

Контроль помех

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

SuperPascal налагает определенные ограничения на использование переменных и связи, чтобы минимизировать или устранить ошибки, зависящие от времени. Для переменных требуется простое правило: параллельные процессы могут обновлять только непересекающиеся наборы переменных.^[1] Например, в параллельно заявление а цель переменная не может быть обновлена более чем одним процессом, но выражение переменная (которая не может быть обновлена) может использоваться несколькими процессами. В некоторых случаях, когда переменная, такая как массив, является цель нескольких параллельных процессов, и программист знает, что его поэлементное использование непересекающийся, то ограничение дизъюнкции может быть отменено предыдущим [sic] утверждение.

Структура и синтаксис

SuperPascal - это блочная структура язык, с тем же основным синтаксисом, что и Паскаль. Программа состоит из заголовок, определения глобальных переменных, функция или же процедура определения и главный процедура. Функции и процедуры состоят из блоки, где блок - это набор заявления. Заявления отделенный точкой с запятой, в отличие от языков вроде C или же Ява, где они прекращено точкой с запятой.

Ниже приведен пример полной программы SuperPascal, которая создает трубопровод коммуникационная структура со 100 узлами. Главный узел отправляет целочисленный токен первому узлу, затем он передается по конвейеру и увеличивается на каждом шаге и, наконец, принимается главным узлом и распечатывается.

программа трубопровод;const    len = 100;тип    канал = *(целое число);вар    оставили, верно: канал;    ценить: целое число;процедура узел(я: целое число; оставили, верно: канал);вар ценить: целое число;начинать    получить(оставили, ценить);    Отправить(верно, ценить+1)конец;процедура Создайте(оставили, верно: канал);тип ряд = множество [0..len] из канал;вар c: ряд; я: целое число;начинать    c[0] := оставили;    c[len] := верно;    за я := 1 к len-1 делать        открыто(c[я]);    для всех я := 1 к len делать        узел(я, c[я-1], c[я])конец;начинать    открыто(оставили, верно);    параллельно        Отправить(оставили, 0) |        Создайте(оставили, верно) |        получить(верно, ценить)    конец;    Writeln('Результирующее значение', ценить)конец.

Выполнение

К программному обеспечению SuperPascal можно получить свободный доступ из архива Бринча Хансена.^[9] Он состоит из компилятора и интерпретатора, которые написаны на обычном последовательном языке Паскаль (стандарт ISO уровня 1). Это поддерживается компилятором GNU Pascal и более новыми версиями Free Pascal компилятор (2.7.1+) с -Miso switch, со следующими небольшими изменениями кода.

Для GPC файл интерпретировать.p использует нестандартный Часы функция (строка 1786), которая используется для получения системного времени. Вместо этого Extended Pascal getTimeStamp можно использовать функцию (которая поддерживается компилятором GNU Pascal), объявив переменную типа Отметка времени, установив текущее время с помощью getTimeStamp и присвоение Второй поле Отметка времени к переменной т.

Что касается GPC на 64-битный операционные системы; компилятор GNU Pascal должен быть скомпилирован и установлен из исходный код.^[10]

Free Pascal также нуждается в решении указанной выше проблемы «часов» (в Windows просто объявите gettickcount как external с «clock» в качестве имени). Кроме того, сброс / перезапись, помеченные как нестандартные в исходном коде, должны быть изменены для назначения / сброса (или перезаписи) пар. (GPC, вероятно, ошибается только при включении строгих флагов), а команды препроцессора C #include 'xx' должны быть изменены на {$ include 'xx'}.

{Временной код времени чтения в Freepascal в системах unix}Функция  FpTime(вар tloc : целое число): целое число; внешний имя 'FPC_SYSC_TIME'; процедура Время Читать( вар т:  целое число);начинать  {Нестандартная функция читает    время процессора в мс}  т:=fptime(т);конец;

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

Официальный веб-сайт, Архив Бринча Хансена, набор его документов и программное обеспечение SuperPascal, которое можно загрузить в сжатом файле; содержит полную спецификацию языка и полезную документацию.
суперпаскаль на GitHub, Модифицированная версия Кристофера Лонга оригинальной реализации SuperPascal; компилируется и работает под управлением современного Free Pascal; выполнение программы быстрее, чем Perl 5 или 6, почти так же быстро, как Python 3

[Hansen1993-1] а ^б Хансен, Пер Бринч (1993), SuperPascal: язык публикаций для параллельных научных вычислений

[Welsh1980-2] Валлийский, Джим (1980). Структурированное системное программирование. Река Аппер Сэдл, Нью-Джерси, США: Прентис-Холл. ISBN 0-13-854562-6.

[Tennent1981-3] Теннент, Р. Д. (1981). Принципы языков программирования. Река Аппер Сэдл, Нью-Джерси, США: Прентис-Холл. ISBN 0-13-709873-1.

[4] Хансен, Бринч (1977). Архитектура параллельных программ. Прентис-Холл. ISBN 978-0130446282.

[5] Хансен, Бринч (Май 1993 г.), "Модельные программы для вычислительной науки: методология программирования для мультикомпьютеров", Параллелизм: практика и опыт, стр. 407–423

[Hansen1994-6] а ^б Хансен, Бринч (1994). «Язык программирования SuperPascal». Программное обеспечение - практика и опыт. 24, 5: 399–406.

[Hansen2002-7] а ^б Хансен, Бринч (1977). Изобретение параллельного программирования. Нью-Йорк: Springer-Verlag. ISBN 0-387-95401-5.

[Hoare1974-8] Хоар, К.А.Р. (1974). «Подсказки по проектированию языков программирования». Надежность компьютерной системы: 505–534.

[9] Хайден, К. (11.06.2008). "Архив Пера Бринча Хансена". Получено 2020-03-03.

[10] «4.3 Компиляция GPC». GNU Pascal. 1996–2005. Получено 2020-03-03.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]