Sau ngã ba (), đứa trẻ bắt đầu thực hiện ở đâu?

Tôi đang cố gắng học lập trình UNIX và bắt gặp một câu hỏi liên quan đến fork (). Tôi hiểu rằng fork () tạo ra một quy trình giống hệt của quy trình hiện đang chạy, nhưng nó bắt đầu từ đâu? Ví dụ: nếu tôi có mã

int main (int argc, char **argv)
{
    int retval;
    printf ("This is most definitely the parent process\n");
    fflush (stdout);
    retval = fork ();
    printf ("Which process printed this?\n");

    return (EXIT_SUCCESS);
}

Đầu ra là:

Đây chắc chắn là quy trình cha mẹ Quy trình
nào được in này?
Quy trình nào được in này?

Tôi nghĩ rằng điều đó fork()tạo ra một quy trình tương tự, vì vậy ban đầu tôi rằng trong chương trình đó, fork()cuộc gọi sẽ được gọi đệ quy mãi mãi. Tôi đoán rằng quá trình mới được tạo ra từ fork()bắt đầu sau fork()cuộc gọi?

Nếu tôi thêm mã sau đây, để phân biệt giữa quy trình cha và con,

if (child_pid = fork ()) printf ("This is the parent, child pid is %d\n", child_pid);
else printf ("This is the child, pid is %d\n",getpid ());

sau cuộc gọi fork (), tiến trình con bắt đầu thực hiện ở đâu?

Quá trình mới sẽ được tạo trong fork()cuộc gọi và sẽ bắt đầu bằng cách quay lại từ nó giống như cha mẹ. Giá trị trả về (mà bạn đã lưu trữ retval) từ fork()sẽ là:

• 0 trong quá trình con
• PID của trẻ trong quá trình cha mẹ
• -1 trong cha mẹ nếu có một thất bại (tự nhiên không có con)

Mã kiểm tra của bạn hoạt động chính xác; nó lưu giá trị trả về từ fork()trong child_pidvà sử dụng ifđể kiểm tra xem nó có 0 hay không (mặc dù nó không kiểm tra lỗi)

Tôi nghĩ rằng fork () tạo ra một quy trình tương tự, vì vậy ban đầu tôi rằng trong chương trình đó, lệnh gọi fork () sẽ được gọi đệ quy mãi mãi. Tôi đoán rằng quá trình mới được tạo từ fork () bắt đầu sau lệnh gọi fork ()?

Vâng. Hãy đánh số dòng:

int main (int argc, char **argv)
{
    int retval;                                               /* 1 */
    printf ("This is most definitely the parent process\n");  /* 2 */
    fflush (stdout);                                          /* 3 */
    retval = fork ();                                         /* 4 */
    printf ("Which process printed this?\n");                 /* 5 */
    return (EXIT_SUCCESS);                                    /* 6 */
}

Luồng thực hiện là:

caller process     fork() → ...
                          ↘
original program            exec() → 2 → 3 → 4 → 5 → 6
                                               ↘
forked program                                   5 → 6

... Điều này giải thích chính xác đầu ra bạn nhận được.

Nếu bạn muốn biết chương trình gốc và rẽ nhánh có thể hoạt động khác nhau như thế nào, vì chúng nhất thiết phải chia sẻ cùng một mã, hãy xem câu trả lời của Michael Mrozek.

Giải pháp thực sự cho vấn đề này là

switch (fork()) {
    case -1 :
        fprintf (stderr, "fork failed (%s)\n", strerror(errno));
        break;
    case 0 :  // child process comes here
        break;
    default : // parent process
        break;
}

// all continue here

bất cứ mã nào ngay sau fork(), được sao chép vào tiến trình con và không trộn lẫn tiến trình cha và con, chúng là hai thực thể khác nhau, có cùng môi trường (trùng lặp, không chia sẻ).

Bây giờ hãy xem đầu ra của bạn ...