კიდევ ერთმა ჰაიზენბაგმა ნიანგს ჩაუარა

$> set -o pipefail

$> fortune | head -1 > /dev/null && echo "Повезло!" || echo "Вы проиграли"
Повезло!

$> fortune | head -1 > /dev/null && echo "Повезло!" || echo "Вы проиграли"
Вы проиграли

აქ fortune პირობითი პროგრამის გარეშე exit(rand()).

Შეგიძლია ამიხსნა? რა არის აქ ცუდი?

ლირიკულ-ისტორიული გადახვევა

მე პირველად გავეცანი ამ ჰაიზენბუგს მეოთხედი საუკუნის წინ. შემდეგ FaxNET-ში კარიბჭისთვის საჭირო გახდა რამდენიმე კომუნალური პროგრამის შექმნა მილები "თამაშის ქვები" FreeBSD-ში. როგორც მოსალოდნელი იყო, თავს მოწინავე და საკმაოდ გამოცდილ პროგრამისტად ვთვლიდი. ამიტომ, განზრახული მქონდა ყველაფერი გამეკეთებინა რაც შეიძლება ფრთხილად და ფრთხილად, განსაკუთრებული ყურადღება მიმექცია შეცდომების დამუშავებაზე...

Sendmail-ში და uucp/uupc-ში შეცდომებთან გამკლავების ჩემმა წინა გამოცდილებამ დაამატა ჩემს მონდომებას „შეცდომების საფუძვლიანი დამუშავების“ საქმეში. აზრი არ აქვს ამ ამბის დეტალებში ჩაძირვას, მაგრამ ამ ჰაიზენბაგს ორი კვირა 10-14 საათის განმავლობაში ვებრძოდი. ამიტომ გაახსენდა და გუშინ ეს ძველი ნაცნობი ისევ სტუმრად გაჩერდა.

TL;DR პასუხი

კომუნალური head შეუძლია დახურეთ არხი დან fortune ერთდროულად როგორც კი პირველ სტრიქონს წაიკითხავს. თუ fortune გამოსცემს ერთზე მეტ ხაზს, შემდეგ შესაბამის ზარს write() დააბრუნებს შეცდომას ან შეატყობინებს, რომ მოთხოვნილზე ნაკლები ბაიტი გამოდის. თავის მხრივ, დაწერილია შეცდომების ფრთხილად დამუშავებით fortune აქვს უფლება ასახოს ეს სიტუაცია თავის გასვლის სტატუსში. მერე ინსტალაციის გამო set -o pipefail იმუშავებს || echo "Вы проиграли".

თუმცა, head შეიძლება დროულად ვერ მიაღწიოს ადრე დახურეთ fortune დაასრულებს მონაცემების გამოტანას. მერე იმუშავებს && echo "Повезло!".

ჩემს ერთ-ერთ დღეს GNUMakefile არის ასეთი ფრაგმენტი:

echo '#define MDBX_BUILD_COMPILER "$(shell set -o pipefail; $(CC) --version | head -1 || echo 'Please use GCC or CLANG compatible compiler')"'

ადამიანურად ითარგმნა

აქ ჩვეულებრივია GNU ჩადება и Bash შემდგენელი გზით ოფციონის გამოყენებით --version ის ეკითხება ვინ არის ის და თუ ვარიანტი არ არის მხარდაჭერილი, ჩასმულია სტუბი "გთხოვთ გამოიყენოთ GCC ან CLANG თავსებადი შემდგენელი".

მოსწონს ქვაბის ფირფიტა შეგიძლიათ იპოვოთ სადმე. ის ამ ადგილას დიდი ხნის წინ გამოჩნდა და ყველგან მშვენივრად მუშაობდა (Linux, Solaris, OSX, FreeBSD, WSL და ა.შ.). მაგრამ გუშინ ალტლინუქსი პლატფორმაზე Elbrus 2000 (E2K) Შევამჩნიე:

#define MDBX_BUILD_COMPILER "lcc:1.23.20:Sep--4-2019:e2k-v3-linux Please use GCC or CLANG compatible compiler"

გულწრფელად რომ ვთქვათ, მაშინვე არ ვიცანი ჩემი ძველი "ნაცნობი". უფრო მეტიც, პროექტი უკვე ბევრჯერ იქნა გამოცდილი ელბრუსზე და მრავალი განსხვავებული დისტრიბუციის ქვეშ, მათ შორის Alt. სხვადასხვა შემდგენელებით, GNU Make და bash-ის ვერსიებით. ამიტომ, არ მინდოდა აქ ჩემი შეცდომის დანახვა.

როდესაც ცდილობდით პრობლემის რეპროდუცირებას და/ან იმის გაგებას, თუ რა ხდებოდა, უფრო უცნაური რამ დაიწყო.
ბრძანების ხაზის შელოცვა:

echo "#define MDBX_BUILD_COMPILER '$(set -o pipefail; LC_ALL=C cc --version | head -1 || echo "Please use GCC or CLANG compatible compiler")'"

დროდადრო ის აწარმოებდა დამატებით ტექსტს, მერე არა... ხშირად ერთ-ერთი ვარიანტი საკმაოდ დიდხანს ჩერდებოდა, მაგრამ თუ უფრო მეტხანს აყოვნებდით, ყოველთვის ორივეს მიიღებთ!

რა თქმა უნდა, strace ჩვენი ყველაფერი! და აკრეფილი სტრეის ტირადა, მაგრამ არ მქონდა დრო, რომ დავაჭირო Enter, გავიცანი ჩემი ძველი მეგობარი ბატონი ჰეიზენბაგი და დეველოპერები. შემდგენელი მე თვითონ 25 წლის წინ, Ნოსტალგია… მე კი გადავწყვიტე მოწყენილი ვყოფილიყავი და დამეწერა ეს შენიშვნა 😉

სხვათა შორის, როგორც ნებისმიერი თავმოყვარეობა ჰაიზენბაგი, ქვეშ strace ურჩევნია არ გამრავლდეს.

Რა ხდება?

• კომუნალური head აქვს უფლება (უფრო სწორად, იძულებულიც კი) დახუროს წაკითხული არხი, როგორც კი წაიკითხავს მოთხოვნილ სტრიქონებს.
• მონაცემთა გენერატორი პროგრამა-ჩამწერი (ამ შემთხვევაში cc) შეუძლია რამდენიმე სტრიქონის დაბეჭდვა და უფასო ამის გაკეთება მრავალი ზარის საშუალებით write().
• თუ მკითხველს ექნება დრო, რომ დახუროს არხი თავის მხრივ, მწერლის მხრიდან ჩაწერის დასრულებამდე, მაშინ მწერალი მიიღებს შეცდომას.
• მწერლის პროგრამა უფლებამოსილი ორივე უგულებელყოფს არხის ჩაწერის შეცდომას და ასახავს მას დასრულების კოდში.
• ინსტალაციის გამო set -o pipefail მილსადენის დასრულების კოდი იქნება არანულოვანი (მცდარი) თუ შედეგი არ არის ნულოვანი მინიმუმ ერთი ელემენტიდან და შემდეგ ის იმუშავებს || echo "Please use GCC or CLANG compatible compiler".

შეიძლება არსებობდეს ვარიაციები იმის მიხედვით, თუ როგორ მუშაობს დამწერის პროგრამა სიგნალებთან. მაგალითად, პროგრამა შეიძლება შეწყდეს არანორმალურად (არანულოვანი/შეცდომის შეწყვეტის სტატუსის ავტომატური გენერირებით), ან write() დააბრუნებს მოთხოვნილზე ნაკლები ბაიტის ჩაწერის შედეგს და დაყენებულია errno = EPIPE.

ვინ არის დამნაშავე?

აღწერილ შემთხვევაში ცოტა ყველაფერი. შეცდომის დამუშავება cc (lcc:1.23.20:Sep—4-2019:e2k-v3-linux) არ არის ზედმეტი. ხშირ შემთხვევაში სჯობს სიფრთხილით შეცდეთ, თუმცა ეს ავლენს უეცარ ხარვეზებს ტრადიციული ქცევისთვის განკუთვნილი ქვაბის ფირფიტაში.

რა უნდა გავაკეთოთ?

არასწორი:

fortune | head -1 && echo "Повезло, но вы рискуете!" || echo "WTF?"

სწორად:

1. (fortune && echo "Успешно" || echo "Ошибка") | head -1

   აქ, მილის ადრეულ დახურვას ახორციელებს ბრძანების თარჯიმანი, როდესაც ემსახურება წყობილ მილსადენს ("ფრჩხილებში"). შესაბამისად, თუ fortune შეცდომებს წერილობით შეატყობინებს სტატუსის დახურულ არხს, შემდეგ გამომავალს || echo "Ошибка" ის ვერსად წავა, რადგან არხი უკვე დაკეტილია.

2. fortune | cat - | head -1 && echo "Успешно" || echo "Ошибка"

   აქ არის უტილიტა cat მოქმედებს როგორც დამშლელი, რადგან ის უგულებელყოფს შეცდომას EPIPE გაყვანისთანავე. დასკვნისთვის ეს საკმარისია fortune მცირე (რამდენიმე ხაზი) ​​და ჯდება არხის ბუფერში (512 ბაიტიდან ≈64K-მდე, უმეტეს OS-ში ≥4K). წინააღმდეგ შემთხვევაში, პრობლემა შეიძლება დაბრუნდეს.

როგორ დავამუშავოთ სწორად EPIPE და სხვა ჩაწერის შეცდომები?

არ არსებობს ერთი სწორი გამოსავალი, მაგრამ არსებობს მარტივი რეკომენდაციები:

• EPIPE საჭიროა უნდა დამუშავდეს (და აისახება გასვლის სტატუსში) მონაცემთა გამოტანისას, რომელიც მოითხოვს მთლიანობას. მაგალითად, არქივის ან სარეზერვო კომუნალური საშუალებების მუშაობის დროს.
• EPIPE უმჯობესია იგნორირება ინფორმაციისა და დამხმარე შეტყობინებების ჩვენებისას. მაგალითად, პარამეტრების შესახებ ინფორმაციის ჩვენებისას --help ან --version.
• თუ შემუშავებული კოდი შეიძლება გამოყენებულ იქნას მილსადენში ადრე | head, მაშინ EPIPE სჯობს იგნორირება, თორემ ჯობია დამუშავება და გასვლის სტატუსში ასახვა.

მინდა ვისარგებლო შემთხვევით და მადლობა გადავუხადო გუნდებს MCST и ალტლინუქსი დიდი პროდუქტიული მუშაობისთვის. საოცარია თქვენი მონდომება!
ასე გააგრძელეთ კამარადები, ასე შეხვედრები შემოდგომაზე!

მადლობა ბერეზი ბეჭდვითი შეცდომებისა და შეცდომების გამოსასწორებლად.
KDPV-დან გიორგი ა.

წყარო: www.habr.com