Quy tắc gọi subshell trong Bash?

Tôi dường như hiểu sai quy tắc Bash để tạo ra một subshell. Tôi nghĩ rằng dấu ngoặc đơn luôn tạo ra một lớp con, chạy như là quá trình riêng của nó.

Tuy nhiên, điều này dường như không phải là trường hợp. Trong Đoạn mã A (bên dưới), sleeplệnh thứ hai không chạy trong một vỏ riêng (như được xác định bởi pstreetrong một thiết bị đầu cuối khác). Tuy nhiên, trong Code Snippet B, sleeplệnh thứ hai không chạy trong một shell riêng. Sự khác biệt duy nhất giữa các đoạn mã là đoạn mã thứ hai có hai lệnh trong ngoặc đơn.

Ai đó có thể vui lòng giải thích quy tắc khi subshells được tạo ra?

MÃ SNIPPET A:

sleep 5
(
sleep 5
)

MÃ SNIPPET B:

sleep 5
(
x=1
sleep 5
)

Các dấu ngoặc luôn luôn bắt đầu một subshell. Điều đang xảy ra là bash phát hiện đó sleep 5là lệnh cuối cùng được thực thi bởi lớp con đó, vì vậy nó gọi execthay vì fork+ exec. Các sleeplệnh thay thế subshell trong quá trình tương tự.

Nói cách khác, trường hợp cơ sở là:

1. ( … )tạo một subshell. Quá trình ban đầu gọi forkvà wait. Trong quy trình con, đó là một lớp con:
   1. sleeplà một lệnh bên ngoài đòi hỏi một quy trình con của quy trình con. Các cuộc gọi subshell forkvà wait. Trong quy trình con:
      1. Các quy trình con thực hiện lệnh bên ngoài → exec.
      2. Cuối cùng, lệnh kết thúc → exit.
   2. wait hoàn thành trong subshell.
2. wait hoàn thành trong quá trình ban đầu.

Tối ưu hóa là:

1. ( … )tạo một subshell. Quá trình ban đầu gọi forkvà wait. Trong quy trình con, đó là một mạng con cho đến khi nó gọi exec:
   1. sleep là một lệnh bên ngoài và đó là điều cuối cùng mà quá trình này cần phải làm.
   2. Quá trình con thực hiện lệnh bên ngoài → exec.
   3. Cuối cùng, lệnh kết thúc → exit.
2. wait hoàn thành trong quá trình ban đầu.

Khi bạn thêm một cái gì đó khác sau cuộc gọi sleep, lớp con cần được giữ xung quanh, vì vậy việc tối ưu hóa này không thể xảy ra.

Khi bạn thêm một cái gì đó khác trước khi gọi đến sleep, tối ưu hóa có thể được thực hiện (và ksh thực hiện), nhưng bash không làm điều đó (nó rất bảo thủ với tối ưu hóa này).

Từ Hướng dẫn lập trình Bash nâng cao :

"Nói chung, một lệnh bên ngoài trong tập lệnh sẽ loại bỏ một quy trình con, trong khi đó, một hàm dựng sẵn của Bash thì không. Vì lý do này, các hàm dựng thực thi nhanh hơn và sử dụng ít tài nguyên hệ thống hơn các lệnh tương đương bên ngoài của chúng."

Và một chút nữa xuống:

"Một danh sách lệnh được nhúng giữa các dấu ngoặc đơn chạy dưới dạng một lớp con."

Ví dụ:

[root@talara test]# echo $BASHPID
10792
[root@talara test]# (echo $BASHPID)
4087
[root@talara test]# (echo $BASHPID)
4088
[root@talara test]# (echo $BASHPID)
4089

Ví dụ sử dụng mã OP (với thời gian ngủ ngắn hơn vì tôi thiếu kiên nhẫn):

echo $BASHPID

sleep 2
(
    echo $BASHPID
    sleep 2
    echo $BASHPID
)

Đầu ra:

[root@talara test]# bash sub_bash
6606
6608
6608

Một lưu ý bổ sung cho câu trả lời @Gilles.

Như đã nói bởi Gilles: The parentheses always start a subshell.

Tuy nhiên, những con số mà lớp vỏ phụ đó có thể lặp lại:

$ (echo "$BASHPID and $$"; sleep 1)
2033 and 31679
$ (echo "$BASHPID and $$"; sleep 1)
2040 and 31679
$ (echo "$BASHPID and $$"; sleep 1)
2047 and 31679

Như bạn có thể thấy, $$ cứ lặp đi lặp lại, và điều đó đúng như mong đợi, bởi vì (thực hiện lệnh này để tìm đúng man bashdòng):

$ LESS=+/'^ *BASHPID' man bash

BASHPID
Mở rộng tới ID tiến trình của quy trình bash hiện tại. Điều này khác với $$ trong một số trường hợp nhất định, chẳng hạn như các mạng con không yêu cầu bash được khởi tạo lại.

Đó là: Nếu shell không được khởi tạo lại, $$ là như nhau.

Hoặc với điều này:

$ LESS=+/'^ *Special Parameters' man bash

Tham số đặc biệt
$ Mở rộng tới ID tiến trình của trình bao. Trong một lớp con (), nó mở rộng tới ID tiến trình của lớp vỏ hiện tại, chứ không phải lớp con.

Các $$là ID của vỏ hiện tại (không phải là subshell).