C++ unordered_map STL, la sicurezza thread in cui ogni thread ha accesso solo ad essa la propria tasto assegnato e può modificare tale valore

Question

Ecco lo scenario:

1) utilizzando un unordered_map<int, vector<MyClass*>*> diciamo aggiungo i tasti 1, 2, ... 8
2) tutti i tasti sono impostati con un vettore all'inizializzazione del programma e nulla viene aggiunto o eliminato
3) Ho 8 thread, dove thread1 accede a chiave [1], thread2 accede a chiave [2], ... thread8 accesses key [8] (ovvero il numero di thread può accedere solo a quel numero di chiave e nessun'altra chiave)

A volte riassegno il valore vecto r * in un'altra raccolta allocata di heap. (cioè thread1 esegue key[1] = new vector<MyClass*>)

Credo che questo sia sicuro, sono corretto? In caso contrario, suppongo che userò concurrent_unordered_map.

grazie.

Answer 1

La risposta a questa domanda si può trovare in [res.on.data.races]/3:

Una funzione libreria standard C++ non deve modificare direttamente o indirettamente oggetti (1,10) accessibile da fili diversi thread corrente meno che gli oggetti sono accessibili direttamente o indirettamente tramite gli argomenti non const della funzione, incluso questo.

Inoltre, [container.requirements.dataraces]/1 stati:

A scopo di evitare corse di dati ([res.on.data.races]), implementazioni esaminano le seguenti funzioni di essere const: begin, end, rbegin, rend, front, back, data , find, lower_bound, upper_bound, equal_range, at e, tranne che in associazione o non ordinata a contenitori ssociative, operator[].

Dal unordered_map::operator[] è non-const, è legale per un'implementazione di modificare il unordered_map quando si verifica una chiamata a operator[]. Si dovrebbe invece usare unordered_map::find, che viene esplicitamente richiesto di essere trattati come const, e quindi non modificherà la unordered_map:.

map.find(key)->second = new vector<MyClass*>; 

(Come nota a margine, il vostro disegno suggerito sembra una ricetta per perdite di memoria Perché non renderlo un unordered_map<int, std::unique_ptr<vector<MyClass*>>>, o unordered_map<int,vector<MyClass*>>?)