Fonction atomique sans verrous pour modifier deux emplacements de mémoire indépendants

Question

J'ai la fonction suivante appelée updateEntry qui écrit une valeur dans une table de recherche. Je voudrais créer une version multi-thread de cette fonction. Je regardais dans l'opération atomique __sync_bool_compare_and_swap mais je ne suis pas sûr de savoir comment l'appliquer correctement.

Est-il théoriquement possible d'implémenter cette fonction de manière atomique sans verrouillage, puisqu'elle modifie deux emplacements de mémoire indépendants entryLookup[id] et entry?

void updateEntry(Entry ** entryLookup, unsigned int id, int val1, short val2){ 
      Entry * entry  = entryLookup[id]; 
      entry->val1  = val1; 
      entry->val2  = val2; 
      entryLookup[id] += sizeof(Entry); 
    } 

Answer 1

Pour rendre ce thread-safe, vous pouvez augmenter entryLookup[id] pour vous assurer que tout autre thread qui vient plus tard ne peut pas changer la même entrée, puis remplissez les valeurs. Une addition atomique est nécessaire lorsque l'ancienne valeur est renvoyée:

void updateEntry(Entry ** entryLookup, unsigned int id, int val1, short val2) 
{ 
    Entry * entry = __sync_fetch_and_add(&entryLookup[id], sizeof(Entry)); 
    entry->val1 = val1; 
    entry->val2 = val2; 
}