gleichzeitiges Schreiben in dieselbe Speicheradresse

Question

Wenn zwei Threads gleichzeitig versuchen, zur selben Adresse zu schreiben, ist der Wert nach dem gleichzeitigen Schreiben garantiert einer der Werte, die die Threads zu schreiben versuchten? oder ist es möglich, eine Kombination der Bits zu erhalten?

Ist es auch möglich, dass ein anderer Thread die Speicheradresse liest, während sich die Bits in einem instabilen Zustand befinden?

Ich denke, die Frage läuft darauf hinaus, wenn ein Lesen oder Schreiben auf eine einzelne Speicheradresse auf Hardwareebene atomar ist.

Answer 1

Eines ist sicher, für einen Datentyp Größe gleich CPU-Register kann nie Bits in instabilen Zustand haben, wird es entweder der beiden Werte

Answer 2

Ich denke, das hängt alles vom "Speichermodell" für Ihre spezielle Programmiersprache oder System ab.

Answer 3

Diese Fragen sind die Grundlagen eines Speichermodells für ein System oder eine Programmiersprache. Wählen Sie daher Ihr eigenes Betriebssystem und eine Programmiersprache, lesen Sie die Spezifikationen und Sie werden sehen.

Answer 4

Auf einem Computer mit mehreren Prozessoren wird möglicherweise kein einzelner "Wert" gelesen. Die zwei Threads und der dritte Threads können inkonsistente Werte anzeigen. Sie benötigen eine Speicherbarriere, um sicherzustellen, dass jeder Thread unter dieser Adresse den gleichen Wert erhält.

Abgesehen davon sind Schreibvorgänge im Allgemeinen atomar, so dass es entweder der eine oder der andere der Werte wäre, die geschrieben wurden (oder an erster Stelle waren), die gelesen werden. Sie sprechen nicht von einem Alpha-Prozessor, oder?

Answer 5

In einigen Fällen werden die Ergebnisse unvorhersehbar wie sein kann, wenn die zwei Threads schreiben an verschiedene Speicheradressen - insbesondere denke an C-Bitfeld-Strukturen, sowie Compiler-Optimierungen beim Schreiben auf benachbarte Adressen.

Wenn Sie Lust auf eine Lektüre haben, deckt Boehms Papier "Threads cannot be implemented as a library" diese und andere Nebensächlichkeiten ab.