{"id":103071,"date":"2022-01-24T15:36:48","date_gmt":"2022-01-24T13:36:50","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/%d0%bf%d1%80%d0%be%d1%82%d0%be%d1%82%d0%b8%d0%bf-%d0%be%d1%82%d0%b5%d1%87%d0%b5%d1%81%d1%82%d0%b2%d0%b5%d0%bd%d0%bd%d0%be%d0%b9-%d0%be%d1%81-phantom-%d0%bd%d0%b0-%d0%b1%d0%b0%d0%b7%d0%b5-genode-%d0%b1"},"modified":"2022-01-24T15:36:48","modified_gmt":"2022-01-24T13:36:50","slug":"prototip-otechestvennoj-os-phantom-na-baze-genode-b","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/prototip-otechestvennoj-os-phantom-na-baze-genode-b","title":{"rendered":"Il prototipo del sistema operativo domestico Phantom basato su Genode sar\u00e0 pronto entro la fine dell'anno.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Dmitrij Zavalishin ha parlato del progetto di porting della macchina virtuale del sistema operativo Phantom per funzionare in un ambiente del sistema operativo microkernel Genode. Nell'intervista si sottolinea che la versione principale di Phantom \u00e8 gi\u00e0 pronta per progetti pilota, mentre la versione basata su Genode sar\u00e0 completata per l'uso entro la fine dell'anno. Tuttavia, sul sito del progetto \u00e8 al momento disponibile solo un prototipo concettuale funzionante, la cui stabilit\u00e0 e funzionalit\u00e0 non sono state portate a un livello idoneo all'uso industriale, e tra i prossimi obiettivi si menziona la creazione di una versione alpha adatta per esperimenti da parte di sviluppatori esterni. <\/p>\n

Il codice del progetto \u00e8 distribuito sotto licenza LGPL, mal'ultimo aggiornamento nel repository principale \u00e8 datato novembre 2019. L'attivit\u00e0 pubblica legata al progetto \u00e8 concentrata nel repository con un fork per Genode, supportato da Anton Antonov, uno studente dell'universit\u00e0 di Innopolis, dal dicembre 2020. <\/p>\n

Il sistema operativo Phantom \u00e8 stato sviluppato come progetto personale di Dmitrij Zavali\u0161in sin dai primi anni 2000, ed \u00e8 stato trasferito sotto l'ala della societ\u00e0 Digital Zone, fondata da Dmitrij, nel 2010. Questo sistema \u00e8 caratterizzato da un'elevata affidabilit\u00e0 e utilizza il concetto di \u00abtutto \u00e8 un oggetto\u00bb piuttosto che \u00abtutto \u00e8 un file\u00bb, permettendo di evitare l'uso dei file attraverso la conservazione dello stato della memoria e un ciclo di lavoro continuo. Le applicazioni in Phantom non vengono terminate, ma solo sospese e riprendono il lavoro dal punto in cui erano state interrotte. Tutte le variabili e le strutture dati possono essere memorizzate per tutto il tempo necessario all'applicazione, senza che il programmatore debba preoccuparsi del salvataggio dei dati. <\/p>\n

Le applicazioni in Phantom vengono compilate in bytecode, che viene eseguito in una macchina virtuale a stack, simile alla macchina virtuale Java. La macchina virtuale garantisce la persistenza della memoria delle applicazioni: il sistema salva periodicamente degli snapshot dello stato della macchina virtuale su un supporto permanente. Dopo lo spegnimento o un'interruzione imprevista, \u00e8 possibile continuare il lavoro a partire dall'ultimo snapshot della memoria salvato. Gli snapshot vengono creati in modo asincrono e senza interrompere il funzionamento della macchina virtuale, ma nel snapshot viene registrato un istante unico, come se la macchina virtuale fosse stata fermata, salvata su disco e poi riavviata. <\/p>\n

Tutte le applicazioni vengono eseguite in uno spazio indirizzo globale condiviso, il che consente di evitare cambi di contesto tra il kernel e le applicazioni, semplificando e accelerando notevolmente l'interazione tra le applicazioni in esecuzione nella macchina virtuale, che possono scambiarsi oggetti tramite il passaggio di riferimenti. La separazione degli accessi avviene a livello di oggetti, i cui riferimenti possono essere ottenuti solo tramite la chiamata dei metodi corrispondenti (l'aritmetica dei puntatori \u00e8 assente). Qualsiasi dato, inclusi i valori numerici, \u00e8 trattato come oggetti distinti. <\/p>\n

Per l'applicazione, il lavoro appare continuo e indipendente dai riavvii del sistema operativo, dagli arresti anomali e dallo spegnimento del computer. Il modello di programmazione per Phantom \u00e8 paragonabile all'avvio di un'applicazione che non si ferma mai. server<\/a> Le applicazioni per linguaggi di programmazione orientati agli oggetti. Tra i principali metodi di sviluppo delle applicazioni \u00e8 considerato il porting di programmi per Phantom scritti in Java, grazie alla somiglianza tra la macchina virtuale Phantom e la JVM. Oltre a un compilatore di bytecode per il linguaggio Java, il progetto prevede la creazione di compilatori per Python e C#, oltre all'implementazione di un traduttore dal codice intermedio a WebAssembly. <\/p>\n

Per eseguire operazioni che richiedono alte prestazioni, come l'elaborazione di video e audio, \u00e8 prevista la possibilit\u00e0 di eseguire in thread separati oggetti binari con codice nativo (per la compilazione degli oggetti binari viene utilizzato LLVM). Per accedere ai servizi a basso livello del kernel, una parte delle classi VM (le \u00abclassi interne\u00bb) \u00e8 implementata a livello di kernel del sistema operativo. Per l'esecuzione di applicazioni Linux, \u00e8 prevista una interfaccia POSIX che emula le chiamate necessarie per il funzionamento dei processi Unix (attualmente non \u00e8 assicurata la persistenza per le applicazioni nell'interfaccia POSIX).

\"Il<\/center> <\/p>\n

Il sistema operativo tradizionale Phantom, oltre a includere una macchina virtuale, comprende un proprio kernel con l'implementazione di thread, gestore della memoria, garbage collector, meccanismi di sincronizzazione, sistema di input\/output e driver per l'interazione con l'hardware, il che complica notevolmente il portare il progetto a uno stato pronto per l'uso su larga scala. Componenti con stack di rete, sottosistema grafico e interfaccia utente sono in fase di sviluppo separato. \u00c8 interessante notare che il sottosistema grafico e il gestore delle finestre operano a livello di kernel. <\/p>\n

Per migliorare la stabilit\u00e0, la portabilit\u00e0 e la sicurezza del progetto, \u00e8 stata intrapresa un'iniziativa per portare la macchina virtuale Phantom a funzionare utilizzando i componenti del sistema operativo microkernel open-source Genode, sviluppato sotto la supervisione della societ\u00e0 tedesca Genode Labs. Per coloro che desiderano sperimentare con Phantom basato su Genode, \u00e8 stato preparato un ambiente di assemblaggio speciale basato su Docker. <\/p>\n

L'uso di Genode consentir\u00e0 di utilizzare microkernel e driver gi\u00e0 collaudati, oltre a spostare i driver nello spazio utente (nella loro forma attuale, i driver sono scritti in C e vengono eseguiti a livello di kernel Phantom). Inoltre, sar\u00e0 possibile utilizzare il microkernel seL4, che ha ottenuto la verifica matematica della sua affidabilit\u00e0, confermando che l'implementazione corrisponde completamente alle specifiche stabilite in linguaggio formale. Si sta valutando la possibilit\u00e0 di preparare una prova di affidabilit\u00e0 simile anche per la macchina virtuale Phantom, il che consentirebbe di ottenere la verifica di tutto l'ambiente operativo. <\/p>\n

La principale area di applicazione del porto basato su Genode \u00e8 lo sviluppo di applicazioni per vari dispositivi industriali e embedded. Attualmente \u00e8 gi\u00e0 stato preparato un insieme di modifiche per la macchina virtuale e sono state aggiunte interfacce operative su Genode che assicurano la persistenza dei componenti del kernel e delle principali interfacce a basso livello. Si segnala che macchina virtuale<\/a> Phantom pu\u00f2 gi\u00e0 funzionare in un ambiente Genode a 64 bit, ma \u00e8 ancora necessario implementare il funzionamento della VM in modalit\u00e0 di persistenza, rivedere il sottosistema dei driver e adattare i componenti con stack di rete e sottosistema grafico per Genode.

\"Il<\/center>
\"Il<\/center>
\"Il<\/center>
\n
Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u0414\u043c\u0438\u0442\u0440\u0438\u0439 \u0417\u0430\u0432\u0430\u043b\u0438\u0448\u0438\u043d \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u043b \u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0435 \u043f\u043e \u043f\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e \u0432\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b Phantom \u0434\u043b\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0432 \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u0438 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0435\u0440\u043d\u043e\u0439 \u041e\u0421 Genode. \u0412 \u0438\u043d\u0442\u0435\u0440\u0432\u044c\u044e \u043e\u0442\u043c\u0435\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u043e\u0441\u043d\u043e\u0432\u043d\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f Phantom \u0443\u0436\u0435 \u0433\u043e\u0442\u043e\u0432\u0430 \u043a \u043f\u0438\u043b\u043e\u0442\u043d\u044b\u043c \u043f\u0440\u043e\u0435\u043a\u0442\u0430\u043c, \u0430 \u0432\u0435\u0440\u0441\u0438\u044f \u043d\u0430 \u0431\u0430\u0437\u0435 Genode \u0431\u0443\u0434\u0435\u0442 \u0434\u043e\u0432\u0435\u0434\u0435\u043d\u0430 \u0434\u043e \u0433\u043e\u0442\u043e\u0432\u043d\u043e\u0441\u0442\u0438 \u043a \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044e \u0432 \u043a\u043e\u043d\u0446\u0435 \u0433\u043e\u0434\u0430. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u043f\u043e\u043a\u0430 \u0437\u0430\u044f\u0432\u043b\u0435\u043d \u0442\u043e\u043b\u044c\u043a\u043e \u0440\u0430\u0431\u043e\u0442\u043e\u0441\u043f\u043e\u0441\u043e\u0431\u043d\u044b\u0439 \u043a\u043e\u043d\u0446\u0435\u043f\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0439 […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":103072,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-103071","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Il prototipo del sistema operativo nazionale Phantom basato su Genode sar\u00e0 pronto entro la fine dell'anno | ProHoster","description":"Dmitry Zavalishin ha parlato del progetto di porting della macchina virtuale del sistema operativo Phantom per funzionare nell'ambiente del sistema operativo a microkernel Genode.","canonical_url":"https:\/\/prohoster.info\/it\/blog\/news\/prototip-otechestvennoj-os-phantom-na-baze-genode-b","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"it_IT","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041f\u0440\u043e\u0442\u043e\u0442\u0438\u043f \u043e\u0442\u0435\u0447\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0439 \u041e\u0421 Phantom \u043d\u0430 \u0431\u0430\u0437\u0435 Genode \u0431\u0443\u0434\u0435\u0442 \u0433\u043e\u0442\u043e\u0432 \u0434\u043e \u043a\u043e\u043d\u0446\u0430 \u0433\u043e\u0434\u0430 | ProHoster","og:description":"\u0414\u043c\u0438\u0442\u0440\u0438\u0439 \u0417\u0430\u0432\u0430\u043b\u0438\u0448\u0438\u043d \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u043b \u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0435 \u043f\u043e \u043f\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e \u0432\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b Phantom \u0434\u043b\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0432 \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u0438 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0435\u0440\u043d\u043e\u0439 \u041e\u0421 Genode.","og:url":"https:\/\/prohoster.info\/it\/blog\/news\/prototip-otechestvennoj-os-phantom-na-baze-genode-b","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2022-01-24T13:36:50+00:00","article:modified_time":"2022-01-24T13:36:50+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"103071","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":"default","schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2022-01-24 13:37:51","updated":"2026-02-22 15:30:39","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/103071","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/comments?post=103071"}],"version-history":[{"count":2,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/103071\/revisions"}],"predecessor-version":[{"id":164076,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/103071\/revisions\/164076"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/media\/103072"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/media?parent=103071"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/categories?post=103071"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/tags?post=103071"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}