diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-20 14:51:46 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-20 14:56:20 +0100 |
| commit | 758a06c51fcc397bbecad827f47698285fe0c5c1 (patch) | |
| tree | 842343406dc0abb7c99a0591557a2d832183e0e3 /executor/executor.cc | |
| parent | 1451a9b65d3b4b4bec3840c83c31bfbca35761b2 (diff) | |
prog: generate larger arrays
Currently we generate arrays of size [0,5] with equal probability.
Generate [0,10] with bias towards smaller arrays. But 0 has the lowest probability.
I've benchmark a slightly different change with max array size of 20,
results are somewhat inconclusive: it was better than baseline almost all way,
but baseline suddenly caught up at the end. It also considerably reduced
executions per second (by ~20%). So increasing array size to 10 should be a win...
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions