Threadsicherheit: Mehrere Threads, die von einer einzelnen const-Quelle lesen

Question

Was sollte ich in Bezug auf Thread-Sicherheit und undefiniertes Verhalten beachten, wenn mehrere Threads von einer einzigen Quelle lesen, die konstant ist?

Ich arbeite an einem Signalverarbeitungsmodell, das parallele Ausführung von unabhängigen Prozessen ermöglicht, diese Prozesse können einen Eingangspuffer teilen, aber der Prozess, der den Eingangspuffer füllt, wird immer abgeschlossen sein, bevor die nächste Stufe von möglicherweise parallelen Prozessen ausführen.

Muss ich mich in dieser Situation um Threadsicherheitsprobleme kümmern? und was könnte ich dagegen tun?

möchte ich zu anmerken, dass eine Sperre freie Lösung wäre am besten, wenn möglich

Answer 1

aber der Prozess, der Eingangspuffer vollständig füllt wird immer, bevor die nächste Stufe der möglicherweise parallele Prozesse

ausführt Wenn dies dann gibt es garantiert kein Problem mit mehreren von verschiedenen Threads liest für konstante Objekte.

Ich habe den offiziellen Standard nicht, so dass die folgenden von n4296 ist:

17.6.5.9 Daten Rennen Vermeidung

A C++ Funktion Standardbibliothek wird nicht direkt oder indirekt Ändern von Objekten (1.10), auf die durch Threads anders als der aktuelle Thread zugegriffen werden kann, es sei denn, auf die Objekte wird direkt oder indirekt über die nichtkonstanten Argumente der Funktion zugegriffen, einschließlich dieser.

[Anmerkung: Das bedeutet zum Beispiel, dass Implementierungen kein statisches Objekt für interne Zwecke ohne Synchronisation verwenden können, weil sie ein Daten Rennen auch in Programmen die dazu führen könnten, die nicht explizit Objekte zwischen Threads gemeinsam nutzen . -Ende note]

---

Hier ist die Herb Sutter video, wo ich zum ersten Mal über die Bedeutung von const in dem C++ 11-Standard gelernt. (siehe ca. 7:00 bis 10:30)

Answer 2

Nein, Sie sind OK. Mehrfache Lesevorgänge von der gleichen konstanten Quelle sind OK und stellen kein Risiko in allen Threadingmodellen dar, die ich kenne (nämlich Posix und Windows).

jedoch

aber der Prozess, der Eingangspuffer vollständig ist immer

Was die Garantien sind hier füllt? Woher weißt du das wirklich? Hast du eine Synchronisation?