Одним из главных принципов уникальной «системы Физтеха», заложенной в основу образования в МФТИ, является тщательный отбор одаренных и склонных к творческой работе представителей молодежи. Абитуриентами Физтеха становятся самые талантливые и высокообразованные выпускники школ всей России и десятков стран мира.

Студенческая жизнь в МФТИ насыщенна и разнообразна. Студенты активно совмещают учебную деятельность с занятиями спортом, участием в культурно-массовых мероприятиях, а также их организации. Администрация института всячески поддерживает инициативу и заботится о благополучии студентов. Так, ведется непрерывная работа по расширению студенческого городка и улучшению быта студентов.

Адрес e-mail:

Опыт моделирования сетевого протокола на языке высокого уровня

Б.Н.Воскресенский, аспирант ИМВС РАН

В.М.Фельдман, к.т.н.

 

Основной целью описания сетевого протокола на языке программирования высокого уровня является предварительная оценка производительности систем, использующих новый протокол. С ноября 1999г в ЗАО МЦСТ ведется детальное описание сетевого протокола InfiniBand™ Architecture на языке С++. При этом выработан общий подход к созданию модели, который, как представляется, может применяться при описании других протоколов.

Работа ведется по четырем направлениям:

Собственно создание модели. Валидация (validation) протокола. Верификация (verification) модели. Анализ производительности (perfomance analysis).

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

К модели предъявляются следующие требования:

Изменение конфигурации системы (например, изменение топологии) не должно требовать перекомпиляции модели. Это необходимо для ускорения анализа производительности. Интерфейс для тестирования драйверов сетевых устройств. Наличие такого интерфейса позволяет разрабатывать software для сетевых компонентов еще до того, как эти компоненты будут реализованы.

Организация рабочих групп:

Над созданием модели работают две-три рабочие группы. Две группы независимо друг от друга разрабатывают каждая свою модель. Третья группа создает аналитическую модель для простой конфигурации. Периодически проводится сравнение результатов perfomance analysis для всех моделей – в случае существенной разницы ищется и устраняется причина расхождений. Такой подход требует увеличения числа персонала, но служит целям верификации. Валидацию протокола осуществляют создатели модели. Верификацию осуществляет отдельная группа. Подразумевается что посторонний наблюдатель, незнакомый со внутренним устройством модели, может более объективно оценить ее соответствие спецификации. Анализ производительности может, в принципе, осуществлять кто угодно. При сравнении результатов perfomance analysis разных моделей необходимо удостовериться, что исходные конфигурации, описанные в терминах каждой из моделей, физически тождественны.
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2016 Московский физико-технический институт
(государственный университет)

Техподдержка сайта

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li
Яндекс.Метрика