Questions about grouping data race warnings on application level

[lee.k...@gmail.com]

Hi,

I have a question about grouping static data race warning in chord on application level.  For example, I have a field "a" of type java.util.ArrayList in my application.  There are some races for "a".  By default, Chord will report those races occurred on fields elementData or size inside java.util.ArrayList.  But I only care about whether there are any pair of races on "a" or not.  I don't want races reported in the library class (like ArrayList).  Is there any way to configure Chord to do that?

I appreciate your help!

Kaituo Li
PhD student
UMass Amherst
kai...@cs.umass.edu

[Mayur Naik]

Yes, you can set the system property chord.check.exclude.  See http://pag-www.gtisc.gatech.edu/chord/user_guide/properties.html

-- Mayur

--
You received this message because you are subscribed to the Google Groups "chord-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to chord-discus...@googlegroups.com.
To post to this group, send email to chord-...@googlegroups.com.
Visit this group at http://groups.google.com/group/chord-discuss.
For more options, visit https://groups.google.com/groups/opt_out.

[Kaituo Li]

Hi Mayur,

Thanks for your quick response:) 

I tried to use chord.check.exclude.  I still have problems:

Here is the value I specified for chord.check.exclude:

chord.check.exclude="java.,java.awt.,javax.,com.sun.,com.sun.apple.,sun.,apple.,org.eclipse.,apache.,java.util.regex.Pattern,java.lang.System,java.io.PrintStream,java.io.PrintWriter,java.io.StringReader,java.util.Vector,java.lang.Throwable,java.security.AccessControlContext,java.util.Random,java.lang.Integer,java.lang.SecurityManager,java.lang.ClassLoader,java.util.Properties,java.lang.StringBuffer,java.lang.String,java.lang.StringBuilder,java.lang.AbstractStringBuilder,java.util.ArrayList"

As you can see, I used both "java." and "java.util.ArrayList".  But still, I saw races under "Dataraces on java.util.ArrayList.size" and "Dataraces on java.util.ArrayList.elementData". 

Is there any steps I am missing?

Best,
Kaituo