Wymagania dla std :: thread :: id. Czy może być atomizowany?

Question

Standard mówi: "Obiekt typu thread: id zapewnia ... pojedynczą odrębną wartość dla wszystkich obiektów wątku, które nie reprezentują wątku wykonania". Czy jest to pojedyncza/odrębna wartość w odniesieniu do operator==, czy jest to rzeczywista wartość pojedyncza/różna bitowo?

Powód pytania: std::thread::id::id() MSVC2012 pozostawia śmieci w jednym z jego pól, a następnie łamie kod, który dokonuje porównania na std::atomic<std::thread::id> (ponieważ ten ostatni zależy od porównań bitowych).

Czy std::atomic<std::thread::id> jest konstrukcją prawną?

EDIT: dla odniesienia, kod wygląda tak:

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

Answer 1

Po pierwsze, std::atomic<std::thread::id> jest legalne: std::thread::id musi być trywialnie kopiowalny (30.3.1.1p2), który spełnia wymagania std::atomic<> (29,5p1).

Jest to jednak klasa nieprzezroczysta, więc nie ma wymogu, aby wzór bitowy porównywanych obiektów był identyczny.

W związku z tym, jeśli używasz compare_exchange_weak lub compare_exchange_strong, może się to nie udać w przypadku porównywanych wartości.

Zatem rada jest użycie compare_exchange_weak w pętli pozostawiając wartość expected jako wynik poprzedniej iteracji.

W twoim przypadku, semantyka interpretować z pętli są: utrzymanie pętli podczas worker_id jest identyfikatorem innego wątku, albo worker_id był std::thread::id ale wymiana nie powiodło się. Można to osiągnąć z następujących czynności:

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

lub

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

to tylko zmienić wartość no_id jeśli jest niestd::thread::id().

Answer 2

Zostało to omówione w LWG924. Zasadniczo nie można używać compare_exchange_strong, ale powinieneś być w stanie użyć compare_exchange_weak w pętli, np.

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

Edit: Bezwarunkowo resetowania wartości celowość pętli - na podstawie kodu dołączonego Myślę, że najlepszym rozwiązaniem byłoby wtedy:

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