</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>
</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>