Крищенко Всеволод Александрович

В статье разрабатывается метод отслеживания движения отдельных IP-пакетов по сети от их создания до доставки получателю. Фиксируются различные события жизненного цикла пакетов, в том числе фрагментация, туннелирование и преобразование сетевых адресов. В работе также приводится опыт с программной реализацией метода. Созданный метод может быть применен при изучении работы протокола IP и при обнаружении неполадок в компьютерных сетях.

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

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

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

Статья посвящена разработке распределенной отказоустойчивой СУБД на основе среды исполнения Erlang. В результате тестирования установлено, что программный комплекс позволяет достичь практически линейного роста скорости выполнения запросов в зависимости от числа кластеров репликаций. Выработаны рекомендации по развертыванию системы.