везде Расширенный поиск
книги Электронные книги Наука, техника, медицина
Заглянуть

Н. Заборовский А. Г. Тормасов

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

Код 4657429

  • 69 кб
  • март 2013
Электронная книга

Нет в продаже

Сообщить о появлении
pdf

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

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Правообладатель: Синергия
Дата выхода: март 2013
Размер файла: 69 Кб
Поставщик контента: ООО «ЛитРес»

Вместе с этой книгой покупают

45 татуировок менеджера. Правила российского руководителя под партнерством ISpring
45 татуировок менеджера. Правила российского... бумажная книга
Максим Батырев
Нет в продаже
Крушение
Крушение бумажная книга
Эмили Бликер
Нет в продаже
Удочеряя Америку
Удочеряя Америку бумажная книга
Энн Тайлер
Нет в продаже
Java. Полное руководство
Java. Полное руководство бумажная книга
Герберт Шилдт
44.46 USD
2
В корзину
Выразительный JavaScript. Современное веб-программирование. Третье издание
Выразительный JavaScript. Современное... бумажная книга
Марейн Хавербеке
Нет в продаже
Футбол сквозь годы
Футбол сквозь годы бумажная книга
Николай Петрович...
Нет в продаже