Кризис UNIX way и фундаментальное IT-образование

В докладе делается попытка перечислить и систематизировать кардинальные изменения технологических составляющих таких операционных систем. Большинство таких изменений воспринимаются как отказ от «основополагающих принципов» построения ОС, известных как «путь UNIX». Верно ли, что современная вычислительная система должна быть основана на каких-то других, «более современных», принципах? Более десяти лет назад в своей работе «Операционная система UNIX» мы предложили обобщённый подход «проективной системы», формулирующий «основные положения» в терминах человеко-машинного взаимодействия, по возможности без описания реализации. По нашему мнению, этот подход (как и противопоставление «процедурной» организации) совершенно не потерял актуальности. Таким образом, смена технологий ставит проблему новой формулировки инвариантов, зато, по видимости, не обесценивает «путь UNIX» и обеспечивает преподавателя несколькими работающими вариантами реализации.

Призрак бродит

Технологические новшества Linux ⇒ кризис Linux ⇒ кризис UNIX way?

То, что было локальным расширением, становится системообразующим. Примеры:

Тезис: «инварианты»

«Linux — это UNIX сегодня»

«Инвариант» — термин из курса лекций 2011 года (лекция 2). Неформально говоря, «что вы встретите в любом Linux-е».

Антитезис: потеря инвариантности

В действительности от Linux требуется не то, что на самом деле

Эту повесть про старушку можно дальше продолжать.

Как возможно фундаментальное образование в области вычислительных систем?

Синтез: инварианты более высокого уровня

«Operating System» переводится как «систематика использования»

Заметим, что все «инварианты linux» — это реализации каких-то более высокоуровневых принципов использования компьютера.

Предложение из 2003-года: принципы организации операционной среды (aka 4U)

Замечания:

  1. Ни один из этих принципов не выглядит устаревшим.
  2. Современное состояние ОС оставляет (во всех смыслах слова!) желать лучшего в плане 4U

Перспективы

Кто виноват? Что делать?

Литература

FrBrGeorge/Winter2015 (last edited 2015-01-19 13:45:08 by FrBrGeorge)