Оценить:
 Рейтинг: 0

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

Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций.
На сайте электронной библиотеки Litportal вы можете скачать книгу Статическое обнаружение гонок в коде, содержащем ветвления и циклы в формате fb2, rtf, pdf, txt, epub. У нас можно прочитать отзывы и рецензии о этом произведении.

Скачать книгу в форматах

Помогите, пожалуйста, другим читателям нашего сайта, оставьте отзыв или рецензию о прочитанной книге.


Спасибо! Ваш отзыв был отправлен на модерацию.

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

список сообщений пуст