Семинар Технологии разработки и анализа программ в МГУ
20 ноября Дмитрий Завалишин выступит в МГУ на семинаре Технологии разработки и анализа программ.
Место: Московский Государственный Университет, факультет ВМК. Ленинские горы, 2-ой учебный корпус, северный вход, аудитория П-13.
Время: 20 ноября, четверг, 18:00.
Организаторы: факультет ВМК МГУ, ИСП РАН, Microsift Research.
Научно-практический семинар проходит в МГУ один раз в месяц. Заседания семинара посвящены современным проблемам программной инженерии, методам и инструментам разработки, анализа и тестирования программ. Семинар рассчитан на студентов, аспирантов и их руководителей, а также практиков и специалистов из индустрии. В семинаре активно принимают участие представители таких компаний, как Intel, Microsoft, Яндекс, теперь к ним присоединился холдинг DZ Systems.
Дмитрий Завалишин расскажет об операционной системе Фантом.
Фантом — операционная система с открытым исходным кодом, разрабатываемая компанией Digital Zone. Система базируется на концепции неизбывной (persistent) виртуальной памяти, ориентирована на управляемый (managed) код и нацелена на применение в носимых и встроенных компьютерах. Фантом ОС не опирается на классические концепции Unix-подобных систем. В отличие от их концепции «всё есть файл», Фантом ОС базируется на принципе «всё есть объект».
Основные отличительные черты Фантом ОС:
- Управляемый код, защита памяти на уровне объекта (а не процесса). Отсутствие арифметики указателей в управляемом коде.
- Глобальное адресное пространство, весьма эффективные и дешёвые IPC.
- Персистентность — прикладной код «не видит» перезагрузок ОС и может жить вечно — отсюда отсутствие потребности в понятии «файл» — любая переменная или структура данных может храниться вечно и при этом быть доступна напрямую по указателю.
В настоящий момент система существует в виде альфа-версии для процессора ia32. В работе — перенос на процессор ARM и начат перенос на MIPS и amd64.
Внимание! На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество по адресу: sdat@ispras. Для прохода на семинар возьмите с собой паспорт.
