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

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

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

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

фарт комментирует книгу «Вера изгоев» (Эльтеррус Иар):

Супер сайт!!!!!!!!!!!!!!!!

Мазов комментирует книгу «Сука ты позорная» (Алмазов В. К.):

Прочитал "Сука ты позорная... ". Хотел бы узнать кто и почему(!) скрывается за псевдонимом В.К.Алмазов?

дымок комментирует книгу «Об экранизации романа 'Солярис'» (Лем Станислав):

мне фильм "солярис" тоже не понравился - скучная заумь - ничего общего с книгой!

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

туфта

Иван комментирует книгу «Короче, Склифосовский! Судмедэксперты рассказывают» (Владимир Величко):

Книга о судмедэкспертах... А как живо написано и какой приятный сюрприз - прочел не отрываясь за одну ночь. Спасибо автору. Я бы сказал так: написана в стиле Декамерона языком Василия Шукшина.

тату мастер комментирует книгу «Скрытый гипноз. Практическое руководство» (Мелихов И.Н.):

Час почитаем)

Елена комментирует книгу «Гомеопатическая клиническая фармакология» (Фаррингтон Э.):

Скачала у вас Э Фаррингтона в fb2-не смогла открыть.Решила скачать в др формате,написала в поисковик-отвечает-нет такого автора!?!Опять зашла через поиск в яндексе-есть!.Скачала.Благодарю.

юрий комментирует книгу «Хроники сыска (сборник)» (Николай Свечин):

Мне хотелось бы поделиться впечатлением от прочитанной книги Н.Свечина "Демон " преступного мира".Случайно купил на развале за 30 р., чтобы скоротать время в метро.Думал, выброшу на конечной станции - не жалко.Однако, ребята, я не только не выбросил, но и вцепился в нее как голодный пес в котлету. И дело не только в захватывающем сюжете. Столько фактического материала, новых открытий для нас, дремучих о нашей российской истории, кстати, не такой уж далекой. Какая серьезная и кропотливая работа проделана с первоисточниками (если не врет!), сколько фамилий и исторических лиц! Кое что я проверил, конечно. Все точно и это заставляет верить всему остальному.А сколько посылов идеологического толка. так лестных русскому человеку, исторических аналогий,актуальных и сейчас (российско-польские дела). В общем, огромное спасибо Николаю за этот титанический труд! И,главное, никакой раскрутки, что возмутительно. Доколе таланты будут пробивать стену зависти и непонимания своими лбами? С нетерпением ищу новые книги этого замечательного автора.

Роман комментирует книгу «Теория Большой Игры» (Егор Шиенков):

Согласен!

т.вероника комментирует книгу «Новейшая хрестоматия по литературе: 3 класс» (Коллектив авторов):

Ненавижу христоматию

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

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

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

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

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

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

Жанры