Werden beim Aufruf von fork Threads kopiert?

Wenn ich ein Programm mit Threads habe und fork()ein Unix-basiertes System aufrufe, werden die Threads kopiert? Ich weiß, dass der virtuelle Speicher für den aktuellen Prozess 1: 1 in den neu erzeugten Prozess kopiert wird. Ich weiß, dass Threads einen eigenen Stapel im virtuellen Speicher eines Prozesses haben. Daher sollte zumindest auch der Thread-Stapel kopiert werden. Ich weiß jedoch nicht, ob Threads mehr enthalten, die sich nicht im virtuellen Speicher befinden und daher NICHT kopiert werden. Wenn dies nicht der Fall ist, teilen sich die beiden Prozesse die Threads oder handelt es sich um unabhängige Kopien?

Nein.

Threads werden nicht kopiert fork(). In der POSIX-Spezifikation heißt es (Hervorheben ist meine):

Gabel - Erstellen Sie einen neuen Prozess

Ein Prozess soll mit einem einzigen Thread erstellt werden . Wenn ein Multithread-Prozess fork () aufruft, muss der neue Prozess eine Replik des aufrufenden Threads und seines gesamten Adressraums enthalten, möglicherweise einschließlich der Zustände von Mutexen und anderen Ressourcen. Um Fehler zu vermeiden, kann der untergeordnete Prozess daher nur asynchronsignalsichere Operationen ausführen, bis eine der Ausführungsfunktionen aufgerufen wird.

Um dieses Problem zu umgehen, gibt es eine pthread_atfork()Hilfe.

Mann Gabel :

Der untergeordnete Prozess wird mit einem einzelnen Thread erstellt, der fork () aufgerufen hat. Der gesamte virtuelle Adressraum des übergeordneten Elements wird im untergeordneten Element repliziert, einschließlich der Status von Mutexen, Bedingungsvariablen und anderen pthreads-Objekten. Die Verwendung von pthread_atfork (3) kann hilfreich sein, um Probleme zu lösen, die dies verursachen kann.

Von The Open Group Basisspezifikationen Ausgabe 7, 2018 Ausgabe der Gabel :

Ein Prozess soll mit einem einzigen Thread erstellt werden. Wenn ein Multithread-Prozess fork () aufruft , muss der neue Prozess eine Replik des aufrufenden Threads und seines gesamten Adressraums enthalten, möglicherweise einschließlich der Zustände von Mutexen und anderen Ressourcen. Folglich Um Fehler zu vermeiden, kann das Kind Prozess nur Asynchron-Signal-sicheren Betrieb bis zu dem Zeitpunkt auszuführen , wie eine der exec - Funktionen aufgerufen wird.

Wenn die Anwendung fork () von einem Signalhandler aufruft und einer der von pthread_atfork () registrierten Fork-Handler eine Funktion aufruft, die nicht async-signal-sicher ist, ist das Verhalten undefiniert.

Ursprünglich wurde "Fork" erreicht, indem die Aufgabe auf die Festplatte geschrieben und dann, anstatt in einem anderen Thread zu lesen (was geschehen würde, wenn die Aufgabe durch einen anderen ersetzt würde), die Aufgaben-ID des noch im Speicher befindlichen Bildes geändert und fortgefahren würde mit seiner Ausführung (als neue Aufgabe). Dies war eine sehr einfache Modifikation des grundlegenden Mechanismus zum Umschalten von Aufgaben, bei dem jeweils nur eine Aufgabe RAM-Speicher belegen würde.

Mit zunehmender Ausarbeitung der Speicherverwaltung wurde dieses Schema natürlich an die neue Umgebung angepasst.