Отчет о первом дне 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. Пятым докладчиком стал А.В.Гаврилов с темой «Перспектива платформ приложений: переход к облачным вычислениям«.



Комментарии запрещены.

Реклама
Подпишись на блог
E-mail рассылка:
Я есть в twittere
Я есть в facebook
Я есть в vkontakte