SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf]

შესავალი SBCL-სა და პროგრამული უზრუნველყოფის სისუფთავის Drive-ზე

პროგრამული უზრუნველყოფის განვითარების რთულ სამყაროში, რამდენიმე ამოცანაა ისეთივე ფუნდამენტური ან პოტენციურად სავსე სირთულით, როგორც შემდგენელის აგება. პროცესი, რომელიც ცნობილია როგორც bootstrapping, მოიცავს არსებული შემდგენელის გამოყენებას საკუთარი ახალი ვერსიის შესაქმნელად. ამან შეიძლება გამოიწვიოს "ქათამისა და კვერცხის" პრობლემა: როგორ გადაამოწმოთ კომპილერის სისწორე, რომელმაც შექმნა თქვენი შემდგენელი? 2008 წელს მნიშვნელოვანი ეტაპი იქნა მიღწეული სწორედ ამ საკითხის მოგვარებაში Common Lisp საზოგადოებისთვის კრისტოფ როდოსის ნაშრომის გამოქვეყნებით, "SBCL: A Sanely-Bootstrappable Common Lisp". ამ ნამუშევარმა გადააქცია Steel Bank Common Lisp (SBCL) მაღალი ხარისხის დანერგვიდან გამჭვირვალობისა და სანდოობის პარაგონად, პრინციპებით, რომლებიც ღრმად ჟღერს დღევანდელ პროგრამულ ლანდშაფტში და შეესაბამება Mewayz-ის მსგავსი პლატფორმების ძირითად ფილოსოფიას, რომლებიც ცდილობენ უზრუნველყონ საიმედო, გასაგები ბიზნეს სისტემები.

რას ნიშნავს "Sanely-Bootstrappable"?

SBCL-ის ტრანსფორმაციამდე, Common Lisp შემდგენელის აგება ხშირად მოითხოვდა წინასწარ არსებულ, ხშირად საკუთრებაში არსებულ, Common Lisp სისტემას მშენებლობის პროცესის გასაშვებად. ამან შექმნა დამოკიდებულება "ნდობის ნდობის" ჯაჭვზე, კონცეფცია, რომელიც ცნობილია კენ ტომპსონის მიერ 1984 წლის ტურინგის ჯილდოს ლექციაზე. შეშფოთება ის არის, რომ მავნე მოქმედმა შეიძლება შეიტანოს დამალული დაუცველობა კომპილერში, რომელიც შემდეგ ჩუმად გაავრცელებს ამ დაუცველობას მის მიერ შედგენილ ყველა მომდევნო პროგრამაში, მათ შორის მისი მომავალი ვერსიების ჩათვლით. "ჯანსაღ-ჩატვირთვის" სისტემა არღვევს ამ ჯაჭვს. ის უზრუნველყოფს მკაფიო, აუდიტორულ გზას მინიმალური, მარტივი საწყისი წერტილიდან - ხშირად მცირე რაოდენობის კოდი ქვედა დონის ენაზე, როგორიცაა C - სრულ, დახვეწილ კომპილატორამდე. ეს საშუალებას აძლევს დეველოპერებს დაადასტურონ პროცესის ყოველი ნაბიჯი, დარწმუნდნენ, რომ მიღებული ორობითი არ არის ხელყოფისაგან და მისი ქცევა ზუსტად ისეა, როგორც გათვალისწინებულია მისი წყაროს კოდით.

SBCL Bootstrap პროცესი: C-დან Common Lisp-მდე

კრისტოფ როდოსის ნაშრომში აღწერილი იყო, თუ როგორ მიაღწია SBCL-მა ამ სასურველ სტატუსს. ჩატვირთვის პროცესი არის სისტემის ეტაპობრივად აშენების მომხიბლავი მოგზაურობა. ის იწყება არა სრული Common Lisp გარემოთი, არამედ მინიმალური Lisp თარჯიმანით დაწერილი C-ზე. ეს თარჯიმანი, რომელსაც ხშირად უწოდებენ "ცივი დაწყების" სისტემას, საკმარისად ძლიერია SBCL-ის ძირითადი წყაროს კოდის შესასრულებლად. პროცესი მოიცავს ორ ძირითად ეტაპს:

• სტადია 1: C-ზე დაფუძნებული თარჯიმანი აგროვებს ფუნდამენტურ SBCL წყაროს ფაილებს. ეს ქმნის პრიმიტიულ, მაგრამ ფუნქციონალურ SBCL გარემოს, რომელიც ჯერ კიდევ მუშაობს თარჯიმნის თავზე.
• 2 ეტაპი: ეს ახალი SBCL გარემო შემდეგ გამოიყენება SBCL წყაროს კოდის ხელახლა შედგენისთვის, მაგრამ ამჯერად მთლიანად თავის შიგნით. შედეგი არის "ცხელი" SBCL შესრულებადი, რომელიც დამოუკიდებელია ორიგინალური C თარჯიმნისგან და შეუძლია გაშვება მასპინძელ მანქანაზე.

ეს თვითმმართველობის ჰოსტინგის შესაძლებლობა არის საფუძვლიანად ჩატვირთვის შესაძლებლობა. ეს ნიშნავს, რომ ნებისმიერს შეუძლია აიღოს გამოქვეყნებული SBCL წყაროს კოდი და, სტანდარტული C შემდგენელით, შექმნას დამოწმებული, სანდო SBCL შესრულებადი თავიდანვე. ეს გამორიცხავს პოტენციურად კომპრომეტირებულ წინასწარ შედგენილ ბინარებზე დამოკიდებულებას.

რატომ მნიშვნელოვანია Bootstrappability თანამედროვე პროგრამული უზრუნველყოფისთვის

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

ნაშრომი ხაზს უსვამს იმას, რომ SBCL-ის ჩატვირთვის პროცესი, მიუხედავად იმისა, რომ რთულია, უზრუნველყოფს „გზას პატარა, აუდიტორული თესლიდან სრულ Common Lisp სისტემამდე“, ეფექტურად ამცირებს „ნდობის ნდობის“ პრობლემას და ქმნის ახალ სტანდარტს შემდგენელის მთლიანობისთვის.

მემკვიდრეობა და ხანგრძლივი გავლენა

2008 წლის ნაშრომმა SBCL-ზე დაამკვიდრა მისი რეპუტაცია, როგორც არა მხოლოდ ერთ-ერთი ყველაზე სწრაფი Common Lisp იმპლემენტაციის, არამედ ერთ-ერთი ყველაზე ძლიერი და სანდო. ის ემსახურება როგორც მძლავრი შემთხვევის შესწავლას მთელი პროგრამული უზრუნველყოფის ინდუსტრიისთვის, რაც ადასტურებს, რომ შესრულება და უსაფრთხოება არ უნდა იყოს ურთიერთგამომრიცხავი. საღი ჩატვირთვის პროცესის პრიორიტეტით მინიჭებით, SBCL საზოგადოებამ ხელი შეუწყო უფრო მეტ ნდობას და აძლევდა დეველოპერებს უფლებას დაეუფლონ თავიანთი ხელსაწყოების ჯაჭვს. მძლავრი და გასაგები სისტემების შექმნის ეს ვალდებულება რჩება სახელმძღვანელო შუქად, რომელიც შთააგონებს უფრო მიზანმიმართულ და უსაფრთხო მიდგომას პროგრამული უზრუნველყოფის ინჟინერიაში, რომელიც აფასებს შექმნის მთელ ჯაჭვს, კოდის პირველი ხაზიდან საბოლოო შესრულებამდე.

ხშირად დასმული კითხვები

შესავალი SBCL-სა და პროგრამული უზრუნველყოფის სისუფთავის Drive-ზე

პროგრამული უზრუნველყოფის განვითარების რთულ სამყაროში, რამდენიმე ამოცანაა ისეთივე ფუნდამენტური ან პოტენციურად სავსე სირთულით, როგორც შემდგენელის აგება. პროცესი, რომელიც ცნობილია როგორც bootstrapping, მოიცავს არსებული შემდგენელის გამოყენებას საკუთარი ახალი ვერსიის შესაქმნელად. ამან შეიძლება გამოიწვიოს "ქათამისა და კვერცხის" პრობლემა: როგორ გადაამოწმოთ კომპილერის სისწორე, რომელმაც შექმნა თქვენი შემდგენელი? 2008 წელს მნიშვნელოვანი ეტაპი იქნა მიღწეული სწორედ ამ საკითხის მოგვარებაში Common Lisp საზოგადოებისთვის კრისტოფ როდოსის ნაშრომის გამოქვეყნებით, "SBCL: A Sanely-Bootstrappable Common Lisp". ამ ნამუშევარმა გადააქცია Steel Bank Common Lisp (SBCL) მაღალი ხარისხის დანერგვიდან გამჭვირვალობისა და სანდოობის პარაგონად, პრინციპებით, რომლებიც ღრმად ჟღერს დღევანდელ პროგრამულ ლანდშაფტში და შეესაბამება Mewayz-ის მსგავსი პლატფორმების ძირითად ფილოსოფიას, რომლებიც ცდილობენ უზრუნველყონ საიმედო, გასაგები ბიზნეს სისტემები.

რას ნიშნავს "Sanely-Bootstrappable"?

SBCL-ის ტრანსფორმაციამდე, Common Lisp შემდგენელის აგება ხშირად მოითხოვდა წინასწარ არსებულ, ხშირად საკუთრებაში არსებულ, Common Lisp სისტემას მშენებლობის პროცესის გასაშვებად. ამან შექმნა დამოკიდებულება "ნდობის ნდობის" ჯაჭვზე, კონცეფცია, რომელიც ცნობილია კენ ტომპსონის მიერ 1984 წლის ტურინგის ჯილდოს ლექციაზე. შეშფოთება ის არის, რომ მავნე მოქმედმა შეიძლება შეიტანოს დამალული დაუცველობა კომპილერში, რომელიც შემდეგ ჩუმად გაავრცელებს ამ დაუცველობას მის მიერ შედგენილ ყველა მომდევნო პროგრამაში, მათ შორის მისი მომავალი ვერსიების ჩათვლით. "ჯანსაღ-ჩატვირთვის" სისტემა არღვევს ამ ჯაჭვს. ის უზრუნველყოფს მკაფიო, აუდიტორულ გზას მინიმალური, მარტივი საწყისი წერტილიდან - ხშირად მცირე რაოდენობის კოდი ქვედა დონის ენაზე, როგორიცაა C - სრულ, დახვეწილ კომპილატორამდე. ეს საშუალებას აძლევს დეველოპერებს დაადასტურონ პროცესის ყოველი ნაბიჯი, დარწმუნდნენ, რომ მიღებული ორობითი არ არის ხელყოფისაგან და მისი ქცევა ზუსტად ისეა, როგორც გათვალისწინებულია მისი წყაროს კოდით.

SBCL Bootstrap პროცესი: C-დან Common Lisp-მდე

კრისტოფ როდოსის ნაშრომში აღწერილი იყო, თუ როგორ მიაღწია SBCL-მა ამ სასურველ სტატუსს. ჩატვირთვის პროცესი არის სისტემის ეტაპობრივად აშენების მომხიბლავი მოგზაურობა. ის იწყება არა სრული Common Lisp გარემოთი, არამედ მინიმალური Lisp თარჯიმანით დაწერილი C-ზე. ეს თარჯიმანი, რომელსაც ხშირად უწოდებენ "ცივი დაწყების" სისტემას, საკმარისად ძლიერია SBCL-ის ძირითადი წყაროს კოდის შესასრულებლად. პროცესი მოიცავს ორ ძირითად ეტაპს:

რატომ მნიშვნელოვანია Bootstrappability თანამედროვე პროგრამული უზრუნველყოფისთვის

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

მემკვიდრეობა და ხანგრძლივი გავლენა

2008 წლის ნაშრომმა SBCL-ზე დაამკვიდრა მისი რეპუტაცია, როგორც არა მხოლოდ ერთ-ერთი ყველაზე სწრაფი Common Lisp იმპლემენტაციის, არამედ ერთ-ერთი ყველაზე ძლიერი და სანდო. ის ემსახურება როგორც მძლავრი შემთხვევის შესწავლას მთელი პროგრამული უზრუნველყოფის ინდუსტრიისთვის, რაც ადასტურებს, რომ შესრულება და უსაფრთხოება არ უნდა იყოს ურთიერთგამომრიცხავი. საღი ჩატვირთვის პროცესის პრიორიტეტით მინიჭებით, SBCL საზოგადოებამ ხელი შეუწყო უფრო მეტ ნდობას და აძლევდა დეველოპერებს უფლებას დაეუფლონ თავიანთი ხელსაწყოების ჯაჭვს. მძლავრი და გასაგები სისტემების შექმნის ეს ვალდებულება რჩება სახელმძღვანელო შუქად, რომელიც შთააგონებს უფრო მიზანმიმართულ და უსაფრთხო მიდგომას პროგრამული უზრუნველყოფის ინჟინერიაში, რომელიც აფასებს შექმნის მთელ ჯაჭვს, კოდის პირველი ხაზიდან საბოლოო შესრულებამდე.