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

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

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

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

Екатерина Андреевна Степанова комментирует книгу «Билет на Лысую гору» (Емец Дмитрий):

Мне очень НЕ нравится!!!

Анютка) комментирует книгу «Эммануэль» (Арсан Эммануэль):

Книга очень интересная!

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

Не слушайте всяких... Роман замечательный! Я три раза подряд его прочитала

Dan комментирует книгу «Всадник без головы» (Майн Рид Томас):

как???

сабина комментирует книгу «Любовь к жизни» (Лондон Джек):

Я не могу скачать книгу

Настя комментирует книгу «Гамлет, принц датский» (Шекспир Уильям):

все хорошо, но это не античка..поменяйте жанр

Сергей комментирует книгу «Краткая история города Казани» (К.Ф. Фукс):

Ты боишься за продолжение, оно будет. Ты подумал о Минине с Пожарским. Они выдумка. Это поднимало патриотический дух граждан России. Мы не можем ко всему тому, что было на благо России поднимать руку. Все мы заложники своего времени. Ты тоже. Это всё. До встречи.

таня комментирует книгу «Новолуние» (Майер Стефани):

ничтяк

Катя комментирует книгу «Первый матч» (Екатерина Неволина):

внизу подписано:Извините, данная книга недоступна в связи с жалобой правообладателя. Вы можете прочитать ознакомительный фрагмент книги. скачать нельзя ее

Макс комментирует книгу «Решаем примеры. 3-4 классы» (Ольга Евгеньевна Васильева):

Учи Русский

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

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

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

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

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

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

Жанры