MirageOS 4.0-ის გამოშვება, პლატფორმა ჰიპერვიზორის თავზე აპლიკაციების გასაშვებად

წელიწადნახევრის შემუშავების შემდეგ გამოქვეყნდა MirageOS 4.0 პროექტის გამოშვება, რომელიც საშუალებას გაძლევთ შექმნათ ოპერაციული სისტემები ერთი აპლიკაციისთვის, რომელშიც აპლიკაცია მიეწოდება როგორც თვითმყოფადი „უნიკერნელი“, რომელსაც შეუძლია მუშაობა გარეშე. ოპერაციული სისტემების გამოყენება, ცალკე OS ბირთვი და ნებისმიერი ფენა. OCaml ენა გამოიყენება აპლიკაციების შესაქმნელად. პროექტის კოდი ნაწილდება უფასო ISC ლიცენზიით.

ოპერაციული სისტემისთვის დამახასიათებელი ყველა დაბალი დონის ფუნქციონალი დანერგილია აპლიკაციასთან მიმაგრებული ბიბლიოთეკის სახით. აპლიკაციის შემუშავება შესაძლებელია ნებისმიერ ოპერაციულ სისტემაზე და შემდეგ კომპილირება ხდება სპეციალიზებულ ბირთვად (უნიკერნელის კონცეფცია), რომლის გაშვებაც შესაძლებელია პირდაპირ Xen ჰიპერვიზორების თავზე. KVM, BHyve და VMM (OpenBSD), მობილური პლატფორმების თავზე, როგორც პროცესი POSIX-თავსებად გარემოში ან Amazon Elastic Compute Cloud-ისა და Google Compute Engine-ის ღრუბლოვან გარემოში.

გენერირებული გარემო არ შეიცავს რაიმე ზედმეტს და უშუალოდ ურთიერთქმედებს ჰიპერვიზორთან დრაივერების ან სისტემის ფენების გარეშე, რაც საშუალებას იძლევა მნიშვნელოვნად შემცირდეს ზედნადები ხარჯები და გაზარდოს უსაფრთხოება. MirageOS-თან მუშაობა სამ ეტაპად მოდის: კონფიგურაციის მომზადება გარემოში გამოყენებული OPAM პაკეტების განსაზღვრით, გარემოს აწყობა და გარემოს გაშვება. ჰიპერვიზორების თავზე მუშაობის უზრუნველსაყოფად, Runtime აგებულია Solo5 ბირთვის საფუძველზე.

Несмотря на то, что приложения и библиотеки формируются на высокоуровневом языке OCaml, итоговые окружения демонстрируют достаточно неплохую производительность и минимальный размер (например, DNS-сервер занимает всего 200 КБ). Упрощается и сопровождение окружений, так как при необходимости обновления программы или изменения конфигурации, достаточно создать и запустить новое окружение. Поддерживается несколько сотен библиотек на языке OCaml для выполнения сетевых операций (DNS, SSH, OpenFlow, HTTP, XMPP, Matrix, OpenVPN и т.п.), работы с хранилищами и обеспечения параллельной обработки данных.

ძირითადი გაუმჯობესებები:

• შეიცვალა პროექტების და უნიკერნელის შედგენის პროცესი. ადრე გამოყენებული ocamlbuild ასამბლეის სისტემის ნაცვლად, გამოიყენება dune ინსტრუმენტარიუმის და ადგილობრივი საცავი (monorepo). ასეთი საცავების შესაქმნელად დაემატა ახალი უტილიტა, opam-monorepo, რომელიც შესაძლებელს ხდის პაკეტის მენეჯმენტის გამოყოფა შენობიდან საწყისი კოდისგან. opam-monorepo უტილიტა მუშაობს, როგორიცაა დაბლოკვის ფაილების შექმნა პროექტთან დაკავშირებული დამოკიდებულებებისთვის, დამოკიდებულების კოდის ჩატვირთვა და ამოღება და დუნის აგების სისტემის გამოსაყენებლად გარემოს დაყენება. ფაქტობრივი შეკრება ხორციელდება დუნის ინსტრუმენტთა ნაკრებით.
• გათვალისწინებულია განმეორებადი მშენებლობის პროცესი. დაბლოკვის ფაილების გამოყენება იძლევა ბმულს დამოკიდებულების ვერსიებთან და საშუალებას გაძლევთ, ნებისმიერ დროს, სრულად გაიმეოროთ აწყობის პროცესი იგივე კოდით.
• განხორციელდა ახალი ჯვარედინი კომპილაციის პროცესი და უზრუნველყოფილია ჯვარედინი კომპილაციის შესაძლებლობა ყველა მხარდაჭერილი სამიზნე პლატფორმისთვის ერთი საერთო build გარემოდან, რომელიც ასევე აკავშირებს დამოკიდებულებებსა და ბიბლიოთეკებს, რომლებსაც აქვთ C საკინძები, ამ აკინძების დამატების გარეშე. მთავარი პაკეტი. ჯვარედინი კომპილაცია ორგანიზებულია დიუნის აგების სისტემის მიერ მოწოდებული სამუშაო ადგილების გამოყენებით.
• დაემატა ახალი სამიზნე პლატფორმების მხარდაჭერა, მაგალითად, უზრუნველყოფილია ექსპერიმენტული შესაძლებლობა შექმნათ დამოუკიდებელი აპლიკაციები Raspberry Pi 4 დაფებზე გასაშვებად.
• გაკეთდა მუშაობა MirageOS-ის ნაწილების ინტეგრირებისთვის ეკოსისტემებში, რომლებიც დაკავშირებულია განვითარებასთან OCaml ენაზე, რათა გამარტივდეს აპლიკაციების შეკრება უნიკერნელის სახით. ბევრი MirageOS პაკეტი პორტირებულია dune build სისტემაში. opam-monorepo პროგრამა ხელმისაწვდომია ინსტალაციისთვის opam პაკეტის მენეჯერის გამოყენებით და შეიძლება გამოყენებულ იქნას პროექტებში, რომლებიც იყენებენ dune build სისტემას. პატჩების შესანარჩუნებლად, რომლებიც აგვარებენ დუნეში დამოკიდებულების აგების პრობლემებს, შეიქმნა ორი საცავი: dune-universe/opam-overlays და dune-universe/mirage-opam-overlays, რომლებიც ჩართულია ნაგულისხმევად მირაჟის CLI უტილიტის გამოყენებისას.
• MirageOS-ის ინტეგრაცია C და Rust ბიბლიოთეკებთან გამარტივდა.
• შემოთავაზებულია ახალი OCaml გაშვების დრო, რომელიც საშუალებას გაძლევთ გააკეთოთ libc-ის გარეშე (libc-free).
• შესაძლებელია მერლინის სერვისის გამოყენება სტანდარტული ინტეგრირებული განვითარების გარემოსთან ინტეგრაციისთვის.

წყარო: opennet.ru