თვითსტაბილიზაციის კომპოზიციური თეორიის ძიებაში

2026 წლის 21 სექტემბრის Metadata-ის ბლოგის პოსტი სვამს კითხვას: არსებობს თუ არა თვითსტაბილიზაციის კომპოზიციური თეორია? მეტასტაბილური ავარიების პრინციპული ახსნის ძიებამ ავტორი თვითსტაბილიზაციას დაუბრუნა, ხოლო თვითსტაბილიზებადი სისტემების კომპოზიციაზე ლიტერატურის ძიებამ სასარგებლო ვერაფერი იპოვა. სატესტო მაგალითი კონტრაქტებიანი ორი კომპონენტისგან აწყობილი rely-guarantee TLA+ მოდელია — retry-ქარიშხლისა, რომელიც მეტასტაბილურ ავარიას აღადგენს, როცა დიდი შოკი აცლის ორი პირობის საყრდენ საბაზისო შემთხვევას.

ერთი დაპირებიდან კონტრაქტების ოჯახამდე

ძიებამ Kim-ის, Arcak-ის და Seshia-ს 2017 წლის კონტროლის თეორიის ნაშრომამდე მიიყვანა. ის ორ კომპონენტს შორის ციკლურ მსჯელობას ფენებისა და ბლოკირების გარეშე ხსნის, მაგრამ კომპონენტს სიგნალებზე უმეხსიერო input-output მიმართებად განიხილავს: დაგროვილი backlog ვერ გამოისახება, რიგები მიუწვდომელია, სტაბილიზაციაზე კი არაფერია ნათქვამი.

მთავარი იდეა მაინც გამოსაყენებელია. ერთი წინაპირობიანი დაპირების ნაცვლად — „თუ რიგი 6-ზე ნაკლებია, რეტრისებს არ ვგზავნი“ — იწერება კონტრაქტების ოჯახი: როგორი რიგის სიგრძეც არ უნდა იყოს L, კომპონენტი უგზავნის მაქსიმუმ λ(L) რეტრისს. მოდელის მუდმივებით ცხრილი „რიგი მაქსიმუმ 6 → 0 რეტრისიდან“ „რიგი მაქსიმუმ 18 → 6 რეტრისამდე“ მიდის; დაშვების მხარე დისიუნქციაა, გარანტიის მხარე — კონიუნქცია.

რატომ ტყდება მცირე მოგების მოკლე გზა

„მცირე მოგების“ თეორემა ამბობს, რომ უკუკავშირის ციკლი დგინდება, როცა კომპონენტების მოგებათა ნამრავლი ერთზე ნაკლებია. აქ ორი რამ აფერხებს: საჭიროა სწორი ხაზები, მაგრამ ფიქსირებული დახრილობა მხოლოდ რეტრიერს აქვს (1/2), სერვერის წილი კი f/(f+d)-ის მსგავსია; და ვარაუდობს, რომ „სიცუდე“ ერთი რიცხვია, მაშინ როცა ორი რიგია — ახალი სამუშაო და დუბლიკატები.

ორივეს თვალყურის დევნება იძლევა (8,4) ფიქსირებულ წერტილს და ოთხ დახრილობას. დიაგონალზე — 11/12 და 5/6 — მეხსიერებაა: რიგის დარჩენილი წილი. დიაგონალს მიღმა — 7/12 და 1/6 — რიგებს შორის კავშირია. მხოლოდ კავშირის გამრავლება იძლევა 7/72 ≈ 0.1-ს — „ათმაგი რეზერვით სტაბილურობას“ — და ეს არასწორია, რადგან მეხსიერებას უგულებელყოფს. სწორი სტაბილურობის ანალიზი აბრუნებს 1.19-სა და 0.56-ს: ერთი ფაქტორი ერთზე მეტია, ამიტომ თითქმის ნებისმიერი შერყევა იზრდება.

ცნობილი გადაწყვეტები და ჭერი, რომელიც არ შველის

არითმეტიკა ხსნის პრაქტიკაში ცნობილ გადაწყვეტებსაც. რეტრის ბიუჯეტი 7/12-ს ანულებს, fresh-first მომსახურება — 1/6-ს. მაშინ ფაქტორები 0.92-სა და 0.83-ს უბრუნდება და backlog რაუნდზე 8%-ით იკლებს, არა 19%-ით იზრდება. რიგების ჭერიც იგივე ნაბიჯია: M ზღუდავს მაქსიმუმ (M−6)/T რეტრისამდე. M=7-ზე რეტრისი არ შეიძლება; M=8-ზე ერთი დაიშვება და სხვა ატრაქტორები ჩნდება. 8-ზე მაღლა ჭერი დივერგენციას ზღუდავს, მაგრამ ავარიას არ აღკვეთს. M=40-ზე სისტემა (39,38)-ზე ჩერდება: რაუნდზე სამი ერთეულიდან ერთი სასარგებლო სამუშაოს მიდის, ორი კი უკვე გაგზავნილი მოთხოვნების დუბლიკატებს — ეს მეტასტაბილურობის განმარტებაა.

შედეგი ნაწილობრივია. ნაშრომმა უკეთესი გზა მისცა დაპირება კონტრაქტების ოჯახად ჩამოეწერა, მაგრამ კომპოზიციის რეცეპტი არ მოგვცა, და უმეხსიერო სკალარული მოდელი მაგალითს არ ერგება. ოთხი დახრილობა ორივე რიგის ერთად ჩაწერით მიიღება — ამ ნაბიჯზე კომპოზიციაზე უარი თქვა. მაინც, ცხრილის ყოველი წევრი ერთ კომპონენტს ეკუთვნის: 7/12 არის რეტრიერის 1/2 პლუს სერვერის 1/12.