Основной контент книги Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Tekst PDF
Czas trwania książki 5 stron
2011 rok
Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Część serii «Прикладная информатика. Научные статьи»
4,43 zł
O książce
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций.
Część serii "Прикладная информатика. Научные статьи"
Zaloguj się, aby ocenić książkę i dodać recenzję
Książka Н. В. Заборовского, А. Г. Тормасова «Статическое обнаружение гонок в коде, содержащем ветвления и циклы» — pobierz w formacie pdf lub czytaj online. Zostaw komentarze i recenzje, głosuj na ulubione.
