Последний отзыв
Очень интересная!
По всем вопросам обращайтесь на: info@litportal.ru
(©) 2003-2024.
✖
Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Автор
Жанр
Год написания книги
2011
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций.
На сайте электронной библиотеки Litportal вы можете скачать книгу Статическое обнаружение гонок в коде, содержащем ветвления и циклы в формате fb2, rtf, pdf, txt, epub. У нас можно прочитать отзывы и рецензии о этом произведении.
Скачать книгу в форматах
Помогите, пожалуйста, другим читателям нашего сайта, оставьте отзыв или рецензию о прочитанной книге.
Спасибо! Ваш отзыв был отправлен на модерацию.
Отзывы о книге Статическое обнаружение гонок в коде, содержащем ветвления и циклы
список сообщений пуст
Другие электронные книги автора Н. В. Заборовский
Последний отзыв
Очень интересная!