Современная электронная библиотека ModernLib.Net

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

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

Случайные комментарии

Екатерина комментирует книгу «Целестина, или Шестое чувство» (Мусерович Малгожата):

Моя самая любимая книга.

Вячеслав комментирует книгу «Хочу увидеть океан» (Незнанский Фридрих Евсеевич):

Хочу выразить огромную благодарность за возможность бесплатно скачивать произведения Незнанского. Во всех электронных библиотеках, кроме вашей, его произведения можно скачивать только платно.

дашуля комментирует книгу «Сказка о царе Салтане» (Пушкин Александр Сергеевич):

прикольная сказочка!=))))))

sOrAmi комментирует книгу «Огненные врата» (Дмитрий Емец):

можно мне тоже скинуть?

Анатолий комментирует книгу «Час Быка» (Ефремов Иван Антонович):

Потрясающая книга!!!! Этот роман - послание всему человечеству: нравственность - фундамент всякой деятельности.

MARYA комментирует книгу «Построение отдела продаж: с «нуля» до максимальных результатов» (Константин Александрович Бакшт):

"Построение отдела продаж: с «нуля» до максимальных результатов" - книга помогла мне взглянуть на ситуацию в компании совсем с другой стороны. Часто бывает, что все идет достаточно ровно. Многих это устраивает. Прочитав книгу, я поняла, что мы просто теряем время и совершаем массу ошибок, упускаем клиентов.Очень понравилось книга! Доступным языком представлены схемы создания работоспособных боевых команд продаж.

Ассасин нашего времени комментирует книгу «Ассасин» (Дмитрий Кружевский):

Я читал прикольная но там страно там и Арагорн из властелина колец и эльфы!!!! Ну и эр**ика)))

Аня комментирует книгу «Легенды и мифы Древней Греции» (Кун Николай Альбертович):

Очень нужна была эта книга,спасибо!В универе требуют.

лера комментирует книгу «Формула первой любви» (Лубенец Светлана):

читать))

Оксана комментирует книгу «Общаться с ребенком. Как?» (Гиппенрейтер Юлия Борисовна):

Не поленилась и проверила. Все форматы прекрасно скачиваются и раскрываются. Зачем скажите на милость, автору писать коментарии на труд написанный самой собой? Тем более что за сей труд(который вы скачиваете бесплатно) она не получит никакой платы.

Информация для правообладателей

ЭЛЕКТРОННАЯ БИБЛИОТЕКА ModernLib.Net

Н. В. Заборовский - Статическое обнаружение гонок в коде, содержащем ветвления и циклы, скачать книгу бесплатно

Популярные авторы

Популярные книги

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

Жанры