std :: thread :: id. Gereksinimleri. Atomize olabilir mi?

Question

Standart diyor ki: "Bir tür iş parçacığı :: id öğesi ... bir iş parçacığı temsil etmeyen tüm iş parçacığı nesneleri için tek bir ayrı değer sağlar". Bu operator== ile ilgili tek/ayrı bir değer mi, yoksa gerçek bitsel tek/ayrı değer mi?

Sorunun nedeni: MSVC2012'nin std::thread::id::id() alanlarından birinde çöp bırakır ve bir std::atomic<std::thread::id> (sonuncusu bitwise karşılaştırmalara bağlı olduğu için) karşılaştırmasıyla eşleşen bir kod kopyalar.

std::atomic<std::thread::id> öncelikle yasal bir yapı mıdır?

DÜZENLEME: referans için, kod şöyledir:

while(!worker_id.compare_exchange_weak(no_id = thread_id_type(), self_id)) 
    sleep(); 

Answer 1

Öncelikle, std::atomic<std::thread::id> yasaldır: std::thread::id, std::atomic<> (29.5p1) gereksinimlerini karşılayan önemsiz olarak kopyalanabilir (30.3.1.1p2) olmalıdır. Bununla birlikte, bu bir opak sınıftır, dolayısıyla eşitliği karşılaştıran nesnelerin bit modelinin özdeş olması gerekmemektedir.

Sonuç olarak, compare_exchange_weak veya compare_exchange_strong kullanırsanız, eşit olan değerler için başarısız olabilir.

Böylece, tavsiye önceki yinelemede sonucunda expected değeri ayrılan bir döngüde compare_exchange_weak, kullanmaktır. Senin durumunda

, ben Döngünüzden yorumlamak semantik şunlardır: worker_id iken döngü devam başka bir iş parçacığı kimliğidir veya worker_idstd::thread::id ama değişimi başarısız oldu. Bunu şu şekilde elde edebilirsiniz: o değilstd::thread::id() ise

no_id=std::thread::id(); 
while((no_id!=std::thread::id()) || 
     !worker_id.compare_exchange_weak(no_id, self_id)){ 
    if(no_id!=std::thread::id()) no_id=std::thread::id(); 
    sleep(); 
} 

veya

no_id=std::thread::id(); 
while(!worker_id.compare_exchange_weak(
      (no_id!=std::thread::id())?(no_id=std::thread::id())?no_id, self_id)) 
    sleep(); 

sadece no_id değerini değiştirmek yani.

Answer 2

Bu LWG924 tartışılmıştır. Esasen, compare_exchange_strong kullanamazsınız, ancak bir döngüde compare_exchange_weak kullanabilmeniz gerekir, ör.

expected = current.load(); 
do { 
    desired = function(expected); 
} while (!current.compare_exchange_weak(expected, desired)); 

Düzenleme: Kayıtsız şartsız değerini sıfırlama döngü amacı yendi - sağlanan koduna dayalı, ben en iyi çözüm sonra olacağını düşünüyorum:

no_id = std::thread::id(); 
while(!worker_id.compare_exchange_weak(no_id, self_id)) 
{ 
    if (no_id != std::thread::id()) 
    { 
    sleep(); 
    no_id = std::thread::id(); 
    } 
}