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

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

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

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

Бойко Александра комментирует книгу «Парк-авеню 79» (Роббинс Гарольд):

книга очень жизненная, читала в юности до сих пор нравится

Дарья комментирует книгу «Похороните меня за плинтусом» (Санаев Павел):

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

Марія комментирует книгу «Вурдалак Тарас Шевченко» (Бузина Олесь):

Соромно за таких "письменників" як Олесь Бузина який не тільки не знає історії, не може поетично розуміти творів та ще й не обізнаний у світовій літературі якщо нашкрябав такий "шедевр".

Настя комментирует книгу «Тяжесть венца» (Вилар Симона):

Самая трогательная история, котору я когда либо читала! После прочтения этой серии ещё очень долго ходишь "под впечатлением"!

Вова комментирует книгу «Кровь артефакта» (Васин Роман):

Вообще супер. читается легко и не оторваться вообще!

Любавушка комментирует книгу «Стань диким!» (Хантер Эрин):

Книги - класс! Хочу всю коллекцию собрать.

чёрная йони комментирует книгу «Остров» (Хаксли Олдос Леонард):

как насчет написать"остров,другой взгляд" или золушка наоборот,где герои(ня)попадает в джунгли встречает толпу людей,королей,принцев,рыцарей.Чася бьют полночь,толпа начинает сдирать с себя кожу,превращается в скалящееся стадо гнусов,короли в королей помоек,принцы и рыцари в евнухов,навозных жуков и ослиные уши,копашащихся в дерьме и поют голосом Стаса Михайлова"без тебя",можно добавить немного мифологии, Мидаса например,у него были ослиные уши. p.s.портить человеку жизнь для кого-то может занятие интересное и даже забавное,только нерентабельное,кпд практически равно нулю,потерянное время,выкинутые на ветер деньги,а в качестве бонуса ведро помоев,да.

Алексей комментирует книгу «Мертвые души» (Гоголь Николай Васильевич):

Вы чё совсем а, на кой лёт надобыло пустой архив в инет сувать? Я скачал а там пусто!!!!!! КРУГЛЫЙ НОЛЬ!

Александр комментирует книгу «Тайный советник вождя» (Успенский Владимир Дмитриевич):

Да, Варвара, как бы Бажанов не написал хорошо, он останется предателем, он предал людей!!! И второе, почему Вы называете его иммигрантом?

Чукча комментирует книгу «Война после войны: информационная оккупация продолжается» (Лисичкин Владимир Александрович):

Однако, Юрок неправ. Чукча все нормально скачал, почитал и спать пошел.

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

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

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

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

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

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

Жанры