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

;{{SpeakerInfo}}: {{Speaker|Данила Пучкин}}
<blockquote>
Под мониторингом потока управления процесса в операционной системе понимается сравнение фактического потока управления процесса с некоторой эталонной моделью. 

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

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

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

{{VideoSection}}

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

== Thesis ==

{{SlidesSection}}
[[File:Мониторинг потока управления процессов в операционных системах на основе графов потока вызовов (Данила Пучкин, OSDAY-2024).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Мониторинг потока управления процессов в операционных системах на основе графов потока вызовов (Данила Пучкин, OSDAY-2024)!.jpg}}|center|640px]]
{{LinksSection}}

* 
<!-- <blockquote>[©]</blockquote> -->

<references/>

<!-- topub -->

[[Категория:OSDAY-2024]]
[[Категория:Draft]]