Sebuah fork()system call klon proses anak dari proses yang berjalan. Kedua proses identik kecuali untuk PID mereka.
Tentu saja, jika prosesnya hanya membaca dari tumpukan mereka daripada menulis ke sana, menyalin tumpukan itu akan membuang-buang memori.
Apakah seluruh proses tumpukan disalin? Apakah dioptimalkan sedemikian rupa sehingga hanya tulisan yang memicu salinan tumpukan?
Jawaban:
The keseluruhan dari fork()diimplementasikan menggunakan mmap / menyalin pada menulis.
Ini tidak hanya memengaruhi tumpukan, tetapi juga berbagi perpustakaan, tumpukan, area BSS.
Yang, kebetulan, berarti garpu adalah operasi yang sangat ringan, sampai 2 proses yang dihasilkan (orang tua dan anak) benar-benar mulai menulis ke rentang memori. Fitur ini adalah kontributor utama dari mematikan bom fork - Anda berakhir dengan terlalu banyak proses sebelum kernel menjadi kelebihan dengan replikasi dan diferensiasi halaman.
Anda akan kesulitan menemukan di OS modern contoh operasi di mana kernel melakukan hard copy (pengecualian driver perangkat) - hanya jauh, lebih mudah dan lebih efisien untuk menggunakan fungsionalitas VM.
Bahkan execve()pada dasarnya adalah "tolong mmap binary / ld.so / yang lainnya, diikuti dengan eksekusi" - dan VM menangani pemuatan aktual dari proses ke RAM dan eksekusi. Variabel tak diinisialisasi lokal berakhir dengan mmaped dari 'nol-halaman' - halaman read-only copy-on-write khusus yang mengandung nol, variabel inisialisasi lokal akhirnya menjadi mmaped (copy-on-write, lagi) dari file biner itu sendiri, dll.
Kernel Linux tidak mengimplementasikan Copy-on-Write saat fork()dipanggil. Ketika syscall dijalankan, halaman yang dibagikan oleh orang tua dan anak ditandai hanya-baca.
Jika penulisan dilakukan pada halaman read-only, maka itu akan disalin, karena memori tidak lagi identik antara kedua proses. Oleh karena itu, jika hanya operasi baca yang dilakukan, halaman tidak akan disalin sama sekali.
fork()panggilan.
/proc/self/pagemapmenentukan alamat virtual untuk pemetaan halaman fisik untuk keperluan tes. Seperti yang saya harapkan, jika cucu dan hanya cucu yang menulis halaman bersama, maka orang tua dan anak asli terus membagikannya. Hanya cucu yang berakhir dengan salinan pribadi.
Linux melakukan Copy-on-Write. Saat forkmembuat proses baru, halaman yang dialokasikan ditandai sebagai hanya dapat dibaca dan dibagikan antara orang tua dan anak. Ketika salah satu dari mereka mencoba untuk memodifikasi halaman, kesalahan halaman dihasilkan menghasilkan menyalin halaman dan menyesuaikan tabel halaman dengan tepat.