Redox OS პროექტმა გააცნო pkgar პაკეტის მენეჯერი, დაწერილი Rust

ოპერაციული სისტემის დეველოპერები რედოქსი, დაწერილი Rust ენისა და მიკროკერნელის კონცეფციის გამოყენებით, წარმოდგენილი ახალი პაკეტის მენეჯერი pkgar. პროექტი ავითარებს პაკეტის ახალ ფორმატს, პაკეტის მართვის ბიბლიოთეკას და ბრძანების ხაზის ინსტრუმენტარიუმს ფაილების კრიპტოგრაფიულად დამოწმებული კოლექციის შესაქმნელად და მოსაძიებლად. pkgar კოდი იწერება Rust და ვრცელდება MIT ლიცენზიით.

pkgar ფორმატი არ არის უნივერსალური და ოპტიმიზებულია Redox OS ოპერაციული სისტემის სპეციფიკის გათვალისწინებით. პაკეტის მენეჯერი მხარს უჭერს წყაროს გადამოწმებას ციფრული ხელმოწერისა და მთლიანობის კონტროლის გამოყენებით. საკონტროლო ჯამები გამოითვლება ჰეშის ფუნქციის გამოყენებით blake3. pkgar-ის ვერიფიკაციასთან დაკავშირებულ ფუნქციაზე წვდომა შესაძლებელია პაკეტის არქივის რეალურად შენახვის გარეშე, მხოლოდ სათაურის ნაწილის მანიპულირებით. კერძოდ, პაკეტი შედგება სათაურის ფაილისაგან (.pkgar_head) და მონაცემთა ფაილისგან (.pkgar_data). სწორად ხელმოწერილი სრული შემაჯამებელი პაკეტი (.pkgar) შეიძლება მიღებულ იქნას სათაურის ფაილის უბრალოდ მონაცემთა ფაილზე მიმაგრებით („cat example.pkgar_head example.pkgar_data > example.pkgar“).

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

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

პაკეტები არსებითად განმეორებადია, რაც იმას ნიშნავს, რომ კონკრეტული დირექტორიასთვის პაკეტის შექმნა ყოველთვის იდენტურ პაკეტს გამოიწვევს. ინსტალაციის შემდეგ სისტემაში ინახება მხოლოდ მეტამონაცემები, რაც საკმარისია პაკეტის რეკონსტრუქციისთვის დაინსტალირებული მონაცემებიდან (პაკეტის შემადგენლობა, გამშვები ჯამები, ბილიკები და წვდომის უფლებები შეიცავს მეტამონაცემებს).

pkgar-ის ძირითადი მიზნები:

• ატომურობა - განახლებები გამოიყენება ავტომატურად, როდესაც ეს შესაძლებელია.
• ტრაფიკის დაზოგვა - მონაცემთა გადაცემა ხდება ქსელში მხოლოდ ჰეშის ცვლილებისას (განახლების დროს მხოლოდ შეცვლილი ფაილების ჩამოტვირთვა ხდება).
• გამოიყენება მაღალი ხარისხის, სწრაფი კრიპტოგრაფიული ალგორითმები (blake3 მხარს უჭერს მონაცემთა პარალელურად დამუშავებას ჰეშების გამოთვლისას). თუ საცავიდან მონაცემები ადრე არ იყო ქეშირებული, გადმოწერილი მონაცემების ჰეშის გამოთვლა შესაძლებელია ჩამოტვირთვის დროს.
• მინიმალისტური - სხვა ფორმატებისგან განსხვავებით, pkgar მოიცავს მხოლოდ მეტამონაცემებს, რომლებიც საჭიროა პაკეტის ამოსაღებად.
• ინსტალაციის დირექტორიას დამოუკიდებლობა - პაკეტი შეიძლება დაინსტალირდეს ნებისმიერ დირექტორიაში, ნებისმიერი მომხმარებლის მიერ (მომხმარებელს უნდა ჰქონდეს ჩაწერის უფლება არჩეულ დირექტორიაში).
• უსაფრთხოება - პაკეტები ყოველთვის დამოწმებულია კრიპტოგრაფიულად და დამოწმება ხდება პაკეტზე ფაქტობრივი ოპერაციების შესრულებამდე (პირველი იტვირთება სათაური და თუ ციფრული ხელმოწერა სწორია, მონაცემები იტვირთება დროებით დირექტორიაში, რომელიც გადადის სამიზნე დირექტორიაში შემდეგ გადამოწმება).

წყარო: opennet.ru