Kann ich eine thread-sichere std::atomic<vector<int>>?

Ich habe eine Funktion, die ausgeführt werden muss n=1000 Zeiten. Diese Funktionen hat ein Stil von Monte Carlo simulation und gibt einen int als das Ergebnis. Ich würde gerne nthreads=4 parallel. Immer wenn ein thread abgeschlossen ist ein Zyklus, es sollte das Ergebnis in eine std::vector<int>.
So, nach 1000 Zyklen, ich habe einen vector von 1000 ints, die untersucht werden kann, indem Statistiken.

Da ein std::vector ist nicht thread-sicher, dachte ich über std::mutex (die würden sicherlich funktionieren).

Aber ich Frage mich, ob ich das deklarieren einer vector-atomar sind und damit umgehen Mutexe?
Ist es möglich, ein std::atomic<std::vector<int>>? Und kann ich push_back etc. auf es?

  • Hast std::atomic<std::vector<int>> kompiliert?
  • Ich kann nicht versuchen, auf diese Maschine... aber kam gerade über atomic.
  • Ich wollte nur hinzufügen, dass wenn Sie von Anfang an wissen, dass Sie 1000 Hinrichtungen und der container store genau 1000 ergibt sich dann, warum Sie verwenden möchten, dynamischen container? Ich weiß, dass std::vector verwendet array in der Umsetzung und keine Umverteilung erforderlich sein werden, wenn Sie reservieren Sie genügend Speicherplatz am Anfang (also es werden keine Leistungssteigerung durch Verwendung von std::array).
InformationsquelleAutor dani | 2015-09-21
  1. 9

    Brauchen Sie nicht. Es ist völlig okay, um Zugang ja std::vector von mehreren threads, wenn

    • Sie Lesen Objekte
    • schreiben Sie verschiedenen Objekte

    So stellen Sie einfach sicher, erstellen Sie einen Vektor der Größe n=1000 und je nach thread-Anzahl (1 bis 4) ordnen Sie Elemente 0-249, 250-499 etc. auf deine threads.

    So dass jeder thread berechnet n/nthreads Elemente.

    • Es ist sehr wichtig, dass der Vektor ist angemessen proportioniert vor, um die Zuweisung von teilen davon auf die Gewinde jeder Größenänderung wird auf jeden Fall nicht threadsicher sind.
    • Aber Sie müssen noch um die Synchronisierung zwischen dem Leser und dem Schriftsteller selbst, wenn Sie es so machen. Insbesondere, aber nicht ausschließlich, denn es ist nicht garantiert, dass Zugriffe auf int sind atomic auf allen Architekturen, es sei denn, Sie verwenden atomic_int oder std::atomic<int>.
    InformationsquelleAutor UniversE
  2. 22

    C++11 §29.5/1 sagt

    Es ist eine generische Klasse template atomic. Die Art der template-argument T ist trivial kopierbaren (3.9).

    Was nicht trivial kopierbaren bedeuten?

    §3.9 erzählt

    Skalare Typen, trivial kopierbaren Klasse-Typen (Klausel 9), arrays von solchen Typen, und cv-qualifizierte Versionen dieser Typen (3.9.3) werden zusammenfassend als trivial kopierbaren Arten.

    Klasse-Typen (von denen std::vector ist):

    Einen trivial kopierbaren Klasse:

    • hat keine nicht-trivialen copy-Konstruktoren
    • hat keine nicht-triviale move-Konstruktoren
    • hat keine nicht-trivialen copy-Zuweisungsoperatoren
    • hat keine nicht-triviale move-Zuweisungs-Operator
    • hat einen trivialen Destruktor

    Laut dieser Liste std::vector ist nicht trivial kopierbaren und so kann man nicht mit std::atomic<std::vector<int>>.

    Da Sie wissen, die Größe im Voraus, und da brauchen Sie nicht zu verwenden Methoden, die erfordern würde, dass der Vektor zugewiesen werden, in einen anderen Speicherort (wie push_back). Sie können std::vector<int>::resize oder die Größe Konstruktor preallocate und preconstruct die erforderlichen ints. Daher ist Ihre gleichzeitige threads müssen nicht für den Betrieb auf den Vektor selbst, sondern auf die Elemente.

    Wenn es keinen Zugriff aus verschiedenen threads auf das selbe element es gibt keine race-condition.

    Das gleiche gilt für int k[1000] ist trivial kopierbar. Aber Sie brauchen es nicht zu sein, da die threads nicht ändern, array/vector/Liste selbst, sondern die Elemente.

    InformationsquelleAutor Pixelchemist
  3. 4

    Atomic instanziiert werden kann mit trivial kopierbaren Arten. Vector ist nicht so ein Typ.

    • Eine Frage ist keine Antwort. Bitte schreiben Sie Fragen zu der OP, als einen Kommentar auf die Frage
    • Ist ein C-Stil-array wie int k[1000] eine "trivial kopierbaren Typs"?
    • k nur einen Zeiger. Zeiger sind trivial kopierbar. Aber ich weiß nicht, ob dieses als eine Tabelle werden threadsicher als k ist ein normaler Zeiger, aber k[5] kann geschrieben werden als *(k+5) und k+5 ist eine andere Zeiger, aber ich bin nicht sicher, ob es wirklich. Sie können überprüfen is_trivially_copyable aus std. Würden Sie normalerweise schreiben Sie Ihre eigenen threadsafe_vector Typ für threadsicher Container.
    InformationsquelleAutor DawidPi
Schreibe einen Kommentar