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

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

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

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

Олеся комментирует книгу «Солнце полуночи» (Майер Стефани):

Просто отпад! я не могу дождаться фильма "Рассвет", а тут ещё и следующая часть)

Аня комментирует книгу «Тигр в колодце» (Пулман Филип):

О,прекрасная книга и очень интересная)

костя комментирует книгу «Алиедора» (Ник Перумов):

очень хорошая книга

артур комментирует книгу «Стриптиз» (Хайасен Карл):

класс

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

Школьникам это рановато. Греческие мифы по сути переложение части предыстории белой расы. Это начало современной цивилизации в самом её неприглядном виде.

Альбек комментирует книгу «Мой сосед вурдалак» (Лизи Харрисон):

развязки нет, как то неожиданно закончилась, или есть еще продолжение?

Елизавета комментирует книгу «Наследник из Калькутты» (Штильмарк Роберт):

Книга просто потрясающая!!! Советую всем, читается на одном дыхании, после неё я 2 месяца не могла ничего читать. Любителям приключении советую прочесть её нарду с "Сердца трех", "Граф Монте-Кристо". Это незабываемо!

Никаой горчитцы я не ел комментирует книгу «Никакой я горчицы не ел» (Виктор Голявкин):

Поучительная , интересная книга . даже немного смешная. советую прочиать!

2222 комментирует книгу «Лошадиная фамилия» (Чехов Антон Павлович):

классное произведение

А важно ли это? комментирует книгу «Мастер и Маргарита» (Булгаков Михаил Афанасьевич):

Судари, а что вы, раз такие мудрые и нравственность с моральностью выше носа, одинаково пишете, как под копирку? Так ещё и больше половины Великих Комментаторов неграмотны, ничего не понимают, но - алала! - бегают за стадом и пишут восторженные отзывы, потому что все говорят, что это великолепно. Я, когда нам в школе задали написать сочинение "Чем тебе понравилась книга "Мастер и Маргарита", написал примерно так же. Но там нам всё нравилось, всё вызывало безумное восхищение *табличка "сарказм" со мной, если кто не понял*. Имел неосторожность спросить о смысле книги Булгакова в обществе. Получил кучку оскорблений и упрёков (недалёкий глупец, ай-ай!), а ответа не получил, умняшки мои. Счастья и здоровья.

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

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

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

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

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

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

Жанры