What does "Use maximum resources" option do on the data race detection analysis?
I found that there is a significant performance differcence between with and without that option. But the analysis results are not quite different.
For instance, for one program it took about 15 seconds without the option while it took about 5 minutes with the option.
Does it make skip analysis for some parts of a program? Some kind of sampling technique?
The purpose to use "Use maximum resources" is that Inspector detects more data races for shared variables on stack, in threads.
Consider to reduce cost by using option "-knob use-maximum-resources=false" to turn off.