Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций.
Также имеется ФРАГМЕНТ ТЕКСТА для ознакомления!
Коротко о главном в электронной книге темы Программирование с идентификатором 4977162:
Н. В. Заборовский, А. Г. Тормасов работа о процессе разработки программ математика, программирование, прочая образовательная литература
Ниже приведены ТЕГИ, по которым можно посмотреть аналоги книг о процессе разработки ПО.
Скачать Статическое обнаружение гонок в коде, содержащем ветвления и циклы ОнЛайн
Электронная книга Прикладная информатика. Научные статьи в жанре математика, программирование, прочая образовательная литература многопоточное исполнение, состояние гонки, статистика, статический анализ кода, эффективные алгоритмы для обучения и всестороннего развития.
Скачать ОнЛайн материалы автора Н. В. Заборовский, А. Г. Тормасов на устройства FB2 EPUB TXT RTF PDF HTML MOBI форматы. Цена от бесплатной до выставленной и в данном случае стоимость скачивания составляет 96.00 руб.
Читать бесплатно отрывок из книги или купить полную электронную версию:
ЧИТАТЬ ФРАГМЕНТ КУПИТЬ КНИГУ за 96.00 руб.