Acquérir un verrou sur deux mutex et éviter les interblocages

Question

Le code suivant contient un blocage potentiel, mais semble nécessaire: pour copier en toute sécurité les données dans un conteneur d'un autre, les deux conteneurs doivent être verrouillés pour empêcher les modifications dans un autre thread. Foo a un conteneur STL et "do copy" consiste essentiellement à utiliser std :: copy. Comment verrouiller les deux mutex sans introduire de blocage?

Answer 1

Impose une sorte de commande totale sur les instances de foo et acquiert toujours leurs verrous dans l'ordre croissant ou décroissant, par exemple., foo1->lock() puis foo2->lock().

Une autre approche consiste à utiliser une sémantique fonctionnelle et à écrire à la place une méthode foo::clone qui crée une nouvelle instance plutôt que de tabasser une instance existante.

Si votre code effectue beaucoup de verrouillage, vous aurez peut-être besoin d'un algorithme complexe d'évitement de blocage, tel que le banker's algorithm.

Answer 2

Que pensez-vous de cela?

void foo::copy(const foo & rhs) 
{ 
    scopedLock lock(rhs.pMutex); // release mutex in destructor 
    foo tmp(rhs); 
    swap(tmp); // no throw swap locked internally 
} 

Ceci est une exception sûre, et assez bien sûr aussi. Pour être 100% thread, vous aurez besoin de revoir tout le chemin du code et de re-examiner à nouveau avec un autre ensemble d'yeux, après l'examiner à nouveau ...

Answer 3

Pour éviter une impasse, c'est probablement mieux, d'attendre jusqu'à à la fois les ressources peuvent être verrouillées:

ne sais pas quelle API mutex que vous utilisez est donc ici un code pseudo arbitraire, supposons que can_lock() vérifie uniquement si elle peut verrouiller un mutex, et que try_lock() renvoie true si elle a fait serrure, et faux , si le mutex est déjà verrouillé par quelqu'un d'autre.

void foo::copy(const foo & rhs) 
{ 
    for(;;) 
    { 
     if(! pMutex->cany_lock() || ! rhs.pMutex->cany_lock()) 
     { 
      // Depending on your environment call or dont call sleep() 
      continue; 
     } 
     if(! pMutex->try_lock()) 
      continue; 
     if(! rhs.pMutex->try_lock()) 
     { 
      pMutex->try_lock() 
      continue; 
     } 
     break; 
    } 
    // do copy 
} 

Answer 4

Vous pouvez verrouiller les deux mutex en même temps en utilisant scoped_lock ou auto_lock .... comme faire le virement bancaire ...

void Transfer(Receiver recv, Sender send) 
{ 
    scoped_lock rlock(recv.mutex); 
    scoper_lock slock(send.mutex); 

    //do transaction. 
}