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

учебная и научная литература

программирование

естественные науки

математика

прочая образовательная литература

эффективные алгоритмы

многопоточное исполнение

состояние гонки

статический анализ кода

знания и навыки

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

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

любовные романы

фэнтези

современная русская литература

современные любовные романы

современная зарубежная литература

детективы

об истории серьезно

приключения

книги о приключениях

ужасы / мистика

учебники и пособия для вузов

cтихи, поэзия

книги по психологии

стихи и поэзия

гуманитарные и общественные науки

русская классика

мистика

боевики, остросюжетная литература

публицистическая литература

Стечение глупых обстоятельств опять привело Оксану за решётку. Конечно, это ошибка, но от этого не легче. Хотя… как ни странно, легче. На воле была жуткая депрессия, а в обществе «уголовниц» на душе посветлело.
Оксана знакомится с цыганкой. У них не так много времени, чтобы снять «тюремное проклятие».
В процессе решения задач, которые встали перед героями, они размышляют над тем, что за субстанция такая душа. Где находятся ад и рай? Какое оно «Царствие небесное»? Как мёртвые могут воскреснуть во плоти во время апокалипсиса, почему христиане считают, что реинкарнации не существует, а буддисты уверены в обратном. И кто из них прав? И оказывается, что правы и те, и другие.

эзотерика / оккультизм

городское фэнтези

На острие свечи

Шестая книга философско-эзотерической серии «Сквозь лабиринт времен» продолжает историю любви и духовного поиска Оксаны Власовой и Александра Ведьмина.
Внук знахаря, переоценив свои силы, слишком глубоко погружается в родовую память. Начинается необратимая мутация нервных клеток. Пока друзья и врачи борются за его жизнь, он бредит, заблудившись в лабиринте времён, встречается с таинственным народом, жившем некогда в этих местах, слушает их красивые, будоражащие воображение легенды.
Оксане во сне является старец, который готов помочь ей спасти любимого. Она оказывается перед тяжёлым выбором: рискнуть жизнью Александра, поверив сну, или не брать на себя такую ответственность. В конце концов она заключает сделку с… ещё одним персонажем своих фантазий.
Разными путями, разными словами и примерами Оксана и Александр постигают ответ на вопрос: «Что такое время?»

Бой песочных часов

Книга о женщине, о преодолении страхов, принятии своего предназначения,  прощении себя, доверии,  о возрождении души и тела и, конечно, о любви.  В этом произведении нет грубости (совсем чуть-чуть), мужчин, которые от ненависти придут к любви, наоборот, главные герои понимают и знают, что хотят от жизни, ценят, заботятся и очень любят свою женщину. 
Очень символично героиня попадет в тело феникса. Фениксы способны возрождаться после гибели, доказывая, что у каждого есть шанс начать все заново. 
В книге много эротический сцен.

эротическое фэнтези

любовь и отношения

Виктория – Вета – Ви!

Родители называют меня ущербной. Я пошатнула их надежды на династический брак, неудачно упав с лошади. Вряд ли княжескому сыну нужна жена, забывшая первые пятнадцать лет своей жизни. Но я не опущу руки и верну себя. Я вспомню все. Я докопаюсь до истины, пусть даже мне придется брать штурмом Лекарский факультет УПС.

любовное фэнтези

детективное фэнтези

магические академии

УПС. 33 несчастья

В бескрайних просторах космоса, где звезды мерцают, словно неразгаданные тайны, живет маленький принц. Покинув свою единственную розу, капризную, но горячо любимую, он отправляется в удивительное путешествие по далеким планетам. Каждая встреча открывает ему новые грани мира, заставляя задуматься о истинных сокровищах жизни.
Эта трогательная история – не просто сказка. Это философская притча о любви к единственной Розе, о ценности дружбы, которую он обретает в лице Лиры, о важности воспоминаний и о поиске внутренней тишины. Она напоминает нам о хрупкости красоты, о силе фантазии и о глубокой связи, которая возникает, когда мы приручаем кого-то своим сердцем.
Следуйте за маленьким принцем в его путешествии, полном неожиданных встреч и мудрых откровений. Позвольте этой книге, словно посланию, доставленное голубем-почтальоном, осветить ваш путь и напомнить о том, что самое главное в жизни – это любовь.

сказки

детские приключения

детская фантастика

Маленький принц и Роза

Завершение истории про Романа и его команду. Враги, почуяв ценность того, что Роман получил, подняли ставки. Теперь на кону не только жизнь, но и само существование всего сущего.

боевая фантастика

боевики

Андроген. Демиурги

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

интернет-бизнес

стартапы и создание бизнеса

просто о бизнесе

Открой мир туризма. Пособие для быстрого старта

Полная версия

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

Другие книги автора