AuroraUX

AuroraUX είναι ένα OpenSolaris προέρχεται διανομής, που θα συγκεντρώνει τους καλύτερους τεχνολογίες ενδυνάμωση της αποστολής των κρίσιμων δεδομένων κέντρο Εγκαταστάσεις & nbsp σημερινή? Για μαχητικά αεροσκάφη που απαιτούν ποιότητα του λογισμικού που απλά δεν μπορεί να αποτύχει χωρίς πολύ σοβαρές συνέπειες.
* AuroraUX πρέπει να είναι η ίδια χρησιμοποιήσιμη διανομή από μόνη της.
* Ενοποίηση και το συντονισμό όλων των άλλων OpenSolaris διανομή με ένα κοινό πυρήνα βάσης που έχει συντονιστεί σφάλματα, θέματα ασφάλειας και σταθερότητας δεν καθορίζει σε αντίθεση πυρήνα του FreeBSD.
* AuroraUX πρέπει να σπρώξετε προς τα πίσω, όπως πολλές αλλαγές προς τα πάνω, όπως μπορούμε.
* AuroraUX είναι απλά ένας πυρήνας και ένα μικρό userland ~ 200MB με το πρόγραμμα εγκατάστασης λειτουργίας κειμένου και ένα απλό φάτνη πακέτο για να ενημερώσετε τον πυρήνα * μόνο *.
* AuroraUX πρέπει να συμφωνούν με όσες πρότυπα όσο το δυνατόν για να βοηθήσει ISV να στηρίξει AuroraUX και, επομένως, τις παράγωγες διανομές.
* AuroraUX παρέχει μια αυτοματοποιημένη υπηρεσία ενημέρωσης για δύο φορές την εβδομάδα για την ενημέρωση σας πυρήνα (kernel, οδηγοί, αντιμετώπιση θεμάτων ασφαλείας κλπ & hellip?).
* AuroraUX πρέπει να είναι η ίδια χρησιμοποιήσιμη διανομή από μόνη της.
AuroraUX είναι ένα Solaris που προέρχονται kernel- και τον χρήστη της γης. Ο πυρήνας του έργου είναι βοηθητικά προγράμματα του γραμμένο σε Ada. Όταν είναι αναγκαίο, εφαρμόζεται πλημμελώς χαρακτηριστικά διορθώνονται ή ξαναγραφεί, όπως καλά.
Ada;
Ναι, Ada. Ada επιλέχθηκε επειδή καλύπτει κάθε ιδεολογία ότι ο πυρήνας προγραμματιστές πιστεύουν ότι θα πρέπει να υπάρχει σε ένα σύστημα.
Άντα έχει περισσότερο μεταγλώττιση ελέγχους χρόνο από ό, τι μπορείτε να τινάξετε ένα ραβδί και να κρατά ένα μάτι για πολλά πράγματα κατά το χρόνο εκτέλεσης, πάρα πολύ.
Κώδικας μπορούν γενικά να διαβαστούν από μόνο για όποιον με γνώσεις της αγγλικής γλώσσας που σημαίνει ότι η τεκμηρίωση μπορεί πραγματικά να γραφτεί από έναν "φυσιολογικό" άτομο.
Η γλώσσα σχεδιάστηκε έτσι ώστε ακόμη και αυτό είναι σύνταξη προωθεί την ακεραιότητα του λογισμικού.
Αλλά πολλοί ευχαριστίες προς τον ισχυρό σύστημα τύπου. Αυτές είναι μόνο οι κορυφές του παγόβουνου και όχι απαραίτητα οι πιο σημαντικοί λόγοι.
Φυσικά, κάποιοι αποφεύγουν Άντα λέγοντας ότι είναι μια στρατιωτική γλώσσα ή είναι μια γλώσσα ηλεκτρονικά συστήματα.
Ναι, και C είναι μια γλώσσα επεξεργασίας κειμένου και C ++ είναι για τα κινητά τηλέφωνα.
Και ενώ εμείς δεν θα είναι σε θέση να ξεφύγουν από τις λαβές των C για προφανείς λόγους, δεν μπορούμε σίγουρα να κάνει τον κόσμο ένα πιο ευτυχισμένοι ένα πετώντας έξω (με διακριτικότητα, προς το παρόν) όσο μπορούμε και την αντικατάστασή της με μια βελτιωμένη userland δημιουργημένα με μια γλώσσα σχεδιασμένο για πραγματικό χρόνο, ενσωματωμένο, κρίσιμα για την ασφάλεια, αξιοπιστία και διατηρήσιμη συστήματα χρησιμοποιώντας το αγαπημένο μας κυρία, Ada.
AuroraUX είναι ένα ευγενές, μη-τετριμμένο στόχο, αλλά με την αποφασιστικότητα και το πνεύμα των υφιστάμενων προγραμματιστές, θα ανθίσει - αν και θα εκτιμούσα οποιαδήποτε βοήθεια που προσφέρεται.
AuroraUX παρέχει τη στήριξη κουτί για τα ακόλουθα «ασφάλεια επικεντρώθηκε« γλώσσες προγραμματισμού:
* Cyclone - Ένα ασφαλές διάλεκτο της Γ - "καθαρή προγράμματα Cyclone δεν είναι ευάλωτοι σε ένα ευρύ κατηγορία σφαλμάτων που μαστίζουν τα προγράμματα C: υπερχειλίσεις μνήμης, επιθέσεις μορφή συμβολοσειράς, διπλά δωρεάν σφάλματα, κρέμονται δείκτη προσβάσεις, κ.λπ."
* Ada 83, 95 & amp? 2005 - Ada είναι δομημένη, στατικούς τύπους, επιτακτική ανάγκη, και object-oriented. "Ada χρησιμοποιείται ευρέως σε κρίσιμα συστήματα, όπου κάθε ανωμαλία θα μπορούσε να οδηγήσει σε πολύ σοβαρές συνέπειες, δηλαδή, αιφνίδιο θάνατο ή τραυματισμό. Παραδείγματα συστημάτων όπου Ada χρησιμοποιούνται περιλαμβάνουν ηλεκτρονικά συστήματα, τα οπλικά συστήματα (συμπεριλαμβανομένων θερμοπυρηνικά όπλα), και διαστημόπλοια."
* Falcon - Falcon είναι scripting γλώσσα μας επιλογή. "Απλή, γρήγορη και ισχυρή γλώσσα προγραμματισμού, εύκολο να μάθουν και να αισθάνονται άνετα με, και μια μηχανή scripting έτοιμη να ενδυναμώσει κρίσιμες πολυνηματικές εφαρμογές."
Πρέπει επίσης να παρέχουν τις ακόλουθες ενισχύσεις για την κάλυψη όλων & rsquo? S γεύση ή / και τις απαιτήσεις:
* Fortran & amp? C / C ++.
* Υποστήριξη Assembler για: PowerPC, UltraSPARC, ARM, AVR και x86 / x64.
Κάθε ηγετικό στέλεχος του OpenSolaris κοινότητες που βασίζονται διανομή πρέπει να είναι μέλος του διοικητικού συμβουλίου για να βοηθήσει στην ενοποίηση ένα σώμα προτύπων μεταξύ μας και μια σειρά διαδρομή για μια ισχυρή και γυαλισμένο θεμέλιο για κάθε μέλος του Διοικητικού Συμβουλίου & rsquo?., Το οποίο προκύπτει διανομή