Sau một năm rưỡi phát triển sự ra mắt của phiên bản mới của dự án "Hệ điều hành Mirage 4.0" cho phép tạo hệ điều hành cho một ứng dụng duy nhất, trong đó ứng dụng được phân phối dưới dạng một "kênh đơn lẻ" độc lập có thể chạy mà không cần sử dụng hệ điều hành, nhân hệ điều hành riêng biệt và bất kỳ lớp nào.
Tất cả các chức năng cấp thấp có nguồn gốc từ hệ điều hành được triển khai dưới dạng thư viện được đính kèm với ứng dụng.
Giới thiệu về hệ điều hành Mirage
một ứng dụng có thể được phát triển trên bất kỳ hệ điều hành nào và sau đó được biên dịch thành một nhân chuyên biệt (khái niệm unikernel) có thể chạy trực tiếp trên các trình giám sát Xen, KVM, BHyve và VMM (OpenBSD), trên nền tảng di động, như một quy trình POSIX. tương thích hoặc trong môi trường đám mây của Amazon Elastic Compute Cloud và Google Compute Engine.
Môi trường được tạo ra không chứa gì thừa và tương tác trực tiếp với hypervisor không có trình điều khiển hoặc các lớp hệ thống, dẫn đến giảm chi phí đáng kể và tăng cường bảo mật.
Làm việc với Mirage OS Nó tóm tắt thành ba giai đoạn: chuẩn bị cấu hình với định nghĩa của các gói OPAM được sử dụng trong môi trường, xây dựng môi trường và khởi chạy môi trường. Thời gian chạy để chạy trên siêu giám sát dựa trên hạt nhân Solo5.
Mặc dù các ứng dụng và thư viện được xây dựng trên ngôn ngữ OCaml cấp cao, các môi trường kết quả cho thấy hiệu suất khá tốt và kích thước tối thiểu (ví dụ: máy chủ DNS chỉ 200 KB).
Bảo trì môi trường cũng được đơn giản hóa, vì nếu bạn cần cập nhật chương trình hoặc thay đổi cấu hình, chỉ cần tạo và chạy một môi trường mới là đủ. Hàng trăm thư viện bằng ngôn ngữ OCaml được hỗ trợ để thực hiện các hoạt động mạng (DNS, SSH, OpenFlow, HTTP, XMPP, Matrix, OpenVPN, v.v.), làm việc với các kho lưu trữ và cung cấp xử lý dữ liệu song song.
Tin tức chính về MirageOS 4.0
Trong phiên bản MirageOS mới này được trình bày quy trình xây dựng dự án đã thay đổi và unikernel. Thay thế của hệ thống xây dựng ocamlbuild trước đây đã sử dụng, được sử dụng cồn cát và kho lưu trữ địa phương (monorepos).
Để tạo các kho lưu trữ như vậy, đã thêm một tiện ích mới, opam-monorepo, cho phép chúng tôi tách biệt quản lý gói khỏi xây dựng từ nguồn. Tiện ích opam-monorepo thực hiện công việc tạo tệp khóa đối với các phụ thuộc liên quan đến dự án, việc tải xuống và giải nén mã phụ thuộc cũng như định cấu hình môi trường để sử dụng hệ thống xây dựng cồn cát, điều đáng nói là quá trình xây dựng thực tế được thực hiện bởi cồn cát.
Một thay đổi khác nổi bật là một quy trình xây dựng có thể lặp lại được cung cấp. Việc sử dụng các tệp khóa cung cấp một liên kết đến các phiên bản phụ thuộc và cho phép bạn lặp lại hoàn toàn quá trình xây dựng bất kỳ lúc nào với cùng một đoạn mã.
Nó cũng được nhấn mạnh rằng đã thực hiện một quy trình biên dịch chéo mới và khả năng biên dịch chéo được cung cấp cho tất cả các nền tảng đích được hỗ trợ từ một môi trường xây dựng chung, trong đó, trong số những thứ khác, các thư viện liên kết C và các phần phụ thuộc được biên dịch chéo mà không cần thêm các liên kết này vào gói chính.
Mặt khác, nó được đề cập rằng tiện ích opam-monorepo có sẵn để cài đặt với trình quản lý gói opam và có thể được sử dụng trong các dự án sử dụng hệ thống xây dựng cồn cát. Để duy trì các bản vá giải quyết các vấn đề với việc tạo phụ thuộc trong cồn cát, hai kho đã được tạo lớp phủ dune-vũ trụ / opam và lớp phủ dune-vũ trụ / mirage-opam-, được bật theo mặc định khi sử dụng tiện ích ảo ảnh CLI.
Của những thay đổi khác nổi bật:
- Biên dịch chéo được tổ chức bằng cách sử dụng không gian làm việc được cung cấp bởi hệ thống xây dựng cồn cát.
- Hỗ trợ cho các nền tảng mục tiêu mới đã được thêm vào, chẳng hạn như khả năng tạo các ứng dụng độc lập để hoạt động trên bo mạch Raspberry Pi 4 đã được cung cấp thử nghiệm.
- Công việc đã được thực hiện để tích hợp các phần của MirageOS vào hệ sinh thái liên quan đến phát triển OCaml nhằm đơn giản hóa việc lắp ráp các ứng dụng dưới dạng một kênh đơn lẻ.
- Nhiều gói MirageOS đã được chuyển sang hệ thống xây dựng cồn cát.
- Tích hợp đơn giản hóa MirageOS với các thư viện C và Rust.
- Thời gian chạy OCaml mới được đề xuất để tránh libc (libc miễn phí).
- Cung cấp khả năng sử dụng dịch vụ Merlin để tích hợp với các môi trường phát triển tích hợp tiêu chuẩn.
Cuối cùng, nếu bạn muốn biết thêm về nó, bạn có thể kiểm tra các chi tiết Trong liên kết sau đây.