Алексей Хорошилов, ведущий научный сотрудник ИСП РАН.
Кандидат физико-математических наук (2006 г.), тема диссертации − «Спецификация и тестирование компонентов с асинхронным интерфейсом», руководитель А. К. Петренко. С 1999 г. работает в Институте системного программирования РАН, с 2009 г. − на кафедре системного программирования ВМК МГУ. Основные научные достижения: участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов, разработка унифицированной архитектуры тестового набора и правил построения расширений языков программирования для разработки тестов на основе контрактных спецификаций, разработка методов построения тестов для математических библиотек и разработка специализированной технологии быстрого создания тестов работоспособности.
Десять лет назад Эндрю Бауман и ETHZ System Group представили архитектуру многоядерной операционной системы для решения проблем масштабируемости вычислений и гетерогенности аппаратного обеспечения компьютерных систем в наступившую эру многоядерных микропроцессоров. Многоядерная ОС рассматривает компьютер как распределенную систему и напрямую отражает это наблюдение на архитектуру операционной системы, предлагая ряд соответствующих принципов проектирования ОС. В частности, многоядерная ОС структурирует систему как набор узлов и соединений, заменяет неявную коммуникацию между процессорными ядрами через разделяемую память на механизмы явной и асинхронной передачи сообщений и обеспечивает целостность состояния ОС с помощью репликации. Исследовательская группа ETHZ реализовала прототип предложенной архитектуры ОС в экспериментальной операционной системе Barrelfish и доказала, что в средах многоядерных компьютерных систем она масштабируется лучше, чем традиционные операционные системы на основе монолитного ядра, такие как Linux.
В данной работе представлена попытка анализа и переоценки архитектуры многоядерной операционной системы и связанных с ней принципов проектирования ОС с точки зрения потенциала практического применения таких систем для решения существующих актуальных задач и с учетом современного состояния рынка микропроцессоров. В частности, в ней производится анализ тех оригинальных предположения относительно перспектив развития компьютерных и операционных систем, которые десять лет назад были положены в основу архитектуры многоядерной ОС. В данной работе освещаются преимущества, которые дает архитектура многоядерной ОС, проблемы, препятствующие ее широкому внедрению в индустрии информационных технологий, и приводятся рассуждения об изменениях, необходимых для преодоления вскрытых проблем, и ведущих к практическому применению новой архитектуры ОС, для решения актуальных задач, существующих в современных компьютерных системах.
