Como o std :: lock_guard pode ser mais rápido que o std :: mutex

Eu estava discutindo com um colega sobre o lock_guard, e ele propôs que o lock_guard é provavelmente mais lento que o mutex :: lock () / mutex :: unlock () devido ao custo de instanciar e desestabilizar a classe lock_guard.

Então criei esse teste simples e, surpreendentemente, a versão com lock_guard é quase duas vezes mais rápida que a versão com mutex :: lock () / mutex :: unlock ()

#include <iostream>
#include <mutex>
#include <chrono>

std::mutex m;
int g = 0;

void func1()
{
    m.lock();
    g++;
    m.unlock();
}

void func2()
{
    std::lock_guard<std::mutex> lock(m);
    g++;
}

int main()
{
    auto t = std::chrono::system_clock::now();
    for (int i = 0; i < 1000000; i++)
    {
        func1();
    }

    std::cout << "Take: " << std::chrono::duration_cast<std::chrono::milliseconds>(std::chrono::system_clock::now() - t).count() << " ms" << std::endl;

    t = std::chrono::system_clock::now();
    for (int i = 0; i < 1000000; i++)
    {
        func2();
    }

    std::cout << "Take: " << std::chrono::duration_cast<std::chrono::milliseconds>(std::chrono::system_clock::now() - t).count() << " ms" << std::endl;

    return 0;
}

Os resultados na minha máquina:

Take: 41 ms
Take: 22 ms

Alguém pode esclarecer por que e como isso pode ser?

c++ mutex Eduardo Fernandes
fonte

e quantas vezes você fez suas medições?

Art

Por favor envie as suas bandeiras de compilador ... O benchmarking dependerá do nível de otimização ...

Macmade

Pro Dica: Ao fazer medições assim, trocar a ordem para se certificar de que não é apenas fria dados / instruções causando o problema: coliru.stacked-crooked.com/a/81f75a1ab52cb1cc

NathanOliver

Outra coisa que é útil ao fazer medições como essa: coloque tudo em um loop maior, para que você execute todo o conjunto de medições, digamos, 20 vezes cada execução. Geralmente, as medições posteriores serão realmente significativas, porque, a essa altura, o cache se ajustará ao comportamento que provavelmente terá a longo prazo.

Mark Phaedrus

Mesmo que tenha std::lock_guardsido um pouco mais lento, a menos que você possa provar que é importante em termos de desempenho, esse ganho de velocidade não invalidará os outros benefícios do uso std::lock_guard(principalmente RAII). Se g++houver algo que possa ser lançado ou algo que possa se transformar em algo potencialmente mais complicado no futuro, você quase precisará usar algum tipo de objeto para possuir o bloqueio.

François Andrieux

Como o std :: lock_guard pode ser mais rápido que o std :: mutex :: lock ()?

Respostas: