Maksimum değeri atomik olarak nasıl güncellerim? Seri kodunda

Question

, maksimum güncellenmesi Ancak

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

tarafından basitçe başarılı olabilir, bu maksimum değer tutan bir atomic<T> değişken için nasıl yapılması gerektiğini: Açıkçası kodu

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

Başka bir iş parçacığı yük ve mağaza arasında maximum_value değiştirebilir, çünkü seri sürümü çalışmıyor. Bunu uygulamak için compare_exchange (> yerine =='u karşılaştırır) kullanılabilir mi? Nasıl?

Açık kilitlere izin verilmediğini unutmayın (yalnızca izin verilen kilit, std::atomic<T>'un uygulanmasına neden olabilir).

Answer 1

Tek operasyonda mümkün görünmüyor, ancak sonuçta başarılı veya atomik değişkeni değeri büyük value daha olana kadar sen, bunu yapmaya çalışırsa bir döngü yapabilirsiniz:

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)) 
     ; 
}