|
From: <sv...@va...> - 2011-10-13 18:55:05
|
Author: bart
Date: 2011-10-13 19:50:15 +0100 (Thu, 13 Oct 2011)
New Revision: 12148
Log:
Document command-line switches new in version 3.7.0
Modified:
trunk/drd/docs/drd-manual.xml
Modified: trunk/drd/docs/drd-manual.xml
===================================================================
--- trunk/drd/docs/drd-manual.xml 2011-10-13 18:16:29 UTC (rev 12147)
+++ trunk/drd/docs/drd-manual.xml 2011-10-13 18:50:15 UTC (rev 12148)
@@ -349,6 +349,20 @@
</varlistentry>
<varlistentry>
<term>
+ <option><![CDATA[--join-list-vol=<n> [default: 10]]]></option>
+ </term>
+ <listitem>
+ <para>
+ Data races that occur between a statement at the end of one thread
+ and another thread can be missed if memory access information is
+ discarded immediately after a thread has been joined. This option
+ allows to specify for how many joined threads memory access information
+ should be retained.
+ </para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term>
<option>
<![CDATA[--first-race-only=<yes|no> [default: no]]]>
</option>
@@ -556,6 +570,18 @@
</varlistentry>
<varlistentry>
<term>
+ <option><![CDATA[--trace-hb=<yes|no> [default: no]]]></option>
+ </term>
+ <listitem>
+ <para>
+ Trace execution of the <literal>ANNOTATE_HAPPENS_BEFORE()</literal>,
+ <literal>ANNOTATE_HAPPENS_AFTER()</literal> and
+ <literal>ANNOTATE_HAPPENS_DONE()</literal> client requests.
+ </para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term>
<option><![CDATA[--trace-mutex=<yes|no> [default: no]]]></option>
</term>
<listitem>
|