Дмитрий Завалишин: «Крах сегодняшних ОС может стать если не крахом нашей цивилизации, то чем-то очень близким к тому»
 
                 
Поиск по сайту
 bit.samag.ru     Web
Рассылка Subscribe.ru
подписаться письмом
Вход в систему
 Запомнить меня
Регистрация
Забыли пароль?

Календарь мероприятий
апрель    2024
Пн
Вт
Ср
Чт
Пт
Сб
Вс
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

показать все 

Новости партнеров

22.04.2024

Сообщество цифровых управленцев «я-ИТ-ы» проводит ЗАКРЫТУЮ встречу в рамках выставки «Связь-2024»!

Читать далее 

18.04.2024

Ассоциация разработчиков «Отечественный софт» отметила 15-летие

Читать далее 

17.04.2024

РДТЕХ представил Технологическую карту российского ПО 2023

Читать далее 

16.04.2024

RAMAX Group получила партнерский статус уровня Gold по продукту Tarantool

Читать далее 

показать все 

Статьи

18.04.2024

5 способов повысить безопасность электронной подписи

Читать далее 

18.04.2024

Как искусственный интеллект изменит экономику

Читать далее 

18.04.2024

Неочевидный САПР: выход ПО за рамки конструкторской деятельности

Читать далее 

18.04.2024

Скоро некому будет делать сайты и заниматься версткой

Читать далее 

18.04.2024

Цифровая трансформация в энергетике: как запустить проект с максимальным финансовым эффектом?

Читать далее 

05.04.2024

Мотивируй, не то проиграешь!

Читать далее 

22.03.2024

В 2024 году в России и мире вырастут объемы применения AR/VR 

Читать далее 

25.02.2024

Цифровые технологии: надежды и риски

Читать далее 

05.02.2024

Будут ли востребованы услуги технической поддержки софта Oracle в России в ближайшие годы?  

Читать далее 

31.01.2024

Здания с признаками интеллекта. Как Сергей Провалихин автоматизирует дома и производства

Читать далее 

показать все 

Дмитрий Завалишин: «Крах сегодняшних ОС может стать если не крахом нашей цивилизации, то чем-то очень близким к тому»

Главная / Интервью / Дмитрий Завалишин: «Крах сегодняшних ОС может стать если не крахом нашей цивилизации, то чем-то очень близким к тому»


Дмитрий Завалишин:
«Крах сегодняшних ОС может стать если не крахом нашей цивилизации, то чем-то очень близким к тому»

Дмитрий ЗавалишинВ конце мая в Москве, в здании Российской академии наук, состоялась V конференция OS DAY, посвященная вопросам надежности программного обеспечения. О том, как следует понимать термин «надежность» в применении к системному программированию, какие опасности подстерегают современное ПО и всю нашу цивилизацию и почему работа программиста с каждым годом становится все ответственнее, рассказал один из основателей OS DAY Дмитрий Завалишин, генеральный директор DZ Systems

– Почему темой конференции стала именно надежность, а не безопасность? Все-таки в последнее время на слуху в большей степени хакерские атаки, а не программные сбои…

– Потому что сегодня надежность программного обеспечения важна, как никогда. И я не говорю о таких областях использования софтверных систем, как космос, медицина, армия, а имею в виду очень широкий спектр их применения. Еще несколько лет назад софтверные системы были во многом вторичны, исполняли вспомогательные функции, обеспечивали комфорт, но и не более. Без них было можно в принципе обойтись. Но к нынешнему дню они стали зачастую играть ключевую роль, стали жизненно необходимыми.

Если 5-10 лет назад вышедший из строя компьютер был крупной неприятностью, то сегодня его поломка чревата остановкой бизнес-процессов. Как следствие – повышение требований к надежности. Настолько серьезное, что сегодня надежность из сферы космоса, медицины и так далее перенесена в повседневную жизнь.

– Все настолько серьезно?

– Более чем. Крах ОС может стать если не крахом нашей цивилизации – это пока что было бы слишком громко сказано, – то чем-то очень близким к тому. Именно поэтому системы, которые мы проектируем, – даже бытовые – это ПО, требования к надежности которого оказываются очень жесткими.

– И все-таки: почему надежность, а не безопасность?

– В определенный момент оказалось, что надежность и безопасность – это одно и то же. Рассматривая уязвимости программного кода, позволяющие хакеру получить доступ к данным, необходимо понимать, что они же являются потенциальными источниками сбоев самой программы. Если в системе есть уязвимость, то она неизбежно станет проблемой. Либо сама, и тогда это будет сбой, либо под умышленным воздействием извне. Иными словами, говоря слово «надежность», мы подразумеваем устойчивость к программным сбоям и хакерским атакам одновременно. В результате понятие надежности охватывает весь спектр деятельности системных разработчиков.

– Как достигается надежность ПО? Есть какие-то особые направления деятельности?

– Очень четко видно, что сейчас сформировались два подхода к понятию надежности. Один – это создание на базе традиционных подходов новых аналитических инструментов, позволяющих найти проблемные точки – уязвимости и ошибки. Другой – поиск новой парадигмы, позволяющей строить принципиально новые системы.

– Можно ли создать совершенный код, не содержащий ошибок? Это реально?

– К этому, безусловно, нужно стремиться. Теоретически это, разумеется, возможно. Как минимум если мы будем придерживаться идеи о том, что надежность сложной системы означает надежность каждого ее компонента в отдельности. Здесь средством достижения цели будет создание четко проработанных отдельных компонентных структур.

Судя по всему, следует ждать новой волны, которая похоронит современное программирование и перенесет нас в совершенно другую парадигму

Работая с такими элементами, собирая систему из максимально выверенных и верифицированных компонент, мы добиваемся лучшего результата: системы получаются более разумно устроенными, оказываются в итоге дешевле, потому что компоненты можно использовать повторно. И надежность их значительно выше.

– Но это требует серьезного приложения сил и средств…

– Это можно сказать вообще обо всей отрасли системного программирования. Она неизбежно движется в сторону индустриализации. Двадцать лет назад программирование было волшебством – кудесники где-то в темной комнате в одиночку писали софт. Сегодня это индустрия, конвейер, фабрики и заводы, которые системным образом производят ПО. Эта системность, структурность очень важна для развития системного программирования в целом. А надежность –один из ее драйверов.

– Как вы оцениваете прошедшую конференцию OS DAY?

– Как очень действенный инструмент, позволяющий в режиме on-line отслеживать тенденции развития не только системного программирования, но и всей ИТ-отрасли в целом.

Вот отличный пример. Три года назад мы пригласили на нашу конференцию несколько российских разработчиков процессоров: хотелось, чтобы разработчики отечественного софта с ними поближе познакомились и начали взаимодействовать. И по итогам той конференции многие меня спрашивали: «Ну и что такое российский процессор? Зачем он вообще нужен? Пошли, купили у компании ARM права на ядро процессора, заверстали его в чип, сделанный в Китае, и где тут мы? Где уникальность?» В общем-то, ответы на эти вопросы у меня были уже тогда, но то, что я увидел на OS DAY 2018, – ответ не только хороший, но еще и наглядный. И, как мне кажется, в том, чтобы его получить, наша конференция тоже сыграла свою роль.

На конференции было представлено описание проекта, в котором компания интегрирует несколько разных процессорных ядер в периферию и компоненты взаимодействия и строит на этой основе решение, для которого процессоры являются «кубиками лего». У него есть понятная функциональная смысловая картина, под которую оно делается, и оно эффективно. Это значит, что тогда, два-три года назад, мы, фигурально выражаясь, научились буквам. А сегодня мы начинаем говорить слова. Вышли на принципиально новый уровень. И я очень горжусь этим, считаю, что это большое достижение.

– И в каком направлении будет развиваться системное программирование дальше?

– На этот вопрос относительно просто ответить. Сложность в том, что при полной ясности ответа «как», остается загадкой «когда». Дело в том, что, наверное, в каждой отрасли есть определенная проблема – абсолютно одна и та же, но проявляющаяся по-разному. Это проблема отработанных технологий.

Везде, в том числе и в системном программировании, существуют мощные наработки, которые исторически настолько сильны и авторитетны, что уйти от них трудно. Своего рода непререкаемая классика. При этом собственный потенциал развития они уже исчерпали и в результате начинают тормозить развитие отрасли в целом. В металлургии, например, такую роль играли мартеновские печи, от которых удалось отказаться только буквально вчера. А в системном программировании, с моей точки зрения, сегодня в таком положении оказалась операционная система Linux.

– Но ведь Linux – классика!

– Именно так. Это, вне всякого сомнения, сейчас главный конь в упряжке мирового программирования. Фантазия отказаться от Linux не придет в голову ни одному разумному программисту. Между тем по очень многим аспектам, в том числе по надежности, он уже не дотягивает до современных требований. В результате сейчас идет два параллельных процесса.

Один – это попытка усовершенствовать Linux посредством дополнений, новых компонент и т.д., дать ему возможность дальнейшего развития. Другой – поиск новых технологий, которые шагают дальше, за сегодняшние пределы, потому что развитие необходимо, а в нынешней парадигме его потенциал уже практически исчерпан.

Аналогичным образом обстоит дело с языками программирования, например С, несмотря на то что на этот язык завязаны сегодня все основные процессы создания ПО. С его недостатками связана масса проблем, и этой ситуации на OS DAY 2018 было посвящено много докладов, общий смысл которых сводится к поиску путей компенсации недостатков этого языка.

Иными словами, мы сейчас достигли очень интересной точки в развитии системного программирования – точки перехода. Судя по всему, следует ждать новой волны, которая похоронит современное программирование и перенесет нас в совершенно другую парадигму, в совершенно другую картину мира. Понятно, что это произойдет, вопрос только в том, насколько скоро это случится.

Беседовал Сергей Кормилицын

В начало⇑

Выпуск №02 (135) 2024г.
Выпуск №02 (135) 2024г. Выпуск №01 (134) 2024г.
Вакансии на сайте Jooble

           

Tel.: (499) 277-12-41  Fax: (499) 277-12-45  E-mail: sa@samag.ru

 

Copyright © Системный администратор

  Яндекс.Метрика