Dotaz: Perl fork exec a velikost programu

[Xerces]

Ahoj, mám takový blbý dotaz na fungování fork a exec (konkrétně teda v Perlu, ale asi to bude všude stejný). Funkce fork provede kopipi volajiciho programu a exec ji pak může přeplácnout programem jiným to je všeobecně známé, ale nějak mi není jasné co se děje v případě pokud ten program který spouštím pomocí exec v pamětovém prostoru o velikosti toho prvního programu je větší. Vadí to když je ten program větší, nebo je to jedno a ten exec si tu pamět nějak realokuje? No s tím forkem jsem to ani komplikovat nemusel on se dýá udělat exec přímo do původního procesu.

Odpovědi

[michich]

To samozřejmě nevadí, jinak bychom nikdy nemohli spustit nic většího než init

[Xerces]

To zní logicky. Ale jak to ten prevít dělá, asi budu muset kouknout do zdrojáků našeho oblíbeného operačního systému. Ok prosím zamkněte toto vlákno. Dík.

[michich]

exec ruší starý a vytváří úplně nový paměťový prostor.

[Xerces]

V této souvislosti mne napadá ještě jedna zajímavá podotázka, pokud tedy použiju sekvenci fork exec mohl by se teoreticky kód optimalizovat tak, aby nevznikala režie při kopírování procesu (fork), kterou se často argumentuje ve prospěch threadů a rovnou vytvořit paměťový prostor pro nový kód. Hmm, ale jelikož očekáváme od forku většinou nějakou návratovou hodnotu, tak by to asi tak jednoduše nešlo. No nic, radši už nebudu moc přemýšlet a jdu programovat.

[michich]

Existuje vfork(2).

[Xerces]

Úžasný. To je přesně ono, jaktože jsem to nenašel? A to jsem si myslel že umím googlit.

[Petr]

Ta rezije je v praxi minimalni. Pametove stranky kopiruji jednotlive a teprve on-write; man fork:

Under Linux, fork() is implemented using copy-on-write pages, so the only penalty that it incurs is the time and memory required to duplicate the parent's page tables, and to create a unique task structure for the child.

[Xerces]

Jojo uz jsem se k tomu taky prokousal, ale musel jsem to vzit pres ten vfork Takze kdyz hned udelam exec tak se vlastne nic nekopiruje. Idylka.

[kokos]

This largely removes the justification for vfork(); indeed, a large proportion of systems now lack the original functionality of vfork() completely. For compatibility, though, there may still be a vfork() call present, that simply calls fork() without attempting to emulate all of the vfork() semantics.

http://www.unixguide.net/unix/programming/1.1.2.shtml