Das Lesen von nicht initialisiertem Speicher gibt jedesmal unterschiedliche Antworten zurück

Question

In Nicholas Ormrod's talk auf der CppCon 2016 erwähnte er einen heimtückischen Bug bei Facebook, wo ein einzelnes Byte von einer nicht initialisierten (ungeschriebenen) Seite zweimal gelesen wurde, so dass es Fälle gab Der zweite Lesevorgang hat einen (von Null verschiedenen) Wert zurückgegeben, der sich vom ersten Lesewert (Null) unterscheidet.

Er erwähnte, dass sie jemalloc und I also presume sie unter Linux ausgeführt wurden. jemalloc's manpage sagt, dass es immer mmap() über sbrk() bevorzugt.

Nun jemalloc's only mmap() call verwendet die Fahnen MAP_PRIVATE | MAP_ANONYMOUS mit der gelegentlichen Aufnahme von MAP_FIXED, und insbesondere ist es nicht MAP_UNINITIALIZED verwenden. Dies bedeutet, dass die Seiten always zero-initialized zugewiesen sind.

Darüber hinaus wird auch madvise() with MADV_DONTNEED, für anonyme Zuordnungen, "zero-fill-on-demand pages" für anonyme Zuordnungen zurückgeben, die ich als "zero-initialisierte Seiten."

Meine Frage ist: Wie ist es möglich, dass die zweite Lesung jemals einen Wert ungleich Null zurückgeben würde, was ihren Fehler verursacht?

Answer 1

Welche Erklärung auch immer diese Jungs zur Verfügung stellen, ist komplett gebrochen (zumindest im gegebenen Kontext). Und der Code hat undefiniertes Verhalten, egal was passiert.

Wenn data auf den Chunk zeigt, der mit mindestens size() + 1 Größe zugewiesen wurde, hat der Code aufgrund der Race Condition ein undefiniertes Verhalten (er erwähnt die Verwendung von Threads vorher).

Wenn die Größe der data kleiner ist als diese (z. B. gleich size()), hat der Code ein undefiniertes Verhalten aufgrund von Zugriff außerhalb der Grenzen (und die Race Condition wird zu einem strittigen Punkt).