|
From: <sv...@va...> - 2008-12-22 07:10:50
|
Author: bart Date: 2008-12-22 07:10:44 +0000 (Mon, 22 Dec 2008) New Revision: 8862 Log: Updated after merge of Helgrind from YARD branch to trunk. Modified: trunk/drd/docs/drd-manual.xml Modified: trunk/drd/docs/drd-manual.xml =================================================================== --- trunk/drd/docs/drd-manual.xml 2008-12-22 01:00:15 UTC (rev 8861) +++ trunk/drd/docs/drd-manual.xml 2008-12-22 07:10:44 UTC (rev 8862) @@ -233,8 +233,8 @@ </sect2> -<sect2 id="drd-manual.drd-versus-helgrind" xreflabel="DRD-versus-Helgrind"> -<title>Data Race Detection by DRD versus Helgrind</title> +<sect2 id="drd-manual.data-race-detection" xreflabel="data-race-detection"> +<title>Data Race Detection</title> <para> Synchronization operations impose an order on interthread memory @@ -277,8 +277,7 @@ </para> <para> -DRD is based on the happens-before algorithm, while Helgrind uses a -variant of the Eraser algorithm. +DRD is based on the happens-before algorithm. </para> </sect2> |