Chương trình Bash không được thực thi nếu chuyển hướng sẽ thất bại

Trong bash, tôi nhận thấy rằng nếu một lệnh sử dụng chuyển hướng sẽ thất bại, bất kỳ chương trình nào chạy trước đó sẽ không chạy.

Ví dụ, chương trình này mở tệp "a" và ghi 50 byte vào tệp "a". Tuy nhiên, chạy lệnh này với chuyển hướng đến một tệp không đủ quyền (~ root / log), sẽ không mang lại thay đổi nào về kích thước tệp của "a".

$ ./write_file.py >> ~root/log
-bash: /var/root/log: Permission denied
cdal at Mac in ~/experimental/unix_write
$ ls -lt
total 16
-rw-rw-r--  1 cdal  staff  0 Apr 27 08:54 a <-- SHOULD BE 50 BYTES

Mọi người sẽ nghĩ chương trình sẽ chạy, nắm bắt bất kỳ đầu ra nào (nhưng cũng ghi vào tệp "a"), và sau đó không thể ghi bất kỳ đầu ra nào vào ~ root / log. Thay vào đó chương trình không bao giờ chạy.

Tại sao lại như vậy và làm thế nào để bash chọn thứ tự "kiểm tra" mà nó thực hiện trước khi thực hiện một chương trình? Các kiểm tra khác được thực hiện là tốt?

ps Tôi đang cố xác định xem một chương trình chạy dưới cron có thực sự chạy khi được chuyển hướng đến tệp "bị từ chối cấp phép" hay không.

Đây thực sự không phải là một câu hỏi về việc kiểm tra thứ tự, chỉ đơn giản là thứ tự mà vỏ thiết lập mọi thứ. Chuyển hướng được thiết lập trước khi lệnh được chạy; vì vậy trong ví dụ của bạn, shell cố gắng mở ~root/logđể nối thêm trước khi thử làm bất cứ điều gì liên quan ./write_file.py. Vì tệp nhật ký không thể mở được, chuyển hướng thất bại và shell dừng xử lý dòng lệnh tại thời điểm đó.

Một cách để chứng minh điều này là lấy một tệp không thể thực thi và cố gắng chạy nó:

$ touch demo
$ ./demo
zsh: permission denied: ./demo
$ ./demo > ~root/log
zsh: permission denied: /root/log

Điều này cho thấy lớp vỏ thậm chí không nhìn vào ./demokhi chuyển hướng không thể được thiết lập.

Từ trang bash man, phần GIẢM GIÁ (nhấn mạnh bởi tôi):

Trước khi một lệnh được thực thi, đầu vào và đầu ra của nó có thể được chuyển hướng bằng cách sử dụng một ký hiệu đặc biệt được giải thích bởi shell.

...

Không thể mở hoặc tạo tệp khiến chuyển hướng không thành công.

Vì vậy, shell cố gắng mở tệp đích stdout, không thành công và lệnh không được thực thi.

Thật đáng để quan sát rằng vỏ phải thiết lập chuyển hướng trước khi bắt đầu chương trình.

Hãy xem xét ví dụ của bạn:

./write_file.py >> ~root/log

Những gì xảy ra trong vỏ là:

1. Chúng tôi (vỏ) fork(); tiến trình con kế thừa các mô tả tệp mở từ cha mẹ của nó (shell).
2. Trong tiến trình con, chúng tôi fopen()(mở rộng) "~ root / log" và dup2()nó thành fd 1 (và close()fd tạm thời). Nếu fopen()thất bại, hãy gọi exit()để báo cáo lỗi cho phụ huynh.
3. Vẫn còn trong đứa trẻ, chúng tôi exec()"./write_file.py". Quá trình này hiện không còn chạy bất kỳ mã nào của chúng tôi (trừ khi chúng tôi không thực thi, trong trường hợp đó chúng tôi exit()sẽ báo cáo lỗi cho phụ huynh).
4. Phụ huynh sẽ wait()cho trẻ chấm dứt và xử lý mã thoát của nó ( $?ít nhất là sao chép nó vào ).

Vì vậy, sự chuyển hướng phải xảy ra ở trẻ giữa fork()và exec(): nó không thể xảy ra trước đó fork()vì nó không phải thay đổi thiết bị xuất chuẩn của shell và nó không thể xảy ra sau exec()vì tên tệp và mã thực thi của shell đã được thay thế bởi chương trình Python . Phụ huynh không có quyền truy cập vào các mô tả tập tin của trẻ (và ngay cả khi có, nó không thể đảm bảo chuyển hướng giữa exec()và ghi đầu tiên vào thiết bị xuất chuẩn).

Tôi rất tiếc phải thông báo cho bạn rằng nó hoàn toàn ngược lại. Shell cần mở I / O trước và sau đó chuyển điều khiển cho chương trình.

tee có thể chứng minh hữu ích trong trường hợp này: ./write_file.py | tee -a ~root/log > /dev/null