КОРАЛЛ - Википедия - CORAL
Парадигмы | процедурный, императив, структурированный |
---|---|
Семья | АЛГОЛ |
Разработано | Филип Вудворд, И. Ф. Карри, М. Гриффитс |
Разработчик | Королевский радар |
Впервые появился | 1964 |
Печатная дисциплина | Статический, сильный |
Объем | Лексический |
Язык реализации | BCPL |
Платформа | CTL Модульный-1, DEC Alpha, GEC, Ферранти, Honeywell, Серверы HPE Integrity, Interdata 8/32, PDP-11, SPARC, VAX, x86 |
Операционные системы | VAX / VMS; BSD Unix, Linux, Солярис |
Под влиянием | |
АЛГОЛ, Веселый, Фортран |
КОРАЛЛ, Короче для Язык компьютерных онлайн-приложений в реальном времени это язык программирования первоначально разработан в 1964 г. Королевский радар (RRE), Малверн, Вустершир, в Соединенном Королевстве.[1] R изначально был для «радара», а не для «реального времени».[2] На него в первую очередь повлияли Веселый, и поэтому АЛГОЛ, но не подмножество ни того, ни другого.
Самая известная версия, КОРАЛЛ 66, впоследствии был разработан И. Ф. Карри и М. Гриффитсом под эгидой Межведомственный комитет по компьютерным приложениям (IECCA). Его официальное определение, отредактированное Woodward, Wetherall и Gorman впервые была опубликована в 1970 году.[3]
В 1971 году CORAL был выбран Министерство обороны в качестве языка для будущих военных приложений и для поддержки этого была введена программа стандартизации, чтобы компиляторы CORAL соответствовали спецификациям. Позже этот процесс был принят Министерство обороны США при определении Ада.
Обзор
Coral 66 - это язык программирования общего назначения на основе АЛГОЛ 60, с некоторыми особенностями Coral 64, Веселый, и Фортран. Он включает типы структурированных записей (как в Паскаль ) и поддерживает упаковку данных в ограниченное хранилище (также как в Паскале). Нравиться Эдинбург IMP Это позволяет в соответствии (встроенный) язык ассемблера, а также предлагает хорошие время выполнения проверка и диагностика. Он предназначен для вычисления в реальном времени и Встроенная система приложений, а также для использования на компьютерах с ограниченной вычислительной мощностью, в том числе ограниченными арифметика с фиксированной точкой и те, которые не поддерживают динамическое распределение памяти.
Язык был стандартом для британских военных программ.[нужна цитата ] и был также широко принят в гражданских целях в британской индустрии управления и автоматизации. Он использовался для написания программного обеспечения как для Ферранти[4] и Компания General Electric (GEC) компьютеры с 1971 года. Также существуют реализации для Interdata 8/32, PDP-11, VAX и Альфа платформы и Серверы HPE Integrity; для Honeywell, а для Computer Technology Limited (CTL, позже ITL) Модульный-1;[5] и для SPARC Бег Солярис, и Intel Бег Linux.
Королева Елизавета II отправил первое письмо от глава государства от Королевские сигналы и радиолокационная станция над ARPANET 26 марта 1976 г. Сообщение гласило: «Это сообщение для всех пользователей ARPANET объявляет о доступности на ARPANET компилятора Coral 66, предоставляемого GEC 4080 компьютер в Royal Signals and Radar Establishment, Малверн, Англия, ... Coral 66 - это стандартный язык высокого уровня реального времени, принятый Министерство обороны."[6][7]
Поскольку Coral была нацелена на выполнение разнообразных задач в реальном времени, а не на обработку общих офисных данных, не существовало стандартизированного эквивалента stdio библиотека. IECCA рекомендовал примитивный ввод, вывод (I / O) пакет для сопровождения любого компилятора (в документе под названием Ввод / вывод символьных данных в служебных программах Coral 66). Большинство разработчиков избежали этого, создав интерфейсы Coral для существующего Fortran, а затем и C библиотеки.
Наиболее значительный вклад CORAL в вычислительную технику мог заключаться в том, чтобы контроль качества в коммерческих компиляторы.[5] Чтобы компилятор CORAL был одобрен IECCA и, таким образом, позволял продавать компилятор как компилятор CORAL 66, компилятор-кандидат должен был скомпилировать и выполнить стандартный набор из 25 тестовых программ и 6 тестовых программ. Процесс был частью Британский стандарт (BS) 5905 процесс утверждения. Эта методология была соблюдена и позже адаптирована Министерство обороны США для сертификации Ада компиляторы.
Исходный код для компилятора Coral 66 (написано на BCPL ) был восстановлен, а Официальное определение коралла 66 документ Канцелярия Ее Величества (HMSO) просканирован; Патентное бюро Министерства обороны выдало лицензию на проект Edinburgh Computer History, позволяющую им размещать в сети как код, так и языковую справку для некоммерческого использования.
Варианты
Вариант Coral 66 под названием PO-CORAL был разработан в конце 1970-х - начале 1980-х годов британцами. Главное почтовое отделение (GPO) вместе с GEC, STC и Плесси, для использования на Система X компьютеры управления цифровой телефонной станцией. Позже он был переименован в BT-CORAL, когда British Telecom был выделен из почтового отделения. Уникальными особенностями этого языка были акцент на выполнение в реальном времени, обработка сообщений, ограничение на выполнение операторов между ожиданием ввода и запрет на рекурсию, чтобы устранить необходимость в куча.[нужна цитата ]
Рекомендации
- ^ Микросхема компьютера FM1600B Ferranti Digital Systems (PDF). Брэкнелл, Беркшир, Великобритания: Ферранти Лимитед, Департамент цифровых систем. Октябрь 1968 года [сентябрь 1968 года]. Перечислите DSD 68/6. В архиве (PDF) из оригинала 19 мая 2020 г.. Получено 19 мая 2020.
- ^ Гоф, Джек (1993). Наблюдая за небом: история наземных радаров для противовоздушной обороны Великобритании Королевскими ВВС с 1946 по 1975 год. HMSO. п. 264. ISBN 978-0-11-772723-6.
- ^ Вудворд, Филип М. (1970). Официальное определение CORAL 66. Канцелярия Ее Величества (HMSO). С. vii + 58. ISBN 0-11-470221-7.
- ^ Горман, Б. (июнь 1978 г.). Компилятор Coral 66 для компьютера Ferranti ARGUS 500 (Отчет). Королевские сигналы и радиолокационная станция. Техническая нота 799. Получено 17 января 2018.
- ^ а б «Четкий язык может помочь европейским компьютерам». Новый ученый. 30 ноября 1972 г. с. 513. Получено 8 апреля 2019.
- ^ Мец, Кейд (25 декабря 2012 г.). «Как королева Англии всех обыграла в Интернете». Проводной. ISSN 1059-1028. Получено 9 января 2020.
- ^ Слева, Сара (13 марта 2002 г.). "Хронология электронной почты". Хранитель. ISSN 0261-3077. Получено 9 января 2020.
внешняя ссылка
- Программа испытаний CORAL 66 извлечен из Отчет Test Responder
- Тесты CORAL 66
- Компилятор OpenVMS CORAL 66 для серверов HPE Integrity, Alpha (AXP) и VAX (коммерческая рабочая система CORAL 66)
- BS5905 CORAL 66 Стандартный
- DEF STAN 05-47
- Библиотека сопряжения PDP-11 CORAL / ASM
- ВОДМ редактор скрипта для перевода CORAL 66 в Эдинбург IMP