Επανάσταση στο Linux-Kernel: Η Asterina υπόσχεται περισσότερη ασφάλεια!

Chinesisches Forschungsteam entwickelt mit Asterinas einen sicheren Rust-basierten Kernel für Linux, der Speichersicherheit und Entwicklerfreundlichkeit verbessert.
Με τον Asterinas, η κινεζική ερευνητική ομάδα αναπτύσσει έναν ασφαλή πυρήνα βασισμένο σε σκουριά για το Linux που βελτιώνει την ασφάλεια της μνήμης και τη φιλικότητα του προγραμματιστή. (Symbolbild/ANAGAT)

Επανάσταση στο Linux-Kernel: Η Asterina υπόσχεται περισσότερη ασφάλεια!

Rust, Deutschland - Πολλά συμβαίνουν στον κόσμο των λειτουργικών συστημάτων: Μια κινεζική ερευνητική ομάδα έχει αναπτύξει έναν νέο πυρήνα που ονομάζεται Asterinas, ο οποίος προγραμματίζεται στη γλώσσα προγραμματισμού σκουριάς. Σύμφωνα με το linuxnews.de , ο Asterinas είναι συμβατός με το Linux-Abi και ακολουθεί μια καινοτόμο προσέγγιση που είναι γνωστή ως Kernel. Ο μη εξαντλημένος κώδικας περιορίζεται σε μια μικρή, απομονωμένη περιοχή πυρήνα, η οποία βελτιώνει σημαντικά την ασφάλεια αποθήκευσης.

Μια ματιά στις εξελίξεις δείχνει ότι η Asterina δεν προορίζεται μόνο για εφαρμογές κρίσιμης σημασίας για την ασφάλεια, αλλά και για σύγχρονες υποδομές σύννεφων, όπως το Alibaba Cloud. Τα πλεονεκτήματα του νέου πυρήνα είναι προφανή: η πρόσβαση πραγματοποιείται μόνο μέσω ασφαλών διεπαφών και οι αρχιτέκτονες δεν έχουν ξεκινήσει απλώς ξανά. Αντ 'αυτού, δημιουργείται ένα εντελώς νέο σύστημα που ξεχωρίζει σαφώς από το συνεχιζόμενο έργο Rust-for-Linux.

Τεχνικές βελτιώσεις και βασικά

Οι προγραμματιστές πίσω από τον Asterinas, που αποτελούνται κυρίως από φοιτητές από το πανεπιστήμιο του Πεκίνου, την Intel και την Ant Group, χρησιμοποιούν σύγχρονες τεχνικές όπως η μόνωση υλικού από την τεχνολογία TDX της Intel. Η εστίαση είναι σε δύο σημαντικά εργαλεία κατά την εφαρμογή του έργου: το πλαίσιο OSTD, το οποίο προορίζεται για λειτουργικά συστήματα με βάση τη σκουριά και το OSDK, ένα εργαλείο κατασκευής που βασίζεται στο φορτίο.

Προς το παρόν εφαρμόζονται πάνω από 200 από 368 κλήσεις συστήματος Linux, αν και δεν μπορούν ακόμη να λειτουργήσουν πραγματικές εφαρμογές. Ωστόσο, το σχέδιο προβλέπει τον Asterinas έτοιμο για παραγωγή για x86-64 εικονικές μηχανές μέχρι το 2025. Προκειμένου να υποστηρίξουν αυτή την πρόοδο, οι προγραμματιστές δημιούργησαν επίσης χρήσιμες οδηγίες εγκατάστασης που προορίζονται να διευκολύνουν την εφαρμογή.

Αποδοχή και βραβεία

Είναι ενδιαφέρον ότι δύο ερευνητικά έγγραφα για την Asterina έγιναν αποδεκτές ως μέρος του USENIX ATC'25, συμπεριλαμβανομένου ενός που περιγράφει την ασφαλή και γρήγορη αρχιτεκτονική του νέου πυρήνα. Ο Asterinas θα μπορούσε έτσι να γίνει μια απρόσκοπτη αντικατάσταση για το Linux και να αυξήσει σημαντικά την φιλικότητα προς τους προγραμματιστές, όπως το github.com . Η φιλικότητα του προγραμματιστή επισημαίνεται, για παράδειγμα, επιλέγοντας σκουριά ως γλώσσα προγραμματισμού και το ειδικά αναπτυγμένο OSDK.

Μια άλλη ματιά στις τρέχουσες εξελίξεις που σχετίζονται με τη Rust στο Linux-Kernel δείχνει τη δυναμική στον τομέα της ανοιχτής πηγής. Μια διαμάχη σχετικά με την ενσωμάτωση του κώδικα σκουριάς στην περιοχή χαρτογράφησης DMA έχει οδηγήσει σε εντάσεις μεταξύ των προγραμματιστών. Για παράδειγμα, ο Christoph Hellwig, ένας μακροχρόνιος προγραμματιστής, εγκατέλειψε δύο από τους έξι επόπτες αφού είχε συγκρούσεις με τον Linus Torvalds, ο οποίος αποφάσισε τον κώδικα Rust πάνω από το βέτο του. Είναι προφανές ότι η εισαγωγή νέων τεχνολογιών στον τομέα των ανοιχτού κώδικα είναι δυνατή μόνο με μια ευρεία συναίνεση, ως it-boltwise.de

Συνολικά, η Asterina παραμένει ένα συναρπαστικό έργο στην πρώιμη φάση ανάπτυξης με πολλές δυνατότητες για το μέλλον του σχεδιασμού του λειτουργικού συστήματος. Με την υποστήριξη μιας δεσμευμένης κοινότητας και καινοτόμων τεχνολογιών, η Asterina θα μπορούσε να διαδραματίσει βασικό ρόλο στην ανάπτυξη ασφαλών και αποτελεσματικών λειτουργικών συστημάτων.

Details
OrtRust, Deutschland
Quellen