Обнаружение состояний гонки в коде на Cи методом статического анализа

При написании многопоточных приложений гонки при доступе к данным могут стать серьезной проблемой. В работе ставится задача обнаружения состояний гонки в коде на языке C. Для достижения данной цели предлагается статический подход, основанный на алгоритме Lockset с предварительным заданием семантики системных вызовов целевой операционной системы. Приводятся методы и способы реализации синтаксического и семантического разборов, а также полное описание процесса разработки программы, включающее также и примеры реального использования в коммерческой среде.

Общественные науки в целом
Дипломы

Вуз: Санкт-Петербургский государственный университет (СПбГУ)

ID: 587d36475f1be77c40d58b62
UUID: ae1ac824-c4a1-4973-aa38-28da2c259599
Язык: Русский
Опубликовано: почти 8 лет назад
Просмотры: 6

Меньщиков Максим Александрович

Источник: Санкт-Петербургский государственный университет


0

Комментировать 0

Рецензировать 0

Скачать - 550983 bytes


Поделиться работой
Current View

Рецензии:

  Авторизуйтесь, чтобы добавить рецензию

- у работы пока нет рецензий -

Для лиц старше 18 лет