登入選單
返回Google圖書搜尋
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Н. ЗаборовскийА. Тормасов
出版Litres, 2022-05-15
主題Mathematics / General
ISBN54573820799785457382077
URLhttp://books.google.com.hk/books?id=yaNmAAAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.