]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Document command-line switches new in version 3.7.0
authorBart Van Assche <bvanassche@acm.org>
Thu, 13 Oct 2011 18:50:15 +0000 (18:50 +0000)
committerBart Van Assche <bvanassche@acm.org>
Thu, 13 Oct 2011 18:50:15 +0000 (18:50 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12148

drd/docs/drd-manual.xml

index 4b0090a4a16a3c5c58f80de42d1dcf5ede6229d7..79c39d33921fcfe50e384906ce2e7bfaf6e105c2 100644 (file)
@@ -347,6 +347,20 @@ behavior of the DRD tool itself:</para>
       </para>
     </listitem>
   </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>
@@ -554,6 +568,18 @@ client program:
       </para>
     </listitem>
   </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>