Скачать Статическое обнаружение гонок в коде, содержащем ветвления и циклы

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