0+Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Где читать или купить
Описание
Поиск состояний гонки для современных программ со сложной архитектурой — актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне — на уровне исполнения процессором инструкций.
О книге
| Серия | Прикладная информатика. Научные статьи |
|---|---|
| Издательство | Синергия |
| Год издания | 2013 |
| Язык | ru |
| Форматы | |
| Возрастное ограничение | 0 |
Похожие книги
Частые вопросы
О чём книга «Статическое обнаружение гонок в коде, содержащем ветвления и циклы»?
«Статическое обнаружение гонок в коде, содержащем ветвления и циклы» — это математика. Поиск состояний гонки для современных программ со сложной архитектурой — актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы…
Где читать или купить «Статическое обнаружение гонок в коде, содержащем ветвления и циклы»?
Книгу можно читать или купить у партнёра ЛитРес (эл. книга). Цена у партнёра — 126 ₽. Переход — по кнопке в блоке «Где читать или купить».
Что почитать похожее на «Статическое обнаружение гонок в коде, содержащем ветвления и циклы»?
Близкие по теме книги: «Открытие живой математики – стратегии творчества жизни», «Истина. Универсальный закон вселенной», «Математический анализ. Часть 1». Полный список — в блоке «Похожие книги».