seL4 ತೆರೆದ ಮೈಕ್ರೊಕರ್ನಲ್ ಯೋಜನೆಯು ACM ಸಾಫ್ಟ್‌ವೇರ್ ಸಿಸ್ಟಮ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಪಡೆದಿದೆ, ಇದು ಕಂಪ್ಯೂಟರ್ ಸಿಸ್ಟಮ್‌ಗಳ ಕ್ಷೇತ್ರದಲ್ಲಿ ಅತ್ಯಂತ ಗೌರವಾನ್ವಿತ ಅಂತರರಾಷ್ಟ್ರೀಯ ಸಂಸ್ಥೆಯಾದ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮೆಷಿನರಿ (ACM) ನೀಡುವ ವಾರ್ಷಿಕ ಪ್ರಶಸ್ತಿಯಾಗಿದೆ. ಕಾರ್ಯಾಚರಣೆಯ ಗಣಿತದ ಪುರಾವೆ ಕ್ಷೇತ್ರದಲ್ಲಿನ ಸಾಧನೆಗಳಿಗಾಗಿ ಪ್ರಶಸ್ತಿಯನ್ನು ನೀಡಲಾಗುತ್ತದೆ, ಇದು ಔಪಚಾರಿಕ ಭಾಷೆಯಲ್ಲಿ ನೀಡಲಾದ ವಿಶೇಷಣಗಳ ಸಂಪೂರ್ಣ ಅನುಸರಣೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ ಮತ್ತು ಮಿಷನ್-ಕ್ರಿಟಿಕಲ್ ಅಪ್ಲಿಕೇಶನ್‌ಗಳಲ್ಲಿ ಬಳಕೆಗೆ ಸಿದ್ಧತೆಯನ್ನು ಗುರುತಿಸುತ್ತದೆ. ಕೈಗಾರಿಕಾ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಗಳ ಮಟ್ಟದಲ್ಲಿ ಯೋಜನೆಗಳಿಗೆ ವಿಶ್ವಾಸಾರ್ಹತೆ ಮತ್ತು ಸುರಕ್ಷತೆಯನ್ನು ಸಂಪೂರ್ಣವಾಗಿ ಔಪಚಾರಿಕವಾಗಿ ಪರಿಶೀಲಿಸಲು ಮಾತ್ರವಲ್ಲದೆ ಕಾರ್ಯಕ್ಷಮತೆ ಮತ್ತು ಬಹುಮುಖತೆಯನ್ನು ತ್ಯಾಗ ಮಾಡದೆಯೇ ಇದನ್ನು ಸಾಧಿಸಲು ಸಾಧ್ಯ ಎಂದು seL4 ಯೋಜನೆಯು ತೋರಿಸಿದೆ.
ACM ಸಾಫ್ಟ್‌ವೇರ್ ಸಿಸ್ಟಮ್ ಪ್ರಶಸ್ತಿಯನ್ನು ವಾರ್ಷಿಕವಾಗಿ ಉದ್ಯಮದ ಮೇಲೆ ನಿರ್ಣಾಯಕ ಪ್ರಭಾವವನ್ನು ಹೊಂದಿರುವ ಸಾಫ್ಟ್‌ವೇರ್ ಸಿಸ್ಟಮ್‌ಗಳ ಅಭಿವೃದ್ಧಿಯನ್ನು ಗುರುತಿಸಲು ನೀಡಲಾಗುತ್ತದೆ, ಹೊಸ ಪರಿಕಲ್ಪನೆಗಳನ್ನು ಪರಿಚಯಿಸುತ್ತದೆ ಅಥವಾ ಹೊಸ ವಾಣಿಜ್ಯ ಅಪ್ಲಿಕೇಶನ್‌ಗಳನ್ನು ತೆರೆಯುತ್ತದೆ. ಪ್ರಶಸ್ತಿಯ ಮೊತ್ತ 35 ಸಾವಿರ ಯುಎಸ್ ಡಾಲರ್. ಕಳೆದ ವರ್ಷಗಳಲ್ಲಿ, ACM ಪ್ರಶಸ್ತಿಗಳನ್ನು GCC ಮತ್ತು LLVM ಯೋಜನೆಗಳಿಗೆ ಮತ್ತು ಅವುಗಳ ಸಂಸ್ಥಾಪಕರಾದ ರಿಚರ್ಡ್ ಸ್ಟಾಲ್ಮನ್ ಮತ್ತು ಕ್ರಿಸ್ ಲ್ಯಾಟ್ನರ್ ಅವರಿಗೆ ನೀಡಲಾಗಿದೆ. UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB ಮತ್ತು eclipseley ಅನ್ನು ಸಹ ನೀಡಲಾದ ಇತರ ಯೋಜನೆಗಳು ಮತ್ತು ತಂತ್ರಜ್ಞಾನಗಳು .
ಮೈಕ್ರೋಕರ್ನಲ್ seL4 ನ ಆರ್ಕಿಟೆಕ್ಚರ್ ಬಳಕೆದಾರರ ಜಾಗದಲ್ಲಿ ಕರ್ನಲ್ ಸಂಪನ್ಮೂಲಗಳನ್ನು ನಿರ್ವಹಿಸಲು ಭಾಗಗಳನ್ನು ತೆಗೆದುಹಾಕಲು ಮತ್ತು ಬಳಕೆದಾರ ಸಂಪನ್ಮೂಲಗಳಂತಹ ಸಂಪನ್ಮೂಲಗಳಿಗೆ ಪ್ರವೇಶ ನಿಯಂತ್ರಣದ ಅದೇ ವಿಧಾನವನ್ನು ಅನ್ವಯಿಸಲು ಗಮನಾರ್ಹವಾಗಿದೆ. ಮೈಕ್ರೋಕರ್ನಲ್ ಫೈಲ್‌ಗಳು, ಪ್ರಕ್ರಿಯೆಗಳು, ನೆಟ್‌ವರ್ಕ್ ಸಂಪರ್ಕಗಳು ಮತ್ತು ಮುಂತಾದವುಗಳನ್ನು ನಿರ್ವಹಿಸಲು ಉನ್ನತ ಮಟ್ಟದ ಅಮೂರ್ತತೆಯನ್ನು ಒದಗಿಸುವುದಿಲ್ಲ, ಬದಲಿಗೆ ಇದು ಭೌತಿಕ ವಿಳಾಸ ಸ್ಥಳ, ಅಡಚಣೆಗಳು ಮತ್ತು ಪ್ರೊಸೆಸರ್ ಸಂಪನ್ಮೂಲಗಳಿಗೆ ಪ್ರವೇಶವನ್ನು ನಿಯಂತ್ರಿಸಲು ಕನಿಷ್ಠ ಕಾರ್ಯವಿಧಾನಗಳನ್ನು ಮಾತ್ರ ಒದಗಿಸುತ್ತದೆ. ಹಾರ್ಡ್‌ವೇರ್‌ನೊಂದಿಗೆ ಸಂವಹನ ನಡೆಸಲು ಉನ್ನತ ಮಟ್ಟದ ಅಮೂರ್ತತೆಗಳು ಮತ್ತು ಡ್ರೈವರ್‌ಗಳನ್ನು ಬಳಕೆದಾರ-ಹಂತದ ಕಾರ್ಯಗಳ ರೂಪದಲ್ಲಿ ಮೈಕ್ರೊಕರ್ನಲ್‌ನ ಮೇಲ್ಭಾಗದಲ್ಲಿ ಪ್ರತ್ಯೇಕವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಲಾಗುತ್ತದೆ. ಮೈಕ್ರೋಕರ್ನಲ್‌ಗೆ ಲಭ್ಯವಿರುವ ಸಂಪನ್ಮೂಲಗಳಿಗೆ ಅಂತಹ ಕಾರ್ಯಗಳ ಪ್ರವೇಶವನ್ನು ನಿಯಮಗಳ ವ್ಯಾಖ್ಯಾನದ ಮೂಲಕ ಆಯೋಜಿಸಲಾಗಿದೆ.
ಮೂಲ: opennet.ru