История вычислительной техники в лицах - [60]
„Разработка проекта машины МИР-1 отличалась огромным творческим накалом и интенсивным взаимодействием специалистов различного профиля, — вспоминает участник работ А.А. Летичевский. — Помню, как рождался входной язык машины (я в коллективе был „самым языкатым“ и поэтому больше всего занимался разработкой языковых средств различного уровня). После интенсивных мозговых штурмов, вдохновляемых безграничной научной фантазией Виктора Михайловича, принимались очередные решения по структуре языка, которые затем проверялись на примерах конкретных задач. Первоначально язык развивался в направлении алгебраических спецификаций вычислительных схем. Юрий Владимирович Благовещенский предлагал все новые и новые вычислительные методы, а Алла Дородницына записывала соответствующие определения в языке. И каждый раз чего-нибудь недоставало. Например, допустимые схемы рекурсивных определений позволяли записать простую итерацию для решения систем линейных уравнений, но как быть с Зейделевской? Я, как теоретик, черпал идеи из известной в то время книги Петер „Рекурсивные функции“, и вскоре все стандартные типы рекурсий (возвратная, повторная и пр.) были включены в язык. И все же трудности оставались. Переломный момент наступил в момент, когда академик Дородницын посоветовал включить в язык оператор перехода, т. е. сделать шаг по направлению к традиционным языкам типа ФОРТРАН или АЛГОЛ. Мы все время этого остерегались, пытаясь оставаться на уровне математических определений. Но после того как язык был обогащен мощными математическими средствами сделать небольшой шаг назад оказалось совсем не страшно. Этот шаг был сделан, и язык приобрел законченный и совершенный вид. Получился оригинальный язык, органически сочетающий парадигму формульного вычислителя, функциональную и процедурную парадигмы“.
ЭВМ МИР-3
Развитие архитектуры ЭВМ идет особым путем, потому что новые идеи (первоначальный замысел) пока исходят от человека. Система машинного проектирования позволяет лишь уточнять, оптимизировать схемы ЭВМ по тому или иному критерию, чаще всего комбинированному, что вручную не удается даже при хороших архитектурных идеях.
В основу нашей дальнейшей работы по архитектуре машин я положил последовательный отказ от хорошо известных принципов фон Неймана (последовательная структура языка, т. е. выполнение команд одна за другой; командно-адресный принцип, т. е. в команде содержатся адреса операндов, и команды хранятся так же, как и операнды в памяти; максимальная простота системы команд, т. е. максимальная простота машинного языка. Можно говорить и о других принципах, но эти главные). Появление именно таких принципов не удивительно. В эпоху ламповых машин, когда каждый разряд арифметического устройства — это минимум один триод, необходима простая машина с простыми командами.
Однако я уже тогда предвидел развитие микроэлектроники и то, что конструктивные элементы будут изготовляться в едином технологическом процессе и будут стоить очень дешево. Еще тогда я сформулировал такую цель для физиков: композиционное конструирование твердого тела для создания машинной среды. В этом случае принципы фон Неймана не приемлемы. В качестве одного из новых принципов я предложил усложненный машинный язык, потому что компилирующие системы усложнялись и надо было упрощать программирование с двух концов — с точки зрения языков и компиляторов, т. е. приближать машинный язык к входному. Реализовав частично эту идею в ЭВМ серии МИР, мы стали развивать ее дальше в соответствии с принципом постепенного усложнения машинного языка, причем не просто усложнения, а приближения к человеческому языку. Пределом я поставил разговор с машиной на естественном языке (и выдачу заданий).
Для того, чтобы выполнить эту задачу, т. е. вести разговор с машиной на естественном языке, надо, конечно, прежде всего автоматизировать логические рассуждения, что проще всего, поскольку какие-то формализмы уже были известны. Но анализ этих формализмов показал, что классическая математическая логика многого не учитывает. И поэтому была выдвинута задача построения практической математической логики. Она успешно решается. Это стержневая линия. Основная идея состоит в том, что математическое доказательство может строиться как программа, на основе языка. Когда мы ее осуществим, то станем внедрять такой язык в архитектуру машин. Автоматизация доказательства теорем — это моя голубая мечта, она составляет основу в моих размышлениях об архитектуре новых ЭВМ, способных осуществить сложные творческие процессы, в том числе построение дедуктивных теорий.
Именно отсюда вытекают новые идеи построения ЭВМ. И понять, как строить такие машины, может только человек, занимающийся не только машинами, но и искусственным интеллектом. В этом наша сила.
В конце 60-х годов в институте под руководством В.М. Глушкова была начата разработка ЭВМ „Украина“. Главным конструктором был назначен З.Л. Рабинович, заместителями — А.А. Стогний и И.Н. Молчанов. Это был следующий шаг в отступлении от неймановских принципов в развитии интеллектуализации ЭВМ, связанный на этот раз с разработкой высокопроизводительной универсальной ЭВМ.
