Η Singularity της Microsoft Singularity

Οι προόδους στις γλώσσες, τους μεταγλωττιστές και τα εργαλεία ανοίγουν τη δυνατότητα σημαντικής βελτίωσης του λογισμικού. Για παράδειγμα, η Singularity χρησιμοποιεί γλώσσες ασφαλούς τύπου και ένα αφηρημένο σύνολο οδηγιών για να ενεργοποιήσει αυτό που ονομάζουμε Απομονωμένες Διαδικασίες Λογισμικού (SIP). Τα SIP παρέχουν τις ισχυρές εγγυήσεις απομόνωσης των διαδικασιών του λειτουργικού συστήματος (απομονωμένος χώρος αντικειμένου, χωριστά GC, ξεχωριστά χρονικά διαστήματα) χωρίς την επιβάρυνση των τομέων προστασίας που επιβάλλονται από το υλικό. Στο σημερινό πρωτότυπο Singularity τα SIPs είναι εξαιρετικά φθηνά. τρέχουν στο δαχτυλίδι 0 στο χώρο διεύθυνσης του πυρήνα.

Η μοναδικότητα χρησιμοποιεί αυτές τις εξελίξεις για την κατασκευή πιο αξιόπιστων συστημάτων και εφαρμογών. Για παράδειγμα, επειδή τα SIPs είναι τόσο φθηνά για να δημιουργήσουν και να επιβάλουν, το Singularity εκτελεί κάθε πρόγραμμα, πρόγραμμα οδήγησης συσκευής ή επέκταση συστήματος στο δικό του SIP. Δεν επιτρέπεται στα SIPs να μοιράζονται τη μνήμη ή να τροποποιούν τον δικό τους κώδικα. Ως αποτέλεσμα, μπορούμε να εγγυηθούμε ισχυρή αξιοπιστία σχετικά με τον κώδικα που εκτελείται σε ένα SIP. Μπορούμε να επαληθεύσουμε πολύ ευρύτερες ιδιότητες σχετικά με ένα SIP κατά τη συμπλήρωση ή την εγκατάσταση του χρόνου από ό, τι μπορεί να γίνει για κώδικα που εκτελείται σε παραδοσιακές διαδικασίες OS. Η ευρύτερη εφαρμογή της στατικής επαλήθευσης είναι κρίσιμη για την πρόβλεψη της συμπεριφοράς του συστήματος και την παροχή στους χρήστες ισχυρών εγγυήσεων σχετικά με την αξιοπιστία.

Η Microsoft Research έχει διαθέσει για λήψη το

Κιτ Ανάπτυξης Ερευνών Singularity (RDK)

. Μπορείτε να το κατεβάσετε από τον κώδικα φιλοξενίας του κώδικα Open Source της CodePlex της Microsoft. Μπορείτε επίσης να κατεβάσετε την

Επισκόπηση Singularity Project , κάνοντας κλικ εδώ. Οι κύριοι προγραμματιστές της Singularity, Galen Hunt και Jim Larus, έχουν πει ότι όλα τα τρέχοντα λειτουργικά συστήματα όπως τα Windows, Linux και Mac OS να βρεθεί πίσω σε ένα λειτουργικό σύστημα που ονομάζεται Multics, το οποίο έχει την προέλευσή του στη δεκαετία του 1960. Στην πραγματικότητα, τα τρέχοντα λειτουργικά συστήματα εξακολουθούν να βασίζονται, εν μέρει, σε σκέψεις και κριτήρια πριν από 40 χρόνια. Η πολυπλεγμένη υπηρεσία πληροφορικής και πληροφορικής ή το Multics είναι ένα λειτουργικό σύστημα mainframe χρονομεριστικής μίσθωσης που ξεκίνησε το 1965 και χρησιμοποιήθηκε μέχρι το 2000. Το Microsoft Research Singularity θεωρήθηκε το 2003 ως μια εντελώς νέα προσέγγιση για το κτίριο OS