<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="http://wiki.osll.ru/lib/exe/css.php?s=feed" type="text/css"?>
<rss version="2.0">
    <channel xmlns:g="http://base.google.com/ns/1.0">
        <title>Open Source &amp; Linux Lab projects:lock_free_testing</title>
        <description></description>
        <link>http://wiki.osll.ru/</link>
        <lastBuildDate>Sun, 12 Apr 2026 20:22:43 +0000</lastBuildDate>
        <generator>FeedCreator 1.8</generator>
        <image>
            <url>http://wiki.osll.ru/lib/tpl/dokuwiki/images/favicon.ico</url>
            <title>Open Source &amp; Linux Lab</title>
            <link>http://wiki.osll.ru/</link>
        </image>
        <item>
            <title>Проверка линеаризуемости lock-free алгоритмов</title>
            <link>http://wiki.osll.ru/doku.php/projects:lock_free_testing:start?rev=1586848790&amp;do=diff</link>
            <description>Проверка линеаризуемости lock-free алгоритмов

	&quot; Вырастает из темы: Основанное на анализе кода fuzzy-планирование потоков с применением lincheck для обнаружения ошибок в многопоточном коде&quot;

----------

Варианты модификации сущеcтвующего байт-кода

	*  Подмена ClassLoader`a</description>
            <author>anonymous@undisclosed.example.com (Anonymous)</author>
        <category>projects:lock_free_testing</category>
            <pubDate>Tue, 14 Apr 2020 10:19:50 +0000</pubDate>
        </item>
    </channel>
</rss>
