Язык программирования Ада
Сергей Бобровский
История этого языка начинается отнюдь не с 1975 года, когда Министерство Обороны (МО) США приняло решение о начале разработки единого языка программирования для американских вооруженных сил, а в дальнейшем и для всего НАТО. История его начинается с названия, ибо Ада - имя Августы Ады Лавлейс, считающейся первой программисткой, дочери английского поэта Байрона и некоей Анабеллы Милбэнк, с которой супруг расстался навсегда через месяц после рождения дочери, появившейся на свет 10 декабря 1815 года. Вообще, история кибернетики окутана мрачной тайной, и лишь по отрывочным фактам можно судить, что родоначальниками этой науки в последние двести лет являлись различные мистики и оккультисты, начиная от Августа де Моргана, одного из учителей Ады, и кончая сподвижниками Норберта Винера, изучавшими способы формирования общественного мнения и манипулирования им.
После того как Чарльз Бэббидж сконструировал свою механическую вычислительную машину, Ада написала для нее первую программу для вычисления коэффициентов Бернулли. В дальнейшем она разработала настоящую теорию программирования, ввела понятие цикла и еще нескольких ключевых терминов, которые почти дословно изучают сегодня студенты кибернетических факультетов! Сегодня Ада известна всем как первая программистка - и только, но удивляет, откуда у молодой девушки такие уникальные способности? На этот вопрос откровенно ответила она сама: "Клянусь Дьяволом, что не пройдет и 10 лет, как я высосу некоторое количество жизненной крови из загадок Вселенной, причем так, как этого не смогли бы сделать обычные смертные умы и губы. Никто не знает, какие ужасающие энергия и сила лежат еще неиспользованными в моем маленьком гибком существе...". Однако спонсоров на проект вычислительной машины не нашлось - ядерных ракет тогда еще не было, и Ада, проиграв на скачках все свое состояние и попав в грязную историю, скончалась в возрасте 37 лет, как и ее знаменитый отец.
Поэтому стоило ли американцам так превозносить Аду, используя ее имя в качестве названия для столь амбициозного проекта, вопрос весьма спорный.
Но вернемся к истории самого языка. Через пять лет после начала проекта сотни экспертов отобрали из 17 вариантов единственный, удовлетворяющий требованиям МО, язык, разработанный небольшой группой под руководством талантливого ученого Жана Ишбиа. Конечная версия международного стандарта ISO 8652:1987 была опубликована в 1987 году. По официальным сообщениям, в создании и доработке этого языка участвовали все лучшие специалисты мира в области программирования, что, однако, вызывает сомнение. Это, например, подтверждается отсутствием понятия объекта в первоначальном варианте Ады и неучастием, по очевидным причинам, в этом проекте советских программистов.
В развитие инфраструктуры Ады во всем мире были вложены десятки миллиардов долларов. Это привело к появлению амбициозных заявлений типа "20-й век пройдет под знаком Ады", однако, как обычно, жизнь все расставила по своим местам.
К сожалению для МО США (и соответственно к счастью для "потенциальных противников" Америки), выработка четкого стандарта на этот язык и создание эффективных компиляторов были завершены как раз в то время (начало 80-х), когда уже стал вырисовываться на горизонте программной индустрии новый язык Си++ с объектной идеологией. Теперь трудно сказать, что испытывал комитет разработчиков Ады, видя, как растет популярность Си++ и старой, хорошо забытой, объектной парадигмы мышления. Но выделенные средства уже были потрачены, стандарт создан, и обратной дороги не было.
Структура Ады очень похожа на Паскаль, а еще точнее, на Модулу. Синтаксис большинства операторов и описаний практически идентичен синтаксису Модулы, хотя она появилась практически в одно время с Адой, и трудно сказать, кто на кого оказал влияние и оказал ли влияние вообще. В Аду, в частности, было добавлено довольно много различных расширений, так что компактным, в сравнении с тем же Паскалем, этот язык назвать никак нельзя. По количеству возможностей он скорее напомнит PL/1. Но так как основной упор создатели Ады делали на соответствие пожеланиям американских "первых отделов", то средства закрытости (видимости) данных и возможность создания отдельных блоков с использованием только спецификаций (интерфейсных описаний модулей) других разработчиков были для своего времени самыми совершенными. Например, программист, реально писавший код для вычисления траектории полета крылатой ракеты, даже не представлял, где и для каких целей его модуль будет использоваться, хотя имел доступ к требуемым спецификациям других сотрудников и мог без проблем отлаживать свой участок кода. Из-за строгого разграничения доступа к различным уровням спецификаций подчас даже бывает невозможно определить, для чего и какими средствами будет вызываться данная процедура. Однако такое стремление к независимой разработке программ привело к весьма сложной системе взаимосвязей между спецификациями модулей и появлению некоторых "дыр", способных вызвать побочные эффекты, наличие которых, впрочем, МО США сочло даже полезным.
Значительно были усилены элементы типизации данных, а также более формализованы сами типы. Все функции, связанные с вводомвыводом, были исключены из стандартного синтаксиса, а обработка исключительных ситуаций стала неотъемлемой частью языка. Кроме того, была доведена до предела мощность управляющих конструкций, что делало Аду наиболее передовым среди других паскалеподобных языков.
Фирма Borland вскоре выпустила свой Turbo Pascal, в который было встроено понятие модуля, и приблизила по возможностям свою версию Паскаля к Аде, но в дальнейшем попыток создания необъектных языков программирования 3-го поколения, предназначенных для разработки сверхбольших проектов, к счастью, не предпринималось. Поэтому Ада поставила жирную точку в длинной веренице простых процедурных языков, начиная с Фортрана и Алгола. Фактически все, что только можно было придумать в рамках идеологии структурного программирования, было воплощено в Аде. Затем стремительно расцвело объектное программирование, и Ада отошла на второй план.
Однако этот язык по-прежнему занимает одну нишу, в которой равных ему пока нет. Помимо раздельной компиляции модулей и обеспечения иерархической секретности спецификаций, в этом языке было реализовано такое свойство, как поддержка параллельного программирования. Предпринятое на более-менее высоком уровне в Алголе-68, затем развитое в Модуле-2, оно воплотилось в очень мощных средствах Ады, так называемых задачах, способных выполняться независимо друг от друга на параллельных компьютерах. Это привело к рождению целой идеологии программирования, базирующейся на задачах, которые могли выполняться "псевдопараллельно" - на компьютере с одним процессором. При этом сама решаемая задача разбивалась на набор одновременно работающих процедур, независимо взаимодействующих друг с другом. Это немного напоминало способ решения задачи на Прологе: просто описывается некий виртуальный мир, а затем он как бы "запускается" на функционирование, и решение находится само собой.
Тем более удивительно, что МО США по тем или иным причинам отказалось от объектной идеологии, прекрасно воплощенной еще в
60-х годах в Симуле-67, и наверняка не раз пожалело об этом. Правда, в язык Ада была введена некая жалкая замена ряда возможностей, предоставляемых объектно-ориентированным программированием - так называемые шаблоны, т. е. процедуры с параметрами неопределенных типов. Но все-таки главными преимуществами Ады, позволяющими ей и сегодня выдерживать натиск более развитых языков, явились, помимо мощного финансирования, встроенная поддержка параллельного выполнения задач и мощные средства координации их взаимодействия. Необходимо отметить, что основная ориентация Ады - это отнюдь не системы автоматизации бухгалтерии в МО США, а чисто боевые задачи такого, например, рода, как микропроцессорная навигация в реальном времени самонаводящейся ракеты, где требуется одновременно обрабатывать информацию, непрерывно поступающую от множества самых разнообразных датчиков. Ранее такие задачи писались на ассемблере, что приводило к множеству ошибок и трудностям сопровождения. Для подобных задач Ада, конечно, подходит как нельзя лучше.
Однако Ада продолжает позиционироваться и как хорошее средство для разработки больших программных комплексов. Правда, теперь голоса в поддержку этого языка звучат уже тише, примерно так: "Ада, по крайней мере, не хуже Си". МО США, учтя свой главный промах - отсутствие объектов, в соответствии с современными требованиями к технологии разработки программ выработало новый стандарт языка ISO/IEC 8652:1985(E). Он описывает версию языка Ada95 (или Ada9X). Самое интересное, что эта версия является первой в мире объектно-ориентированной системой программирования, на которую международный стандарт введен, по-видимому, в приказном порядке (с Си++ так пока не получается). Кроме того, в языке была улучшена система согласования видимости данных в спецификациях модулей и добавлены средства повышения эффективности функционирования параллельных задач.
МО США довольно ревниво относится к своему дорогому детищу и даже зарегистрировало слово "Ada" как свою торговую марку. Правда, впоследствии вместо торговой марки МО решило использовать "Ada" как свой внутренний сертифицированный знак. Без особой радости МО США относится и к появлению коммерческих версий этого языка. Конечно, никто не вправе запретить вам написать свой компилятор, но, чтобы он получил коммерческое признание, необходимо его соответствие военному стандарту, а тестирование осуществляется только комитетом AJPO при МО США, который очень строго проверяет соответствие компилятора множеству требований, в том числе, очевидно, и чисто политических.
Тем не менее различные версии Ады можно получить, как это обычно бывает с языками программирования, на халяву, то бишь даром, только не пиратским способом, а просто freeware-версии, и, конечно, за деньги.
Из свободно распространяемых версий в первую очередь необходимо выделить компилятор GNAT - GNU Ada95. В рамках проекта GNU (свободно распространяемого ПО) его можно получить в исходных текстах. Работать он может и на компьютере с одним процессором, только надо, чтобы операционная система поддерживала многозадачность. Это может быть, например, какая-нибудь версия UNIX или OS/2. Что касается MS DOS - догадайтесь сами. Однако если очень хочется запустить сотню-другую параллельных процессов на вашей персоналке под MS DOS 6.x, то вполне можно попробовать Ada/Ed - компилятор и интерпретатор версии языка 1987 года, который, впрочем, совершенно несовместим со стандартом и не имеет ряда существенных элементов.
Если есть деньги, то ситуация, конечно, облегчается. В пределах месячной зарплаты среднего российского программиста можно приобрести, например, FirstAda и написать систему управления холодильником. Более дорогие системы для Windows, OS/2 или UNIX, сертифицированные МО США, вы можете попытаться приобрести непосредственно у фирм-разработчиков, коих насчитывается около десятка.
Интересно, что стандартизации подвергся не только сам язык, что позволило создавать легко переносимые программы, но и набор вспомогательных средств разработчика - различные библиотеки ввода-вывода и организации графического интерфейса, препроцессоры, верификаторы, генераторы кода, анализаторы логической структуры исходного кода, программы для тестирования компиляторов и т. д. Конечно, имеются крупные пакеты, включающие в себя все стандартизированные средства разработки, но стоят они, по всей видимости, очень дорого.
Было бы весьма интересно узнать, не велись ли в СССР работы над языками, предназначенными для решения похожих военных задач. Или наши спецы писали только на Ассемблере?
ItWeek №(059)35`1996 от 03.09.1996
Помещена в музей с разрешения редакции
4 сентября 2018