Descrizione standard¶

(Da POSIX.1) La funzione vfork() ha lo stesso effetto di fork(2), con l'eccezione che il comportamento è indefinito se il processo creato da vfork() modifica un dato qualsiasi che non sia una variabile di tipo pid_t usata per archiviare il valore restituito da vfork(), o torna dalla funzione nella quale vfork() è stato chiamato, o chiama qualunque altra funzione prima di chiamare con successo _exit(2) o una delle funzioni della famiglia di exec(3).

Descrizione Linux¶

vfork(), proprio come fork(2), crea un processo figlio del processo chiamante. Per dettagli sui valori restituiti e sugli errori, vedere fork(2).

vfork() è un caso speciale di clone(2). Si usa per creare nuovi processi senza copiare le tabelle di paginazione del processo genitore. Può essere utile in applicazioni con necessità di prestazioni elevate nelle quali verrà creato un figlio che emette immediatamente un execve(2).

vfork() è diverso da fork(2) nel senso che il processo chiamante rimane sospeso finché il figlio non termina (sia normalmente, chiamando _exit(2), che in modo anormale, dopo aver inviato un segnale fatal), o finchè non esegue una chiamata a execve(2). Fino a quel momento, il figlio condivide la memoria con il genitore, incluso lo stack. Il figlio non deve tornare dalla funzione in esecuzione o chiamare exit(3) (che avrebbe l'effetto di attivare i gestori di exit stabiliti dal processo genitore e di svuotare i buffer stdio(3) del genitore), ma può chiamare _exit(2).

Come in fork(2), il processo figlio creato da vfork() eredita copie di vari attributi del processo chiamante (p.es., descrittori di file, predisposizioni di segnale e la directory di lavoro corrente); la chiamata vfork() differisce solo per la gestione dello spazio di indirizzi virtuale, come sopra descritto.

I segnali inviati al genitore gli arrivano dopo che il figlio ha liberato la memoria del genitore (cioè dopo che il figlio termina o chiama execve(2)).

Descrizione storica¶

Sotto Linux, fork(2) è implementato usando pagine copy-on-write, così che la sola penalizzazione in cui incorre fork(2) è il tempo e la memoria richiesti per duplicare le tabelle di paginazione del genitore, e per creare un'unica struttura di task per il figlio. Tuttavia, anticamente fork(2) richiedeva l'effettuazione di una copia completa dello spazio dati del chiamante, spesso senza reale necessità, di solito immediatamente dopo l'esecuzione di exec(3). Quindi, per una maggiore efficienza, BSD ha introdotto la chiamata di sistema vfork(), che non copiava completamente lo spazio di indirizzamento del processo genitore, ma utilizzava la memoria del genitore e le sue strutture di controllo fino a una chiamata a execve(2) o un exit. Il processo genitore era sospeso mentre il figlio utilizzava le sue risorse. L'uso di vfork() non era semplice: per esempio, per non modificare i dati nel processo genitore occorreva sapere quali variabili erano conservate in un registro.

Avvertimenti¶

Il processo figlio dovrebbe far attenzione di non modificare la memoria in maniera non permessa, poiché tali modifiche saranno utilizzabili dal processo genitore una volta che il processo figlio termina o esegue un altro programma. A tal riguardo, i gestori di segnale possono essere particolarmente problematici: se un gestore di segnale che è invocato nel processo figlio di vfork() modifica la memoria, questi cambiamenti possono determinare uno stato del processo contradditorio, visto dalla prospettiva del processo genitore (p.es., le modifiche di memoria sarebbero visibili nel processo genitore, ma i cambiamenti allo stato dei descrittori di file aperti non sarebbero visibili).

Quando vfork() viene chiamato in un processo multithread, viene sospeso solo il thread (processo) chiamante fino a quando il processo figlio non termina o esegue un nuovo programma. Questo significa che il processo figlio sta condividendo uno spazio di indirizzamento con altro codice in esecuzione. Questo può essere pericoloso se un altro thread nel processo genitore cambia le credenziali di accesso alle risorse (usando setuid(2) o simili), poiché a quel punto ci sono due processi con differenti livelli di privilegio in esecuzione in un unico spazio di indirizzamento. Come esempio dei rischi, si supponga che un programma multithread in esecuzione come root crei un processo figlio usando vfork(). Dopo il vfork(), un thread nel processo genitore cambia l'autorizzazione del processo a quella di un utente senza privilegi per eseguire del codice non sicuro (p.es., eseguendo un plug-in aperto con dlopen(3)). In questo caso, sono possibili attacchi in cui il processo genitore usa mmap(2) per mappare del codice che sarà quindi eseguito dal processo figlio in modalità privilegiata.

Note Linux¶

I gestori di fork definiti usando pthread_atfork(3) non sono chiamati quando un programma multithread che impiega le chiamate alla libreria di threading NPTL chiama vfork(). I gestori di fork sono invece chiamati da un programma che usi la libreria di threading LinuxThreads. (Vedere pthreads(7) per una descrizione delle librerie di threading di Linux).

Una chiamata a vfork() è equivalente a una chiamata a clone(2) con flag definite come:

CLONE_VM | CLONE_VFORK | SIGCHLD

Storia¶

La chiamata di sistema vfork() è apparsa nella versione 3.0BSD. Nella versione 4.4BSD è diventata sinonimo di fork(2) ma NetBSD l'ha reintrodotta; si veda http://www.netbsd.org/Documentation/kernel/vfork.html. In Linux è stata equivalente a fork(2) fino alla versione 2.2.0-pre6. A partire dalla 2.2.0-pre9 (su i386 - un po' più tardi su altre architetture) è una chiamata di sistema indipendente. Il relativo supporto è stato aggiunto in glibc 2.0.112.