{"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\/novosti-interneta\/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":"

Dmitri Zavalyshin ha parlato del progetto di porting della macchina virtuale del sistema operativo Phantom per funzionare nell'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 a fine anno. Tuttavia, sul sito del progetto \u00e8 attualmente disponibile solo un prototipo concettuale funzionante, la stabilit\u00e0 e la funzionalit\u00e0 del quale non sono state elevate a livelli adatti per un uso industriale; tra i prossimi piani viene menzionata la creazione di una versione alfa adatta per esperimenti da parte di sviluppatori terzi. <\/p>\n

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

Il sistema operativo Phantom si \u00e8 evoluto dai primi anni 2000 come progetto personale di Dmitry Zavalishin e, dal 2010, \u00e8 stato incorporato nella compagnia Digital Zone, fondata dallo stesso Dmitry. Il sistema si distingue per il suo focus sulla massima affidabilit\u00e0 e utilizza il concetto di \u00abtutto \u00e8 un oggetto\u00bb anzich\u00e9 \u00abtutto \u00e8 un file\u00bb, il che permette di evitare l'uso di file grazie alla conservazione dello stato della memoria e a un ciclo di lavoro continuo. Le applicazioni in Phantom non si chiudono mai, ma vengono solo messe in pausa e riprendono il lavoro dal punto in cui erano state interrotte. Tutte le variabili e le strutture dati possono essere archiviate per tutto il tempo necessario all'applicazione, e non \u00e8 necessario che il programmatore si preoccupi della salvaguardia dei dati. <\/p>\n

Le applicazioni in Phantom vengono compilate in bytecode, che viene eseguito in una macchina virtuale a stack, similare alla macchina virtuale Java. La macchina virtuale garantisce la persistenza della memoria delle applicazioni \u2014 il sistema effettua periodicamente il salvataggio degli stati della macchina virtuale su un supporto permanente. Dopo uno spegnimento o un arresto anomalo, \u00e8 possibile riprendere il lavoro dall'ultimo salvataggio della memoria. I salvataggi vengono creati in modo asincrono e senza fermare l'esecuzione della macchina virtuale, ma nello snapshot viene registrata un'istantanea di quel momento, come se la macchina virtuale fosse stata fermata, salvata su disco e poi riavviata. <\/p>\n

Tutte le applicazioni vengono eseguite in uno spazio globale di indirizzi, che consente di evitare i cambi di contesto tra il kernel e le applicazioni, facilitando e accelerando notevolmente l'interazione tra le applicazioni in esecuzione nella macchina virtuale, le quali possono scambiare oggetti tramite il passaggio di riferimenti. L'accesso \u00e8 separato a livello di oggetti, i cui riferimenti possono essere ottenuti solo attraverso la chiamata ai metodi adeguati (l'aritmetica dei puntatori \u00e8 assente). Qualsiasi dato, inclusi i valori numerici, \u00e8 trattato come oggetti separati. <\/p>\n

Per l'applicazione, il lavoro appare continuo e non dipende dai riavvii del sistema operativo, dalle chiusure anomale e dall'accensione e spegnimento del computer. Il modello di programmazione per Phantom \u00e8 paragonato a un'esecuzione che non si ferma mai. server<\/a> applicazioni per linguaggi di programmazione orientati agli oggetti. Tra i principali metodi di sviluppo delle applicazioni, si considera il porting di programmi per Phantom in linguaggio Java, facilitato dalla somiglianza della macchina virtuale Phantom con la JVM. Oltre al compilatore di bytecode per il linguaggio Java, il progetto prevede la creazione di compilatori per Python e C#, nonch\u00e9 l'implementazione di un traduttore da codice intermedio a WebAssembly. <\/p>\n

Per eseguire operazioni che richiedono elevate prestazioni, come l'elaborazione di video e audio, \u00e8 possibile avviare oggetti binari con codice nativo in thread separati (per la costruzione degli oggetti binari si utilizza LLVM). Per accedere ai servizi a basso livello del kernel, alcune classi VM (classi \"interne\") sono implementate a livello di kernel del sistema operativo. Per avviare applicazioni Linux, \u00e8 presente un'interfaccia POSIX che emula le chiamate necessarie al funzionamento dei processi Unix (la persistenza per le applicazioni nell'interfaccia POSIX non \u00e8 attualmente garantita).

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

Il sistema operativo tradizionale Phantom, oltre alla macchina virtuale, include un proprio kernel con implementazione dei thread, gestore della memoria, garbage collector, meccanismi di sincronizzazione, sistema di input\/output e driver per l'hardware, il che complica notevolmente la preparazione del progetto per un utilizzo diffuso. Componenti con stack di rete, sottosistema grafico e interfaccia utente sono sviluppati separatamente. \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 stato tentato il porting della macchina virtuale Phantom per funzionare utilizzando i componenti del sistema operativo microkernel open-source Genode, il cui sviluppo \u00e8 supervisionato dalla societ\u00e0 tedesca Genode Labs. \u00c8 stato preparato un ambiente di build speciale basato su Docker per coloro che desiderano sperimentare con Phantom su Genode. <\/p>\n

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

Il principale campo di applicazione del porting basato su Genode \u00e8 lo sviluppo di applicazioni per vari dispositivi industriali e embedded. \u00c8 gi\u00e0 stato preparato un insieme di modifiche per la macchina virtuale e sono stati aggiunti wrapper funzionanti sopra Genode per garantire la persistenza dei componenti del kernel e delle principali interfacce di basso livello. Si fa notare che la macchina virtuale<\/a> Phantom pu\u00f2 gi\u00e0 funzionare in un ambiente a 64 bit Genode, ma rimane ancora da implementare il funzionamento della VM in modalit\u00e0 persistenza, rivedere il sottosistema delle interfacce e adattare per Genode i componenti con stack di rete e sottosistema grafico.

\"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-novosti-interneta"],"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 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'applicazione entro la fine dell'anno. Attualmente, sul sito del progetto \u00e8 stata annunciata solo una versione concettuale funzionante.","canonical_url":"https:\/\/prohoster.info\/it\/blog\/novosti-interneta\/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. \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","og:url":"https:\/\/prohoster.info\/it\/blog\/novosti-interneta\/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"},"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}]}}