<![CDATA[Muss der Vektor in diesem Fall durch ein Mutex geschützt werden?]]>Hallo zusammen,

Gegeben ist ein globaler vector<>. Mehrere Threads greifen auf unterschiedliche Indizes dieses vector<>s "gleichzeitig" schreibend zu. Wenn garantiert ist, dass das pro Thread auf unterschiedliche Indizes passiert - müssen dann die Zugriffe durch ein Mutex geschützt werden?

Danke 🙂

]]>https://www.c-plusplus.net/forum/topic/299085/muss-der-vektor-in-diesem-fall-durch-ein-mutex-geschützt-werdenRSS for NodeThu, 13 Aug 2026 12:44:14 GMTThu, 02 Feb 2012 10:04:41 GMT60<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 10:04:41 GMT]]>Hallo zusammen,

Gegeben ist ein globaler vector<>. Mehrere Threads greifen auf unterschiedliche Indizes dieses vector<>s "gleichzeitig" schreibend zu. Wenn garantiert ist, dass das pro Thread auf unterschiedliche Indizes passiert - müssen dann die Zugriffe durch ein Mutex geschützt werden?

Danke 🙂

]]>https://www.c-plusplus.net/forum/post/2175945https://www.c-plusplus.net/forum/post/2175945Thu, 02 Feb 2012 10:04:41 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 10:07:24 GMT]]>Muss ein blankes C-Array geschuetzt werden, wenn nur ueber unterschiedliche Indizes auf die Objekte zugegriffen wird?

Btw. Selber denken, Glueck verschenken.

]]>https://www.c-plusplus.net/forum/post/2175946https://www.c-plusplus.net/forum/post/2175946Thu, 02 Feb 2012 10:07:24 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 10:16:47 GMT]]>Na eigentlich nicht, da nie zwei threads eine Schreiboperation auf die gleiche Speicherstelle gleichzeitig durchführen. Aber vielleicht gibt es ja höhere Mechanismen (Speicherverwaltung...), die dem widersprechen !?

Edit: Oder gibt es die nicht ?

]]>https://www.c-plusplus.net/forum/post/2175948https://www.c-plusplus.net/forum/post/2175948Thu, 02 Feb 2012 10:16:47 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 10:27:02 GMT]]>Wenn kein Thread auf die Idee kommt, dem Vector ein neues Element hinzuzufügen,
was eine Reallokation zur Folge haben kann, dann eigentlich nicht.
Intern verhält sich der Vektor wie ein Array und ein Array ist im Grunde nichts anderes als eine Reihe von unabhängigen Objekten, die eben hintereinander im Speicher liegen. Wenn immer nur ein Thread auf eines dieser Objekte zugreift, passiert da gar nichts.

]]>https://www.c-plusplus.net/forum/post/2175952https://www.c-plusplus.net/forum/post/2175952Thu, 02 Feb 2012 10:27:02 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 10:28:20 GMT]]>

Wenn [...] müssen dann die Zugriffe durch ein Mutex geschützt werden?

Ich hoffe nicht. Denn dann hätte ich auf der Arbeit Mist gebaut. 😉

]]>https://www.c-plusplus.net/forum/post/2175953https://www.c-plusplus.net/forum/post/2175953Thu, 02 Feb 2012 10:28:20 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 10:32:20 GMT]]>Dann hab ich wohl auch Glück gehabt 🤡

]]>https://www.c-plusplus.net/forum/post/2175955https://www.c-plusplus.net/forum/post/2175955Thu, 02 Feb 2012 10:32:20 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 10:45:55 GMT]]>Man könnte auch einen Zeiger auf das erste Element irgendwo ablegen, und die Elemente dann über diesen ansprechen.
Damit ist vector<> aus dem Spiel - die einzige Anforderung ist dann dass nicht zwei Elemente von unterschiedlichen Threads verwendet werden, und dass keiner eine Reallocation vom vector<> auslöst.

Ansonsten müsste man mal sehen wie der non-const operator [] definiert ist. Wenn der als Leseoperation definiert ist, dann müsste der Standard auch mit direktem Zugriff garantieren dass es funktioniert.

]]>https://www.c-plusplus.net/forum/post/2175961https://www.c-plusplus.net/forum/post/2175961Thu, 02 Feb 2012 10:45:55 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 11:03:05 GMT]]>Also bei Java ist es zumindest so, dass wenn mindestens 1 thread auf etwas schreibt und es zusätzlich noch andere leser gibt, synchronisiert werden muss (volatile oder lock).

Ich weiß nicht genau, ob das bei c++ auch so ist.

Der Grund ist wohl, dass es beim schreiben sein kann, dass erstmal nur in den cache geschrieben wird oder vielleicht auch erstmal nur in ein register und das geschriebene deswegen für andere unter umständen noch nicht sichtbar ist.

Korrigiert mich bitte, falls das falsch ist. Aber bei "Java Concurrency in Practie" wurde das so gelehrt, wenn ich das nicht ganz falsch verstanden habe.
Und dieses Problem sollte ja eigentlich Sprachunabhängig vorhanden sein.

]]>https://www.c-plusplus.net/forum/post/2175965https://www.c-plusplus.net/forum/post/2175965Thu, 02 Feb 2012 11:03:05 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 11:13:08 GMT]]>Q schrieb:

Also bei Java ist es zumindest so, dass wenn mindestens 1 thread auf etwas schreibt und es zusätzlich noch andere leser gibt, synchronisiert werden muss (volatile oder lock).

Ich weiß nicht genau, ob das bei c++ auch so ist.

Das ist richtig, aber hier nicht gefragt.

]]>https://www.c-plusplus.net/forum/post/2175967https://www.c-plusplus.net/forum/post/2175967Thu, 02 Feb 2012 11:13:08 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 11:21:09 GMT]]>krümelkacker schrieb:

Wenn [...] müssen dann die Zugriffe durch ein Mutex geschützt werden?

Ich hoffe nicht. Denn dann hätte ich auf der Arbeit Mist gebaut. 😉

Dann hast du Mist gebaut. Da je nach Prozessor möglicherweise mehr Bits geschrieben werden, als du eigentlich verändert hast (z.B. änderst du ein Bool, der Prozessor schreibt aber 64 Bit), können benachbarte Werte überschrieben werden. Das hängt vermutlich auch vom Compiler ab, da C++ ja erst im neusten Standard Threads kennt.
Herb Sutter hatte das mal in einem seiner Thread Artikel für Dr. Dobb's beschrieben (leider kann ich spontan keinen Link liefern). In "Programming with POSIX Threads" von Butenhof werden die Probleme ebenfalls erläutert.

]]>https://www.c-plusplus.net/forum/post/2175971https://www.c-plusplus.net/forum/post/2175971Thu, 02 Feb 2012 11:21:09 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 13:12:36 GMT]]>manni66, das, was Du meinst, nennt sich "false sharing". Da geht es im Wesentlichen um ein ungeschicktes Speicherlayout und/oder einer ungeschickten Arbeitsaufteilung, die sich Cache-bedingt typischerweise negativ in der Ausführungsgeschwindigkeit auswirkt. Bis auf Unterschiede in der Ausführungsgeschwindigkeit ist der Cache aber transparent und es macht für die Korrektheit keinen Unterschied, wie groß eine Cache-Line ist. Die Geschwindigkeitseinbußen kommen gerade daher, dass die Caches sich wegen false sharing aufwendig synchronisieren müssen (per Cache-Kohärenz-Protokoll). Das wär ja sonst ein ziemlich blödes Speichermodell. Ich bin mir ziemlich sicher, dass im C++2011 Speichermodell der gleichzeitige Zugriff auf benachbarte Bytes (also thread 1 -> byte 1, thread 2 -> byte 2) kein Datenrennen darstellt.

Da ich in meinem Fall jedem Thread einen kontinuierlichen Bereich des Vektors zuordne, kann es höchstens an den Intervallgrenzen zu false sharing kommen. Und selbst da ist es unwahrscheinlich, weil jeder Thread linear forwärts durch sein eigenes Intervall des Vektors läuft.

Ich bin jetzt kein multi-CPU-/Cache-Profi, der auf unterster Ebene weiß, was genau passiert. Das muss man aber auch nicht sein, um korrekt programmieren zu können. Da reichen Speichermodelle. Die Caches sich im Fall von false sharing unterhalten, ist mir echt egal.

]]>https://www.c-plusplus.net/forum/post/2175980https://www.c-plusplus.net/forum/post/2175980Thu, 02 Feb 2012 13:12:36 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 15:00:24 GMT]]>@krümelkacker:
"False sharing" nennt man das wenn es die Performance drückt, aber alles korrekt funktioniert.
Wenn es zu unerwünschtem/unerwartetem Verhalten führt, dann nennt man es Scheissendreck. (Ne, sorry, keine Ahnung wie man dann sagt :D)

]]>https://www.c-plusplus.net/forum/post/2176049https://www.c-plusplus.net/forum/post/2176049Thu, 02 Feb 2012 15:00:24 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 15:06:05 GMT]]>Herb Sutter redet ganz gerne von "false sharing" in diesem Kontext. Ich denke, das ist es, was manni66 im Gedächtnis hatte.

]]>https://www.c-plusplus.net/forum/post/2176052https://www.c-plusplus.net/forum/post/2176052Thu, 02 Feb 2012 15:06:05 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 15:15:58 GMT]]>krümelkacker schrieb:

Herb Sutter redet ganz gerne von "false sharing" in diesem Kontext. Ich denke, das ist es, was manni66 im Gedächtnis hatte.

Nein

]]>https://www.c-plusplus.net/forum/post/2176057https://www.c-plusplus.net/forum/post/2176057Thu, 02 Feb 2012 15:15:58 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 15:40:24 GMT]]>Sorry, es sieht für mich immer noch so aus, als ob Du das mit dem Chache falsch verstanden hast. Da hat das "Nein" nichts dran geändert, fürchte ich.

]]>https://www.c-plusplus.net/forum/post/2176064https://www.c-plusplus.net/forum/post/2176064Thu, 02 Feb 2012 15:40:24 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 17:16:56 GMT]]>krümelkacker schrieb:

Sorry, es sieht für mich immer noch so aus, als ob Du das mit dem Chache falsch verstanden hast. Da hat das "Nein" nichts dran geändert, fürchte ich.

Naja, mindestens einer von uns liegt falsch 😉

]]>https://www.c-plusplus.net/forum/post/2176110https://www.c-plusplus.net/forum/post/2176110Thu, 02 Feb 2012 17:16:56 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 19:04:02 GMT]]>BTW: Das Speichermodell von C++0x erlaubt diesbezüglich soweit ich weiss kein unerwartetes Verhalten.

]]>https://www.c-plusplus.net/forum/post/2176148https://www.c-plusplus.net/forum/post/2176148Thu, 02 Feb 2012 19:04:02 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 19:57:50 GMT]]>hustbaer schrieb:

BTW: Das Speichermodell von C++0x erlaubt diesbezüglich soweit ich weiss kein unerwartetes Verhalten.

IMHO muss man dann aber std::atomic<> (oder so ähnlich) verwenden. Ob man dann bei einem Array aber die Elemente auch als atomic definieren muss?

]]>https://www.c-plusplus.net/forum/post/2176168https://www.c-plusplus.net/forum/post/2176168Thu, 02 Feb 2012 19:57:50 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 20:20:53 GMT]]>manni66 schrieb:

hustbaer schrieb:

BTW: Das Speichermodell von C++0x erlaubt diesbezüglich soweit ich weiss kein unerwartetes Verhalten.

IMHO muss man dann aber std::atomic<> (oder so ähnlich) verwenden. Ob man dann bei einem Array aber die Elemente auch als atomic definieren muss?

Nein.
Lass es sein, bitte, und hoer auf krümelkacker.

atomic ist wieder was ganz anderes.

]]>https://www.c-plusplus.net/forum/post/2176173https://www.c-plusplus.net/forum/post/2176173Thu, 02 Feb 2012 20:20:53 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Thu, 02 Feb 2012 21:33:23 GMT]]>1.7/3

]]>https://www.c-plusplus.net/forum/post/2176218https://www.c-plusplus.net/forum/post/2176218Thu, 02 Feb 2012 21:33:23 GMT<![CDATA[Reply to Muss der Vektor in diesem Fall durch ein Mutex geschützt werden? on Fri, 03 Feb 2012 15:29:53 GMT]]>vector<bool> kann zu Data Races führen, aber der ist bekanntlich ein Sonderfall.

23.2.2 Container data races
...
2 Notwithstanding (17.6.5.9), implementations are required to avoid data races when the contents of the contained
object in different elements in the same sequence, excepting vector<bool>, are modified concurrently.

3 [ Note: For a vector<int> x with a size greater than one, x[1] = 5 and *x.begin() = 10 can be executed
concurrently without a data race, but x[0] = 5 and *x.begin() = 10 executed concurrently may result in
a data race. As an exception to the general rule, for a vector<bool> y, y[0] = true may race with y[1]= true. —end note ]

]]>https://www.c-plusplus.net/forum/post/2176480https://www.c-plusplus.net/forum/post/2176480Fri, 03 Feb 2012 15:29:53 GMT