최근에 프로젝트에 대한 정보가 공개되었습니다 운영 체제 가상 머신을 이식하기 위해 작업할 팬텀 마이크로 커널 운영 체제 환경 제노드.
이 정보는 인터뷰에서 공개되었으며 주요 버전은 다음과 같다고 지적했습니다. Phantom OS는 이제 파일럿 프로젝트에 사용할 준비가 되었습니다., Genode 기반 버전은 연말까지 사용할 수 있습니다. 동시에 지금까지 프로젝트 웹 사이트에는 실행 가능한 개념적 프로토 타입 만 발표되었으며 그 안정성과 기능은 산업용에 적합한 수준으로 올라가지 않았으며 가장 가까운 계획 중 하나는 버전 alpha의 형성입니다. .
2000년대 초반부터 Phantom OS가 개발되어 Dmitry Zavalishin의 개인 프로젝트로 2010년부터 Dmitry가 만든 Digital Zone 회사의 날개 아래 이전되었습니다.
시스템 높은 신뢰성과 "모든 것이 객체다" 개념의 사용에 중점을 둔 것으로 유명합니다. "모든 것이 파일입니다" 대신 메모리 상태의 보존과 지속적인 작업 주기로 인해 파일 사용이 필요하지 않습니다.
Phantom의 앱은 종료되지 않고 일시 중지되었다가 다시 시작됩니다. 그들이 머물렀던 곳에서. 모든 변수와 데이터 구조는 응용 프로그램이 필요로 하는 한 저장할 수 있으며 프로그래머는 데이터를 저장하기 위해 특별한 주의를 기울일 필요가 없습니다.
팬텀의 애플리케이션 바이트코드로 컴파일, Java 가상 머신과 유사한 스택 기반 가상 머신에서 실행됩니다. 가상 머신은 애플리케이션 메모리 지속성을 제공합니다. 시스템은 가상 머신 상태의 스냅샷을 영구 미디어에 주기적으로 다운로드합니다.
종료 또는 충돌 후, 마지막으로 저장된 메모리 스냅샷에서 작업을 계속할 수 있습니다.. 스냅샷은 가상 머신을 일시 중단하지 않고 비동기식으로 생성되지만 가상 머신이 중지되고 디스크에 저장되었다가 다시 시작된 것처럼 스냅샷은 단일 세그먼트를 캡처합니다.
모든 응용 프로그램은 공통 전역 주소 공간에서 실행됩니다., 커널과 응용 프로그램 간의 컨텍스트 전환이 필요하지 않으며 참조 전달을 통해 개체를 교환할 수 있는 가상 머신에서 실행되는 응용 프로그램 간의 통신을 크게 단순화하고 속도를 높입니다.
Phantom으로 Java 프로그램 마이그레이션 세 고려 우나 응용 프로그램을 개발하는 주요 방법, 이는 팬텀 가상 머신과 JVM의 유사성에 의해 촉진됩니다. Java 언어용 바이트코드 컴파일러 외에도 이 프로젝트는 Python 및 C#용 컴파일러 생성과 WebAssembly의 중간 코드에서 번역기 구현을 예상합니다.
기존 Phantom OS 및 가상 머신, 스레드 구현이 있는 자체 커널 포함하는 메모리 관리자, 가비지 수집기, 동기화 메커니즘, 장비 작업을 위한 I/O 시스템 및 드라이버는 프로젝트를 광범위한 사용을 위한 준비 상태로 만드는 것을 상당히 복잡하게 만듭니다.
이와 별도로 네트워크 스택, 그래픽 하위 시스템 및 사용자 인터페이스가 있는 구성 요소가 개발되고 있습니다. 그래픽 하위 시스템과 창 관리자가 커널 수준에서 작동한다는 점은 주목할 가치가 있습니다.
프로젝트의 안정성, 이식성 및 보안을 향상시키기 위해, 구성 요소를 사용하여 작동하도록 팬텀 가상 머신을 이식하려고 시도했습니다. 오픈 마이크로 커널 운영 체제 제노드, 개발은 독일의 Genode Labs가 감수하고 있으며 Genode 기반의 Phantom을 실험해보고 싶은 분들을 위해 Docker 기반의 특별한 빌드 환경이 준비되어 있습니다.
사용 Genode는 이미 검증된 마이크로커널과 컨트롤러를 사용할 수 있게 해줍니다., 드라이버를 사용자 공간으로 가져오는 것(현재 형식에서 드라이버는 C로 작성되고 Phantom 커널 수준에서 실행됨).
특히 수학적 신뢰성 검사를 통과한 seL4 마이크로 커널을 사용하여 구현이 공식 언어에 지정된 사양을 완벽하게 준수하는지 확인할 수 있습니다. 전체 운영 체제 환경을 검증할 수 있도록 팬텀 가상 머신에 대해 유사한 신뢰성 테스트를 준비하는 것을 고려하고 있습니다.
Genode 기반 포트의 주요 응용 분야는 다양한 산업용 및 임베디드 장치용 응용 프로그램 개발입니다.
현재, 가상 머신에 대한 변경 집합이 이미 준비되었습니다. 커널의 지속성 구성 요소와 주요 저수준 인터페이스를 위해 Genode 위에서 실행되는 후크가 추가되었습니다.
Phantom VM은 이미 Genode 64비트 환경에서 작동할 수 있지만 VM은 아직 지속성 모드로 배포되지 않았으며 드라이버 하위 시스템을 다시 작업해야 하며 네트워크 스택 및 그래픽 하위 시스템이 있는 구성 요소는 Genode에 맞게 조정되었습니다.
시스템 작업에 대해 더 알고 싶으시면 자세한 내용을 참조하십시오. 다음 링크.