如何自动更新最大值？

Question

在串行代码，更新最大可以简单地通过

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

但是完成的，如何把这个为atomic<T>变量保存最大值来完成：

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

显然，从代码串行版本不起作用，因为另一个线程可能会在加载和存储之间更改maximum_value。是否可以使用compare_exchange（比较==而不是>）来执行此操作？怎么样？

请注意，显式锁定是不允许的（唯一允许的锁定是可能与执行std::atomic<T>一起执行的锁定）。

Answer 1

它似乎并不在一个单一的操作是可能的，但你可以做一个循环，试图做到这一点，直到最后成功或原子变量值变为大于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)) 
     ; 
}