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

Советуем также почитать:
  1. Видео – взрыв царь бомбы
  2. 9 мая 2010 как все было
  3. Моя бакалаврская работа – сжатие данных
  4. Я ненавижу компьютерные вирусы
  5. Подводим итоги игры сборной России по футболу (2010 год)
  6. Видео – дрифт на BMW
  7. Советую посмотреть «Машина времени в джакузи», «Химера», «Багровые реки»


Оставить комментарий

Подпишись на блог
E-mail рассылка:
Я есть в twittere
Я есть в facebook
Я есть в vkontakte
Рейтинг@Mail.ru
PR-CY.ru
Советуем посетить: