<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
<channel>
<title>Заборовский Н. В.  -Портал SamoLit.com</title>
<link>https://samolit.com/authors/14675/</link>
<description>СамоЛит - сайт независимых авторов</description>
<lastBuildDate></lastBuildDate>
<image>
<url>https://samolit.com/gif/samolit_logo.png</url>
<link>https://samolit.com</link>
<title>Портал SamoLit.com</title>
</image>
<item>
<title>Н. В. Заборовский &amp;laquo;Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки&amp;raquo; - Книги на SamoLit.com</title>
<link>https://samolit.com/books/46841/</link>
<description><![CDATA[ В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению. ]]></description>
<author>Н. В. Заборовский</author>
<pubDate>Tue, 30 Jun 2015 15:10:00 +0000</pubDate>
</item><item>
<title>Н. В. Заборовский &amp;laquo;Статическое обнаружение гонок в коде, содержащем ветвления и циклы&amp;raquo; - Книги на SamoLit.com</title>
<link>https://samolit.com/books/46475/</link>
<description><![CDATA[ Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций. ]]></description>
<author>Н. В. Заборовский</author>
<pubDate>Tue, 30 Jun 2015 15:10:00 +0000</pubDate>
</item>
</channel>
</rss>