While i develop my project, I found std::function is really slow.
So I tried to know why it's really slow.
But I couldn't find obvious cause of that.
I think What Cpu can't utilize instruction reordering optimization and cpu pipeline because it doesn't know which function is called is cause of poor performance.
It makes memory stall and slow performance....
Am I right???
Code wrapped into std::function is always slower than inlining code directly into calling place. Especially if your code is very short, like 3-5 CPU instructions.
If your function's code is quite big, hundreds of instructions then there will be no difference whether to use std::function or some other mechanism of calling/wrapping code.
std::function code is not inlined. Using std::function wrapper has almost same speed overhead like using virtual methods in class. More than that std::function mechanism looks very much like virtual call mechanism, in both cases code is not inlined and pointer to code is used to call it with assembler's call instruction.
If you really need speed then use lambdas and pass them around as templated parameters, like below. Lambdas are always inlined if possible (and if compiler decides that it will improve speed).
#include <functional>
template <typename F>
void __attribute__((noinline)) use_lambda(F const & f) {
auto volatile a = f(13); // call f
// ....
auto volatile b = f(7); // call f again
}
void __attribute__((noinline)) use_func(
std::function<int(int)> const & f) {
auto volatile a = f(11); // call f
// ....
auto volatile b = f(17); // call f again
}
int main() {
int x = 123;
auto f = [&](int y){ return x + y; };
use_lambda(f); // Pass lambda
use_func(f); // Pass function
}
If you look at assembler code of above example (click Try-it-online link above) then you can see that lambda code was inlined while std::function code wasn't.
Template params are always faster than other solutions, you should always use templates everywhere where you need polymorphism while having high performance.
std::function causes a few kinds of overhead.
First, it is difficult for the compiler to understand. If you had a raw function pointer, some compilers are able to "undo" the indirection easier than they can with std function. However, in these cases, often the raw function pointer and std function use was a bad one in the first place.
Second, typically how std function is implemented involves a virtual function table, which results in up to 2 indirections instead of the one of a function pointer. This hit is largest when the virtual function table falls out of your CPUs cache.
Third, C++ compilers are great at inlining, and indirection through a std function blocks that.
Now, in my experience, this overhead gets worst when you are doing buffer processing, such as a per-pixel operation.
In this case, you can have millions or billions of pixels you are working on. The work done per pixel is small, and the overhead of going through a std function call on each and every operation ends up being large compared to the actual work done.
The simplest way to solves this (and related) problems is to save a buffer processing function instead of a per-element function, like this.
using Pixel = std::uint32_t;
using Scanline = std::span<Pixel>;
using ScanlineOp = std::function<void(Scanline)>;
template<class PixelOp>
ScanlineOp MakeScanlineOp( PixelOp op ) {
return [op=std::move(op)](Scanline line) {
for (Pixel& p : line)
op(p);
};
}
here I take the per-pixel operation, and I save it along with iteration code into a std::function.
Now when processing a 4000 pixel by 4000 pixel image, instead of suffering std::function overhead 16 million times, I instead run into it 4000 times. Which reduces the cost of the overhead by 99.975% percent.
Make something 4000x faster a few times and you stop caring about how much it costs.
Now, std::span is a type not in c++11. Here is a toy version:
template<class It>
struct range {
It b, e;
using reference = typename std::iterator_traits<It>::reference;
using value_type = typename std::iterator_traits<It>::value_type;
range( It s, It f ):b(s), e(f) {}
It begin() const { return b; }
It end() const { return e; }
bool empty() const { return begin()==end(); }
reference front() const { return *begin(); }
};
template<class It>
struct random_range:range<It> {
using range<It>::range;
using reference = typename range<It>::reference;
reference back() const { return *std::prev(this->end()); }
std::size_t size() const { return this->end()-this->begin(); }
reference operator[](std::size_t i) const{ return this->begin()[i]; }
};
template<class T>
struct array_view:random_range<T*> {
array_view( T* start, T* finish ):random_range<T*>(start, finish) {}
array_view( T* start, std::size_t length ):array_view(start, start+length) {}
array_view():array_view(nullptr, nullptr) {}
template<class C>
using data_type = typename std::remove_pointer< decltype( std::declval<C>().data() )>::type;
template<class U>
static constexpr bool pointer_compatible() {
return
std::is_same<
typename std::decay<U>::type,
typename std::decay<T>::type
>::value
&& std::is_convertible<U*, T*>::value;
}
// accept any container whose
template<class C,
typename std::enable_if< pointer_compatible<data_type<C>>(), bool >::type = true
>
array_view( C&& c ):array_view(c.data(), c.size()) {}
};
The complex part is where I accept vector or array because its .data() field exists, returns a compatible pointer.
You'd convert code that looks like:
void foreachPixel( PixelOp op, Image img ) {
for (int i = 0; i < img.height(); ++i)
for (int j = 0; j < img.width(); ++j)
op(img[i][j]);
}
to
void foreachPixel( ScanlineOp op, Image img ) {
for (int i = 0; i < img.height(); ++i)
op(img.Scanline(i));
}
now, what I'm demonstrated is aimed at one concrete case. The general idea is that you can inject some of the low-level control flow into your std::function and operate one level higher, and thus remove almost all of the std::function overhead.
