Gần đây Thông tin về dự án đã được công bố chuyển hệ điều hành máy ảo Phantom để làm việc môi trường hệ điều hành microkernel genode.
Thông tin được tiết lộ trong một cuộc phỏng vấn, trong đó nó được chỉ ra rằng phiên bản chính của Phantom OS hiện đã sẵn sàng cho các dự án thử nghiệm, và phiên bản dựa trên Genode sẽ sẵn sàng để sử dụng vào cuối năm nay. Đồng thời, cho đến nay chỉ có một nguyên mẫu khái niệm khả thi được công bố trên trang web của dự án, tính ổn định và chức năng của chúng vẫn chưa được đưa đến mức phù hợp cho việc sử dụng công nghiệp và trong số các kế hoạch gần nhất là việc hình thành một phiên bản alpha. .
Từ đầu những năm 2000, hệ điều hành Phantom đã được phát triển là một dự án cá nhân của Dmitry Zavalishin và từ năm 2010 nó được chuyển giao dưới sự điều hành của công ty Digital Zone do Dmitry tạo ra.
Hệ thống được chú ý vì tập trung vào độ tin cậy cao và sử dụng khái niệm "mọi thứ là một đối tượng" thay vì "mọi thứ đều là tệp", loại bỏ việc sử dụng tệp do bảo toàn trạng thái bộ nhớ và chu kỳ làm việc liên tục.
Các ứng dụng trong Phantom không bị chấm dứt, chỉ bị tạm dừng và tiếp tục lại từ nơi họ đã ở. Tất cả các biến và cấu trúc dữ liệu có thể được lưu trữ miễn là ứng dụng cần nó, và người lập trình không cần phải chăm sóc đặc biệt để lưu dữ liệu.
Các ứng dụng trong Phantom được biên dịch thành bytecode, chạy trong một máy ảo dựa trên ngăn xếp, tương tự như máy ảo Java. Máy ảo cung cấp tính bền bỉ cho bộ nhớ ứng dụng: hệ thống tải định kỳ các ảnh chụp nhanh trạng thái máy ảo xuống phương tiện liên tục.
Sau khi tắt máy hoặc gặp sự cố, công việc có thể tiếp tục từ ảnh chụp nhanh bộ nhớ được lưu cuối cùng. Ảnh chụp nhanh được tạo không đồng bộ và không làm tạm ngừng máy ảo, nhưng ảnh chụp nhanh sẽ chụp một đoạn đơn lẻ, như thể máy ảo đã dừng, được lưu vào đĩa và khởi động lại.
Tất cả các ứng dụng chạy trong một không gian địa chỉ toàn cầu chung., giúp loại bỏ nhu cầu chuyển đổi ngữ cảnh giữa hạt nhân và các ứng dụng, đồng thời đơn giản hóa và tăng tốc đáng kể giao tiếp giữa các ứng dụng chạy trong một máy ảo có thể trao đổi các đối tượng thông qua việc truyền tham chiếu.
Di chuyển các chương trình Java sang Phantom được coi là một những cách chính để phát triển ứng dụng, được tạo điều kiện bởi sự tương tự của máy ảo Phantom với JVM. Ngoài trình biên dịch bytecode cho ngôn ngữ Java, dự án còn dự đoán việc tạo trình biên dịch cho Python và C #, cũng như triển khai trình dịch từ mã trung gian của WebAssembly.
Hệ điều hành Phantom truyền thống, cùng với máy ảo, bao gồm hạt nhân của riêng nó với triển khai luồng, One trình quản lý bộ nhớ, một người thu gom rác, cơ chế đồng bộ hóa, hệ thống I / O và trình điều khiển để làm việc với thiết bị, điều này làm phức tạp đáng kể việc đưa dự án vào trạng thái sẵn sàng sử dụng rộng rãi.
Riêng biệt, các thành phần với ngăn xếp mạng, hệ thống con đồ họa và giao diện người dùng đang được phát triển. Điều đáng chú ý là hệ thống con đồ họa và trình quản lý cửa sổ hoạt động ở cấp hạt nhân.
Để cải thiện tính ổn định, tính di động và bảo mật của dự án, đã cố gắng chuyển máy ảo Phantom để hoạt động bằng cách sử dụng các thành phần mở hệ điều hành microkernel genode, quá trình phát triển được giám sát bởi công ty Genode Labs của Đức. Đối với những người muốn thử nghiệm Phantom dựa trên Genode, một môi trường xây dựng đặc biệt dựa trên Docker đã được chuẩn bị.
Sử dụng Genode sẽ làm cho nó có thể sử dụng các kênh vi mô và bộ điều khiển đã được chứng minh, cũng như đưa trình điều khiển vào không gian người dùng (ở dạng hiện tại, trình điều khiển được viết bằng C và chạy ở cấp hạt nhân Phantom).
Đặc biệt, sẽ có thể sử dụng kênh vi mô seL4, đã vượt qua kiểm tra độ tin cậy toán học, xác nhận rằng việc triển khai hoàn toàn tuân thủ các thông số kỹ thuật được chỉ định trong ngôn ngữ chính thức. Việc chuẩn bị một bài kiểm tra độ tin cậy tương tự cho máy ảo Phantom đang được xem xét, điều này sẽ cho phép xác minh toàn bộ môi trường hệ điều hành.
Lĩnh vực ứng dụng chính của cổng dựa trên Genode là phát triển các ứng dụng cho các thiết bị nhúng và công nghiệp khác nhau.
Hiện nay, một bộ thay đổi đã được chuẩn bị cho máy ảo và các hook đã được thêm vào chạy trên Genode cho các thành phần bền vững của hạt nhân và các giao diện cấp thấp chính.
Cần lưu ý rằng Phantom VM đã có thể hoạt động trong môi trường Genode 64-bit, nhưng VM vẫn chưa được triển khai ở chế độ bền bỉ, hệ thống con trình điều khiển cần được làm lại và các thành phần với ngăn xếp mạng và hệ thống phụ đồ họa phải được thích nghi với Genode.
Nếu bạn muốn biết thêm về công việc của hệ thống, bạn có thể tham khảo chi tiết trong liên kết theo dõi.