I thread vengono copiati quando si chiama fork?

Se ho un programma in esecuzione con thread e chiamo fork()su un sistema basato su unix, i thread vengono copiati? So che la memoria virtuale per il processo corrente viene copiata 1: 1 nel nuovo processo generato. So che i thread hanno il loro stack nella memoria virtuale di un processo. Pertanto, almeno la pila di thread dovrebbe essere copiata anche. Tuttavia, non so se c'è altro nei thread che non risiede nella memoria virtuale e quindi NON viene copiato. In caso contrario, i due processi condividono i thread o sono copie indipendenti?

No.

I thread non vengono copiati fork(). Le specifiche POSIX indicano (sottolineare è mio):

fork - crea un nuovo processo

Un processo deve essere creato con un singolo thread . Se un processo multi-thread chiama fork (), il nuovo processo deve contenere una replica del thread chiamante e il suo intero spazio di indirizzi, possibilmente includendo gli stati di mutex e altre risorse. Di conseguenza, per evitare errori, il processo figlio può eseguire operazioni asincrone-sicure fino al momento in cui viene chiamata una delle funzioni exec.

Per aggirare questo problema, esiste una pthread_atfork()funzione per aiutare.

forcella uomo :

Il processo figlio viene creato con un singolo thread, quello che ha chiamato fork (). L'intero spazio di indirizzi virtuale del genitore viene replicato nel figlio, inclusi gli stati di mutex, variabili di condizione e altri oggetti pthreads; l'uso di pthread_atfork (3) può essere utile per affrontare i problemi che ciò può causare.

Dal fork di The Open Group Base Numero 7, edizione 2018 della forcella :

Un processo deve essere creato con un singolo thread. Se un processo multi-thread chiama fork () , il nuovo processo deve contenere una replica del thread chiamante e il suo intero spazio di indirizzi, possibilmente includendo gli stati di mutex e altre risorse. Di conseguenza, per evitare errori, il processo figlio può eseguire operazioni asincrone-sicure fino al momento in cui viene chiamata una delle funzioni exec .

Quando l'applicazione chiama fork () da un gestore di segnale e uno dei gestori di fork registrati da pthread_atfork () chiama una funzione che non è sicura per il segnale asincrono, il comportamento non è definito.

Inizialmente, "fork" è stato ottenuto scrivendo l'attività su disco e quindi, anziché leggere in un thread diverso (che sarebbe fatto se si scambiasse l'attività con una diversa), modificando l'ID dell'attività dell'immagine ancora in memoria e continuando con la sua esecuzione (come la nuova attività). Questa era una modifica molto semplice al meccanismo di commutazione delle attività di base, in cui solo una attività occupava memoria RAM alla volta.

Naturalmente, man mano che la gestione della memoria è diventata più elaborata, questo schema è stato modificato per adattarsi al nuovo ambiente.