Набор инструментов для поиска гонок по данным в операционных системах

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

Скачать
тезисы