Сборник докладов
Выпускающие научные редакторы:
А. Н. Томилин (Институт системного программирования РАН)
М. Ш. Сургуладзе (НИИ системных исследований РАН)
Научный Фонд
«Первая исследовательская
Лаборатория имени академика
В. А. Мельникова»
г. Москва – 2009
Международная Научная конференция, посвященная 80-летию со дня рождения акаде-
мика В. А. Мельникова – М. , 19-20 февраля 2009 г. : Сборник докладов
Некоммерческая Организация Научный Фонд «Первая Исследовательская Лаборатория
имени академика В. А. Мельникова», 2009 г. – с. , ил.
Лицензия ЛР №071872 от 24 мая 1999 г. Подписано в печать . Формат 60х90/8. Бумага офсетная.
Гарнитура «Таймс».
Заместители:
А. Н. Томилин зав. Отделом ИСП РАН
М. Ш. Сургуладзе президент Научного фонда
Члены оргкомитета:
Н. А. Северцев зав. Отделом ВЦ РАН, вице-адмирал
А. Б. Жижченко зам. Академика-секретаря ОМН РАН
В. П. Иванников директор ИСП РАН
Б. М. Шабанов зам. Директора МСЦ РАН
С. А. Власов ученый секретарь ОНИТ РАН
Программный комитет
О. М. Белоцерковский - академик А. Б. Жижченко - чл. -корр. РАН
К. А. Валиев - академик Л. Н. Королев - чл. -корр. РАН
В. К. Левин - академик В. Н. Решетников - д. ф. -м. н. , проф.
Г. И. Савин - академик А. Г. Мадера - д. т. н., проф.
Заседания конференции
Пленарное: ........................................ 19 февраля 2009 г. , зал МИ РАН.
Прямая онлайн трансляция в Интернет
Технологии разработки ПО
Текущие достижения
Объектно-ориентированные методы анализа и проектирования.
Компонентные технологии
Стандартизация и уточнение семантики языков программирования и библиотечных интерфейсов
Широкое использование итеративных процессов разработки
Расширение области применения формальных методов (model checking и др. )
4
Проблемы
Количество ошибок на 1000 строк неоттестированного кода остается неизменным
Технологии разработки ПО
Новые вызовы
Распределенные адаптивные и динамически перестраивающиеся системы
Масштабируемые технологии разработки и анализа свойств ПО на базе формальных методов
Интеграция различных методов верификации: дедуктивный анализ, проверка моделей,
тестирование на основе формальных моделей, статический анализ
Технологии разработки распределенных систем с заданными характеристиками по многим показателям
качества
Выполнение разнородных требований: корректность, надежность, защищенность,
производительность, удобство использования и развития
Формализация стандартов на программные интерфейсы разных уровней
Анализ программ
Текущие достижения
Глобальная и межпроцедурная оптимизация, межпроцедурный анализ указателей.
Исследование гнезд циклов на распараллеливаемость: Омега-тест, изменение порядка циклов в гнезде.
Машинно-ориентированная оптимизация: распределение регистров, планирование кода.
Языки нового поколения (Java, C#).
Совмещение интерпретации и динамической компиляции (JIT), адаптивная оптимизация.
Low Level Virtual Machine (LLVM) и его интерпретатор (Apple): адаптивная оптимизация для C и C++.
Методы анализа успешно применяются для решения проблем в смежных областях:
обратная инженерия, поиск уязвимостей безопасности.
Проблемы
Разрыв между возможностями аппаратуры (параллелизм на всех уровнях) и возможностями анализа.
Расширение области применения специализированных платформ: Cell, GPU, FPGA.
Низкая «продуктивность» разработки приложений для параллельных систем:
отсутствие языков высокого уровня и соответствующих технологий
(HPF, Cilk (MIT), UPC (Berkeley) не привели к успеху);
программирование с использованием MPI (распределенная память) и OpenMP (общая память).
Отсутствие стандартов и устоявшихся технологий для специализированных платформ.
Тенденции решения проблем
Исследование и моделирование различных классов приложений (dwarf - Berkeley) и аппаратных
платформ с целью разработки адекватных средств (языки, инструменты), обеспечивающих эффективное
отображение приложения на конкретную аппаратную платформу.
5
Управление данными
Текущие достижения
СУБД (Oracle, IBM, Microsoft и т. д. )
эффективная и масштабируемая обработка баз данных объемом в сотни терабайт и даже
петабайт;
развитые средства оптимизации запросов на основе оценочных методов;
встроенные в серверы средства OLAP и data mining;
полнотекстовый поиск и поддержка XML;
параллельные серверы.
Управление данными в Internet
развитые средства полнотекстового поиска по ключевым словам;
собственные средства управления данными, хорошо распараллеливающиеся на основе механизма
map-reduce (Google, Yahoo!).
Проблемы
Сложность администрирования, настройки и использования СУБД.
возрастающий дефицит специалистов;
невозможность полноценного использования SQL.
Сложность разработки приложений баз данных.
Проблема «потери соответствия (impedance mismatch) между языками программирования и
системами баз данных;
невозможность использования семантического поиска;
незрелость средств управления данными.
Неполное использование новых возможностей аппаратуры.
многоядерные и многопотоковые архитектуры, основная память большого объема, флэш-
память и т. д.
Тенденции решения проблем
Переход от универсальных к специализированным системам управления данными
XML-СУБД, системы с хранением данных «по столбцам» и т. д.
Разработка новых языков программирования, освобождающих разработчиков от проблемы «impedance
mismatch»
Ruby-on-Rails, LINQ
Повышение уровня семантики поиска в Internet
использование массивных структурированных корпусов текстов для автоматического
построения онтологий
Clouds Computing
Публично доступные службы для запуска программ.
Позволяют пользоваться параллельной аппаратурой для решения, в частности, задач, связанных с
обработкой больших объемов данных.
Имеющиеся параллельные СУБД не могут масштабироваться до тысяч параллельных узлов.
Необходимо понять, как и для чего разумно использовать «облачные вычисления» при управлении
данными и разработать соответствующие программные системы .
6
Причины:
1. Глобализация информационного пространства (широкое распространение сетевых технологий,
интенсивное развитие средств телекоммуникации);
2. Внедрение электронных средств хранения и обработки информации во все сферы экономической,
политической и военной деятельности (документооборот, связь, базы данных, системы поддержки
принятия решений и др. );
3. Ускорение и удешевление разработки ПО в ущерб его качеству в условиях острой конкуренции на
рынке ИТ;
4. Бытовая компьютеризация (средства мобильной связи, беспроводные сети и пр. )
Угрозы
1. Выведение из строя ПО (распространение вредоносных программ, компьютерных «вирусов»,
троянских программ, подмена мобильного кода).
2. Выведение из строя компьютерных сетей (создание перегрузок в сети, сетевые вторжения)
3. Создание и распространение ПО со скрытыми дефектами (внедрение в ПО закладок, встроенных
уязвимостей и пр. ).
4. Нарушение конфиденциальности и целостности информации (несанкционированный доступ к базам
данных и электронным архивам, распространение программ-шпионов, взлом криптосистем).
5. Компьютерное пиратство и нарушение авторских прав на ПО (нелегальное копирование и
распространение ПО).
Средства обеспечения
1. Антивирусные программы, интеллектуальные системы мониторинга, системы защиты от утечки
данных
2. Системы обнаружения и предотвращения сетевых вторжений (сетевой мониторинг, межсетевые
экраны, шлюзы, брандмауэры).
3. Использование ПО с открытым кодом (Linux vs Microsoft).
4. Сертификация и аудит ПО, системы верификации и поиска уязвимостей в программах.
5. Политики безопасности в информационных системах (разграничение доступа, аутентификация и
авторизация).
6. Криптографические средства защиты информации (системы шифрования, электронной подписи,
криптографические протоколы, обфускация программ и пр. ).
7. Отслеживание распространения ПО (водяные знаки, отпечатки пальцев).
Направления исследований
Теоретические исследования:
новые математические модели информационных систем, формализующие ключевые понятия
компьютерной безопасности (вторжение, аномальное поведение, стойкая защита и др. ),
методы и алгоритмы информационной защиты ПО, оценки их эффективности и стойкости.
Прикладные разработки:
инструментальные средства проверки безопасности ПО,
открытые ОС со встроенным механизмом обеспечения информационной безопасности,
компьютерные сети, ориентированные на обеспечение коллективной безопасности абонентов.
Суперкомпьютер и дискретная топология
Рябов Г. Г., член-корр. РАН
(НИВЦ МГУ им. М. В. Ломоносова)
эксплуатации СРВ (обычно 10-20 лет), учитывая действию и приво-дит к уменьшению объемов
сроки изменения серий микропроцессоров, кон- аппаратуры.
троллеров и других элементов порядка 2-3 лет, Выполнение этих положений приводит к по-
необходимо предусматривать на срок эксплуата- строению вычислительных средств на микропро-
ции аппаратуры в ЗИПе — 4-7 комплектов эле- цессорах, контроллеров и других схемах с само-
ментов. контролем на основе использования сущест-
Приведенные оценки затрат на построение вующих базовых БИС с их функциональными
СРВ основаны на применении иностранных мик- возможностями и быстродействием.
ропроцессоров, контроллеров и других схем а В результате решаются две проблемы:
также их программного обеспечения. первая - обеспечивается необходимое быстродей-
Использование в наших СРВ иностранных ствие и уменьшаются затраты на построение вы-
микропроцессоров и программного обеспечения числительных средств, разработку, производство
практически дает возможность получения любой БИС (микропроцессоров, контроллеров и других
за-крытой информации иностранными службами, схем), а также выполняются требуемые условия
то есть не обеспечивает безопас-ность и защищен- работы;
ность наших СРВ, к которым предъявляются эти вторая - решается главное – выполнение требо-
требования. ваний по защищенности и безопасно-сти СРВ.
Для построения СРВ, отвечающих поставлен- Ключевой задачей является построение мик-
ным требованиям, на основе освоенных нашей ропроцессора, контроллеров и других схем с са-
полупроводниковой промышленностью техноло- моконтролем. Для реализации самоконтроля была
гий, необходимо снижение требований к быстро- раз-работана идея использования недвоичной
действию аппаратуры и выполне-нию программ, системы кодирования информации, известной как
для чего необходимо: 1 из Р с «активным» нулем, где Р - основание сис-
1. проводить исследования по созданию темы счисления.
алгоритмов СРВ с относитель-но низкими В результате проведенных исследований бы-
требованиями к быстродействию, ла определена рациональная величина Р равная
обеспечивающих необходимую 4. В настоящее время разработаны схемы и пра-
защищенность и безопасность, что в вила выполнения арифметических и логических
большинстве случаев приводит к снижению операций при кодировании 1 из 4.
требований к быстродействию в разы; Приведѐм таблицу соответствия для двух раз-
2. использовать аппаратуру с самоконтролем, рядов двоичной системы и системы 1 из 4 с ак-
которая практически исключает требование к тивным нулѐм.
повышению быстродействия, необходимое
при программных методах контроля;
3. применять специальные команды в Двоичная
№ Система 1 из 4
микропроцессоре, которые аппаратно система
выполняют функции операционной системы 1 00 0001
(ОС), что исключает за-траты быстродействия 2 01 0010
на работу операционной системы;
4. использовать структуры построения 3 10 0100
микропроцессора и программного 4 11 1000
обеспечения, исключающих влияние вирусов,
что снимает затраты на быстродействие по
Основными показателями системы кодирова-
защите от известных вирусов;
ния 1 из 4 являются:
5. выполнять требования по защищенности и
безопасности аппаратными средствами, что прозрачная связь с двоичной системой,
так же снижает требования к которая реализуется простейшими
быстродействию. схемами. Это обеспечивает широкое
использование ПО и массивов данных,
Реализация этих положений (2, 3, 4, 5) созданных с использованием двоичной
системы, в системе 1 из 4;
уменьшает в 8-17 раз требования к быстродейст-
вию и сокращает объемы аппаратуры в зависимо- достоверность выдаваемой информации,
обеспечиваемая простотой контроля -
сти от ис-пользуемых способов в среднем в 2-4
наличием всегда одной единицы в разряде 1
раза. Наиболее важным является по-ложение 1,
из 4 и выявлением всех одиночных ошибок;
которое также сокращает требования к быстро-
16
1
+
X2n0 X2n1 X2nc2
2
i
+
Xkn0 Xkn1 Xknck
Приведем один премер. Кодовый генератор G( D) 1 D 2D порождает сверточный код сво-
2
троичный симплексный сигнал, при скорости кодирования R=0. 63 получим квадрат свободного Евкли-
дового расстояния сигнально-кодовой системы d 2f 4.5 .
Полагаем, что новые подклассы непрерывных кодов займут значительное место в теории и практике
телекоммуникации. Исходя из этого, исследование параметров, характеристик и свойств таких кодов
будет актуальным и перспективным.
Литература
1. Peterson W. W. , and Weldon E. J. Error-Correcting Codes. The MIT Press, Cambr. , Mass. , 1972.
2. Касами Т. , и др. Теория Кодирования. Пер. С яп. Под ред. А. В. Кузнецова. М. : Мир, 1973.
3. Kabal P. , Pasupathy S. Partial response signaling. IEEE Trans Commun. , v. COM-23, 1975, pp. 921-934.
4. Ugrelidze N. A. , Asanidze I. G. Coded CPFSK Modulation on the Basis of Different Input/Output Alpha-
bet sizes Convolutional Encode. TECHINFORMI, Тбилиси, 1996, № 1118-96.
5. Гилл А. Введение в теорию конечных автоматов. М. : Наука, 1966.
6. Трахтенброт Б. А. , Барздинь Я. М. Конечные автоматы (Поведение и синтез). М. : Наука, 1970.
«Эффект МЭИ» в развитии отечественных
школ вычислительной техники
Идея этой статьи была подсказана Э. М. Пройдаковым примерно год назад, когда в МЭИ прово-
дился круглый стол «История и перспективы отечественной вычислительной техники». Это меро-
приятие было организовано совместно с телевидением Северного округа Москвы. Одна из тем
была определена так: «Вклад выпускников МЭИ в создание научных школ и отечественной ВТ».
Интересно, что первыми в СССР кафедры ВТ появились в МИФИ, МФТИ и МЭИ, но именно
МЭИ дал подавляющее число известных разработчиков ВТ. Среди его выпускников ряд выдаю-
щихся ученых-основоположников отечественного компьютеростроения. Над этим «эффектом
МЭИ» автору было любопытно поразмыслить. В феврале 2009 года в Математическом институте
им. В. А. Стеклова РАН проходила конференция, посвященная 80-летию со дня рождения В. А.
Мельникова, закончившего МЭИ. Там автору удалось пообщаться с Л. Н. Королевым, Г. Г. Рябо-
вым, А. Н. Томилиным и узнать много нового о деятельности выпускников МЭИ в деле развития
вычислительной техники. Эти впечатления автор попытался оформить в виде предлагаемой чита-
телю статьи.
годы читал в МЭИ курс лекций «Вычислительные работы: В. С. Бурцев, В. А. Мельников, А. Г. Ла-
машины дискретного действия». ут, И. Д. Визун, А. С. Федоров и Л. А. Орлов.
Решая задачи электротехники и энергетики с В апреле 1951 г. Государственная комиссия под
помощью аналоговых вычислительных машин, С. председательством М. В. Келдыша приняла эскиз-
А. Лебедев пришел к постановке задачи создания ный проект машины БЭСМ. К концу 1951 г. осно-
цифровой машины. Профессор А. В. Нетушил, ву лаборатории №1 составили выпускники МЭИ,
окончивший МЭИ за несколько лет до войны, среди которых были будущие академики В. А.
впоследствии декан факультета автоматики и вы- Мельников и В. С. Бурцев.
числительной техники, подготовил кандидатскую В I квартале 1953 г. БЭСМ была налажена, а в
диссертацию на тему «Анализ триггерных эле- апреле 1953 г. принята Государственной комисси-
ментов быстродействующих счетчиков импуль- ей в эксплуатацию.
сов». Он отмечает: «С самого начала этой работы В связи с дефицитом электронных трубок, ко-
в 1939 г. и до защиты С. А. Лебедев с вниманием торые поставлялись тогда только для «Стрелы»,
и одобрением относился к моим исследованиям. первые три года БЭСМ эксплуатировалась с памя-
Он согласился быть оппонентом по диссертации, тью на акустических ртутных трубках, что снижа-
защита которой состоялась в конце 1945 г. В то ло ее быстродействие в несколько раз. В 1956 г.
время еще никто не подозревал, что С. А. Лебедев БЭСМ была принята Государственной комиссией
вынашивает идею создания цифровой вычисли- вторично – с памятью на потенциалоскопах.
тельной машины». В 1956 г. доклад С. А. Лебедева о БЭСМ на
С осени 1948 г. С. А. Лебедев начал разработ- международной конференции в Дармштадте про-
ку Малой электронной счетной машины (МЭСМ). извел сенсацию – БЭСМ была на уровне лучших
Для определения набора операций МЭСМ он при- американских машин и самой быстродействую-
гласил приехать в Киев А. А. Дородницына и К. щей в Европе.
А. Семендяева. Основы построения МЭСМ обсу- В 1958 г. БЭСМ с памятью на ферритовых
ждались в январе-марте 1949 г. на семинаре, в сердечниках емкостью 2048 слов передали в се-
котором участвовали М. А. Лаврентьев, Б. В. Гне- рийное производство, она выпускалась под назва-
денко, А. Ю. Ишлинский, А. А. Харкевич и со- нием БЭСМ-2.
трудники лаборатории С. А. Лебедева в Институ- В 1953 г. по рекомендации М. А. Лаврентьева,
те энергетики Академии наук Украины. ставшего вице-президентом АН СССР, С. А. Ле-
В конце 1951 г. МЭСМ прошла испытания и бедев был назначен директором ИТМ и ВТ.
была принята в эксплуатацию Комиссией АН В 1955 г. С. А. Лебедев начал разработку М-20
СССР во главе с академиком М. В. Келдышем. В (цифра в названии указывала на ожидаемое быст-
состав комиссии входили академики С. Л. Собо- родействие – 20 тыс. оп. /с). Такого быстродейст-
лев, М. А. Лаврентьев, профессора К. А. Семендя- вия тогда не имела ни одна машина в мире. По-
ев, А. Г. Курош. становлением Правительства СССР создание М-
В 1952 г. на МЭСМ решались важнейшие на- 20 было поручено ИТМ и ВТ и СКБ-245. С. А.
учно-технические задачи из области термоядер- Лебедев стал главным конструктором, М. К. Су-
ных процессов (Я. Б. Зельдович), космических лим (СКБ-245) – его заместителем. Идеологию и
полетов и ракетной техники (М. В. Келдыш, А. А. структуру М-20 разрабатывал С. А. Лебедев, сис-
Дородницын, А. А. Ляпунов), дальних линий тему команд – М. Р. Шура-Бура, схемотехнику –
электропередач (С. А. Лебедев), механики (Г. Н. П. П. Головистиков, М. К. Сулим руководил раз-
Савин), статистического контроля качества (Б. В. работкой технической документации и изготовле-
Гнеденко). нием опытного образца в СКБ-245.
В 1950 г. , когда был опробован макет МЭСМ, В 1958 г. Государственная комиссия приняла М
подобная машина работала лишь в Англии – ЭД- -20 и рекомендовала ее в серийное производство.
САК М. Уилкса (1949 г. ), причем в ЭДСАК ариф- Впервые в отечественной практике в М-20 С.
метическое устройство было последовательным. А. Лебедевым с целью повышения производи-
В 1950 г. С. А. Лебедев начал разработку тельности были реализованы автоматическая мо-
БЭСМ АН СССР. В марте 1950 г. он был назначен дификация адреса, совмещение работы арифмети-
заведующим лабораторией №1 Института точной ческого устройства и выборки команд из памяти,
механики и вычислительной техники (ИТМ и ВТ), введение буферной памяти для массивов данных,
директором которого стал М. А. Лаврентьев. выдаваемых на печать, совмещение ввода и выво-
Над БЭСМ трудились и студенты - да данных со счетом, использование полностью
практиканты из вузов, выполнявшие дипломные
22
синхронной передачи сигналов в логических це- ПРО, генеральным конструктором которой был Г.
пях. В. Кисунько, в 1958 г. была предложена ламповая
Позднее были разработаны полупроводнико- ЭВМ М-40, а немного позднее М-50 (с плаваю-
вые варианты М-20, реализующие ту же архитек- щей точкой).
туру: М-220 и М-222 (главный конструктор – М. Возможность поражения баллистических ра-
К. Сулим); БЭСМ-3М и БЭСМ-4 (главный конст- кет, обеспеченная ПРО, заставила США искать
руктор – О. П. Васильев). пути заключения договора с СССР об ограниче-
ИТМ и ВТ после завершения работ по лампо- нии ПРО. Создатели первой системы ПРО полу-
вым БЭСМ-2 и М-20 начал проектирование полу- чили Ленинскую премию. Среди них были Г. В.
проводниковой БЭСМ-6, которая обладала быст- Кисунько, С. А. Лебедев и В. С. Бурцев.
родействием 1 млн. оп. /с. Главным конструкто- В 50-е – 60-е годы прошлого столетия в облас-
ром БЭСМ-6 был С. А. Лебедев, заместителями – ти отечественной вычислительной техники разви-
его ученики В. А. Мельников и Л. Н. Королев. валось несколько направлений. Помимо школы С.
В 1967 г. Государственная комиссия под пред- А. Лебедева, наиболее известными были научные
седательством М. В. Келдыша приняла БЭСМ-6 с школы В. М. Глушкова, И. С. Брука, Б. И. Рамее-
высокой оценкой и рекомендовала ее к серийному ва. Все они серьезно влияли на становление ис-
производству. следований и подготовку инженеров в МЭИ.
На основе БЭСМ-6 были созданы вычисли- Академик Виктор Михайлович Глушков неод-
тельные центры коллективного пользования для нократно бывал в МЭИ, а Институт кибернетики
научных организаций, системы автоматизации АН УССР, основателем и директором которого он
научных исследований в ядерной физике и других был долгое время, поддерживал тесные деловые
областях науки, информационно-вычислительные отношения с кафедрой ВТ.
системы обработки информации в реальном вре- В Энергетический институт АН СССР И. С.
мени. Она использовалась для моделирования Бруком были приглашены выпускники радиотех-
сложнейших физических процессов и процессов нического факультета МЭИ Михаил Александро-
управления, в системах проектирования про- вич Карцев и Николай Яковлевич Матюхин, кото-
граммного обеспечения для новых ЭВМ. рые впоследствии преподавали на кафедре ВТ.
БЭСМ-6 выпускалась Московским заводом Башир Искандерович Рамеев, до 1938 года
САМ в течение 17 лет. За разработку и внедрение учившийся в МЭИ, также некоторое время рабо-
БЭСМ-6 ее создатели (из ИТМ и ВТ – С. А. Лебе- тавший у И. С. Брука, стал основателем знамени-
дев, В. А. Мельников, Л. Н. Королев, Л. А. Зак, В. той «пензенской школы».
Н. Лаут, В. И. Смирнов, А. А. Соколов, А. Н. То- Таким образом, к началу 50-х годов в МЭИ
милин, М. В. Тяпкин, от завода САМ - В. А. Ива- был создан мощный потенциал, который во мно-
нов, В. Я. Семешкин) были удостоены Государст- гом предопределил развитие отечественной вы-
венной премии. числительной техники.
ИТМ и ВТ совместно с заводом САМ на осно-
ве БЭСМ-6 разработал вычислительную систему
АС-6, модульная организация и унифицирован-
ные каналы обмена которой обеспечивали воз- Выдающиеся выпускники МЭИ –
можность построения децентрализованных мно-
основоположники отечественного
компьютеростроения
гомашинных вычислительных комплексов. АС-6
использовалась для обработки данных и управле- Среди выпускников МЭИ много выдающихся
ния в системах управления космическими порета- ученых, внесших поистине огромный вклад в ста-
ми, а также в ряде вычислительных центров круп- новление и развитие вычислительной техники.
ных научно-исследовательских организаций. Этот раздел хотелось бы начать с описания
Специализированные ЭВМ, созданные под деятельности ярких представителей школы
руководством С. А. Лебедева для системы проти- С. А. Лебедева. В первом же выпуске МЭИ инже-
воракетной обороны (ПРО), стали основой дости- неров-вычислителей в 1951 году были В. А. Мель-
жения стратегического паритета СССР и США в ников и В. С. Бурцев.
период «холодной войны». В 1952-1955 гг. В. С.
Бурцевым были разработаны специализирован- Владимир Андреевич Мельников (1928-
ные ЭВМ «Диана-1» и «Диана-2» для автоматиче- 1993) свой трудовой путь начал, еще будучи сту-
ского съема данных с радиолокатора и автомати- дентом МЭИ, в ИТМ и ВТ АН СССР под руково-
ческого слежения за целями. Затем для системы дством академика С. А. Лебедева.
23
Его первой работой был макет блока централь- В 1976 г. В. А. Мельникова избрали членом-
ного управления операциями машины БЭСМ. корреспондентом АН СССР по Отделению мате-
Дипломный проект В. А. Мельникова по этому матики.
блоку, наряду с проектами других студентов- После БЭСМ-6 В. А. Мельников, в качестве
практикантов В. С. Бурцева, А. Н. Зимарева, В. П. главного конструктора, вместе с С. А. Лебедевым
Смирягина, А. Г. Лаут, В. Н. Лаута, А. С. Федоро- и А. А. Соколовым, приступил к разработке вы-
ва, составил эскизный проект БЭСМ, который числительной системы АС-6,.
был защищен в апреле 1951 г. одновременно с В АС-6 были воплощены многие идеи, соста-
эскизным проектом ЭВМ «Стрела», разработан- вившие основу будущих супер-ЭВМ. АС-6 ис-
ной в СКБ-245. пользовалась совместно с БЭСМ-6 при реализа-
В. А. Мельников вырос как ученый и конст- ции советско-американской космической про-
руктор в научной школе академика С. А. Лебеде- граммы «Союз-Аполлон» и при последующих
ва. До конца своей жизни Владимир Андреевич запусках космических кораблей в СССР.
сохранил чувства глубокой любви и уважения к Последние 10 лет жизни В. А. Мельников по-
Учителю, вместе с соратниками и учениками он святил созданию векторно-конвейерных супер-
продолжил развитие школы С. А. Лебедева. В. А. ЭВМ на отечественной элементной базе, наиболее
Мельников вспоминал: «Мне очень повезло и с полно отвечающих требованиям решения слож-
моим первым учителем, и с моим первым дирек- ных задач вычислительной математики. С этой
тором. Моим первым учителем был С. А. Лебе- целью он создал коллектив разработчиков супер-
дев, который научил нас основам создания элек- ЭВМ в одном из научно-исследовательских ин-
тронных цифровых вычислительных машин, а ститутов Минэлектронпрома СССР. В 1983 г. ,
первым директором – М. А. Лаврентьев, сумев- когда в АН СССР было открыто Отделение ин-
ший создать в ИТМ и ВТ творческие условия, форматики, вычислительной техники и автомати-
способствовавшие разработке и организации се- зации, В. А. Мельников организовал Институт
рийного производства первых ЭВМ». проблем кибернетики АН СССР и стал его дирек-
Еще будучи молодым инженером, В. А. Мель- тором. Вычислительная система «Электроника-
ников стал одним из руководителей следующей ССБИС», которая разрабатывалась В. А. Мельни-
разработки ИТМ и ВТ – ЭВМ БЭСМ-2, ее налад- ковым, в архитектурном отношении напоминала
ки и подготовки к серийному производству. известную систему фирмы Cray Research (США),
В истории отечественной вычислительной хотя конкретные решения по архитектуре, конст-
техники эпохальным событием следует считать рукции, схемотехнике и особенностям системного
создание ЭВМ БЭСМ-6, обладавшей средним программного обеспечения для векторно-
быстродействием 1 млн. операций в секунду. Ос- конвейерной супер-ЭВМ были оригинальными.
новные решения по строения БЭСМ -6 В 1986 г. В. А. Мельников был избран дейст-
(архитектура, структура машины, система элемен- вительным членом АН СССР по Отделению мате-
тов и схемотехника, конструкция, программное матики.
обеспечение) принадлежат главному конструкто- Начавшаяся в СССР в конце 80-х годов пере-
ру С. А. Лебедеву, его заместителям В. А. Мель- стройка, а затем длительный экономический кри-
никову и Л. Н. Королеву (ныне члену- зис не позволили В. А. Мельникову довести до
корреспонденту РАН, заведующему кафедрой в конца работу по «Электронике-ССБИС».
МГУ), А. А. Соколову. Многие из этих решений, Большая и плодотворная работа В. А. Мельни-
реализованных на технической базе ЭВМ второго кова была отмечена высокими наградами – орде-
поколения, были положены в основу архитектуры ном Ленина, двумя орденами Трудового Красного
ЭВМ третьего и четвертого поколений. Знамени и медалями. В. А. Мельников – дважды
Архитектура БЭСМ-6 была использована в лауреат Государственных премий (1969 и 1980
дальнейшем в ЭВМ «Эльбрус-1К2» и «Эльбрус- гг. ), лауреат премии им. С. А. Лебедева Прези-
КБ», созданных М. В. Тяпкиным уже на инте- диума АН Украины.
гральных схемах и обеспечивших программную
совместимость с БЭСМ-6. Академик РАН Всеволод Сергеевич Бурцев
В 1969 г. В. А. Мельникову в составе коллек- является крупнейшим специалистом в области
тива разработчиков БЭСМ-6 была присуждена создания высокопроизводительных вычислитель-
Государственная премия СССР. ных машин и комплексов. Он родился 11 февраля
1927 г. Еще до окончания Московского энергети-
ческого института Всеволод Сергеевич начал на-
24
учную и инженерную деятельность в ИТМ и ВТ был испытан в реальной работе в 1967 г. В даль-
под руководством академика С. А. Лебедева. Те- нейшем серийные машины 5Э92б стали основой
мой его дипломной работы была система управ- системы ПРО страны, обеспечив паритет с США
ления БЭСМ АН СССР. Уже на дипломном про- в «холодной войне» и сыграв важнейшую поли-
ектировании он стал одним из ведущих разработ- тическую роль в заключении в 1972 г. договора
чиков. по ограничению ПРО.
В 1953-1956 гг. B. C. Бурцев, будучи ответст- В 1969-1972 гг. B. C. Бурцев, являясь главным
венным исполнителем, предложил принцип се- конструктором, создал первую бортовую вычис-
лекции и оцифровки радиолокационного сигнала. лительную машину третьего поколения для бое-
На его основе был осуществлен съем данных о вого возимого зенитно-ракетного комплекса
цели с радиолокационной станции и ввод их в С-300.
вычислительную машину, разработаны специа- В декабре 1976 г. В. С. Бурцев был избран
лизированные вычислительные машины «Диана- членом-корреспондентом АН СССР по Отделе-
1» и «Диана-2», успешно проведен эксперимент нию механики и процессов управления.
одновременного сопровождения нескольких це- В 1973-1985 гг. Всеволод Сергеевич руково-
лей вычислительной машиной. На базе этих ра- дил разработкой многопроцессорных вычисли-
бот B. C. Бурцев написал кандидатскую диссер- тельных комплексов (МВК) «Эльбрус-1»,
тацию. На защите диссертации члены совета еди- ―Эльбрус-2», являясь главным конструктором.
ногласно проголосовали за присуждение B. C. При проектировании МВК «Эльбрус-2» по его
Бурцеву ученой степени доктора технических инициативе и при непосредственном участии
наук, так как полученные им результаты в корне были созданы новые быстродействующие инте-
изменили структуру управляющих противоракет- гральные схемы, высокочастотные групповые
ных и противосамолетных комплексов. разъемы, многокристальные и большие инте-
В 1956-1961 гг. под непосредственным руко- гральные схемы, микрокабели, прецизионные
водством Всеволода Сергеевича были разработа- многослойные печатные платы. Это было боль-
ны принципы построения вычислительных шим вкладом в развитие технологии в нашей
средств ПРО страны и создан двухмашинный стране. В 1980 г. были закончены работы по соз-
высокопроизводительный вычислительный ком- данию МВК «Эльбрус-1» общей производитель-
плекс на базе спроектированных в ИТМ и ВТ ностью 15 млн. оп. /с. В 1985 г. успешно завер-
машин М-40 и М-50. шены государственные испытания десятипроцес-
Для М-40, самой быстродействующей в то сорного МВК «Эльбрус-2» производительностью
время в стране серийной машины, B. C. Бурце- 125 млн. оп. /с. Оба комплекса были освоены в
вым впервые были предложены принципы распа- серийном производстве.
раллеливания вычислительного процесса на В 1986-1993 гг. под руководством В. С. Бур-
уровне аппаратных средств. цева разработана архитектура супер-ЭВМ, осно-
М-50 была выполнена как модификация М-40 ванная на принципе управления потоком данных,
для выполнения арифметических операций с пла- обеспечивающая распараллеливание вычисли-
вающей точкой. Она была введена в эксплуата- тельного процесса на аппаратном уровне.
цию в 1959 г. В июне 1992 г. В. С. Бурцев был избран дей-
За создание вычислительных комплексов ствительным членом РАН по Отделению инфор-
ПРО на базе М-40 и М-50 С. А. Лебедев и В. С. матики, вычислительной техники и автоматиза-
Бурцев были удостоены Ленинской премии. ции.
В 1961-1968 гг. под непосредственным руко- В. С. Бурцев являлся научным руководителем
водством В. С. Бурцева были разработаны высо- фундаментальных исследований по разработке
копроизводительные полупроводниковые маши- нетрадиционных архитектурных решений высо-
ны, предназначенные для построения сложных копроизводительных вычислительных машин с
боевых комплексов ПРО: 5Э92б и ее модифика- использованием новых физических принципов, а
ция для вычислений с плавающей точкой 5Э51. также их системного программного обеспечения.
5Э92б обладала повышенной структурной надеж- Всеволод Сергеевич Бурцев удостоен Ленин-
ностью и достоверностью выдаваемой информа- ской и Государственной премий, награжден орде-
ции, основанными на полном аппаратном кон- нами Ленина, Октябрьской революции, Трудово-
троле вычислительного процесса. Многомашин- го Красного Знамени и медалями. За цикл работ
ный вычислительный комплекс ПРО из восьми «Теория и практика создания высокопроизводи-
машин 5Э92б с автоматическим резервированием тельных многопроцессорных вычислительных
25
машин» ему присуждена премия им. С. А. Лебе- По основным характеристикам М-2 находи-
дева АН СССР. лась в одном ряду с созданными в 1953 г. ЭВМ
«Стрела» и БЭСМ. В течение определѐнного вре-
Член-корреспондент РАН Юрий Иванович мени эти три ЭВМ удовлетворяли потребности
Митропольский является выпускником кафедры многих научных и конструкторских организаций
вычислительной техники МЭИ 1958 года. С 1963 в СССР.
г. работал в ИТМ и ВТ, принимал участие в раз- Зимой 1954 - 1955 гг. М-2 была существенно
работке и внедрении БЭСМ-6, занимался проек- модернизирована М. А. Карцевым. При модерни-
тированием системы обмена с внешними накопи- зации М-2 в системе команд, вероятно, впервые
телями. Следующей разработкой была система была реализована идея укороченных адресов,
обработки данных АС-6. Ю. И. Митропольский послужившая предшественницей принципа фор-
отвечал за создание периферийного процессора и мирования исполнительных адресов в ЭВМ вто-
системы автоматизации проектирования АПАС. рого и третьего поколений.
В 1978 г. вместе с академиком В. А. Мельни- В 1958 г. была издана монография М. А. Кар-
ковым перешел в НИИ «Дельта», был назначен цева «Арифметические устройства электронных
заместителем, а в 1981 г. – первым заместителем цифровых машин», позднее переизданная за ру-
главного конструктора системы «Электроника бежом.
ССБИС». В 1989 г. были проведены испытания В 1957 г. И. С. Брук начал разработку элек-
головного образца системы. тронной управляющей машины М-4, предназна-
В 1990 г. Ю. И. Митропольский избран чле- ченной для управления новым эксперименталь-
ном-корреспондентом АН СССР. Участвовал в ным радиолокационным комплексом, который
создании Института проблем кибернетики, в создавался Радиотехническим институтом АН
1991 г. был назначен заведующим отделением СССР под руководством академика А. Л. Минца.
этого института. Руководителем разработки М-4 был назначен М.
В 1994 г. был переведен на должность замес- А. Карцев. К этому времени электронной про-
тителя директора Института высокопроизводи- мышленностью были освоены и выпускались
тельных вычислительных систем РАН. С 1999 г. первые отечественные транзисторы. Поэтому
Ю. И. Митропольский заведует отделом в Инсти- было решено проектировать М-4 на полупровод-
туте системного анализа РАН. Под его руково- никовой элементной базе, и она стала одной из
дством продолжаются исследования по мульти- первых отечественных машин второго поколе-
компьютерным вычислительным суперсистемам. ния.
С 1994 г. Ю. И. Митропольский возглавляет ба- В М-4 М. А. Карцев одним из первых реали-
зовую кафедру Московского физико - зовал разделение оперативной памяти машины на
технического института. память данных и память программ и констант,
размещаемых в постоянном запоминающем уст-
Михаил Александрович Карцев и Николай ройстве, для того, чтобы повысить устойчивость
Яковлевич Матюхин принадлежат к школе И. С. к отказам и сбоям систем, построенных на базе
Брука. этой машины.
В июле 1962 г. были завершены совместные
Михаил Александрович Карцев (1923-1983) испытания М-4 с устройством первичной обра-
– выпускник радиотехнического факультета ботки информации и сопряжения с объектом на
МЭИ. Будучи студентом 5-го курса, работал по экспериментальном радиолокационном комплек-
совместительству в Лаборатории электросистем се. В ноябре 1962 г. вышло постановление о за-
Энергетического института АН СССР. Здесь М. пуске М-4 в серийное производство.
А. Карцев принял участие в разработке электрон- Хотя постановление о запуске М-4 в серийное
ной вычислительной машины М-1, проводившей- производство было принято, М. А. Карцев, под-
ся под руководством члена-корреспондента АН держанный коллективом разработчиков, настоял
СССР И. С. Брука группой выпускников МЭИ во на проведении еѐ существенной модернизации,
главе с Н. Я. Матюхиным. учитывая прогресс в технической базе. Это по-
В 1952 г. М. А. Карцев был направлен на по- зволило почти на порядок увеличить быстродей-
стоянную работу в лабораторию И. С. Брука, где ствие машины. В 1964 г. появилась машина М-
возглавил создание машины М-2. Небольшой 4М, быстродействие которой составляло 220 тыс.
коллектив справился с заданием всего за полтора оп. /с. Она выпускалась до 1985 г. , всего было
года и в 1953 г. М-2 была введена в эксплуата- поставлено на объекты более 100 комплектов.
цию.
26
для системы ПВО страны, по назначению анало- Н. Я. Матюхин был удостоен Государственной
гичной американской системе «Сейдж». премии СССР.
Первой разработкой Н. Я. Матюхина в этом Научно-исследовательскую работу Н. Я. Ма-
направлении была специализированная ЭВМ тюхин успешно совмещал с педагогической. Он
«Тетива», выпущенная Минским заводом в 1962- преподавал в МЭИ, был профессором базовой
1964 гг. кафедры Московского института радиотехники,
ЭВМ «Тетива» была первой отечественной электроники и автоматики при НИИАА.
ЭВМ второго поколения, в которой устройство В 1980 г. за высокие заслуги он был награж-
управления использовало микропрограммы, хра- ден орденом Трудового Красного Знамени.
нящиеся в постоянной памяти. Позже микропро-
граммное управление было применено во многих Среди других известных выпускников МЭИ
отечественных ЭВМ («Промiнь», 1963г. ; такие первоклассные специалисты как М. А. Ла-
«Наири», 1964 г. ; «Мир», 1965 г. ; моделях ЕС рионов, Г. П. Лопато, В. В. Пржиялковский, В. К.
ЭВМ и СМ ЭВМ). Левин и В. Н. Наумов.
В дальнейшем Н. Я. Матюхин был главным
конструктором ряда стационарных и возимых Александр Максимович Ларионов (1928-
ЭВМ, а также вычислительных комплексов для 1995) окончил Московский энергетический ин-
центров коммутации сообщений глобальной сети ститут по специальности ―электромеханические
системы ПВО, разработанных НИИ автоматиче- приборы» в феврале 1951 г. , был направлен в
ской аппаратуры (НИИАА) и серийно выпускав- СКБ-245 (Москва), где занимался наладкой и
шихся отечественной промышленностью с 1965 отработкой устройства центрального управления
по 1992 гг. ЭВМ «Стрела», быстро став ведущим специали-
Будучи главным конструктором ряда крупных стом.
проектов по созданию ЭВМ, Н. Я. Матюхин од- В октябре 1969 г. А. М. Ларионов назначается
ним из первых почувствовал острую необходи- заместителем директора НИЦЭВТ по научной
мость в автоматизации проектирования средств работе. Одновременно он становится заместите-
вычислительной техники. Начиная с 1964 г. , он лем Генерального конструктора ЕС ЭВМ и за-
выполнил ряд основополагающих исследований местителем главного конструктора бортовых
и разработок в этом направлении. Под руково- ЦВМ серии «Аргон».
дством и при непосредственном участии Н. Я. С марта 1971 года А. М. Ларионов – директор
Матюхина в 1968 г. была написана первая отече- НИЦЭВТ, Генеральный конструктор ЕС ЭВМ,
ственная монография «Применение ЦВМ для главный конструктор БЦВМ серии «Аргон».
проектирования цифровых устройств». В ней В 1971 г. он был награжден орденом Трудово-
были выдвинуты и обоснованы принципы по- го Красного Знамени, в 1977 г. – орденом Лени-
строения САПР средств вычислительной техни- на.
ки, лежащие ныне в основе многих конкретных
систем. Н. Я. Матюхин разработал язык модели- Георгий Павлович Лопато (1924-2003) за-
рования цифровых устройств МОДИС и первую кончил электрофизический факультет МЭИ.
систему моделирования. Комплексный подход к Георгий Павлович Лопато был главным кон-
проектированию, объединяющий логическое мо- структором первой ЭВМ, разработанной в СКБ
делирование с автоматизированным конструиро- завода им. Г. К. Орджоникидзе, – ламповой ЭВМ
ванием устройств и выпуском документации, «Минск-1» (1960 г. ). Наиболее значительной
также был предложен Н. Я. Матюхиным. работой, проведенной в НИИЭВМ под его непо-
Н. Я. Матюхин руководил межведомственной средственным техническим руководством, было
координацией оборонных министерств СССР в создание по заказу Министерства обороны ряда
области САПР вычислительной техники, всесо- возимых ЭВМ, совместимых с машинами ЕС
юзными научными конференциями и семинарами ЭВМ (1983–1989гг. )
по этой проблеме. В течение длительного времени Георгий Пав-
Как крупный специалист в области вычисли- лович был заведующим кафедрой Минского ра-
тельной техники, один из тех, кто заложил осно- диотехнического института.
вы этой отрасли в СССР, в 1979 г. Н. Я. Матюхин В 1979 г. Г. П. Лопато избран членом-
был избран членом-корреспондентом АН СССР корреспондентом АН СССР, в 1995 г. – членом-
по Отделению механики и процессов управления. корреспондентом НАН Белоруссии. В 1980 г. он
В 1976 г. за работы в области систем управления получил звание профессора. В апреле 1999 г. In-
28
Борис Николаевич Наумов (1927-1988) за- тельного направления в МЭИ стояли энергичные
кончил МЭИ по специальности «автоматика и и талантливые люди. Работая в Киеве в Институ-
телемеханика». те энергетики АН УССР, С. А. Лебедев ежене-
В 1950-1967 гг. Б. Н. Наумов трудился в Ин- дельно приезжал в Москву и читал лекции в
ституте автоматики и телемеханики. Здесь, в кол- МЭИ. Такой режим длился полтора года, затем
лективе ведущих ученых в области автоматиче- дисциплину «Вычислительные машины дискрет-
ского управления, Б. Н. Наумов сформулировал ного действия» стал вести Анатолий Георгиевич
свою позицию и выполнил исследования, направ- Шигин (1922-1997). Он сделал очень много для
ленные на создание новых эффективных методов создания лабораторной базы, а в 1952 году защи-
теории нелинейных систем автоматического тил одну из первых в СССР кандидатских дис-
управления и ее приложений к решению крупных сертаций, посвященных созданию устройств
задач народного хозяйства и оборонной техники. ЭВМ. Исследования в области вычислительной
К 1967 г. у него уже были работы, нашедшие техники в МЭИ с начала 50-х годов прошлого
международное признание, блестящие защиты столетия начинают динамично развиваться. В
кандидатской и докторской диссертаций, свое 1953 году организуется подготовка аспирантов
место в теории автоматического управления и ее по соответствующим специальностям. В 1957
приложениях на практике. Как раз в это время году приобретается массово выпускавшаяся в
оказался в кризисном положении коллектив стране ЭВМ «Урал-1». Быстрый рост объема зая-
ИНЭУМ, созданный в 1958 г. в составе АН СССР вок привел к необходимости приобретения еще
и переданный в ведение Минприбора СССР в нескольких машин и к созданию в 1958 году но-
1965 г. Б. Н. Наумов без колебаний принял пред- вого подразделения – вычислительного центра
ложение руководителей Минприбора и возглавил МЭИ. С 1965 года кафедра ВТ, наряду с инжене-
в 1967 г. ИНЭУМ. рами по ЭВМ, начинает выпуск специалистов по
Наиболее ярко масштабность и организацион- прикладной математике.
ный талант Б. Н. Наумова проявились в период С 1967 по 1982 год кафедру ВТ возглавлял
1974-1984 гг. , когда он руководил разработкой Юрий Матвеевич Шамаев (1922-1998). С его при-
международной системы малых ЭВМ (СМ ЭВМ) ходом на кафедре начинаются исследования, свя-
в качестве Генерального конструктора. занные с проектированием устройств памяти.
За создание СМ ЭВМ Б. Н. Наумов был удо- В 60-е – 70-е годы одной из самых больших по
стоен Государственной премии СССР в области составу на кафедре ВТ была научная группа
науки и техники. СМ ЭВМ в совокупности с Еди- А. Г Шигина. По инициативе Ю. М. Шамаева в
ной системой ЭВМ в 70-80-х годах послужили 1971 году кафедра ВТ начинает подготовку ин-
основой автоматизации управления и обработки женеров по конструированию и производству
информации во всех отраслях народного хозяйст- электронно-вычислительной аппаратуры. В 1976
ва, автоматизации научных исследований. году на базе отдела математического обеспече-
В 1976 г. Б. Н. Наумов был избран членом- ния создается кафедра прикладной математики
корреспондентом АН СССР, в 1984 г. – действи- (ПМ). В начале 80-х годов часть сотрудников
тельным членом АН СССР. Б. Н. Наумов был кафедры ВТ была переведена на реорганизован-
одним из инициаторов организации в составе АН ную кафедру системотехники (впоследствии
СССР Отделения информатики, вычислительной ставшую называться кафедрой вычислительных
техники и автоматизации, созданного в 1983 г. машин, систем и сетей – ВМСС). С 1982 по 1996
усилиями вице-президента АН СССР академика год кафедрой ВТ руководил Гурам Семенович
Е. П. Велихова. До конца жизни Б. Н. Наумов Чхартишвили, а начиная с 1996 года заведующим
возглавлял Институт проблем информатики АН кафедрой является автор этих строк.
СССР, организованный по его инициативе. Исследования на факультете автоматики и
вычислительной техники (АВТФ), благодаря то-
Исследования в области информатики му заделу, который создали основатели вычисли-
и вычислительной техники в МЭИ тельного направления в МЭИ, всегда проводи-
Отсчетом хронологии вычислительной техни- лись на высоком уровне и завоевали признание
ки в МЭИ принято считать 1951 год, когда была не только в стране, но и за рубежом. К препода-
открыта специальность «математические и счет- ванию дисциплин по вычислительной технике в
но-решающие приборы и устройства» и состоял- МЭИ всегда привлекались высококлассные спе-
ся первый выпуск инженеров-вычислителей циалисты, активно работавшие в науке. Здесь
(группа ВП-1-45). У истоков создания вычисли- нужно вспомнить Илью Марковича Тетельбаума
30
satXpress pricelist
последние годы пытается проектировать содержа- (уже начальной) такие объекты могут быть на-
ние этой итоговой аттестации по информатике. глядно и даже телесно представлены учащимся.
Моя личная интерпретация современных пред-
ставлений о фундаментальной информатике в Это:
школе содержится в следующем кратком цепочки (кортежи, конечные последователь-
(насколько это позволяет жанр доклада на юби- ности) бусин разной формы,
лейной конференции) обзоре. Мне представляет- те же бусины, сложенные в мешки (уже неупоря-
ся, что эта интерпретация является естественным доченные множества объектов, среди которых
продолжением взглядов А. П. Ершова. могут встретиться и одинаковые),
Начнем с того, что современная, подчеркнем, деревья,
общекультурная, общечеловеческая грамотность произвольные графы.
предполагает понимание ряда понятий, которые
сегодня можно отнести к области информатики. Последние типы объектов, конечно, полезны
Они возникли и по сей день могут рассматривать- при наглядном рассмотрении упомянутых выше
ся как входящие в понятийный аппарат таких об- конечных автоматов и игр с полной информацией,
ластей как кибернетика, логика, общая теория а не наглядно их, до старшей школы, и не стоит
систем, теория игр (сегодня есть несколько таких рассматривать. Специалисту очевидно, что об
«теорий», относящихся к разным классам игр). упомянутых объектах можно формулировать мно-
К ним относятся такие понятия и их группы, как: го задач, в том числе и достаточно сложных. При
Система, элементы и компоненты системы, их этом замечательно, что эти задачи, в том числе и
состояния, взаимодействие, сигналы сложные, можно формулировать для учащихся
Управление, обратная связь даже начальной школы в наглядной форме, где
Игры (в том числе – с полной информацией), объекты условия и решения задачи нарисованы на
стратегии в играх бумаге (или существуют в виртуальном микроми-
ре на экране компьютера). Одним из многих ви-
Еще раз отметим, что только что перечислен- дов задач являются упражнения на кодирование
ные понятия уже стали общекультурными. Школа разных математических объектов. Напомним, что
должна на это реагировать. При этом мы должны мы начали с «дискретизации» образов реальных
дать учащимся задачки, где эти понятия работа- объектов. С этим связаны «прикладные» арифме-
ют. Можно строить простейшие конечные автома- тические упражнения, относящиеся к тому, какой
ты, можно программировать в визуальных языках длины получится цепочка при дискретизации зву-
движущихся по полу и управляемых роботов ЛЕ- ка, изображения и т. д. В терминах цепочек мож-
ГО (с микропроцессором, куда заложена состав- но говорить и о десятичных и двоичных числах и
ленная программа), можно играть в игры с камеш- о хранении информации в разных видах памяти и
ками на столе или бросать кость и т. д. об объеме информации (длине двоичной цепочки)
Следующая область относится к современно- и об объеме памяти, в которой могут храниться
му понятию «being digital» (Н. Негропонте, МТИ), такие цепочки и о скорости передаче цепочек по
к «цифровому миру». Люди уже давно пользова- каналу связи.
лись измерительными инструментами и сопостав- Задолго до появления компьютеров человек
ляли с (мыслимой как непрерывная, аналоговая) заинтересовался возможностью формального опи-
длиной конечную десятичную дробь (целые: мет- сания того, что можно называть «строгим рассуж-
ры, сантиметры, миллиметры). Сегодня, чтобы дением» и «верным высказыванием». Возникла
обработать информацию о каких-то объектах или логика, ставшая в период с 1900-ых по 1930-е гг.
процессах, их смоделировать и спроектировать, математической логикой. К тому же периоду от-
нужно работать с их цифровыми, дискретными носится и формализация того, что можно назвать
образами. Понятия перехода к такому образу – «строгой, однозначно понимаемой инструкцией к
дискретизации (ср. «being digital») уже стало эле- действию». Возникла теория алгоритмов. Фунда-
ментом общеинтеллектуального багажа современ- ментальные понятия и конструкции общей дисци-
ного человека. С этим связаны и классы дискрет- плины «математическая логика и теория алгорит-
ных, конечных объектов, изучаемых разделами мов» были в середине XX века воплощены в
современной математики, которые можно было «железе» и компьютерных кодах. (Здесь времен-
бы назвать также информатической математикой ное совпадение становится необыкновенно точ-
или «mathematical computer science». В школе ным – в конце сороковых гг. и самом начале пяти-
десятых были созданы универсальные компьюте-
37
ры и А. А. Марковым было дано детальное дока- можно вычислять значение любой вычислимой
зательства правильности работы абстрактного каким-либо образом функции (это утверждение
универсального компьютера – в терминах струк- относится к соотношению между формальным
турного программирования, индуктивного доказа- математическим объектом и интуитивным,
тельства с инвариантами и т. д. ). Вот эти поня- неформальным с точки зрения математики,
тия: представлением; оно не может быть
математически доказано и относится к
имена, выражения и их значения
информатике, но не к «чистой» математике).
высказывания, их истинность, операции над
высказываниями
Несмотря на естественность и важность двух
примеры правил логического вывода
последних утверждений, их введение даже в базо-
программа (запись алгоритма) и отвечающая ей вую подготовку программистов (не говоря уже о
последовательность действий (выполнение,
школьниках) может показаться не столь очевид-
вычисление)
ным. Но в том-то и дело, что программист просто
конструкции структурного программирования,
не задумывается о них, он программирует, их
переменные.
подразумевая. В общеобразовательном же смысле
представление о том, что все можно вычислить на
Упомянутые математические конструкции,
данном обозримом вычислительном устройстве, и
относящиеся к формализованному мышлению и
что этому устройству можно «объяснить» любую
деятельности, сегодня постоянно применяются в
вычислительную программу, очень важно. Задачи
информатике, относятся к ее фундаментальной,
в данном блоке могут относиться к написанию
теоретической части. С другой стороны, они по-
простых программ для абстрактного компьютера,
степенно во все большей степени становятся ча-
поясняющих его возможности по обработке цепо-
стью общей культуры, не менее базовой, чем, ска-
чек или чисел. Представления о границах вычис-
жем, арифметика процентов или вычисление пло-
лимости, «алгоритмичности» и доказуемости ес-
щадей простейших геометрических фигур. При
тественно сочетаются с отрицательными утвер-
этом, как и в случае базовых объектов, упомяну-
ждениями. Эти утверждения уже проникли в по-
тых выше, освоение перечисленных понятий мо-
пулярную математическую и околоматематиче-
жет идти уже в начальной школе на наглядном
скую литературу. К ним относятся:
материале. Например, исполнение алгоритма мо-
жет происходить в визуальном микромире на эк- пример алгоритмической неразрешимости,
ране компьютера (команды выполняет робот в принципиальная неполнота математических
лабиринте или черепашка, перемещающаяся по теорий.
плоскости и оставляющая след). Конкретные пра-
вила логического вывода также могут быть про- «Диагональная» процедура, с помощью кото-
иллюстрированы в визуальном контексте. рой может быть доказана алгоритмическая нераз-
Следующий блок фундаментального информа- решимость, является одним из замечательных
тического знания относится к базовым теоретиче- достижений математики. Замечательных в том
ским достижениям в области основ информатики. числе и тем, что она доступна для понимания
В него входят следующие темы: школьникам и не менее, чем иррациональность
абстрактный компьютер (исполнитель) и язык корня из двух, заслуживает присутствия в школь-
программирования для него (имеется в виду ной программе.
какая-нибудь универсальная вычислительная Понятие сложности также относится к совре-
модель) менному общекультурному багажу, оно же дает
утверждение о существовании универсальной правильный взгляд на возможности информаци-
программы, позволяющей абстрактному онных технологий. Это обуславливает полезность
компьютеру вычислить результат работы любой рассмотрения тем:
данной программы (в рассматриваемом языке) на сложность вычисления, как число его шагов,
любом исходном данном (это утверждение описательная сложность объекта, как длина
может быть строго доказано, что не входит в кратчайшего описания,
программу общеобразовательной школы, но представление о случайности, как сложности
пояснено на содержательном уровне оно может
быть и в школе) Выше уже упоминались задачи на построение
тезис об универсальности данного компьютера и алгоритмов. Безусловно, они являются важней-
языка, состоящий в том, что с их помощью шей частью курса. Собственно теоретические
38
сятся пассивные элементы, которые не обладают элементов с МПП и через МПП – друг с другом.
собственным тепловыделением, это – электриче- При тепловом моделировании пассивные элемен-
ские разъемы, конденсаторы, теплоотводы ты выполняют функции теплоотводов, и по сво-
(радиаторы, метал-лические детали, тепловые ему физическому смыслу являются стоками теп-
трубы). Посредством конструктивного исполне- лоты, отводимой от МПП, а активные элементы,
ния активных и пассивных элементов создается выделяющие тепловую энергию, играют в конст-
надежное крепление элементов к МПП и тем са- рукции ЭМ роль источников теплоты.
мым обеспечивается эффективная тепловая связь
Рис. 1. Тепловые модели электронного модуля: МПП, МС, ЭРЭ, электрических разъемов
и других элементов ЭМ
могут быть четырех видов: диэлектрические слои нению с теплоотдачей с верхней и нижней по-
из полиимида, тонкие медные энергетические верхностей МПП и считать, что торцы прямо-
слои для земли и питания, сигнальные слои с ме- угольного параллелепипеда в тепловой модели
таллическими сигнальными проводниками прямо- МПП теплоизолированы. Для общности модели-
угольного сечения, теплоотводящие сравнительно рования принято, что температуры среды и усло-
толстые медные слои. Помимо слоев, выполнен- вия теплообмена на верхней и нижней поверхно-
ных из однородных материалов, реальная конст- стях МПП могут быть различными. Зависимостью
рукция МПП включает в себя также сигнальные теплофизических параметров материалов тепло-
слои, имеющие композитную структуру, и кото- вой модели, а также мощностей активных элемен-
рые состоят из сигнальных проводников прямо- тов ЭМ от температуры пренебрегается.
угольного сечения, выполненных, как правило, из Математическая модель описывающая трех-
меди, и разделяющих их диэлектрических слоев, мерное стационарное температурное поле
изготавливаемых, как правило, из полиимида. i i ( x, y, z ) в каждом i-м слое тепловой моде-
Поскольку расположение медных сигнальных ли МПП представляет собой систему следующих
проводников в слое диэлектрика соответствует уравнений:
маршрутам их трассировки и отличается от слоя к уравнение теплопроводности в i-ом слое
слою, то теплопроводность такого композитного
2 2 2
слоя будет анизотропной и различаться в каждой i i i
точке слоя. Однако для того, чтобы моделирова- 0,
2 2 2
ние температурных полей слоев МПП было воз- x y z
можным, необходимо от анизотропной теплопро- i 1, 2, ..., M
водности слоя уметь переходить к некоторой ее
граничные условия на верхней (i = 1) и нижней (i
эффективной усредненной величине эфф. Опре-
= M) поверхностях тепловой модели МПП, с ко-
деление эффективной теплопроводности эфф
торых происходит теплообмен в среду по закону
каждого слоя представляет собой довольно слож-
Ньютона и одновременно – поступление тепло-
ную проблему, не решенную до сих пор. В ряде
вой энергии через источники теплоты в МПП и
случаев, расчет эффективной теплопроводности
отвод тепловой энергии от стоков теплоты, рас-
эфф тепловой модели МПП с достаточной для
положенных на поверхностях МПП, суммарная
практики моделирования погрешностью, можно мощность которых равна Р1 для i = 1 (верхний
рассчитывать по формуле ожидаемой или взве- слой МПП) и РМ – для i = М (нижний слой
шенной величины эфф = 1 1 + 2 2, 1 + 2 = МПП)
1, где 1 и 2 – теплопроводности металлического
проводника и диэлектрика, занимающих в объеме 1
композитного слоя доли, равные 1 и 2 соответ- 1 1 (1 a1 ) 1,
z z d z d1
ственно.
1
На верхней и нижней сторонах тепловой моде-
ли МПП расположены прямоугольные площадки, M
которые соответствуют двум видам элементов M M (M a 2 ) M
z z0
ЭМ: активным элементам, которые выделяют теп- z 0
ловую энергию и пассивным элементам – не обла-
дающим этим свойством. Размеры прямоуголь-
k Pj1h j1 PjM h jM
P1
l
ных площадок на поверхностях МПП вдоль осей , PM
X и Y равны соответствующим размерам проек- j 1 lx l y lx l
jM y jM
j 1
j1 j1
ции элементов на поверхности МПП. Площадки,
которые соответствуют активным элементам иг- граничные условия на границе i-го и i+1-го слоев
рают для МПП роль источников тепловой энер- тепловой модели МПП, выражающие равенство
гии, поступающей от элемента ЭМ в МПП; будем температур и потоков теплоты на стыке двух
называть их источниками теплоты. Площадки, соседних слоев:
которые соответствуют пассивным элементам
играют роль стоков тепловой энергии, отводимой i i 1 ,
от МПП; будем называть их стоками теплоты. z0 z d i 1
С достаточной для инженерной практики точно-
стью моделирования можно считать, что теплоот-
дачей с торцев МПП можно пренебречь по срав-
46
штатов Огайо, Кентукки и Индиана получат ши- сотовых операторов и радиолюбителей на воз-
рокополосный интернет-доступ и VoIP- можные помехи. Несмотря на это, привлекатель-
телефонию по силовым проводам. Еще почти че- ность BPL-сетей возрастает ввиду заранее огово-
тыре десятка BPL-сетей доступа находятся в тес- ренной организации таких востребованных серви-
товой эксплуатации. В Америке новая техноло- сов, как помощь инвалидам или служба E911. На
гия, получившая название BPL (Broadband over повестке дня остались вопросы урегулирования
Power Line), уже прошла испытания в Цинцинна- отношений между поставщиками электричества и
ти (штат Огайо), где возможность нетрадиционно- коммуникационными компаниями. В IEEE
го подключения получили более сотни физиче- (Институт разработчиков в области электроники и
ских и несколько юридических лиц. Тестирование электричества) разрабатывается стандарт для
показало высокое качество предоставления услуг BPL – IEEE 1675, принятие которого ожидается
и большой коммерческий потенциал технологии. не ранее 2009 г.
Пользователи BPL отметили высокую скорость Производители бытовой электроники тоже не
передачи данных – свыше 3 Мбит/с, при этом ме- остались в стороне. В начале января 2005 г. ком-
сячная абонентская плата оказалась ниже, чем за пании Mitsubishi Electric и Sony объявили о своем
существующие широкополосные решения. Об намерении создать альянс с целью внедрения тех-
активности российских регулирующих органов в нологии PLC в жизнь. По убеждению его участ-
области сертификации PLC и BPL пока ничего не ников, каждая квартира уже оборудована всем
слышно, а вот в США федеральной комиссией по необходимым для организации локальной сети,
эле к тр о св яз и ( F ed er a l Co m mu n ica tio n s пропускная способность которой позволяет пере-
Commission, FCC) такие спецификации уже при- давать любые данные, вплоть до потока видео-
няты в октябре 2004 г. Основная проблема, встав- или IP-телефонии. Дело лишь за созданием око-
шая перед FCC, – разработка требований, учиты- нечного оборудования.
вающих, с одной стороны, пожелания потенци-
альных BPL-провайдеров, с другой – претензии от
Вычислительные системы с программируемой
структурой
Хорошевский В. Г., чл.-корр. РАН
Сибирское отделение РАН, khor@isp. nsc. ru
ной связи определенное количество слов из своей системного блока для реализации межмашинных
памяти. Такой способ организации обменов ин- взаимодействий в ВС. Любой системный блок
формацией между машинами ВС подобен функ- представлял собой совокупность программ для
ционированию радио- и телепередающих систем. реализации операций настройки, обмена, ОБП и
Он не зависит от числа ЭМ в системе и позволяет ОУП, которые были включены в библиотеки
избежать трудностей с адресацией машин. трансляторов.
Команды обобщенного безусловного перехода
Средства отладки и редактирования
(ОБП) предназначались для принудительного
Р-программ — совокупность четырех стандарт-
управления работой ВС. Управляющая машина
ных программ. Первая программа преобразовы-
при выполнении ОБП засылала в канал содержи-
вала отлаживаемую P-программу в последова-
мое заданной ячейки своей памяти, которое вос-
тельную и выявляла ошибки, не связанные с ис-
принималось как команда только ЭМ, содержа-
пользованием системных команд. Вторая про-
щими единицу в разрядах TQ регистров настрой-
грамма служила для моделирования на одной
ки. Команды ОБП позволяли осуществлять ини-
машине выполнения P-программы из двух вет-
циирование работы ВС и ее загрузку данными из
вей. Всевозможные (допустимые и недопусти-
любой ЭМ, а также вмешиваться в параллельные
мые) взаимодействия ветвей были представлены
вычислительные процессы и принудительно
матрицей переходов к моделирующим или авост-
управлять работой подмножеств машин системы
ным подпрограммам. Эта же программа могла
из любой ЭМ. Следовательно, при помощи ко-
определять время простоев машин, время работы
манды ОБП из любой ЭМ можно было и иниции-
отдельных блоков P-программы и точность вы-
ровать программирование структуры ВС.
числений. Третья программа позволяла вывести
Команды обобщенного условного перехода
на печать заданное количество раз содержимое
(ОУП) и содержимое T регистров настройки
интересующих областей памяти перед выполне-
элементарных машин позволяли управлять па-
нием команд обмена в процессе контрольной реа-
раллельными вычислительными процессами.
лизации параллельной программы на ВС «Минск-
Одна из команд ОУП служила для синхрониза-
222». Четвертая программа служила для коррек-
ции параллельных процессов (машин, выполняю-
тировки P-программ.
щих ветви параллельной программы). По сути
Средства анализа P-программ были пред-
эта команда позволяла реализовать механизм
ставлены тремя программами. Первая программа
синхронизации, получивший позднее название
служила для анализа распределения памяти меж-
―Barrier‖. Команды ОУП использовались, в част-
ду блоками исследуемой программы. Вторая про-
ности, для организации ветвлений в параллель-
грамма предназначалась для измерения времени
ных вычислениях, для реализации параллельных
простоев машин ВС. Третья программа применя-
циклов.
лась для измерения времени работы участков
P-программы.
Программное обеспечение «Минск-222» Пакеты прикладных адаптирующихся
В системе «Минск-22» ПО было ориентирова- P-программ были ориентированы на решение
но лишь на реализацию в монопрограммном ре- задач повышенной сложности. Параметры таких
жиме параллельных программ (P-программ) реше- задач, как правило, не позволяли решать их на
ния сложных задач. Оно состояло из двух частей: ЭВМ «Минск-22» за удовлетворительное время.
системы P-программирования и пакета приклад- Из опыта создания ПО для системы
ных адаптирующихся P-программ. Система па- «Минск-222» установлено, что его объем отлича-
раллельного P-программирования включала ется от объема программного обеспечения ЭВМ
средства автоматизации P-программирования, «Минск-22» не более чем на 10 %.
отладки, редактирования и анализа P-программ.
Средства автоматизации P- Опыт эксплуатации ВС «Минск-222»
программирования — языки и трансляторы.
Полный набор схем обмена информацией ме-
В качестве входных в системе «Минск-222» исполь-
жду ветвями P-программ, как показала эксплуа-
зовались расширенные языки [5]: автокод АКИ,
тация ВС «Минск-222», составляют: дифферен-
ЛЯПАС, ALGOL, BASIC. В расширенные языки
цированный (ДО), трансляционный (ТО), трансля-
были включены средства для описания взаимо-
ционно-циклический (ТЦО), конвейерно-
действий между параллельными ветвями вычис-
параллельный (КПО) и коллекторный (КО) обме-
лений. Каждый транслятор для ВС состоял из
ны.
двух частей: обычного транслятора для ЭВМ и
56
Таблица 1.
Вычислительная система
МИНИМАКС
МИНИМАКС (МИНИМАшинная программ-
но Коммутируемая Система) создана ИМ СО АН
СССР (Отделом вычислительных систем) и Научно
Рис. 2. ЭМ мини-ВС МИНИМАКС.
-производственным объединением «Импульс»
Министерства приборостроения, средств автома-
Межмашинные взаимодействия при функцио-
тизации и сис-тем управления СССР (г. Северо-
нировании мини-ВС реализовывались с помо-
донецк). Технический проект МИНИМАКС раз-
щью специальных подпрограмм — системных
работан в 1974 г. , а опытно-промышленный об-
драйверов, которые, в свою очередь, использова-
разец системы был изготовлен и отработан в
ли специальные команды (занесение кода на ре-
1975 г.
гистр настройки, считывание его содержимого,
Архитектура системы: занесение информации в системное устройство
(СУ0 о начальном адресе передаваемого массива
MIMD-архитектура;
данных и т. п. ).
распределенность средств управления,
обработки и памяти;
параллелизм, однородность, модульность;
программируемость структуры;
двумерная (циркулянтная) топология;
58
лось выполнять редко, и время обмена управляю- Вычислительный модуль предназначался для
щей информацией в общем времени работы ма- выполнения всех операций, связанных с перера-
шин системы составляло незначительную часть. боткой информации, в частности для иницииро-
Эти факторы позволили ограничиться единым вания реализации системных операций. Систем-
каналом для обмена управляющей (настроечной) ное устройство использовалось для реализации
информацией и данными между ЭМ мини-ВС. системных взаимодействий машин, в частности
для программирования структуры мини-ВС. В
качестве ВМ использовали произвольные конфи-
гурации мини-ЭВМ «Электроника-100 И». Сле-
дует заметить, что архитектура системы СУММА
была ориентирована также на применение мини-
ЭВМ PDP-8 фирмы Digital Equipment Corp.
Программное обеспечение мини-ВС СУММА
– проблемно-ориентированное. В его состав вхо-
дили супервизор (являвшийся программой управ-
ления процессами в реальном масштабе време-
ни), система P-программирования (включающая
макроассемблер MACRO-8P), системы для авто-
матизированного управления технологическими
процессами и комплекс программ технического
обслуживания.
Рис. 3. ЭМ мини-ВС СУММА.
Вычислительные системы
К системам управления предъявляются повы- семейства МИКРОС
шенные требования по живучести, следователь-
но, их вычислительные средства должны обла- Прогресс в вычислительной технике неразрыв-
дать структурной живучестью. Для формирова- но связан с достижениями в области элементной
ния мини-ВС СУММА использовались опти- базы и в интегральной технологии. В конце 1970-х
мальные графы (рис. 4). годов мини-процессоры вытесняются микропроцес-
сорами, на смену мини-ЭВМ пришли микроЭВМ; в
1 индустрии обработки информации создаются парал-
1 лельные ВС как коллективы микропроцессоров
3 4 В начале 1980-х годов в Отделе вычислитель-
3 2 2
7 5 ных систем СО АН СССР инициируются работы
по научно-исследовательскому проекту МИК-
6 5 9 1 РОС [6], целью которых было создание МИКРО-
а) 8 б) процессорных Систем с программируемой струк-
4 6
турой (МИКРОС). Результатом работ явилось
1 семейство МИКРОС, включающее модели МИК-
2 3
РОС-1 (1986); МИКРОС-2 (1992); МИКРОС-Т
5 7 (1996). Разработка моделей семейства МИКРОС
осуществлялась в содружестве с подразделениями
12 Научно-производственного объединения «Алмаз» и
10
Научно-исследовательского института «Квант»
6 Министерства радиопромышленности СССР
4
(г. Москва).
9 8 г)
11
и параллельных программ:
MPI: MPICH2, OpenMPI, Intel MPI;
OpenMP: GCC, SUN, Intel;
cредства отладки и анализа: VampirTrace.
Пространственно-распределенная ВС исполь-
зуется не только в научных исследованиях, но и
при подготовке специалистов в области GRID- и
параллельных вычислительных технологий.
Влияние программирования на архитектуру
вычислительных систем
(от прошлого к будущему)
Королев Л. Н., чл.-корр. РАН
Зав. Кафедрой МГУ им. М. В. Ломоносова
В 2005 году исполнилось 60 лет с момента дийных данных, что увеличило число типов дан-
ввода в строй машины ENIAC, которую считают ных, поддерживаемых аппаратурой. Возникла
первой в мире ЭВМ с программным управлени- существенная необходимость отражения в архи-
ем. Все эти годы в условиях технических ограни- тектуре технологии создания кластеров и машин
чений элементной базы шел процесс совершенст- с массовым параллелизмом на основе использо-
вования архитектуры компьютеров в направле- вания микропроцессоров. В результате появи-
нии максимального повышения производитель- лись процессоры, логическая сложность которых
ности и повышения эффективности планирова- исчисляется в сотни миллионов логически актив-
ния обработки данных, то есть в направлении ных элементов (CELL – 235 млн. ).
аппаратной поддержки программирования. Возникает вопрос, не приведет ли экстенсив-
В преддверии наступления нового тысячеле- ный путь развития архитектур процессоров, ос-
тия крупнейшие фирмы объявили о создании нованный на лозунге: «логических элементов - не
новых архитектурных линий, которые должны жалеть, аппаратные динамические интерпретато-
удовлетворить требованиям к вычислительной ры и системные программисты сделают всѐ что
технике, выдвигаемым со стороны всех сфер на- нужно» к тому, что уже было. А именно, RISC-
учно-технического прогресса. Имеется в ввиду архитектуры заменили собой CISC-архитектуры
Alpha DEC, POWER IBM, SPARC SUN, HP-PA, по той простой причине, что трансляторы ис-
IA-64 и Pentium Intel и др. пользовали приблизительно только 20% из всего
Несмотря на то, что в какой-то степени в но- набора представленных в процессоре команд!
вом столетии процессоры этих линий сохранили Несомненный интерес представляют работы,
ядро архитектуры «внешней» системы команд, выполнявшиеся коллективом под руководством
их микроархитектура заметно изменилась. академика В. С. Бурцева, и продолжающиеся в
Если раньше большее влияние на архитектуру настоящее время, по созданию «Ассоциативной
оказывали требования разработчиков системного машины». Этот многообещающий подход, позво-
программного обеспечения, то в новых разработ- ляющий реально осуществить принцип работы
ках главный упор сделан на достижения высокой машин, управляемых потоком данных:
эффективности микрораспараллеливания с уче- «выполняй действие сразу в тот момент, когда
том суперскалярности процессоров. Архитекту- будут готовы операнды», как представляется,
ры типа VLIW-EPIC доминируют в современных позволит достичь максимальной эффективности
разработках. динамического распараллеливания более просты-
При этом основная тяжесть по «добыче» эф- ми и логически прозрачными средствами, чем
фективности возлагается на разработчиков опти- нынешние VLIW-EPIC архитектуры. Существен-
мизирующих трансляторов. Бытовавший ранее но, что в этих разработках, наконец, удалось от-
лозунг приближения архитектуры машин к язы- казаться от привычной парадигмы линейного
кам высокого уровня, по-видимому, в коммерче- характера физической оперативной памяти.
ских разработках отброшен окончательно. Одна- Несомненный интерес представляют работы,
ко, некоторые следы такого подхода можно отме- выполненные в свое время в ИТМ и ВТ по разра-
тить в микропроцессоре Е2к, разработанном под ботке архитектуры МКП (А. А. Соколов, А. Ю.
руководством Б. А. Бабаяна. Бяков и др. ). Если следовать современной терми-
Последние десятилетия потребовали от разра- нологии, это была двуядерная суперскалярная
ботчиков учета требований обработки мультиме- архитектура процессора, включавшая блок
64
Я. Б. Зельдович В. И. Гольданский
66
Ниже приводится краткий список работ [1 – 7] ства реализаций U(t, r) стоит вопрос о фильтрации
выполненных в ИПМ во время моей работы там с для устранений искажений полезного сигнала как
1971 по 1994 г и послуживших основой методов от аппаратурных «шумов», так и от случайных
обработки экспериментальных измерений. Неко- флуктуаций самих сигналов.
торые из полученных результатов можно отнести Особенность задачи состояла еще и в том, что
к «истокам» ныне перспективных областей науки на больших расстояниях от источника на им-
и техники таких, например, как управляемый тер- пульс, распространяющийся вдоль земной по-
моядерный синтез, томография, мониторинг окру- верхности, накладывались ионосферные отраже-
жающей среды и др. ния ЭМИ. Наиболее ранние по времени прихода
В качестве примера для краткой характеристи- сигналы относились к импульсам отраженным от
ки информации, использующейся при решении нижнего D слоя ионосферы, более поздние – к
задач обработки экспериментов, остановимся на отражениям от E и даже F слоев, расположенны-
аннотации трех работ. Тема, затронутая в них – ми на высотах более 80 – 100 км.
обработка результатов экспериментов [2, 3] и мо- Благодаря совершенствованию методов реше-
делирование [5] по генерации и распространению ния подобных некорректно поставленных задач
электромагнитных импульсов (ЭМИ) в простран- [1, 2]. и огромному объему проведенных в ИПМ
стве между Землей и Ионосферой. Данная тема РАН численных исследований удалось, на основе
продолжает оставаться актуальной и разрабатыва- экспериментальных данных выделить импульс-
ется в настоящее время в различных академиче- ные функции отражений от нижней ионосферы
ских институтах : ИРЭ РАН, ИЗМИР РАН, ИСЗФ (от D слоя) и идентифицировать отражения от Е и
СО РАН и др. . Интерес к теме связан с исследо- F слоев. Оказалось, что регистрация ЭМИ в широ-
ваниями как самих источников сигналов ком временном интервале и диапазонах радиочас-
(например, грозовых разрядов), так и каналов их тот позволяет не только выделить специфические
распространения (например, Земной и/или Мор- особенности источников сигналов, но и оценивать
ской поверхности, Атмосферы и/или Ионосферы). состояние ионосферы во время проведения экспе-
Поскольку электромагнитные сигналы охватыва- риментов.
ют чрезвычайно широкий диапазон длин волн от На основе полученных результатов разработа-
106 до 10–7 м (от КНЧ диапазона радиоволн до ны различные методики регистрации и определе-
светового, рентгеновского диапазона), они явля- ния параметров нестационарных источников
ются уникальным средством диагностики в раз- ЭМИ, успешно применявшиеся на практике. Ил-
личных исследованиях, включая лазерную оптику люстрация решения «прямой» задачи – моделиро-
[8] и квантовую электронику [9, 10]. вание распространения радиоимпульсов вдоль
В работе [3] выполненной непосредственно земной поверхности при отражениях от двумерно
под руководством В. Я. Арсенина обрабатывалась неоднородного (по высоте и расстоянию r) ниж-
серия экспериментальных результатов по регист- него D слоя ионосферы, приведено в работе [7].
рации ЭМИ, возбуждаемого импульсным источ- В заключении позвольте поблагодарить оргко-
ником гамма квантов, расположенным на земной митет конференции, посвященной 80-летию со
поверхности. Регистрация сигнала U(t, r) прово- дня рождения академика В. А. Мельникова. за
дилась на различных удалениях r от источника с предоставленную возможность участия.
достаточно хорошо известными функциями пере-
дачи K(t, r) наземных трасс распространения. Тре-
бовалось найти электромагнитный сигнал U0(t) = Литература
U(t, r = 0), генерируемый источником и неиска- 1. В. Я. Арсенин, М. И. Пергамент, А. Х. Рахма-
женный трассой распространения. Другими сло- туллина, А. Н. Тихонов «Постановка задач для
вами непосредственным результатом являлось разработки математических методов автомати-
решение «обратной»задачи – решение уравнения ческой обработки экспериментальных данных,
«свертки»: U (t , r ) K (t t , r )U 0 (t )dt полученных оптическими способами диагно-
0 стики высокотемпературной плазмы» Пре-
с неизвестной функцией U0(t). принт ИАЭ им. И. В. Курчатова, ИПМ им. М.
Как известно данное уравнение – уравнение В. Келдыша АН СССР. М. 1973.
первого рода, при решении которого приходится 2. В. Я. Арсенин, В. П. Загонов, Р. А. Трахонио-
сталкиваться с проблемами устойчивости и оцен- товская «О численном решении интегральных
ки точности решения в различных временных уравнений первого рода типа свертки на не-
масштабах [2]. Кроме того, при обработке множе-
67
равномерных сетках» Препринт ИПМ им. М. принт ИПМ им. М. В. Келдыша АН СССР
В. Келдыша АН СССР №141, 1978. №32, 1991.
3. В. Я. Арсенин, В. А. Горячев, В. П. Загонов, 7. В. А. Горячев, В. П. Загонов, С. В. Подоляко
«О расчете импульсных функций трасс рас- «Математическое моделирование распростра-
пространения с отражением от нижней ионо- нения радиоимпульсов в условиях крупномас-
сферы». Дифференциальные Уравнения, Т. 16, штабных возмущений ионосферы» Препринт
№ 7, 1980 г. ИПМ им. М. В. Келдыша РАН №112, 1994.
4. В. П. Загонов «Один подход к решению опера- 8. S. M. Zakharov, V. A. Goryachev, ―All-Optical
торных уравнений с использованием априор- Logic Gates for High-Speed Supercomputers. II.
ной информации о производной» Препринт Design and Physical Peculiarities‖, Laser Physics,
ИПМ им. М. В. Келдыша АН СССР №30, v. 4, No. 1, рр. 1-22, 1994.
1985. 9. V. A. Goryachev, S. M. Zakharov, ―Dynamics of
5. Г. Д. Васильков, В. А. Горячев, А. А. Думова Transmission of Ultrashort Light Pulses by Thin-
«Внешние краевые условия в задаче расчета Film Cavity Structures‖, Quantum Electronics, v.
электромагнитных полей от точечного источ- 27, No. 3, 245-248, 1997.
ника гамма – квантов» Препринт ИПМ им. М. 10. V. A. Goryachev, S. M. Zakharov, ―Dynamic
В. Келдыша АН СССР №33, 1989. Features of Interaction a Sequence of Ultrashort
6. Г. Д. Васильков, В. А. Горячев, С. Г. Чубукова Laser Pulses and Planar Thin-Film
«Расчет электромагнитного сигнала от неста- Microcavities‖, Journal of Experimental and
ционарного гамма – источника в условиях ба- Theoretical Physics, v. 87, No. 5, pp. 855-863,
рометрической неоднородности воздуха» Пре- 1998.
Секция 1
Общая структура программного обеспечения
тренажерного комплекса
Михайлюк М. В. , д. ф. м. н. , профессор, НИИСИ РАН
Торгашев М. А. , к. ф. м. н. , НИИСИ РАН
Хураськин И. А. , к. т. н. , НИИСИ РАН
(Работа выполняется при поддержке РФФИ, грант № 09-07-00149_а)
buff
Если подсистемы динамики и визуализации сывает их в заданный буфер buff. После этого
работают на одном компьютере в одном потоке подсистема визуализации считывает эти парамет-
(т. е. на одном процессоре), то их взаимодействие ры из буфера и визуализирует сцену с этими пара-
может быть организовано последовательно метрами (например, с новыми положениями и
(см. рис. 1). Сначала подсистема моделирования ориентациями всех движущихся объектов). И,
рассчитывает динамические параметры модели наконец, запускается модуль временной задерж-
через некоторый промежуток времени dt и запи- ки, который сравнивает суммарное время расчета
69
str str1
Подсистема визуа-
Подсистема динамики лизации
Подсистема динамики может закончить вы- визуализации. Для того, чтобы обеспечить син-
числение параметров, в то время как система ви- хронизацию, эта функция переписывает строку
зуализации еще не закончила обработку текуще- str1 в стек. На этом заканчивается очередной
го кадра. Ожидать этого окончания нет смысла, т. цикл работы потока подсистемы динамики. Та-
к. лучше это время потратить на расчет динамики ким образом, в стеке накапливаются строки с
для следующего кадра. В этом случае предлага- динамическими параметрами до тех пор, пока
ется добавить в проект дополнительный модуль – подсистема визуализации не считает их и не об-
оболочку, которая будет работать в собственном работает. Для корректной работы необходимо
потоке и организовывать совместную работу обеспечить целостность данных в стеке, исклю-
этих подсистем (см. рис. 2). Эта работа будет чив ситуацию одновременного чтения и записи с
проходить следующим образом. Подсистема ди- помощью одного из объектов синхронизации.
намики в своем потоке вычисляет новые значе- Наиболее удобно использовать для этих целей
ния динамических параметров через момент вре- критическую секцию (см. [1]). После окончания
мени dt и записывает их в некоторую строку str. визуализации очередного кадра подсистема ви-
Затем она вызывает функцию Output(str) обрат- зуализации блокирует запись в стек с использо-
ного вызова, которая реализована в модуле обо- ванием критической секции, считывает из него
лочки. Эта функция переводит информацию из все записи, все считанные параметры записывает
выходного формата подсистемы динамики во в свои структуры (заменяя для каждого объекта
входной формат подсистемы визуализации (т. е. значения его параметров более новыми), затем
из строки str в строку str1) и вызывает функцию освобождает стек для записи и начинает визуали-
Set(str). Функция Set(str) реализована в подсисте- зацию следующего кадра. Таким образом, каждая
ме визуализации. Ее задача состоит в том, чтобы из подсистем работает независимо друг от друга,
передать информацию строки str1 в подсистему при этом не требуется переделывать каждую из
70
них для совместимости форматов (т. к. эту со- Проблему синхронизации нескольких каналов
вместимость обеспечивает оболочка) и достига- предлагается решать на основе технологии
ется приемлемая синхронизация их работы. «клиент-сервер» (см. [2]). Для этого один из ком-
В третьем варианте подсистемы могут рабо- пьютеров (выделенный или обслуживающий ка-
тать на разных компьютерах. В этом случае для кой-либо визуальный канал) выбирается в каче-
связи предлагается использовать компьютерную стве сервера, на котором реализуется модуль
сеть. Процесс работы в этом случае будет орга- синхронизации. Моделирующий комплекс пере-
низован следующим образом. Подсистема дина- дает вычисленные параметры модулю синхрони-
мики вычисляет динамические параметры моде- зации (используя одну из вышеописанных техно-
ли, и каждые dt мсек (например, каждые 40 мсек) логий), а тот пересылает их всем компьютерам
посылает подсистеме визуализации информаци- каналов (клиентам). Каждый канал на основе
онный пакет со значениями этих параметров. Для этих параметров визуализирует свою часть вир-
этого разработан специальный информационный туальной сцены в заднем буфере кадра, однако не
протокол, а в качестве базового протокола пере- выводит изображение на экран (т. е. в лицевой
дачи данных используется протокол UDP семей- буфер кадра). Вместо этого он посылает сигнал
ства TCP/IP. Подсистема визуализации получает модулю синхронизации об окончании визуализа-
пакет и визуализирует виртуальную сцену с но- ции. Модуль синхронизации ожидает такие сооб-
выми параметрами. При этом может возникнуть щения от всех компьютеров и, после получения
две ситуации. Первая – если подсистема динами- последнего сообщения, посылает всем компьюте-
ки не успела провести вычисления или пакет не рам команду на вывод сформированных изобра-
успел дойти по сети за время dt. Тогда подсисте- жений на экраны. Получив такие сообщения,
ма визуализации производит экстраполяцию всех клиенты производят смену своих задних и лице-
необходимых параметров на основе их предыду- вых буферов кадра, и части изображения одно-
щих значений. Вторая ситуация – когда послано временно появляются на всех экранах. На рис. 3
подряд несколько пакетов, а система визуализа- показана схема, иллюстрирующая описанную
ции еще не закончила формирование очередного технологию.
кадра. Тогда пакеты будут накапливаться в стеке
и будут считаны и обработаны после окончания
визуализации кадра.
Рис. 3
Интерфейс пользователя, то есть связь под- схеме, как между этими подсистемами. Необхо-
системы управления с подсистемами динамики и димо отметить, что управлять можно как отдель-
визуализации может осуществляться по такой же ными объектами, так и камерами и источниками
71
освещения. При этом управляющие воздействия В этом пульте с помощью мыши можно переклю-
для объектов передаются подсистеме динамики, чать все элементы (кнопки, тумблеры, регулято-
а для камер и источников освещения – подсисте- ры и др. ), тем самым управляя действиями робо-
ме визуализации. В отладочном или нештатном та (его движением, перемещением манипулятора,
режимах для управления можно использовать захватом и т. д. ).
клавиатуру, мышь или джойстик. В штатном Для начального задания положения объектов
режиме используются виртуальные или реаль- в сцене можно использовать конфигурационные
ные пульты управления совместно с подсистемой скриптовые файлы. Это текстовые файлы, в кото-
логики. Каждому элементу управления соответ- рых на специально разработанном скриптовом
ствует своя логическая схема. При воздействии языке записываются начальные значения пара-
оператора на этот элемент (например, переклю- метров для объектов сцены. Файл обрабатывает-
чение тумблера с помощью мыши), логическая ся после загрузки сцены на этапе ее предобработ-
схема вычисляет значение некоторого параметра ки. Кроме того, для тренажерных комплексов,
(например, момента силы, подаваемой на двига- использующих технологию виртуальной реаль-
тель), который затем передается подсистеме ди- ности, для интерфейса пользователя можно ис-
намики по одной из описанных ранее схем. пользовать компьютерные перчатки, системы
На рис. 4 показан пример виртуальной сцены с трекинга и шлемы виртуальной реальности.
роботом и его виртуальным пультом управления.
Рис. 4
Литература
1. Дж. Рихтер. Windows Для профессионалов, Microsoft Press, М. 2001.
2. М. В. Михайлюк, М. А. Торгашев, И. А. Хураськин. Система синхронизации синтеза и отображения
виртуальных трехмерных сцен для распределенных имитационно-тренажерных комплексов. //
Информационные технологии и вычислительные системы, № 4, 2003, стр. 48-55.
Физически корректное моделирование
освещенности в задачах компьютерной графики
Волобой А. Г., к. ф.-м. н.
Институт прикладной математики им. М. В. Келдыша РАН
Работа выполняется при поддержке РФФИ (грант № 08-01-00649)
Введение
Методы синтеза реалистичных изображений, основанные на физически аккуратном моделировании
распространения света в различных средах, являются одним из современных направлений развития ком-
пьютерной графики. Рис. 1 иллюстрирует этот процесс.
Wakamatsu (Япония). Была воссоздана виртуаль- вана с помощью системы, разработанной в ИПМ.
ная модель одного из холлов университета. Были Сравнение результата моделирования с фотогра-
измерены и заданы максимально корректно опти- фиями реального холла показало хорошее соот-
ческие свойства материалов, использованных при ветствие. Небольшие отклонения в основном свя-
строительстве этого холла, а также источники заны с неточностью задания геометрии или инди-
освещения, расположенные там. Далее виртуаль- катрис рассеяния источников освещения (рис. 2).
ная модель холла была рассчитана и визуализиро-
Рис. 2. Сравнение результатов компьютерного моделирования холла университета (рисунок слева) с реальной
фотографией (рисунок справа).
Однако для получения правдоподобных ре- двух направлений. В ИПМ был разработан аппа-
зультатов необходимо максимально корректно ратно-программный комплекс, предназначенный
задавать входные данные: геометрию виртуаль- для измерения спектрального и пространственно-
ной сцены, оптические свойства всех материалов го распределения света, рассеиваемого или пропу-
и источников света, используемых в моделирова- щенного поверхностями. Прибор основан на ори-
нии. Проблема с точным заданием геометрии бы- гинальной концепции, обеспечивающей одновре-
ла решена с помощью разработки plugins к таким менное измерение рассеяния в различных направ-
известным системам автоматизированного моде- лениях и высокое пространственное разрешение в
лирования, как 3DS Max, популярного среди ар- критической области вблизи направления зер-
хитекторов и дизайнеров интерьеров, и Catia, ши- кального отражения. Для параллельного получе-
роко используемой в автомобильной и авиацион- ния большого объема пространственной информа-
ной промышленности. ции используется камера на ПЗС-матрице.
Другим направлением стало моделирование
Оптические свойства материалов новых оптически сложных материалов, таких как
многослойные краски со сложной микрострукту-
Правильное и физически корректное задание
рой (типа перламутровых и «металлик»). В ре-
светорассеивающих (оптических) свойств изобра-
зультате моделирования распространения света в
жаемых объектов и поверхностей является непро-
их внутренней структуре, состоящей из плоскопа-
стой задачей. В большинстве случаев эти свойст-
раллельных однородных слоев, генерируется
ва материалов неизвестны, и получить их можно
ДФО. Каждый слой состоит из прозрачного лака и
только непосредственными измерениями. Наибо-
взвешенных в нем пигментных частиц и интерфе-
лее общий способ описания светорассеивающих
ренционных чешуек (рис. 3а). После проведенно-
свойств поверхности – задание двунаправленных
го моделирования полученные ДФО могут быть
функций отражения/пропускания (ДФО/ДФП).
использованы при генерации реалистичных изо-
ДФО/ДФП, заданная в каждой точке поверхности,
бражений автомобилей или других объектов, по-
определяет какая часть энергии, пришедшая с
крытых этими оптически сложными материалами
направления win, будет рассеяна поверхностью в
(рис. 3б).
направлении wout. Таким образом, в общем случае,
ДФО/ДФП в каждой точке является функцией
74
Рис. 3а. Структура многослойной краски. Рис. 3б. Модель автомобиля, окрашенная
смоделированной краской.
интерфейс центрального
процессора 128
разрядов 64 разряда, 166 МГц
контроллер
блок обработки вершин коммутатор памяти
DDR SDRAM
работа с 32-разрядными числами в формате с симальная частота работы 166 МГц (по двум
плавающей запятой; фронтам). Контроллер будет работать в двух ре-
перемножение матриц размерностью 4 4; жимах: раздельная память, единая память. Пер-
расчет обратной величины; вый режим, один канал памяти используется для
расчет квадратного корня от обратной величины. хранения пиксельных данных, второй канал ис-
Блок наложения текстур предназначен для пользуется для хранения текстур и информации о
расчета цвета пикселя на основе информации об параметре глубины пикселей. В этом случае наи-
освещенности вершин, параметра глубины вер- более интенсивный обмен данными будет возло-
шин и координат текстуры. Также возможно ис- жен на второй канал памяти. Второй режим,
пользование различных методов смешивания тек- управление видеопамятью будет реализован та-
стур. Для этого блока предъявляются следующие ким образом, чтобы сократить накладные расходы
основные требования: на переключение страниц в динамической памяти.
эффективное использование кэш памяти для
снижения требований по пропускной 3. Блок наложения текстур
способности шины видеопамяти; Текстурный конвейер состоит из последова-
одновременное наложение текстур на несколько тельно выполняемых стадий. На первом этапе
пикселей; происходит выборка данных из области видеопа-
реализация проверки параметра глубины пикселя мяти, отведѐнной под хранение текстур. После
на ранних стадиях конвейера для исключения получения данных происходить распаковка сжа-
обработки невидимых на экране пикселей.
тых текстур.
Блок управления 3D предназначен для управ-
Суть технологии в том, что текстура разбива-
ления блоками обработки вершин и наложения
ется на квадраты 4 на 4 точки. Затем формируется
текстур.
таблица выборки текселей, при которых все цвета
Коммутатор необходим для реализации обме-
сводятся к 4-м, помещѐнным в данную таблицу, и
на данными между различными блоками. Факти-
каждому из 16 текселей присваивается двухраз-
чески он реализован на основе нескольких 128-
рядный код, соответствующий таблице выборки.
разрядных шин соединяющих четыре блока. Мак-
Таким образом, данная система сжатия текстур
симальная частота его работы 166 МГц.
имеет простой декодер, а кроме того, поскольку
Контроллер памяти необходим для управления
текстура разбивается на независимые квадраты,
видеопамятью. Предполагается использование
то возможна параллельная распаковка текстуры.
двухканального контроллера памяти - две 64-
В предлагаемом текстурном блоке возможна од-
разрядных шины с раздельным управлением, мак-
82
Входная шина данных
вершины треугольника. После получения вида
треугольника с нанесѐнной текстурой произво-
дится преобразование координат каждой точки на
плоскость экрана. Для этого существуют три типа
матриц: поворота вокруг оси абсцисс, ординат и
Текстурный кэш
аппликат соответственно. Кроме того, могут ис-
пользоваться матрицы масштабирования и линей-
ного переноса.
Последним этапом работы текстурного блока
является фильтрация изображения. Фильтрация
256
может применяться как билинейная, так и трили-
нейная, так и технология mip-текстурирования.
Структура получившегося текстурного блока изо-
Декомпрессор
бражена на рисунке 2.
область область область область
Умножение матриц производится с фиксиро-
4Х4 4Х4 4Х4 4Х4 ванной запятой. При преобразовании координат
Память текущих текстур текселей текстур не требуется производить умно-
жение с плавающей запятой, так как точности
фиксированной запятой достаточно для преобра-
зования текстуры. Кроме того, за счѐт фиксиро-
Преобразование Преобразование ванного значения порядка и отсутствия знака,
текстуры под текстуры под
текущий текущий точнее, только положительного его значения, ум-
треугольник треугольник ножение фактически превращается в простое це-
Слияние лочисленное и может быть выполнено за один
такт.
Значения тригонометрических функций вы-
числяются процессором, который заполняет мат-
Преобразование Преобразование
текстуры под текстуры под рицу, то есть прописывает регистры, соответст-
текущий текущий вующие строкам матрицы.
треугольник треугольник
Слияние
4. Аппаратные средства
профилирования
Современные процессоры общего назначения,
такие как процессоры семейства x86, IA-64,
Фильтрация Power, MIPS и др. , поддерживают профилирова-
ние программ посредством использования аппа-
ратных счетчиков – специальных регистров, фик-
Выходная шина данных сирующих аппаратные события определенного
типа.
Рис. 2. Блок-схема блока наложения
текстур.
В качестве примера аппаратных событий мож-
но привести общее число процессорных тактов,
общее число выполненных команд, число выпол-
новременная распаковка четырѐх сжатых 16- ненных операций с плавающей точкой, число про-
тексельных участков текстуры. махов при обращении к виртуальной и кэш-
Далее для треугольника определяется, какие памяти и др.
именно пиксели принадлежат треугольнику. С На сегодняшний день для разработчиков ПО,
помощью алгоритма Брезенхема по вершинам осуществляющего профилирование кода, стандар-
строятся три прямые линии, ограничивающие том de facto является проект PAPI (Perfomance
область. Суть метода в следующем: для генериро- Application Programming Interface). На рис. 3 пред-
вания отрезков прямых Брезенхем на каждом ша- ставлена архитектура PAPI.
ге использует точку, наиболее близко располо- В PAPI выделяется два основных уровня:
женную к идеальному отрезку. платформ о -независим ый и платформ о -
Затем каждой точке треугольника присваива- зависимый, скрывающий от пользователя детали
ется соответствующий тексель текстуры, исходя реализации доступа к аппаратным счетчикам кон-
из заданного смещения текстуры относительно кретного процессора. Для этого, в частности,
83
функции PAPI платформо-зависимого уровня мо- более широкого профилирования в условиях де-
гут использовать расширения ядра, функции целе- фицита аппаратных ресурсов.
вой операционной системы или непосредственно В PAPI определяются следующие области дей-
язык ассемблера. ствия счетчиков событий:
В состав высокоуровневого интерфейса вхо- подсчет событий производится, только когда
дит всего 7 функций, предоставляющих базовые процессор выполняется в режиме пользователя,
операции над аппаратными счетчиками: запуск, подсчет событий производится, только когда
останов, чтение со сбросом и без. При этом мож- процессор выполняется в режиме ядра,
но использовать только события, предопределен- подсчет событий производится, только когда
ные стандартом PAPI. происходит обработка исключительных
Функции интерфейса верхнего уровня исполь- ситуаций, включает в себя все предыдущие
зуют низкоуровневый интерфейс PAPI, освобож- области.
дая пользователя от явных вызовов, например,
функции инициализации библиотеки PAPI. Переполнение возникает в том случае, когда
Низкоуровневый интерфейс обладает по срав- число возникших событий превышает максималь-
нению с высокоуровневым интерфейсом расши- ное число, способное поместиться в регистре-
ренной функциональностью и большей эффектив- счетчике. В этом случае PAPI предусматривает
ностью. В его состав входит более 50 различных возмо жность выпо лнения специальных
функций, которые можно условно разделить на обработчиков, задаваемых пользователем.
следующие группы:
инициализация библиотеки PAPI, Для GPU предлагается добавить несколько
функции измерения времени, аппаратных событий, а именно:
функции получения информации, произошла выборка текстуры из кэша текстур;
служебные функции, произошла выборка блока данных из
функции управления множествами событий, видеопамяти.
функции управления аппаратными счетчиками.
Индексный буфер 0 3 4 1 1 4 5 2 …
indexOffset
V0 Vk
Вершинный буфер P0 T00 T01 T02 T03 … Pk Tk0 Tk1 Tk2 Tk3
posOffset texOffset
Рис. 3.
Для визуализации квада Q(i, j) на CPU необхо- деляющие соответственно смещения позиции P и
димо задать смещение indexOffset от начала ин- текстурных координат T относительно смещения
дексного буфера, задающее индекс первой верши- начала атрибутов вершины V квада Q(i, j) в буфе-
ны V квада, и количество считываемых индексов ре вершинных данных. По индексам вершин ква-
(в данном случае 4). Также на CPU необходимо да GPU автоматически считывает из вершинного
вычислить параметры posOffset и texOffset, опре-
86
буфера необходимые позиции вершин и текстур- затем разбить общий буфер позиций вершин на p
ные координаты согласно формулам: буферов, содержащих равное количество столб-
Pindex index sizeOfVert ex posOffset, цов ветки вершин, а буферы текстурных коорди-
нат и индексов вершин сократить в p раз. При
Tindex index sizeOfVert ex texOffset ,
этом общее количество позиций вершин будет
где sizeOfVertex – число байт памяти, отводи- увеличиваться на p-1 столбцов сетки вершин (т. к.
мое под атрибуты одной вершины. позиции столбцов разбиения придется дублиро-
Смещение texOffset рассчитывается на основе вать), один буфер текстурных координат будет
четности номеров строки и столбца квада в сетке соответствовать каждому из p буферов позиций
вершин. Для этого номера берутся по модулю 2, и вершин.
по ним вычисляется смещение 0,1,2,3 в од- Параметр p выбирается таким образом, чтобы
номерном массиве из 4-х вариантов текстурных общий объем памяти был минимален. Введем
координат вершины: обозначения n = N + 1, m = M + 1. При делении
i 0 0 2 2 j 0 0 2 sizeOfTexC oords , текстурный буфер будет иметь (n-1)/p столбцов
квадов, т. е. (n-1)/p + 1 столбцов вершин. Так как
где sizeOfTexCoords - число байт памяти, отво- каждый столбец содержит m вершин, каждая из
димое под одну пару текстурных координат. которых включает 3 геометрические координаты
Итоговое смещение текстурных координат для и 4 пары текстурных координат, то общий объем
всех вершин каждого из 4-x смежных квадов бу- необходимой памяти будет выражаться форму-
дет иметь вид: лой:
texOffset firstTexOffset,
n 1
где firstTexOffset - смещение в байтах начала Vp 3 m n m p 1 8 m 1
массива текстурных координат относительно на- p
чала атрибутов вершины.
Вычислив и приравняв к нулю производную
Уменьшение избыточности функции V(p), находим, что V(p) будет минималь-
вершинных данных. на при
8 n 1
Если посмотреть на сетку квадов с рассчитан-
p .
3
ными смещениями (рис. 4), то видно, что значе-
В качестве окончательного из двух ближайших к
ния текстурных координат вершин квада, взятые с
р целых чисел надо выбрать то, для которого V(p)
этим смещением будут повторяться через строку
имеет меньшее значение.
и через столбец. Для уменьшения избыточности
Аналогично можно сократить количество из-
можно разделить вершинный буфер на буфер по-
быточных вершинных данных, разделив буфер
зиций вершин и буфер текстурных координат, а
позиций на p ' буферов, содержащих равное ко-
личество строк сетки вершин.
на с фер е. Р азм ер се т к и со с та в л яе т
97 193 18721 вершин. Для уменьшения избы-
точности хранения вершинных данных использо-
валось р = 6 буферов позиций вершин. Разреше-
ние текстурных фрагментов составляет
512 512 пикселей при исходном разрешении
текстуры 24576 49152 пикселей.
Список использованных
информационных источников.
1. Михайлюк М. В. Основы компьютерной
графики. – М. : «МАТИ» – РГТУ им. К. Э.
Циолковского, 2002.
2. Matthias Wloka, ―Batch, Batch, Batch: What does
Рис. 5(2).
it really mean?‖, NVIDIA Corporation, GameDe-
Пример программной реализации. velopers Conference, 2003.
3. Using Vertex Buffer Objects (VBOs), NVIDIA
Описанная технология текстурирования боль-
Corporation, 2003.
ших регулярных сеток была реализована в про- 4. Технологии эффективного рендеринга
граммном модуле, визуализирующем поверхность геометрии. http://www. gamedev. ru/articles/?
Земли в режиме реального времени (рис. 5). Мо- id=20124
дель Земли представлена полигональной сферой,
построенной из сетки вершин, эквивалентной ре-
гулярной, в которой число строк – это число па-
раллелей, а число столбцов – число меридианов
Трехмерное динамическое моделирование работ
по реабилитации пункта временного хранения
ОЯТ и РАО в пос. Гремиха
Степеннов Д. Б., Максимов С. Б., РНЦ «Курчатовский институт»
Для реализации проекта по экологической реабилитации пункта временного хранения (ПВХ) ОЯТ
и РАО в п. Гремиха в РНЦ «Курчатовский институт» разработана информационно-аналитическая
система (ИАС), аккумулирующая в себе информацию по проекту и обеспечивающая возможность
решения различных задач, возникающих перед проектной командой в процессе выполнения на
всех стадиях работ по проекту.
Данные ИАС используются, в том числе, для проведения моделирования работ по проекту. В со-
став ИАС входит трехмерная модель ПВХ, включающая в себя модели рельефа местности, дорог,
зданий и сооружений, объектов реабилитации и технического оборудования, модель акватории
Святоносского залива. Эти данные в полном объеме используются для моделирования технологи-
ческих схем обращения с радиоактивными отходами.
В процессе уточнения было произведено качест- который имеет удельную активность выше 104 Бк/
венное обновление трехмерной модели согласно кг, произведен рассчет объемов радиоактивного
масштабу 1:500 и конвертирование данных в ло- грунта. Для определения объемов грунта на тер-
кальную систему координат. ритории ПВХ применена технология расчета, ос-
Модели зданий и сооружений строились на нованная на трехмерном объемном моделирова-
основе поэтажных планов и внесенных в них нии требуемой территории в метрической системе
уточнений по результатам визуального обследо- координат с последующим вычислением величи-
вания, фото- и видеосъемки. ны объема. В качестве ограничивающих поверх-
Модели контейнеров, машин и механизмов ностей искомого объема были использованы три-
строились на основе технической документации и ангуляционная модель поверхности ПВХ без уче-
дополнительного визуального обследования. та зданий и сооружений и триангуляционная мо-
Детальность моделей объектов, машин и меха- дель условной скальной поверхности, составлен-
низмов средняя, что позволило сократить время ная по результатам геологического обследования.
на моделирование, но при этом передать их вид При разработке транспортно-технологической
достаточно реалистично. схемы по вывозу контейнеров с площадки вре-
менного хранения твердых радиоактивных отхо-
2. Использование трехмерной модели. дов, расположенной на ПВХ, трехмерная модель
Динамическое моделирование работ использовалась для выявления ‖узких‖ мест схе-
Созданная трехмерная модель используется мы, моделирования работ в виртуальном про-
для решения разного рода технологических задач, странстве до их фактического исполнения, на-
возникающих в процессе выполнения проекта по глядной визуализации работ для руководящего
реабилитации ПВХ. Например, специалистами персонала и исполнителей.
РНЦ «Курчатовский институт» с помощью моде- Для осуществления моделирования работ была
ли была выполнена предварительная оценка рас- разработана технология моделирования, вклю-
пространения радиоактивного и химического за- чающая в себя разработку сценария моделирова-
грязнений в вертикальном профиле грунтов и ния, выбор технических средств и реализацию с
подземных водах в пределах территории ПВХ. их помощью сценария.
Определены участки с загрязненным грунтом,
Предлагаемое решение
Разрабатываемая система представляет собой
аппаратно-программный комплекс (рис. 2). Аппа-
ратная часть системы состоит их трех основных
компонент, в том числе:
1) комплекта беспроводных носимых конечных
устройств с датчиками, закрепляемых на час- - носимые устройства с датчиками
тях тела, движения которых необходимо от-
следить, Рис. 2. Беспроводная система отслеживания
2) модуля координатора, который собирает ин- движений человека на основе БСС.
формацию с датчиков конечных устройств и
передает ее на сервер обработки и визуализа-
ции данных, с которым он соединен, и
3) головного компьютера-сервера. Датчики пре-
доставляют информацию об углах поворота,
ускорении, скорости, координатах, ориента-
ции, угловой скорости и угловом ускорении.
Программное обеспечение системы отвечает за
сбор и обработку данных с датчиков движения
и визуализацию движений 3-мерной модели
человека-аватара в режиме реального времени.
Для визуализации в реальном времени отсле- ным областям применения беспроводной системы
живаемых движений человека была разработана отслеживания движений человека можно отнести:
программная студия трехмерной визуализации погружающие системы виртуальной реальности,
(рис. 4). Разработка велась на языке MS Visual C# предоставляющие весь комплекс человеко-
с использованием открытой графической библио- машинных интерфейсов для взаимодействия
теки OpenGL. Данная студия позволяет в реаль- человека с виртуальной средой;
ном времени визуализировать отслеживаемые домашние игровые системы, позволяющие в
движения, сохранять полученные данные и вос- домашних условиях более полно погрузиться в
производить ранее сохраненные данные визуали- атмосферу игры или «социальной» виртуальной
зации (анимации). среды типа «Вторая Жизнь» (Second Life);
Программа совместима с существующими профессиональные системы для измерений и
системами трехмерного моделирования, такими обработки данных движения человека в
как Autodesk 3ds Max, Maya, Blender и др. Это киноиндустрии при создании художественных и
обеспечивается за счет использования для хране- анимационных фильмов, в интерактивных
ния данных файла в формате BVH, разработанно- телевизионных студиях и в рекламной
го компанией Biovision и широко используемого в индустрии;
системах «захвата движений» типа Motion Cap- тренировочные и симуляционные системы
ture. Данный формат данных позволяет хранить виртуальных сред, позволяющие отрабатывать
всю необходимую для 3-мерной визуализации различные ситуации для задач подготовки
человека-аватара информацию, включая данные о специалистов (медицина, подготовка к работе как
скелете анимируемого персонажа и данные о дви- на борту, так и за его пределами МКС,
жениях отдельных частей тела. виртуальные командные центры и т. п. );
виртуальная робототехника и преобразование
реальных движений в виртуальные для
3. Особенности предлагаемого решения управления различными манипуляторами,
Ранее не было полностью беспроводной систе- человеко-подобными роботами;
мы отслеживания движения в реальном времени. исследования в области эргономики,
В лучшем случае в таких системах носимые ко- реабилитационной медицины;
нечные устройства с датчиками объединяются применения в области спорта высших
проводными каналами, а информация на компью- достижений для сбора данных спортсменов в
тер передается по беспроводным каналам связи. В процессе тренировок и соревнований для их
данной же разработке базовые элементы системы последующей обработки и анализа.
не связаны проводными каналами связи - все дан-
ные с носимых устройств передаются по радиока- Заключение
налу с частотой 2. 4 ГГц. Для использования сис-
В данной работе представлена беспроводная
темы не требуется какого-либо специального по-
система отслеживания движений человека на ос-
мещения с дополнительным оборудованием
нове технологии беспроводных сенсорных сетей.
(специальные камеры, экраны, излучатели, пото-
Данная система включает в себя все необходимое
лочные маркеры и т. п. ), достаточно подключить
оборудование и программное обеспечение для
систему к обычному компьютеру.
отслеживания движения и его визуализации.
Среди основных достоинств системы следует
Основные достоинства предлагаемого реше-
отметить относительно низкую стоимость конеч-
ния – это отсутствие проводных каналов связи,
ной системы по сравнению с существующими
высокая масштабируемость, низкая стоимость по
подобными системами, отсутствие лишних про-
сравнению с существующими системами, а также
водных каналов связи, хорошую масштабируе-
отсутствие необходимости в оборудовании специ-
мость, отсутствие потребности в специально обо-
альных площадок или помещений.
рудованной лаборатории, автономность конечных
Разработанный макет системы отслеживания
носимых устройств с датчиками, работу в реаль-
движений человека демонстрирует возможности
ном времени, совместимость с существующими
применения технологии БСС при передачи дан-
системами трехмерного моделирования.
ных с датчиков по беспроводному каналу связи и
визуализации их в реальном времени на сервере
4. Будущее развитие системы визуализации.
Спектр возможных применений разрабатывае- В будущем планируется разработать собствен-
мой системы достаточно широк. К перспектив- ный измерительный инерциальный модуль не-
95
Одной из важнейших составных частей трена- появились штатные бортовые телевизионные сис-
жеров пилотируемых космических аппаратов, темы, в задачи которых, в числе прочих, входил
впрочем, как и подавляющего большинства трена- контроль за процессом сближения и стыковкой
жеров других динамических объектов, является или с помощью которых непосредственно осуще-
система имитации визуальной обстановки ствлялась стыковка.
(СИВО) в приборах и средствах наблюдения. Объем средств СИВО для тренажеров являлся
Обязательными функциями СИВО являются фор- достаточно большим. Поэтому при разработке
мирование визуальной информации и еѐ воспро- средств СИВО требовалось соединить два разно-
изведение в приборе или средстве наблюдения. плановых требования: - создание средств для
Для первых тренажеров пилотируемых косми- имитации визуальной обстановки в конкретном
ческих кораблей создавались уникальные, не приборе или средстве наблюдения и, чтобы они,
имеющие аналогов оптико-механические имита- по возможности, были унифицированными, по-
торы визуальной обстановки, предназначенные скольку это является основополагающим принци-
для моделирования визуальной обстановки в кон- пом централизации средств. Кроме того, техниче-
кретных средствах наблюдения. В этих имитато- ские средства должны были быть достаточно на-
рах функции формирования изображения и функ- дежными или обеспечены резервированием и
ции отображения изображения в средстве наблю- должно было быть обеспечено документирование
дения были совмещены, а для контроля изображе- процесса тренировки путем видеозаписи любых
ния использовалась телевизионная камера, кото- нужных сюжетов с помощью видеомагнитофонов.
рая передавала изображение визуальной обста- Наиболее полно требованиям универсальности
новки на видеомонитор пульта инструктора. Учи- соответствовали разрабатываемые в ИАиЭ СО
тывая уникальность и сложность таких имитато- АН СССР, так называемые, синтезирующие сис-
ров, стоимость их была весьма большой, а сроки темы визуализации (ССВ). Это направление раз-
изготовления растягивались на годы. В 1971 году вития средств имитации (в частности, система
была запущена первая космическая станция «Горизонт-1» как результат НИР, выполненной в
«Салют» и появилась задача подготовки экипа- ИАиЭ СО АН СССР) сразу же оценили специали-
жей по осуществлению режимов сближения и сты, и не случайно уже в 1979 году появился
стыковки транспортных кораблей со станциями. «договор о научно-техническом сотрудничестве
И в тренажерах в конце 60-х и начале 70-х годов между ИАиЭ СО АН СССР, ЦПК и ОКБ СУ НПИ
появились первые оптико-телевизионные имита- по вопросу создания синтезирующей системы
торы, в которых функции формирования первич- визуализации внешней космической обстановки».
ного изображения и функции отображения этого Подключение ИАиЭ СО АН СССР в качестве
изображения в средстве наблюдения были разде- соисполнителя по созданию синтезирующих сис-
лены. Прежде всего, это было связано с тем, что тем визуализации в рамках «ТМК» позволило
97
ние процессов выполнения конкретных операций Существует большая группа задач, связанных
в штатном и аварийных режимах работы. с обслуживанием пилотируемых комплексов с
Проведение таких испытаний с натурными помощью робототехнических систем, в частно-
макетами в наземных условиях часто невозможно сти:
или требует создания сложных дорогостоящих Работы по инспекции состояния внешней
стендов и тренажѐров. поверхности РС МКС, контролю
В последнее время интенсивно развиваются электромагнитной и радиационной обстановки
технологии виртуальной реальности (ВР) и теле- на станции и в еѐ окрестности, проведение
присутствия. Системы телеприсутствия обеспечи- экспериментов на станции без участия или с
вают передачу телевизионного и стереотелевизи- минимальным участием экипажа, обслуживание
онного изображения на большие расстояния. Сис- экипажа как внутри станции, так и при ВКД на
темы виртуальной реальности обеспечивают ре- орбитальных станциях и на поверхности Луны и
шение задачи визуализации операций, выполняе- Марса.
мых техническими устройствами путѐм создания
геометрических моделей поверхностей объектов, Появление роботов в системе обслуживания
образующих 3D-сцену и создание программно- не означает, что все работы будут выполняться
технических средств синтеза изображений. Обе автоматически. Система остаѐтся «человеко-
технологии позволяют создавать современные машинной», так как в контуре управления РТС
тренажные системы и системы обучения, умень- остаѐтся оператор, у которого изменяется вид
шающие риск ошибочных действий оператора, деятельности. Избавляясь от выполнения рутин-
управляющего техническим устройством. ных и опасных для здоровья операции космонав-
Вместе с тем использование технологий вир- ты должны владеть технологиями ВР для дистан-
туальной реальности потребует решения целого ционного управления сложными робототехниче-
ряда новых задач, таких как создание: скими комплексами.
прогнозирующих дисплеев для моделирования При подготовке космонавтов к новому для них
задержек в линиях связи, виду деятельности необходимо создание различ-
развитого «человеко-машинного» интерфейса ных тренажѐров, функционально-моделирующих
для управления роботами с помощью стендов, систем визуального отображения окру-
многомерных указателей, речевых команд, жающей среды, в которой планируется функцио-
органов управления с силомоментным и нирование РТС, в том числе при совместной рабо-
та к т и ль н ым о ч ув с т в л ен и ем , с и с тем те с космонавтами.
стереовизуализации наблюдаемых процессов, Использование интерактивных виртуальных
виртуальных аналогов сенсорных систем, сред (ИВС), обеспечивает погружение пользова-
позволяющих контролировать поведение робота теля в трѐхмерную интерактивную среду изучае-
и состояние его внешней среды. мого явления или процесса, участие в событиях
среды с использованием естественного интуитив-
Важно отметить, что технологии виртуальной ного интерфейса для взаимодействия с объектами
реальности позволяют визуализировать невиди- (искусственными или реальными) в виртуальной
мые процессы, что существенно расширяет сферу среде.
использования РТС КН, упрощают процесс Реализация ИВС позволит поддерживать непо-
управления за счѐт оперативной привязки вирту- средственный контакт с моделируемой средой,
альных операций к реальным событиям, а также обеспечивая полисенсорное восприятие среды,
обеспечивают более полное представление о вы- отрабатывать совместную работу экипажей и опе-
полняемых операциях. раторов центров дистанционного управления ро-
Разработка интерактивных виртуальных сред бототехническими устройствами космического
(ИВР) моделирования и поддержки функциониро- назначения.
вания робототехнических средств для сборки и Исследования и разработки в данной области
обслуживания космических объектов, включая носят междисциплинарный характер и наиболее
задачи обслуживания экипажей космических интенсивно ведутся в США, Канаде, Европейском
станций, необходима для создания комплекса сообществе, Японии, при этом разрабатываются
средств интерактивного моделирования и под- как компоненты систем виртуальной реальности
держки процессов дистанционного обслуживания (системы формирования объѐмных изображений,
и сборки КО, а также обслуживания экипажей PC системы имитации взаимодействия с объектами
МКС с помощью робототехнических средств. виртуальной реальности), так и комплексные тре-
105
а) б) в) г)
Рис. 1. 3D-сцена моделирования стыковки модулей FGB, NODE и корабля Space Shuttle.
а) б) в) г)
Рис. 2. Изменение компонент связности графа 3D-сцены показанной на рис.1.
а) б) в) г) д) е)
Рис. 3. Примеры типичных изменений компонент связности графов структуры (серым обозначены корни
ордеревьев).
Если структура 3D-объекта (вся целиком или мой задачи находятся GOF-паттерны поведения,
еѐ подмножество) используется как кинематиче- известные под названиями «Mediator» и
ская система (например, при моделировании ра- «Observer», [4], однако они не обладают исчерпы-
боты шагающих манипуляторов, [6], [7]), отноше- вающим набором возможностей. Для управления
ние порядка в структуре объекта начинает играть взаимодействием авторы предлагают два специ-
важную роль. Это отношение, в сущности, опре- альных паттерна, которые названы «Сцепщик
деляет весь алгоритм управления связанным дви- RTR-деревьев» (англ. вариант - «RTR-Coupler») и
жением звеньев кинематической системы. «Расщепитель RTR-деревьев» (англ. вариант -
Напомним, что ордерево структуры 3D- «RTR-Splitter»).
объекта является нагруженным, причѐм нагрузкой В основу обоих паттернов, положена идея со-
являются матрицы ортогональных преобразова- хранения инкапсуляции алгоритмов рекурсивных
ний систем координат структурных единиц по- ортогональных преобразований в том же виде,
верхности 3D-объекта. Обход ордерева (в направ- что и при обходе монолитного ордерева, но для
лении от корня к листъям) является одновременно структур, связность которых может изменяться в
и процессом рекурсивного вычисления матриц течении сессии моделирования группового пове-
ортогональных преобразований для каждого из дения 3D-объектов (примерно так, как показано
примитивов, образующих поверхность. Измене- на рис. 3). Для реализации этой идеи имеется
ние отношения порядка в таком графе приводит к предпосылка: исчерпывающая информация о
изменению одновременно и алгоритма обхода, и связности ордерева заключена в списке рѐбер, а
алгоритма вычислений матриц ортогональных сам RTR-список может быть виртуальным
преобразований (ортогональные преобразования (заметим, что списки рѐбер не являются связан-
на RTR-деревьях подробно рассмотрены в [6] и ными списками, см. [6] и [7]).
[7]). Таким образом, изменение компонент связно-
При программной реализации алгоритмов сти леса 3D-сцены можно реализовать:
управления компонентами связности графа сцены добавлением или исключением мостов в списках
важной задачей является построения паттернов рѐбер для ордеревьев 3D-объектов;
проектирования, описывающих свойства и взаи- объединением и разбиением списков рѐбер
модействие программных объектов. Готового пат- (заметим, что списки рѐбер не являются
терна для этой цели в настоящее время не сущест- связанными списками, см. [6] и [7]).
вует. Ближе всего к особенностям рассматривае-
109
SetRoot()
6DOF-vector GetState() 6DOF-vector
Notify()
SetRoot()
6DOF-vector GetState() Notify() 6DOF-vector
Необходимо отметить, что в результате рабо- SetRoot ()). В результате определения корней
ты объектов Coupler и Splitter не уничтожаются автоматически задаются нужные направления
существующие и не создаются новые 3D- обходов в ветвях ордревьев полученных струк-
объекты. Создаются и уничтожаются только мос- тур.
ты между узлами ордеревьев (функции Cre- Между объектами Splitter/Coupler и SceneMo-
ateEdge(), DeleteEdge()) и источниками данных о nitor организована двусторонняя связь. Соответ-
движении (функции Attach(), Detach()). В инду- ствующий преобразователь связей получает от
цированной виртуальной среде активные монитора сцены данные о состоянии сцены, не-
(ведущие) объекты получают данные о движении обходимые для изменения структур (функция
в виде 6DOF-векторов или полученных на их GetState()). В свою очередь монитор сцены полу-
основе матриц от объектов DataSource, связан- чает уведомления об изменениях в графе сцены
ных с источниками телеметрической информаци- (функция Notify()), необходимые для переключе-
ей. Пассивные (ведомые) объекты получают эти ния источников данных о движении между нуж-
данные как поддеревья (другими словами, пере- ными источниками и приѐмникам.
дача данных инкапсулируется в процедурах об- Свойства и возможности RTR-деревьев и их
хода ордеревьев). программного аналога – связанных RTR-списков
Управление связями между 3D-объектами и – позволяют существенно облегчить моделирова-
источниками данных о движении возлагается на ние и визуализацию объектов, в структурах кото-
объект SceneMonitor, который также переназна- рых происходят изменения связности и отноше-
чает при необходимости корни в реорганизован- ния порядка. В то же время представление об
ных структурах 3D-объектов (функция отношении порядка в ордереве как о переменной
110
Реализация крупных проектов, таких как воз- вдоль временной оси в соответствии с календар-
ведение небоскреба, строительство атомной элек- ными датами начала и завершения. Отношения
тростанции или сборка авиалайнера, невозможна предшествования между работами изображаются
без адекватного планирования, эффективного соответствующими соединительными линиями. В
контроля и управления. Для решения подобных альтернативном представлении сетевой диаграм-
задач традиционно применяются методы кален- мы отдельные работы отображаются в виде по-
дарно-сетевого планирования, такие как метод именованных вершин графа, а отношениям пред-
расчета критического пути (Critical Path Method) и шествования между ними — в виде направленных
метод оценки и анализа рисков программ ребер. Графики потребления показывают, каким
(Program Evaluation and Review Technique) [1, 2]. образом назначенные ресурсы распределяются
В основе методов лежит идея определения про- между работами и расходуются в ходе выполне-
ектных работ и их последовательностей, имею- ния проекта.
щих минимальный временной резерв и являю- Упомянутые методы планирования и визуали-
щихся критичными по отношению к срокам реа- зации планов программно реализованы и включе-
лизации проекта. С этой целью в CPM методе ны в состав практически всех современных сис-
последовательно уточняются допустимые даты тем управления проектами, таких как MS Project,
начала и завершения работ, а также устанавлива- Primavera, Time Line, Open Plan, Asta PowerPro-
ются временные резервы, превышение которых ject, Spider Project. Как правило, компьютерные
может привести к сдвигу сроков всего проекта. В реализации учитывают иерархическую структури-
PERT методе анализируются риски несвоевремен- зацию и декомпозицию проектных работ, отноше-
ного завершения проекта с учетом вероятностно- ния предшествования между ними, временные
го распределения длительностей отдельных ра- ограничения в виде установленных промежуточ-
бот. В некоторых модификациях методов прини- ных вех и сроков завершения проекта, назначения
мается во внимание фактор конкурентного ис- и профили потребления ресурсов, а также функ-
пользования проектных ресурсов в работах, про- ции распределения длительности работ. Разверну-
водимых одновременно. В ряде случаев это при- тый сравнительный обзор систем данного класса
водит к коррекции календарно-сетевого графика и можно найти в [3].
удлинению сроков проекта. Вместе с тем, все рассмотренные выше методы
Для визуального представления результатов игнорируют пространственно-временные ограни-
планирования обычно применяются диаграммы чения в размещении и использовании ресурсов и
Ганта, сетевые диаграммы и графики потребления не позволяют адекватно спланировать проекты, в
ресурсов. На диаграммах Ганта, являющихся наи- которых подобный фактор может иметь решаю-
более распространенной визуальной нотацией для щее значение. Чтобы решить эту проблему, пред-
проектных планов, работы представляются гори- лагается консолидировать данные календарно-
зонтальными полосками, позиционируемыми сетевого планирования и конструкторской доку-
112
В настоящее время средства и системы визу- транзакций. Однако организация типовых сессий
ального моделирования получили широкое рас- инженерии, предполагающих продолжительную
пространение в разнообразных дисциплинах ин- изолированную работу индивидуальных пользо-
женерии. Как правило, они реализуют стандарт- вателей, крайне проблематична в силу ограничен-
ные визуальные нотации и лежащие в их основе ного мультидоступа к централизованному пред-
методологии решения прикладных задач. Благо- ставлению моделей.
даря этому участники совместной деятельности Привлечение технологий оптимистической
легко находят между собой общий язык и могут репликации позволяет отказаться от необходимой
эффективно взаимодействовать в ходе работы над централизации управления информационными
единым проектом. Например, современные систе- ресурсами и обеспечить возможность эффектив-
мы программной инженерии реализуют актуаль- ной одновременной работы пользователей со
ную методологию программной разработки MDA своими версиями визуальных моделей. Ключевой
на основе универсального языка моделирования проблемой при этом оказывается согласование
UML [1]. Для моделирования промышленной ин- дивергентных реплик, которое бы приводило к
формации находит применение графический язык корректному и содержательному результату,
EXPRESS-G, являющийся одним из элементов удовлетворяющему всех пользователей. В настоя-
распространенной методологии представления и щей работе проблема согласования решается с
обмена данными STEP [2]. При анализе и реинжи- помощью оригинального метода семантической
ниринге бизнес-процессов традиционно применя- реконсиляции, получившего распространение в
ется методология и сопутствующая ей визуальная ряде прикладных областей. Детальное описание
нотация IDEF [3]. В системах календарно- метода и разработанных на его основе приложе-
сетевого планирования широко используются ний можно найти в работах [5, 6].
методы CPM и PERT, а также тесно связанные с Метод сочетает в себе следующие принципы и
ними визуальные представления планов и распи- идеи:
саний в виде сетевых диаграмм и диаграмм Ганта использование формальных моделей прикладных
[4]. данных для решения задач сопоставления и
Однако попытки коллективной работы с по- нечеткого сравнения дивергентных реплик;
добными визуальными моделями наталкиваются установление отношений зависимости, порядка и
на препятствия фундаментального характера. композиции между операциями конкурентных
Проведение совместных презентационных сессий, транзакций на основе анализа семантических
исключающих какие-либо конкурентные измене- ограничений модели;
ния моделей, возможно при их централизованном применение методов логического,
хранении под управлением популярных СУБД и полисиллогистического вывода для выработки
применении традиционных пессимистических перспективных непротиворечивых
115
1 A1 1 A1
2 A2
2 A2
3 A3
3 A3
4 A4
4 A4
5 A5
5 M
6 M
(f)
(e)
1 A1 1 A1
2 A2 2 A2
3 A3 3 A3
4 A4 4 A4
5 A5 5 A5
6 M 6 M
(c) (d)
1 A1 1 A1
2 A2 2 A2
3 A3 3 A3
4 A4 4 A4
5 M 5 M
(a) (b)
19. Csurka G., Zeller C., Zhang Z., Faugeras O.D. www.graphicon.ru/2008/proceedings/Posters/
Characterizing the Uncertainty of the Fundamen- Poster_15.pdf) // Proceedings of GraphiCon'2008,
tal Matrix (http://citeseer.ist.psu.edu/article/ Moscow, Russia, 2008, P.306.
csurka95characterizing.html) //Computer Vision 24. Birchfield S., Tomasi C. Multiway cut for stereo
and Image Understanding. – 1997. – V.68. – No. and motion with slanted surfaces // Proceedings of
1. – P. 18 – 36. International Conference on Computer Vision. –
20. Hartley R.I. Theory and Practice of Projective 1999, – P. 489 – 495.
Rectification (http://users.rsise.anu.edu.au/ 25. Lin M.H., Tomasi C. Surfaces with Occlusions
~hartley/Papers/joint-epipolar/journal/ from Layered Stereo. //IEEE Computer Society
joint3.pdf) // International Journal of Computer Conference on Computer Vision and Pattern Rec-
Vision. – 1999. – V.35. – No. 2. – P. 115 – 127. ognition, 2003.
21. Longuet–Higgins H.C. A Computer Algorithm for
Reconstructing a Scene From Two Projections //
Nature, September 1981. – V. 293, – P. 133 –
135.
22. Свешникова Н.В., Юрин Д.В. Алгоритмы
факторизации: достоверность результата и
применение для восстановления эпиполярной
геометрии (http://www.graphicon.ru/2006/
proceedings/papers/
fr09_32_Sveshnikova_Yurin.pdf) // Труды
конференции Графикон 2006, Россия,
Новосибирск, Академгородок, 1 – 5 июля
2006. – С.158 – 165.
23. Semeikina E., Yurin D. Finding and refinement
planes in 3D points cloud obtained under 3D re-
covery from image set (http://
Создание виртуального окружения
в тренажерных комплексах
Хураськин И. А., к.т.н., НИИСИ РАН
(Работа выполняется при поддержке РФФИ, грант 09-07-00149-а)
Рис. 1
ЭИИМ мах=50дБВт
48дБВт
47 дБВт
46дБВт
в каждом стволе достаточно выделения двух порядка 5000 км и повысить добротность стволов
смежных полос радиочастот F1 и F2. При КА по приему и ЭИИМ стволов КА по передаче
этом в сети DVB-RCS будет обеспечиваться про- на 9 дб относительно соответствующих парамет-
странственно (S) частотно (F) временной (Т) мно- ров глобального луча.
гостанционный доступ MSF-TDMA. Общая структура приемно-передающего трак-
Каждый парциальный луч гибридной МЛА та ствола КА с БЦП и гибридной МЛА представ-
позволит обеспечить покрытие зоны диаметром лена на Рис. 2.
Луч-4
БЦП-2
БЦП-3
БЦП-4
Для сравнительного анализа вариантов реали- счет конвеерной демодуляции определяются чис-
зации стандарта DVB-RCS, в качестве исходных лом одновременно демодулируемых сигналов.
параметров, используются частотно - С выхода блока формирования группового
энергетические параметры стандартного ствола сигнала TDMA данного ствола групповой сигнал
КА «Экспресс-АМ» [8]: поступает на вход синхронно управляемого циф-
ЭИИМ ствола в режиме «насыщения» = 50 дбвт; рового коммутатора и далее после кодирования и
добротность ствола G/T = 3 дб/оК; модуляции на один из четырех ствольных пере-
полоса ствола F = 54 МГц. датчиков КА «Экспресс-АМ» с полосой F =
54 МГц, постоянно работающих в режиме
В сетях DVB-RCS [6,7], работающих в режиме «насыщения» на один из четырех парциальных
MF-TDMA без БЦП и МЛА, на линии ЗС – КА – лучей МЛА.
ЦС принимаем: В итоге, групповой сигнал с выхода каждого
кодирование/декодирование по «Витерби», блока БЦП (с периодом порядка 5мсек) с помо-
FEC = 3/4; щью синхронно управляемого цифрового комму-
кодирование/декодирование Рида Соломона, татора последовательно коммутируется на один
РС = 47/51; из 4-х передающих парциальных лучей МЛА.
метод модуляции/демодуляции - QPSC. Одновременно с коммутацией группового сигнала
меняется частота гетеродина и соответственно
На линии ЦС – КА – ЗС принимаем соответст- несущая частота передатчика, работающего на
венно: данный парциальный луч.
кодирование/декодирование по «Витерби»,
FEC = 7/8; 2. Сравнительный анализ
кодирование/декодирование Рида Соломона, эффективности использования
РС = 47/51; пространственно-частотно-временного
метод модуляции/демодуляции - 16PSC. ресурса КА с МЛА и БЦП в сетях связи
стандарта DVB-RCS
В сетях DVB-RCS, работающих в режиме MSF Для принятых выше исходных данных в сетях
-TDMA c МЛА и БЦП, на линии ЗС (ЦС) – КА DVB-RCS, работающих в режиме MF-TDMA без
принимаем: МЛА и БЦП, в стволе КА с полосой 54 МГц [8],
кодирование/декодирование по «Витерби», может быть организовано 20 обратных каналов от
FEC = 3/4; ЗС со скоростью по 2,048 Мбит/сек и прямой ка-
кодирование/декодирование Рида Соломона, нал от ЦС со скоростью 40,096 Мбит/сек.
РС = 47/51; Таким образом, пропускная способность стан-
метод модуляции/демодуляции - QPSC. дартной сети DVB-RCS в пересчете на один ствол
На линии КА – ЗС (ЦС) принимаем КА «Экспресс-АМ» в дуплексном режиме соста-
соответственно: вит 40,096 Мбит/сек.
кодирование/декодирование по «Витерби», Для сетей DVB-RCS, работающих в режиме
FEC = 7/8; MSF-TDMA c МЛА и БЦП, в каждом луче по
кодирование/декодирование Рида Соломона, приему в режиме MF-TDMA в полосе 27 МГц [8]
РС = 47/51; может быть организовано 14 обратных каналов от
метод модуляции/демодуляции – 16PSC. ЗС и ЦС со скоростью 2,048 Мбит/сек.
Соответственно суммарный групповой сигнал
Для варианта с МЛА и БЦП используются TDMA на выходе БЦП каждого ствола будет
параллельно четыре одновременно работающих иметь информационную скорость 114,688 Мбит/
ствола, БЦП каждого ствола КА имеет 4 прием- сек. и может быть передан в полосе 54 МГц [8].
ные линейки с полосой F1 или F2, где F1 В итоге, пропускная способность сети DVB-
= F2 = 27 МГц, а добротность приемных линеек RCS (в пересчете на один ствол КА «Экспресс-
G/T = (3 + 9) = 12 дб/оК. АМ»), работающей в режиме MSF-TDMA c МЛА
Соответственно каждый блок БЦП включает 4 и БЦП, в дуплексном режиме составит 114,688
линейки групповых конвеерных демодуляторов Мбит/сек., что в 2,86 раза выше относительно
(по одной линейке на каждый парциальный луч стандартной сети DVB-RCS.
МЛА) и блок формирования суммарного группо- Сравнительная оценка энергетики двух вари-
вого сигнала TDMA. Дополнительные потери за антов показывает, что в радиолинии ЗС – КА ре-
129
В середине 1980-х годов, когда Intelsat, а чуть инфотелекоммуникационной технологии под на-
позже Eutelsat стали предлагать услуги VSAT званием «satXpress» – high speed asymmetric secure
(Very Small Aperture Terminal – спутниковая стан- two way IP-services via satellite (ESA-project AO/1-
ция с антенной малого диаметра), связисты быст- 3650 (Multimedia Satellite Services Pilot Operations
ро сформировали рынок телефонных услуг для Contract No ESTEC 14520/00/NL/DS)). Экспери-
труднодоступных регионов. Настоящий бум на- менты, проведенные на низкоскоростных широко-
ступил тогда, когда VSAT-технологию начали полосных широковещательных принципах пере-
применять для оказания современных информа- дачи информации, оказались успешными, в том
ционных услуг – передачи данных, специальных числе на территории России, в частности сетевых
корпоративных приложений, доступа в информа- операционных центрах в Главном здании РАН, а
ционные сети и к удаленным информационным также на площадях Математического института
массивам. Победное шествие VSAT-технологии РАН и НИИ «Дельта». При этом использовались
сопровождалось не менее победоносным шестви- траспондеры Ku-диапазона геостационарных
ем (распространением) Интернет-технологии. спутников «Горизонт 11В» (СССР-РАКА) и
Тотальная IP-зация информационных процессов «SESAT 36E» (ESA). Были достигнуты скорости
привела к реализации современных инфотелеком- до 6Мбит/с в прямом направлении в канале спут-
муникационных технологий, в том числе интерак- ник-земля и 128Кбит/с в обратном направлении
тивных спутниковых систем на основе VSAT. при обмене информацией в формате MPEG-2 с
Появился симбиоз Интернет и VSAT. Таким обра- использованием DVB-стандарта и IP-протокола.
зом, VSAT-технологии помогают в преодолении Начиная с 22 ноября 2002 года имеется возмож-
не только проблемы «последней мили», но и ность доступа со скоростями до 8Мбит/с в пря-
«последнего дюйма» в распространении Интерне- мом и до 384Кбит/с в обратном направлениях
та. через спутник для массового использования про-
В 90-ые годы 20-го столетия усилиями уче- вайдерами.
ных, конструкторов, инженеров и финансистов, В указанном пилотном проекте принимали
представляющих Европу, Россию, США и Изра- участие научные работники учреждений РАН и
иль, успешно выполнялся пилотная часть гранди- НИИ «Дельта» на основании гранта Еврокомисии
озного проекта под девизом «Always on Broad- по науке и технологиям. Научно-технические ре-
band Anywhere». Проект предусматривает созда- зультаты по созданию первого поколения высоко-
ние и развитие широкополосных спутниковых скоротных спутниковых терминалов передачи
сетей, решающих практически все существующие данных были успешно внедрены в Европе и на
задачи для реализации современных инфотеле- территории бывшего СССР в Литве, Таджикиста-
коммуникационных систем: организация магист- не и Грузии в 2002-2005 годах.
ральных каналов, кэш-сервис, односторонний Однако научная мысль не останавливается на
(комбинированный) или двусторонний достигнутом, технический прогресс неумолим и
(интерактивный) доступ в Интернет, «полоса по неотвратим. Научно-исследовательские и опытно-
требованию», конвергенционные компьютерно- конструкторские работы продолжаются. Очеред-
телевизионные технологии, мобильное телевиде- ная задача заключается в повышении пропускной
ние и многое другое. способности спутникового магистрального канала
Некоторые результаты научно-технических и до 50Мбит/с в прямом и до 2Мбит/с в обратном
опытно-конструкторских работ данного проекта направлении. Кроме того, в процессе дальнейших
стали доступны пользователям в эксперименталь- исследований предстоят решать серьезные задачи
ном порядке уже с января 2001 года в качестве по повышению степени защищенности
131
(безопасности) передачи информации путем реа- рии предполагается освоить Ка-диапазон. Это –
лизации новейших криптографических алгорит- шаг на пути к успешной конкуренции с провод-
мов и методов шифрования для использования ными магистральными средствами связи.
данной инфотелекоммуникационной системы в Безусловно, освоение нового Ка-диапазона
военных, дипломатических, банковских и других наталкивается на технические проблемы. Прежде
корпоративных целях. Развитие будущих спутни- всего, это еще большая, чем в Ku-диапазоне, за-
ковых инфотелекоммуникационных систем пой- висимость надежности связи от погодных усло-
дет по пути повышения пропускной способности вий. Решение проблемы – в наличии достаточно-
телекоммуникационной среды (скорости обмена го энергетического запаса в сигнале со спутника
информацией) и безопасности (криптогра- (что не всегда возможно) на случай неблагопри-
фической защиты информации от несанкциони- ятных погодных условий и относительно новых
рованного доступа) сетей. Итак, беспроводной для спутниковых сетей методов приема сигнала.
доступ, скорость и безопасность - 3 кита, чьи По некоторым данным освоение Ku-диапазона
плечи выдержат конкуренцию. показало, что для надежной связи необходимо
Совет директоров всеобще известной компа- иметь энергетический запас в 10дБ (вместо 4-
нии «Eutelsat» принял решение о развитии спут- 6дБ, закладываемых в настоящее время). При
никовых сетей с целью построения перспектив- прочих равных условиях для Ka-диапазона даже
ных инфотелекоммуникационных систем на их запас в 20дБ не обеспечивает надежную связь.
базе. Подобные решения появились и в России в Поэтому при создании сетей этого диапазона
планах обновления отечественной спутниковой используют так называемый разнесенный прием
группировки. Это позволит поддержать развитие (хорошо известный в системах связи КВ-
услуг спутниковой связи и повысить их качество диапазона). На расстоянии 20-30км располагает-
на уровень требований Интернет-2. Например, ся второй антенный пост для обеспечения
ведется разработка, запуск и эксплуатация специ- «разнесенного» приема на случай неблагоприят-
альных спутников для поддержания интерактив- ных погодных условий на первом антенном по-
ного широкополосного сервиса с помощью 16-и сту. Так что, по-видимому, проблема решаема.
транспондеров с полосами 36МГц и 4-х транс- Кроме того, важным вопросом массового исполь-
пондеров с полосами 108МГц, предназначенных зования двунаправленных спутниковых систем
для обратного канала. На спутниках данной се- является обеспечение приемлемых габаритов
Секция 3
Исследование подхода снижения потребляемой
мощности нанотранзисторных цифровых
устройств
Масальский Н. В., к.ф.-м.н.
Научно-сследовательский институт системных исследований РАН, г. Москва.
В настоящее время создание СБИС с понижен- Реализацию ДУП следует рассматривать как две
ным напряжением питания и малой рассеиваемой взаимосвязанные задачи:
мощностью является важнейшей задачей для про- контроль питания;
ектирования и изготовления современных микро- аппаратная реализация схемы управления
процессорных систем, аппаратуры для мобиль- питания.
ных, телекоммуникационных и навигационных В рамках первой задачи определяются необхо-
систем. Поиск путей энергосбережения представ- димость и возможность варьирования напряжения
ляет собой нетривиальную задачу и целиком оп- питания транзисторов того или иного функцио-
ределяется конкретными требованиями к проек- нального блока. В рамках второй задачи рассмат-
тируемому цифровому устройству. риваются пути аппаратной реализации схем, не-
При переходе к нанометровым технологиям в посредственно управляющих питанием блоков,
энергопотреблении КМОП СБИС преобладающей которые были определены в первом пункте.
становится статическая составляющая мощности. При аппаратной реализации ДУП питания воз-
Следовательно, необходимо при выборе подходов никает ряд проблем:
к снижению энергопотребления учитывать воз- потери в быстродействии при переходе из одного
растающий вклад статической мощности. Одним режима энергопотребления в другой;
из возможных методов к снижению статической значительные аппаратные затраты на
мощности является уменьшение напряжение пи- дополнительную логику управления питанием;
тания вплоть до отключения функциональных для функциональных блоков, имеющих схемы
блоков от шин земли и питания в тот период, ко- памяти - затраты на перезагрузку хранящихся
гда их работа не требуется, что приводит к умень- данных могут быть больше чем экономия при
шению или даже отсутствию токов утечки. отключении блоков;
Динамическое управление питанием (ДУП) в нахождение оптимального баланса между
функциональных блоках позволяет изменять их режимами работы схемы;
производительность в зависимости от требований рост динамической мощности из-за добавления
конкретной задачи, что в конечном итоге сущест- блоков управления энергопотреблением;
венно снижает уровень потребляемой мощности. поиск оптимального решения между
энергопотреблением и ростом площади
134
кристалла и задержки при наличии схем памяти В противном случае в процессе перестройки воз-
внутри функционального блока; можна потеря или искажение данных, хранящих-
требуется разработка следующих специальных ся в них. При восстановлении данных необходимо
блоков: осуществлять контроль правильности их восста-
контроллер питания; новления данных. Эти операции могут значитель-
цепи отключения питания; но увеличить как задержку, так и уровень энерго-
регистры данных. потребления при переходе из одного режима в
другой.
Смена значения напряжения питания занимает На примере 32-разрядного параллельного сум-
определенное время, в течение которого работа матора, выполненном на транзисторах по техно-
блока должна быть приостановлена, а текущие логии TSMC90 с длиной канала 100 нм численно
состояния сохранены в регистрах. Следует учиты- моделируется данных подход для случая полного
вать тот факт, что изменение напряжения питания отключения устройства от шин питания. Ниже на
в первую очередь влияет на помехоустойчивость рисункках приведены результаты моделирования
схем, поэтому независимо от схемотехники логи- базовых характеристик, проведенные при помощи
ческих цепей регистры должны быть максималь- программы HSPICE.
но помехозащищенными, то есть статическими.
, нc P , мВт
Udd, В Udd, В
При модификации схемы сумматора (введения на 12%. Быстродействие схемы в целом уменьша-
дополнительных регистров на входе и выходе и ется на 22%. Эффективность данного подхода
дополнительного контроллера питания для его следует оценивать из соотношения:
отключения) анализировалось влияние оптимиза-
ции мощности на площадь кристалла и быстро-
toff 5( in off )
действие схемы. По результатам моделирования где t off - время, в течении которого сумматор
показано, что при использовании предлагаемого не выполняет операций, in , off - время необхо-
подхода при напряжении питания 1 В достигается димое на включение и выключение питания, соот-
снижение усредненной мощности сумматора до ветственно.
35%, при этом динамическая мощность вырастает
Статистический метод определения времени
начала оптимизаций в динамическом
оптимизирующем трансляторе
Гимпельсон В. Д.
ОАО «ИНЭУМ»
Будем считать, что задана своей плотно- R p 1 . Тогда время, затраченное на выполне-
стью p(x) . Также положим, что случайная вели- ние одной инструкции исходной платформы, рав-
чина имеет конечное математическое ожида- няется:
ние. Пусть код начинает оптимизироваться после p
tn p
В Таблице 1 в первом столбце приведено сред- всех повторений одной инструкции при значени-
нее время исполнения всех повторений одной ях R1 , R2 , R3 подсчитанное для суммарного про-
инструкции при значениях R1 , R2 , R3 подсчи- филя всех задач, в третьем отношение этих вели-
танных для этой задачи в отдельности, во втором чин.
столбце приведено среднее время исполнения
Таблица 1. Сравнительная таблица потерь времени для задач из пакета SPECint 95.
4. Выполнение инструкций
После декодирования номер группы операции
используется как индекс в таблице функций, осу-
ществляющих выполнение инструкций. Каждая
из функций соответствует определенной группе
инструкций (например команды перехода с раз-
личными условиями или всевозможные варианты
операций сдвига), и в ней происходит
окончательное декодирование и ис-
полнение операции. Такой способ
организации позволяет заменить не-
сколько сотен функций, многие
из которых практически идентич-
ны, несколькими десятками. При
этом, в силу однородности опера-
ций в группе, различаются только действия над
операндами, в то время как сами операнды деко-
Рис 1. Упрощенная схема моделирующего комплекса дируются едино для всей группы, то есть значи-
архитектуры SPARC V9 тельно упрощается и структурируется исходный
код.
С функциональной точки зрения процессорное
ядро производит основной цикл выполнения, 5. Обработка прерываний
включающий такие действия как загрузка инст- Подсистема прерываний является одной из
рукции, декодирование, чтение операндов, испол- важнейших в процессоре. Система команд SPARC
нения и так далее. Ниже рассмотрены некоторые V9 имеет сравнительно сложную архитектуру,
особенности их реализации в модели, в том числе поддерживающую 5 уровней прерываний. В то же
те, которые позволили обеспечить приемлемую время, поведение системы несильно отличается от
производительность программного комплекса. уровня к уровню (исключением является лишь
Декодирование инструкций в системе команд последний отладочный уровень) [3]. Это, а также
SPARC V9 – это преобразование 32-битной инст- необходимость реализации только двух типов
рукции в тип операции, непосредственные опе- прерываний (точных и асинхронных, ибо отло-
ранды или номера регистров, содержащих опе- женные прерывания в реализации процессора не
ранды, и номер регистра, содержащий результат. предусмотрены), позволяет создать достаточно
Декодирование является достаточно трудоемкой компактный модуль обработки прерываний. Точ-
задачей, вместе с тем оно должно быть быстрым и ные прерывания (исключения) обнаруживаются в
точным. Традиционно декодеры производят раз- момент выполнения инструкции и срабатывают в
бор вплоть до кода операции (в данной модели порядке приоритета. Обработка точных прерыва-
более 300) [2, 4], попутно заполняя структуры, ний реализована с помощью класса exception
хранящие значения операндов. Это приводит к стандартной библиотеки C++. Такой подход по-
появлению большого количества таблиц перехо- зволяет значительно упростить читабельность
дов и, как следствие, чрезмерному разрастанию кода по сравнению с традиционным методом реа-
декодера, снижению читабельности кода и пони- лизации через системные вызовы setjmp/longjmp
жению скорости. Вместо этого, в разработанном [2,4] и избавиться от возможной потери произво-
симуляторе реализован упрощенный предекодер. дительности, связанной с использованием систем-
Команда разбирается только до определения ного вызова longjmp. Единственное требование —
140
проверка точных прерываний должна производит- го для повышения полноты тестирования и по-
ся в порядке их приоритетов. Однако, оно не яв- крытия. В третьих, следует отметить создание
ляется трудновыполнимым, так как приоритеты программы начальной загрузки (boot), выполняю-
соответствуют степени обработки инструкции, то щейся с момента старта вычислительного ком-
есть с продвижением инструкции по конвейеру плекса до передачи управления операционной
они понижаются. системе. Одной из задач загрузчика является на-
чальное тестирование и настройка аппаратуры,
6. Отладочные возможности соответственно, для корректной работы загрузчи-
ка на симуляторе потребовалось очень точное
К основным характеристикам разработанного
соответствие моделируемого железа реальному. И
моделирующего комплекса, в первую очередь,
наконец, моделирующий комплекс был в полной
относится возможность максимально подробной
мере использован при портировании операцион-
трассировки. Это трассировка состояния симуля-
ной системы Linux для работы на данной архитек-
тора, отображение декодированного кода и вы-
туре. Загрузка операционной системы, как ничто
полняемых в соответствии с ним действий, трас-
другое, требует особой точности и корректности
сировка прерываний и исключений, трассировка
моделирования не только всех архитектурных
изменения состояний регистров и памяти по за-
особенностей, но и поддержки множества перифе-
данному физическому адресу, печать общей ин-
рийных устройств.
формации о выполнении при выходе из програм-
мы. Допускается и выборочная трассировка в за-
данном диапазоне адресов исполняемого кода или Список литературы
тактов.
1. Magnusson, P. S., Dahlgren, F., Grahn, H., Karls-
Любой из узлов симулятора может быть отла-
son, M., Larsson, F., Lundholm, F., Moestedt, A.,
жен путем трассировке каждого из устройств в
Nilsson, J., Stenstrvm, P., Werner, B. (1998),
отдельности. При этом возможна трассировка как
SimICS/sun4m: A Virtual Workstation, in
отдельных узлов микропроцессора, таких как: `Usenix Annual Technical Conference'.
устройство управления памятью (MMU), устрой- 2. Rosenblum, M., Herrod, S. A., Witchel, E.,
ство трансляции адресов (TLB), кэши данных и Gupta, A. (1995), Complete Computer System
команд 1-го уровня, кэш 2-го уровня и т.д., так и Simulation: The SimOS Approach, IEEE Parallel
периферийных устройств. and Distributed Technology .
Еще одним полезным инструментом отладки 3. Weaver, D., Germond, T., (1994), The SPARC
симулятора и приложений является поддержка Architecture Manual, Version 9, SPARC Interna-
механизма работы с контрольными точками, со- tional, Inc.
держащими точный слепок системы на момент 4. Zadarnowski, P. (2000), The design and imple-
съема данных о ее состоянии: всех регистров про- mentation of an extendible instruction-set simula-
цессора и периферийных устройств, содержимого tor, BE thesis, School of Computer Science and
всех занятых областей памяти и значения любых Engineering, University of New South Wales,
переменных, оказывающих влияние на поведение Australia.
системы.
7. Применение
Разработанный симулятор был задействован в
ряде задач. В первую очередь, надо отметить фор-
мирование направленных архитектурных тестов,
проверяющих соответствие реализации процессо-
ра специфицированной для него системе команд.
При этом тесты и симулятор разрабатывались
независимо, что позволило провести начальную
отладку симулятора на тестовом пакете. К момен-
ту написания публикации тестовый пакет насчи-
тывал более 1200 направленных тестов, успешно
выполняющихся на симуляторе. Вторым принци-
пиально важным применением является разработ-
ка генератора случайных тестов, предназначенно-
Разработка планировщика задач
реального масштаба времени для ОС Unix
Федотов Д. А., аспирант
ОАО «ИНЭУМ»
Процессы первой
190-175 фазы прерываний
Процессы реального
174-116 масштаба времени
Процессы второй
115-100 фазы прерываний
Процессы с разделе-
59-0 нием времени
Можно выделить два основных принципа по- Вторым типом является система с неоднород-
строения многопроцессорных систем. Первым из ным доступом в память (NUMA). NUMA-система
них является симметричная многопроцессорная представляет собой сеть определѐнной топологии
система (SMP), представляющая собой иерархи- из однотипных модулей (процессоров). Каждый
ческое дерево с общим коммутирующим моду- процессор имеет встроенный контроллер памяти,
лем, в качестве листьев которого выступают от- обслуживающий часть общей памяти системы.
дельные процессоры. Выход на общую память Основным достоинством NUMA-систем является
имеется только в коммутирующем модуле. хорошая масштабируемость, а недостатком – не-
В большинстве случае такие системы не расши- однородное время доступа в память, а также -
ряемы по максимальному объѐму оперативной увеличение времени доступа по мере увеличения
памяти, пропускной способности канала памяти и числа процессоров.
числу процессоров – все основные параметры
определяются на стадии создания системы.
RAM IO
Commutator (level 2)
CPU CPU CPU CPU
SMP NUMA
Рис.1. Примеры основных типов организации многопроцессорных систем
144
1
Cache coherent Non-uniform Memory Access – когерентная система с неоднородным доступом в память.
145
создание только одного кластера (см. рис. 2). Для то-есть, к памяти, обслуживаемой в других кла-
дальнейшего увеличения числа процессоров тре- стерах., справочник – к локальной. Фильтр отсле-
буется дополнительный чип – контроллер меж- живает состояние кэш-строк удалѐнных процессо-
кластерного обмена (КМО). Его основным назна- ров, а также содержит идентификатор процессора
чением является объединение нескольких класте- -владельца, если данные кэшированы. Ниже при-
ров (до 4-х) для создания серверов среднего уров- водится несколько вариантов выполнения считы-
ня, то есть когерентных систем с общей памятью вания удалѐнных данных с участием фильтра.
с числом процессоров не более 16 (рис. 3). В Варианты расположены в порядке увеличения
функции КМО входит трансляция обращений в времени доступа и загрузки межпроцессорных и
память удалѐнных кластеров, а также формирова- межкластерных каналов. При обращении к уда-
ние запросов проверки когерентности для процес- лѐнной памяти КМО определяет при помощи
соров данного кластера. При взаимодействии фильтра, что:
двух КМО используется расширенный протокол Запрашиваемые данные отсутствуют в кэшах
межпроцессорного обмена. процессоров других кластеров, но используются
(строка в кэше в состоянии ―Modified‖) одним из
Cluster #0 Cluster #1 процессоров локального кластера. КМО не
формирует обращений в удалѐнные кластеры, а
CPU #0 CPU #1 CPU #0 CPU #1
всем процессорам локального кластера
отсылаются запросы проверки когерентности, тип
ICS ICS
которых соответствует типу исходного запроса.
Модифицированные данные из удалѐнного
кластера-владельца данных есть в кэше
CPU #3 CPU #2 CPU #3 CPU #2 процессора. КМО направляет в соответствующий
кластер запрос проверки когерентности,
возвращающий в качестве ответа данные из кэша
процессора-владельца данных
CPU #0 CPU #1 CPU #0 CPU #1
Данных нет ни у одного процессора. КМО в этом
случае транслирует исходный запрос в кластер,
обслуживающий данную ячейку памяти (кластер-
ICS ICS владелец), где запрос передаѐтся в процессорный
м о д у л ь и , д а л е е ,
CPU #3 CPU #2 CPU #3 CPU #2
в контроллер памяти.
Модифицированные данные есть в кэше
Cluster #2 Cluster #3 процессора из удалѐнного кластера. КМО
передаѐт исходный запрос в кластер-владелец,
Рис. 3. 4 кластера, объединѐнные посредством КМО откуда по справочнику запрос транслируется в
(ICS – Inter Cluster Switch) кластер, содержащий процессор с
модифицированными данными.
Основной проблемой при увеличении числа
процессоров в NUMA-системах является квадра- Справочник служит для слежения за локаль-
тичное2 по отношению к количеству процессоров ной памятью. В справочнике содержится инфор-
увеличение вырабатываемых запросов проверки мация о том, есть ли данные из памяти, принадле-
когерентности и, как следствие, рост величины жащей кластеру, в кэше процессоров, входящих в
задержки доступа к данным и падение эффектив- удалѐнные кластеры. Если после проверки оказы-
ной пропускной способности каналов межпроцес- вается, что данные не кэшированы в удалѐнных
сорного обмена. В качестве решения данной про- процессорах, это позволяет не выдавать запросы
блемы без усложнения логики процессорного мо- проверки когерентности за пределы кластера. Ес-
дуля, в частности системного коммутатора, пред- ли же данные есть в кэшах одного или нескольких
лагается сократить число запросов проверки коге- процессоров из других кластеров, а локальный
рентности, путѐм оптимизации работы КМО. Для процессор, выдавший запрос, собирается произво-
этого в КМО помимо коммутирующей логики дить модификацию данных по этому адресу, то во
вводятся два устройства: фильтр и справочник. все удалѐнные кластеры, содержащие эти данные,
Фильтр оптимизирует доступ к удалѐнной памяти
2
При наличии в системе n процессоров в каждом такте может быть сформировано n обращений в память, каждое из которых
вызовет генерацию n запросов проверки когерентности.
146
3
Нет необходимости в программной поддержке когерентности, как, например, в Cray BlackWidow. Но предполагается, что
операционная система оптимизирована под архитектуру NUMA.
Новый тип наводок в МПП с локальной
металлизацией в экранах
Тимофеев В. К.