Правило для отримання додаткової оболонки в Bash?

Я, здається, неправильно розумію правило Баша для створення підшаровки. Думав, що круглі дужки завжди створюють підзаголовок, який працює як власний процес.

Однак, схоже, це не так. У фрагменті коду A (нижче) друга sleepкоманда не виконується в окремій оболонці (як визначено pstreeв іншому терміналі). Тим НЕ менше, в фрагменті коду В, друга sleepкоманда робить працювати в окремій оболонці. Єдина відмінність між фрагментами полягає в тому, що другий фрагмент має дві команди в дужках.

Може хтось, будь ласка, пояснить це правило, коли створюються підрозділи?

КОД SNIPPET A:

sleep 5
(
sleep 5
)

КОД SNIPPET B:

sleep 5
(
x=1
sleep 5
)

В дужках завжди починається підзаголовок. Те, що відбувається, полягає в тому, що bash виявляє, що sleep 5це остання команда, виконана цією підзарядкою, тому він викликає execзамість fork+ exec. sleepКоманда замінює подоболочкі в тому ж процесі.

Іншими словами, базовий випадок:

1. ( … )створити підзаділ. Оригінальний процес викликає forkі wait. У підпроцесі, який є підзаголовком:
   1. sleepце зовнішня команда, яка вимагає підпроцесу підпроцесу. Підрозділ дзвонить forkі wait. У підпроцесі:
      1. Підпроцес виконує зовнішню команду → exec.
      2. Врешті команда припиняється → exit.
   2. wait завершує в передпласті.
2. wait завершує в оригінальному процесі.

Оптимізація:

1. ( … )створити підзаділ. Оригінальний процес викликає forkі wait. У підпроцесі, який є підзаголовком, поки він не викликаєexec :
   1. sleep це зовнішня команда, і це останнє, що цей процес повинен зробити.
   2. Підпроцес виконує зовнішню команду → exec .
   3. Врешті команда припиняється → exit.
2. wait завершує в оригінальному процесі.

Коли ви додаєте щось інше після дзвінка, sleep , передплату потрібно тримати навколо, тому така оптимізація не може відбутися.

Коли ви додаєте щось інше до виклику sleep, оптимізація може бути здійснена (і ksh робить це), але bash цього не робить (це дуже консервативно з цією оптимізацією).

З Посібника з розширеного програмування Bash :

"Взагалі зовнішня команда в скрипті розщеплює підпроцес, тоді як Bash вбудований - ні. З цієї причини вбудовані виконують швидше і використовують менше системних ресурсів, ніж їх зовнішні еквіваленти команд."

І трохи далі:

Msgstr "Список команд, вбудований між дужки, виконується як піддіаграма."

Приклади:

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

Приклад з використанням коду ОП (з коротшим сном, бо я нетерплячий):

echo $BASHPID

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

Вихід:

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

Додаткова примітка до відповіді @Gilles.

За словами Жиля: The parentheses always start a subshell.

Однак номери, які мають такий підрозділ, можуть повторюватися:

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

Як бачимо, $$ постійно повторюється, і це, як очікувалося, тому що (виконайте цю команду, щоб знайти правильний man bashрядок):

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

BASHPID
Розширює ідентифікатор процесу поточного процесу bash. Це відрізняється від $$ за певних обставин, таких як підпакети, які не потребують повторної ініціалізації bash.

Тобто: Якщо оболонку не повторно ініціалізувати, $$ - те саме.

Або з цим:

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

Спеціальні параметри
$ Розширюється на ідентифікатор процесу оболонки. У підпакеті () вона розширюється на ідентифікатор процесу поточної оболонки, а не на нижню.

$$Це ідентифікатор поточної оболонки (НЕ подоболочки).