Производительность std:: function по сравнению с необработанным указателем функции и void * this?

Код библиотеки:

class Resource 
{
public:
    typedef void (*func_sig)(int, char, double, void*);
//Registration
    registerCallback(void* app_obj, func_sig func)
    {
        _app_obj = app_obj;
        _func = func;
    }

//Calling when the time comes
    void call_app_code()
    {
        _func(231,'a',432.4234,app_obj);
    }
//Other useful methods
private:
    void* app_obj;
    func_sig _func;
//Other members
};

Код приложения:

class App
{
public:
    void callme(int, char, double);
//other functions, members;
};

void callHelper(int i, char c, double d, void* app_obj)
{
    static_cast<App*>(app_obj)->callme(i,c,d);
}

int main()
{
    App a;
    Resource r;
    r.registercallback(&a, callHelper);
//Do something
}

Вышеприведенная информация представляет собой минимальную реализацию механизма обратного вызова. Он более подробный, не поддерживает привязку, заполнители и т.д., Такие как std:: function. Если я использую std::function или boost::function для вышеупомянутой usecase, будут ли какие-либо недостатки производительности? Этот обратный вызов будет находиться на очень критическом пути приложения реального времени. Я слышал, что функция boost:: function использует виртуальные функции для фактической отправки. Будет ли это оптимизировано, если нет привязки/заполнителей?

Ответ 1

Я довольно часто задавался вопросом, поэтому начал писать очень минимальный эталон, который пытается имитировать производительность зациклированными атомарными счетчиками для каждой версии обратного вызова функции-указателя.

Имейте в виду, что это обычные вызовы функций, которые выполняют только одну вещь, атомарно увеличивая счетчик;

Проверяя полученный сгенерированный вывод ассемблера, вы можете узнать, что пустой цикл указателей C-функций скомпилирован в 3 команды ЦП,

вызов С++ 11 std::function просто добавляет еще 2 инструкций процессора, таким образом, 5 в нашем примере. В заключение: абсолютно неважно, какой способ использования функции указателя вы используете, различия в служебных данных в любом случае очень малы.

((Запутывание однако заключается в том, что назначенное лямбда-выражение, кажется, работает быстрее других, даже чем C-one.))

Скомпилируйте пример с помощью clang++ -o tests/perftest-fncb tests/perftest-fncb.cpp -std=c++11 -pthread -lpthread -lrt -O3 -march=native -mtune=native

#include <functional>
#include <pthread.h>
#include <stdio.h>
#include <unistd.h>

typedef unsigned long long counter_t;

struct Counter {
    volatile counter_t bare;
    volatile counter_t cxx;
    volatile counter_t cxo1;
    volatile counter_t virt;
    volatile counter_t lambda;

    Counter() : bare(0), cxx(0), cxo1(0), virt(0), lambda(0) {}
} counter;

void bare(Counter* counter) { __sync_fetch_and_add(&counter->bare, 1); }
void cxx(Counter* counter) { __sync_fetch_and_add(&counter->cxx, 1); }

struct CXO1 {
    void cxo1(Counter* counter) { __sync_fetch_and_add(&counter->cxo1, 1); }
    virtual void virt(Counter* counter) { __sync_fetch_and_add(&counter->virt, 1); }
} cxo1;

void (*bare_cb)(Counter*) = nullptr;
std::function<void(Counter*)> cxx_cb;
std::function<void(Counter*)> cxo1_cb;
std::function<void(Counter*)> virt_cb;
std::function<void(Counter*)> lambda_cb;

void* bare_main(void* p) { while (true) { bare_cb(&counter); } }
void* cxx_main(void* p) { while (true) { cxx_cb(&counter); } }
void* cxo1_main(void* p) { while (true) { cxo1_cb(&counter); } }
void* virt_main(void* p) { while (true) { virt_cb(&counter); } }
void* lambda_main(void* p) { while (true) { lambda_cb(&counter); } }

int main()
{
    pthread_t bare_thread;
    pthread_t cxx_thread;
    pthread_t cxo1_thread;
    pthread_t virt_thread;
    pthread_t lambda_thread;

    bare_cb = &bare;
    cxx_cb = std::bind(&cxx, std::placeholders::_1);
    cxo1_cb = std::bind(&CXO1::cxo1, &cxo1, std::placeholders::_1);
    virt_cb = std::bind(&CXO1::virt, &cxo1, std::placeholders::_1);
    lambda_cb = [](Counter* counter) { __sync_fetch_and_add(&counter->lambda, 1); };

    pthread_create(&bare_thread, nullptr, &bare_main, nullptr);
    pthread_create(&cxx_thread, nullptr, &cxx_main, nullptr);
    pthread_create(&cxo1_thread, nullptr, &cxo1_main, nullptr);
    pthread_create(&virt_thread, nullptr, &virt_main, nullptr);
    pthread_create(&lambda_thread, nullptr, &lambda_main, nullptr);

    for (unsigned long long n = 1; true; ++n) {
        sleep(1);
        Counter c = counter;

        printf(
            "%15llu bare function pointer\n"
            "%15llu C++11 function object to bare function\n"
            "%15llu C++11 function object to object method\n"
            "%15llu C++11 function object to object method (virtual)\n"
            "%15llu C++11 function object to lambda expression %30llu-th second.\n\n",
            c.bare, c.cxx, c.cxo1, c.virt, c.lambda, n
        );
    }
}

Ответ 2

std::function выполняет стирание типа в типе функции, и существует несколько способов его реализации, поэтому вы можете добавить, какую версию компилятора вы используете для получения точного ответа.

boost::function во многом идентичен std::function и поставляется с записью FAQ при накладных вызовах и некоторой общий раздел о производительности. Они дают некоторые подсказки о том, как работает объект функции. Если это применимо в вашем случае, зависит от вашей реализации, но цифры не должны существенно отличаться.