cBench coverage experiments

7 views
Skip to first unread message

Fernando Magno Quintao Pereira

unread,
Dec 23, 2019, 9:43:51 AM12/23/19
to ctuning-discussions
Dear all,

I would like to report some results that we got after running coverage experiments for cBench. The results are available in these two charts:

* https://homepages.dcc.ufmg.br/~fernando/coisas/cBenchResults/instrs-norm1.pdf
* https://homepages.dcc.ufmg.br/~fernando/coisas/cBenchResults/instrs-norm2.pdf

    To compute these figures, we have used CFGGrind, a dynamic CFG
reconstructor (https://github.com/rimsa/CFGgrind). What we have found
is that, for some benchmarks, the extra inputs greatly increase code
coverage. Examples of programs in this category include bzip2d,
bzip2e, office_ghostscript, security_sha and office_ispell.

    However, these benchmarks seem to be more the exception than the
rule. For most of the benchmarks, the extra inputs do not seem to
increase coverage. For instance, in telecom_adpcm_d or
network_patricia the first input that we tried already yielded the
maximum coverage that we could get with any input. Such is the case of
several other benchmarks, as you will see in the figures.

    So, maybe, for some of the benchmarks, it would be nice to see if
it would be possible to find a more diverse set of datasets. You guys
can check the coverage using CFGGrind directly. However, we can also
run CFGGrind onto any new dataset that eventually becomes available
for cBench.

Regards,

Fernando Pereira (UFMG)

Grigori Fursin

unread,
Jan 10, 2020, 3:42:48 PM1/10/20
to ctuning-d...@googlegroups.com, Collective Knowledge, Amir H. Ashouri, jeremy....@embecosm.com
Hi Fernando,

Thank you for sharing these very interesting results!

I am not working on this topic at the moment and swamped with our CodeReef project but I CC-ed your message to the CK mailing list where I remember seeing several colleagues discussing compiler tuning.

I also added Amir Ashouri to CC - he has been working on related topic for a long time ...

I also remember seeing a new benchmarking initiative: embench.org  - I think they may be interested in your results (I added Jeremy to CC too).

Thanks again and happy new year,
Grigori

===================================
Grigori Fursin, PhD
President of the cTuning foundation
Co-founder and CTO of CodeReef.ai
--
You received this message because you are subscribed to the Google Groups "ctuning-discussions" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ctuning-discuss...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ctuning-discussions/6a79ec08-2d49-4f3e-873f-1230949ad232%40googlegroups.com.

Reply all
Reply to author
Forward
0 new messages