Warum ist der Standardprozess Erstellungsmechanismus Gabel?

Der UNIX-Systemaufruf zur Prozesserstellung, fork (), erstellt einen untergeordneten Prozess, indem der übergeordnete Prozess kopiert wird. Meines Wissens folgt darauf fast immer ein Aufruf von exec (), um den Speicherbereich des untergeordneten Prozesses (einschließlich Textsegment) zu ersetzen. Das Kopieren des Speicherplatzes der Eltern in fork () erschien mir immer verschwenderisch (obwohl mir klar ist, dass die Verschwendung minimiert werden kann, indem die Speichersegmente beim Schreiben kopiert werden, sodass nur Zeiger kopiert werden). Wie auch immer, weiß jemand, warum dieser Duplizierungsansatz für die Erstellung von Prozessen erforderlich ist?

Es ist die Schnittstelle zu vereinfachen. Die Alternative zu forkund execwäre so etwas wie die CreateProcess- Funktion von Windows . Beachten Sie, wie viele Parameter vorhanden CreateProcesssind, und viele davon sind Strukturen mit noch mehr Parametern. Dies liegt daran, dass alles , was Sie über den neuen Prozess steuern möchten, übergeben werden muss CreateProcess. In der Tat, CreateProcessnicht genügend Parameter, so Microsoft hinzufügen hatte CreateProcessAsUser und CreateProcessWithLogonW .

Mit dem fork/execModell benötigen Sie nicht alle diese Parameter. Stattdessen bleiben bestimmte Attribute des Prozesses übergreifend erhalten exec. Auf diese Weise können Sie die forkgewünschten Prozessattribute ändern (mit denselben Funktionen, die Sie normalerweise verwenden würden) und dann exec . Hat unter Linux forkkeine Parameter und execvenur 3: das auszuführende Programm, die Befehlszeile und seine Umgebung. (Es gibt noch andere execFunktionen, aber sie sind nur Wrapper, execvedie von der C-Bibliothek bereitgestellt werden, um allgemeine Anwendungsfälle zu vereinfachen.)

Wenn Sie einen Prozess mit einem anderen aktuellen Verzeichnis starten: fork, chdir, exec.

Wenn Sie möchten , Umleitung stdin / stdout: fork, Schließen / Öffnen von Dateien, exec.

Wenn Sie Switch - Benutzer wollen: fork, setuid, exec.

All diese Dinge können nach Bedarf kombiniert werden. Wenn jemand mit einer neuen Art von Prozess - Attribute aufkommt, müssen Sie nicht ändern forkund exec.

Wie bereits erwähnt, verwenden die meisten modernen Unixe Copy-on-Write, sodass forkkein erheblicher Overhead anfällt .

Zusätzlich zur Antwort des cjm definiert die Single Unix Specification eine Funktion mit dem Namen vfork(). Diese Funktion funktioniert wie Fork, außer dass der Fork-Prozess ein undefiniertes Verhalten aufweist, wenn er etwas anderes ausführt, als eine ausführbare Funktion aufzurufen oder aufzurufen _exit().

So ziemlich die einzige Verwendung mit definiertem Verhalten ist:

pid_t ret = vfork();
if(ret == 0)
{
    exec(...);
    _exit(EXIT_FAILURE); //in case exec failed for any reason.
}

Also, was macht vforkdas? Es ist eine preiswerte fork. Bei Implementierungen ohne Copy-on-Write teilt sich der resultierende Prozess den Speicherplatz mit dem ursprünglichen Prozess (daher das undefinierte Verhalten). Bei Implementierungen mit Copy-on-Write vforkdarf identisch sein fork(), da Copy-on-Write-Implementierungen schnell sind.

Es gibt auch die optionale posix_spawnFunktion (und eine posix_spawnpFunktion), mit der ein neuer Prozess direkt erstellt werden kann. (Es ist auch zulässig, sie mit einem Bibliotheksaufruf unter Verwendung von forkund zu execimplementieren. Eine Beispielimplementierung wird bereitgestellt.)