Linux

7082 readers

993 users here now

A community for everything relating to the GNU/Linux operating system

Also check out:

Original icon base courtesy of [email protected] and The GIMP

founded 2 years ago

MODERATORS

Ategon

anzo

dwraf_of_ignorance

Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact (web.ist.utl.pt)

submitted 1 day ago by [email protected] to c/linux

2 comments fedilink hide all child comments

A thorough examination of the performance effects of using undefined behaviour in compiler optimizations.

Method:

Modifying clang to not use UB where this is possible

Run a large suite of benchmarks on different architectures, compare results for modified and unmodified clang

Do statistics on the results

Examine performance deviations

Discuss factors which could bias results.

Very good science!

Result in short:

Only on ARM and if no link-time optimization is used, a systematic small positive performance effect can be seen. For Intel and AMD CPUs, there are no systematic improvements.

Average effects are typically below 2%, which is the typical effect of system and measurement noise. Often, effects are even negative. In some cases, benchmarks show large differences, and many of these can be fixed by simple modifications to the compiler or program.

you are viewing a single comment's thread
view the rest of the comments

[–] MadhuGururajan 1 points 22 hours ago (1 children)

or simply use a well designed programming language.

[–] nous 2 points 3 hours ago

In a way that seems to be what the paper is showing evidence for. Basically they looked at what happens if you disable the optimizations the LLVM compiler does when it knows something is undefined (and thus should not appear in a well written program). And they claim to have found minimal performance regressions of which can largely be mitigated in other ways.

And that has been the biggest argument for having UB in C/C++ - to let the compilers optimize things in ways that you cannot do if everything was well defined. This might have been true in the past when we had a lot more variation in CPU designs but this paper seems to conclude that is no longer the case. Thus raises the question as to why do we need so much UB in C/C++ any more if performance is not a bit issue for modern programs using modern CPUs.