Отчет о первом дне 18 конференции «Информационные средства и технологии»
Сегодня мне удалось присутствовать на 18ой конференции под названием «информационные средства и технологии«, которая проводится 19-21 октября 2010 года.
В первый день конференции выступало 5 участников с презентациями. Велась прямая трансляция в интернет.
Подробнее о выступлениях (19 октября):
1. Первый доклад представил академик Иваников В.П. (директор ИСП РАН). Темой его доклада: «Проблемы системного программирования. Состояния и тенденции«.
В этой презентации были рассмотрены следующие вопросы:
1.1. Рост размера кода ОС.
В этом слайде была приведена очень интересная таблица, из которой можно сделать несколько выводов.
Таблица — Рост размера кода ОС
Система | Год | Размер 106 LOC | Размер команды |
Windows 3.1 | 1992 | 3 | — |
Windows NT 3.5 | 1994 | 10 | 30 |
Windows NT 4.0 | 1996 | 16 | 800 |
Windows 2000 | 1999 | 30 | 1400 |
Windows XP | 2001 | 45 | 1400 |
Linux Kernel 2.6.0 | 2003 | 5.7 | — |
Open Solaris | 2005 | 9.7 | — |
Open Solaris | 2005 | 9.7 | — |
Из таблицы можно сделать простой вывод: чем труднее разабатываемая система, тем больше необходимо разработчиков и тем больше размер системы.
1.2 Другие показатели разработки
1) Эскалация размеров и сложность.
2) Увеличение функциональных возможностей.
3) Рост объёма перерабатываемых данных.
4) Расширение используемого параллелизма и распределенности.
5) Рост требований к переносимости и совместимости.
1.3. Текущие достижения
1) Доминирование ООП.
2) Компонентные технологии.
3) Стандартизация и уточнение семантики языков программирования и библиотечных интерфейсов.
4) Широкое использование интерактивных процессов разработки.
5) Расширение областей с применением формальных методов.
1.4. Проблемы
Количество ошибок на 1000 строк неаттестованного кода остается неизменным.
Программные системы | Число ошибок на 1000 строк кода |
Среднее по индустрии | 15-50 |
Microsoft (до тестирования) | 10-20 |
NASA JPL (до тестирования) | 6-9 |
Linux | ~7 |
Microsoft (продукт) | 0.5 |
NASA JPL (продукт) | 0.003 |
Формальные методы разработки и анализа применимы лишь к небольшим системам.
1.5. Новые вызовы
1) Распределенные адаптивные и динамические перестраивающиеся системы
2) Масштабируемые технологии разработки и анализа свойств ПО на базе формальных методов.
3) Технология разработки распределенных систем с заданными характеристиками по многим показателям качества.
4) Формализация стандартов.
Жаль, что время на один доклад ограничено (~30 минут), т.к. из-за ограничения во времени Иваников не успел рассказать ещё много чего из своей презентации.
2. Вторым докладчиком был В.К.Левин с темой «Суперкомпьютеры на современном этапе и эксплуатация на ближайшее будущее»
Кратко о докладе:
Суперкомпьютеры — те компьютеры, что входят в Top500 по производительности. Рейтинг обновляется несколько раз в год, его можно посмотреть на сайте top500.org. Максимальная производительность суперкомпьютера сейчас ? 2petaflops.
Стоимость суперкомпьютера составляет в среднем 1-7 миллиона долларов.
Почти половина всех суперкомпьютеров принадлежат США (246 из 500). Россия занимает только 7 место (11 из 500). Наш самый быстрый суперкомпьютер занимает 13 место в top500.
Суммарная мощность суперкомпьютеров в 2010 году 32.4 pflops, что на 9.8 pflos выше, чем в 2009 году. Прогресс очевиден (почти на 50% за год). Планируется увеличить мощность компьютеров к 2020 в 1000 раз.
В 2011 году ожидается выход суперкомпьютера от IBM на базе микропроцессоров Power 7 (8 ядер). Он будет называться Blue Waters, его мощность должна составить 10 pflops.
Планируется выпуск серийного суперкомпьютера с габаритами 2 х 0.6 х 1 м3. Его мощность будет 1 tflops (здесь я не уверен). Потребляемая энергия 60 кВт.
Кстати оперативная память суперкомпьютеров измеряется 10-ми терабайтов (70-150 TB).
3. Третьим докладчиком был Г.Г. Рябов с темой «Алгебраическое представление кубических структур и символьные вычисления«.
Пожалуй это был самый трудный доклад для понимания.
В презентации были рассмотрены следующие вопросы:
1) Розетский камень.
2) Хаусдорфова метрика на кубантах.
3) Кросс-кубанты и их кодирование.
4) Умножение кросс-кубантов.
5) Многомерное «метро».
6) Полиморфное кодирования и особенности вычислений.
4. Четвертым докладчиком был Смелянский Р.Л. с темой «Анализ поведения программ«.
Его презентация получилась очень интересной.
Были рассмотрены вопросы:
1) Природа программ.
2) О различных толкования поведения программы.
3) Динамическая и статическая профилировка.
Дана классификация методов оценки качества быстродействия.
5. Пятым докладчиком стал А.В.Гаврилов с темой «Перспектива платформ приложений: переход к облачным вычислениям«.