Мониторинг потока управления процессов в операционных системах на основе графов потока вызовов (Данила Пучкин, OSDAY-2024) — различия между версиями

Целевые команды (целевые инструкции) – это команды, информация об исполнении процессом которых доступна от операционной системы, в рамках которой функционирует процесс. В качестве эталонной модели используется сигнатура потока управления – модель процесса, определяющая последовательности целевых инструкций, которые могут быть исполнены данным процессом. Конкретный вид модели, как и конкретные алгоритмы мониторинга потока управления в рассмотренном подходе не уточняются. В работе предлагается способ мониторинга потока управления процессов в операционных системах, основанный на использовании одной из форм сигнатуры потока управления, представляющей собой набор графов потока вызовов. 

Работа ограничивается случаем, когда контролируемый процесс является однопоточным, во время его исполнения не происходит системных прерываний, а его программа не содержит команд переходов, кроме вызовов функций.
</blockquote>

{{VideoSection}}

{{vimeoembed|986078206|800|450}}
<!-- {{youtubelink|}} -->

== Thesis ==

Версия 23:22, 17 июля 2024

Докладчик

Данила Пучкин

Под мониторингом потока управления процесса в операционной системе понимается сравнение фактического потока управления процесса с некоторой эталонной моделью.

В работе рассматривается подход к контролю корректности исполнения процессов, основанный на мониторинге потока управления. Под корректным исполнением процесса понимается функционирование процесса в соответствии с предъявляемыми ему требованиями. В рассматриваемом подходе предлагается контролировать поток управления в объеме исполняемых процессом целевых команд на основе некоторой эталонной модели.

Целевые команды (целевые инструкции) – это команды, информация об исполнении процессом которых доступна от операционной системы, в рамках которой функционирует процесс. В качестве эталонной модели используется сигнатура потока управления – модель процесса, определяющая последовательности целевых инструкций, которые могут быть исполнены данным процессом. Конкретный вид модели, как и конкретные алгоритмы мониторинга потока управления в рассмотренном подходе не уточняются. В работе предлагается способ мониторинга потока управления процессов в операционных системах, основанный на использовании одной из форм сигнатуры потока управления, представляющей собой набор графов потока вызовов.

Работа ограничивается случаем, когда контролируемый процесс является однопоточным, во время его исполнения не происходит системных прерываний, а его программа не содержит команд переходов, кроме вызовов функций.

Видео

Thesis

• https://osday.ru/downloads/Puchkin.pdf

Презентация

Примечания и ссылки