c++ - para - hastags

¿Cómo actualizar atómicamente un valor máximo?

Question

En el código de serie, la actualización de un máximo podría realizarse simplemente

template<typename T>
void update_maximum(T& maximum_value, T const& value) noexcept
{
  if(value > maximum_value) maximum_value = value;
}

Sin embargo, ¿cómo se debe hacer esto para una variable atomic<T> que tiene el valor máximo:

template<typename T>
void update_maximum(std::atomic<T>& maximum_value, T const& value) noexcept
{
   // want a lock-free, thread-safe implementation
}

Obviamente, el código de la versión en serie no funciona, ya que otro hilo puede alterar el valor maximum_value entre la carga y el almacén. ¿Se puede usar el compare_exchange (que compara == lugar de > ) para implementar esto? ¿cómo?

Tenga en cuenta que los bloqueos explícitos no están permitidos (el único bloqueo permitido es el que puede venir con la implementación de std::atomic<T> ).

Answer 1

No parece ser posible en una sola operación, pero puede hacer un bucle que intente hacer esto, hasta que finalmente tenga éxito o el valor en la variable atómica se haga más grande que el value :

template<typename T>
void update_maximum(std::atomic<T>& maximum_value, T const& value) noexcept
{
    T prev_value = maximum_value;
    while(prev_value < value &&
            !maximum_value.compare_exchange_weak(prev_value, value))
        ;
}