Separation kernel
ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಒಂದು ರೀತಿಯ ಭದ್ರತಾ ಕರ್ನಲ್ ಆಗಿದ್ದು, ಇದನ್ನು ವಿತರಿಸಿದ ಪರಿಸರವನ್ನು ಅನುಕರಿಸಲು ಬಳಸಲಾಗುತ್ತದೆ. ಈ ಪರಿಕಲ್ಪನೆಯನ್ನು ಜಾನ್ ರಶ್ಬಿ ಅವರು 1981ರ ಪತ್ರಿಕೆಯಲ್ಲಿ ಪರಿಚಯಿಸಿದರು. "ಸಾಮಾನ್ಯ-ಉದ್ದೇಶದ ಬಹು-ಬಳಕೆದಾರ ವ್ಯವಸ್ಥೆಗಳಲ್ಲಿ ಬಹು ಹಂತದ ಸುರಕ್ಷಿತ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಒದಗಿಸುವ" ಉದ್ದೇಶದ ದೊಡ್ಡ, ಸಂಕೀರ್ಣ ಭದ್ರತಾ ಕರ್ನಲ್ಗಳ ಅಭಿವೃದ್ಧಿ ಮತ್ತು ಪರಿಶೀಲನೆಯಲ್ಲಿ ಉದ್ಭವಿಸಿದ ತೊಂದರೆಗಳು ಮತ್ತು ಸಮಸ್ಯೆಗಳಿಗೆ ಪರಿಹಾರವಾಗಿ ಪ್ರತ್ಯೇಕ ಕರ್ನಲ್ ಅನ್ನು ರಶ್ಬಿ ಪ್ರಸ್ತಾಪಿಸಿದರು. ರಶ್ಬಿಯ ಪ್ರಕಾರ, "ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ನ ಕಾರ್ಯವು ಭೌತಿಕವಾಗಿ ವಿತರಿಸಲಾದ ವ್ಯವಸ್ಥೆಯಿಂದ ಒದಗಿಸಲಾದ ಪರಿಸರದಿಂದ ಪ್ರತ್ಯೇಕಿಸಲಾಗದ ವಾತಾವರಣವನ್ನು ಸೃಷ್ಟಿಸುವುದುಃ ಇದು ಪ್ರತಿ ಆಡಳಿತವು ಪ್ರತ್ಯೇಕವಾದ, ಪ್ರತ್ಯೇಕವಾದ ಯಂತ್ರದಂತೆ ಕಾಣಬೇಕು ಮತ್ತು ಮಾಹಿತಿಯು ತಿಳಿದಿರುವ ಬಾಹ್ಯ ಸಂವಹನ ಮಾರ್ಗಗಳ ಉದ್ದಕ್ಕೂ ಒಂದು ಯಂತ್ರದಿಂದ ಇನ್ನೊಂದಕ್ಕೆ ಮಾತ್ರ ಹರಿಯುತ್ತದೆ. ಆದ್ದರಿಂದ, ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಅನ್ನು ನಾವು ಸಾಬೀತುಪಡಿಸಬೇಕಾದ ಒಂದು ಗುಣವೆಂದರೆ, ಸ್ಪಷ್ಟವಾಗಿ ಒದಗಿಸಿದವುಗಳನ್ನು ಹೊರತುಪಡಿಸಿ ಆಡಳಿತಗಳ ನಡುವೆ ಮಾಹಿತಿಯ ಹರಿವಿಗೆ ಯಾವುದೇ ಮಾರ್ಗಗಳಿಲ್ಲ ". ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ನ ಒಂದು ರೂಪಾಂತರವಾದ ವಿಭಜಕ ಕರ್ನಲ್, ವಾಣಿಜ್ಯ ವಾಯುಯಾನ ಸಮುದಾಯದಲ್ಲಿ ಒಂದೇ ಪ್ರೊಸೆಸರ್, ಬಹು ಕಾರ್ಯಗಳನ್ನು, ಬಹುಶಃ ಮಿಶ್ರ ನಿರ್ಣಾಯಕತೆಯ ಮೇಲೆ ಕ್ರೋಢೀಕರಿಸುವ ಮಾರ್ಗವಾಗಿ ಸ್ವೀಕಾರವನ್ನು ಗಳಿಸಿದೆ. ಈ ಪ್ರಕಾರದ ವಾಣಿಜ್ಯ ನೈಜ-ಸಮಯದ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಯ ಉತ್ಪನ್ನಗಳನ್ನು ವಿಮಾನ ತಯಾರಕರು ಸುರಕ್ಷತಾ-ನಿರ್ಣಾಯಕ ಏವಿಯಾನಿಕ್ಸ್ ಅನ್ವಯಿಕೆಗಳಿಗಾಗಿ ಬಳಸುತ್ತಾರೆ. 2007 ರಲ್ಲಿ ಯು. ಎಸ್. ನ್ಯಾಷನಲ್ ಸೆಕ್ಯುರಿಟಿ ಏಜೆನ್ಸಿಯ (ಎನ್ಎಸ್ಎ) ಮಾಹಿತಿ ಭರವಸೆ ನಿರ್ದೇಶನಾಲಯವು ಸೆಪರೇಷನ್ ಕರ್ನಲ್ ಪ್ರೊಟೆಕ್ಷನ್ ಪ್ರೊಫೈಲ್ (ಎಸ್ಕೆಪಿಪಿ) ಅನ್ನು ಪ್ರಕಟಿಸಿತು, ಇದು ಅತ್ಯಂತ ಪ್ರತಿಕೂಲವಾದ ಬೆದರಿಕೆ ಪರಿಸರದಲ್ಲಿ ಬಳಸಲು ಸೂಕ್ತವಾದ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ಗಳಿಗೆ ಭದ್ರತಾ ಅವಶ್ಯಕತೆಗಳ ವಿವರಣೆಯಾಗಿದೆ. ಎಸ್ಕೆಪಿಪಿ, ಸಾಮಾನ್ಯ ಮಾನದಂಡದ ಪರಿಭಾಷೆಯಲ್ಲಿ, ರಶ್ಬಿಯ ಪರಿಕಲ್ಪನಾ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ನ ಮೂಲಭೂತ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಒದಗಿಸುವ ಆಧುನಿಕ ಉತ್ಪನ್ನಗಳ ಒಂದು ವರ್ಗವನ್ನು ವಿವರಿಸುತ್ತದೆ. ಇದು ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ಗಳ ನಿರ್ಮಾಣ ಮತ್ತು ಮೌಲ್ಯಮಾಪನಕ್ಕಾಗಿ ಭದ್ರತಾ ಕ್ರಿಯಾತ್ಮಕ ಮತ್ತು ಭರವಸೆಯ ಅವಶ್ಯಕತೆಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ ಮತ್ತು ಅಭಿವರ್ಧಕರಿಗೆ ಲಭ್ಯವಿರುವ ಆಯ್ಕೆಗಳಲ್ಲಿ ಸ್ವಲ್ಪ ಅಕ್ಷಾಂಶವನ್ನು ಒದಗಿಸುತ್ತದೆ. ಎಸ್ಕೆಪಿಪಿ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಅನ್ನು "ಹಾರ್ಡ್ವೇರ್ ಮತ್ತು/ಅಥವಾ ಫರ್ಮ್ವೇರ್ ಮತ್ತು/ಅಥವಾ ಸಾಫ್ಟ್ವೇರ್ ಕಾರ್ಯವಿಧಾನಗಳು ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತದೆ, ಇದರ ಪ್ರಾಥಮಿಕ ಕಾರ್ಯವೆಂದರೆ ಅನೇಕ ವಿಭಾಗಗಳನ್ನು ಸ್ಥಾಪಿಸುವುದು, ಪ್ರತ್ಯೇಕಿಸುವುದು ಮತ್ತು ಪ್ರತ್ಯೇಕಿಸುವುದು ಮತ್ತು ಆ ವಿಭಾಗಗಳಿಗೆ ನಿಗದಿಪಡಿಸಿದ ವಿಷಯಗಳು ಮತ್ತು ರಫ್ತು ಸಂಪನ್ಮೂಲಗಳ ನಡುವೆ ಮಾಹಿತಿಯ ಹರಿವನ್ನು ನಿಯಂತ್ರಿಸುವುದು". ಇದಲ್ಲದೆ, ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ನ ಪ್ರಮುಖ ಕ್ರಿಯಾತ್ಮಕ ಅವಶ್ಯಕತೆಗಳು ಸೇರಿವೆಃ ಅನಧಿಕೃತ ಪ್ರವೇಶದಿಂದ ಎಲ್ಲಾ ಸಂಪನ್ಮೂಲಗಳ (ಸಿಪಿಯು, ಮೆಮೊರಿ ಮತ್ತು ಸಾಧನಗಳು ಸೇರಿದಂತೆ) ರಕ್ಷಣೆ. ಮೌಲ್ಯಮಾಪನ ಭದ್ರತಾ ಕಾರ್ಯಗಳ ಗುರಿ (ಟಿಎಸ್ಎಫ್) ಬಳಸುವ ಆಂತರಿಕ ಸಂಪನ್ಮೂಲಗಳನ್ನು ವಿಷಯಗಳಿಗೆ ಲಭ್ಯವಿರುವ ರಫ್ತು ಸಂಪನ್ಮೂಲಗಳಿಂದ ಬೇರ್ಪಡಿಸುವುದು. ರಫ್ತು ಮಾಡಲಾದ ಸಂಪನ್ಮೂಲಗಳ ವಿಭಜನೆ ಮತ್ತು ಪ್ರತ್ಯೇಕತೆ. ಮಾಹಿತಿಯ ಮಧ್ಯಸ್ಥಿಕೆಯು ವಿಭಾಗಗಳ ನಡುವೆ ಮತ್ತು ರಫ್ತು ಮಾಡಲಾದ ಸಂಪನ್ಮೂಲಗಳ ನಡುವೆ ಹರಿಯುತ್ತದೆ. ಲೆಕ್ಕಪರಿಶೋಧನಾ ಸೇವೆಗಳು. ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ತನ್ನ ನಿಯಂತ್ರಣದಲ್ಲಿರುವ ಎಲ್ಲಾ ರಫ್ತು ಸಂಪನ್ಮೂಲಗಳನ್ನು ವಿಭಾಗಗಳಾಗಿ ವಿಂಗಡಿಸುತ್ತದೆ. ಸ್ಪಷ್ಟವಾಗಿ ಅನುಮತಿಸಲಾದ ಮಾಹಿತಿಯ ಹರಿವುಗಳನ್ನು ಹೊರತುಪಡಿಸಿ ವಿಭಾಗಗಳನ್ನು ಪ್ರತ್ಯೇಕಿಸಲಾಗಿದೆ. ಒಂದು ವಿಭಾಗದ ವಿಷಯದ ಕ್ರಿಯೆಗಳನ್ನು ಮತ್ತೊಂದು ವಿಭಾಗದ ವಿಷಯಗಳಿಂದ ಪ್ರತ್ಯೇಕಿಸಲಾಗುತ್ತದೆ (ಅಂದರೆ, ಅದನ್ನು ಪತ್ತೆಹಚ್ಚಲು ಅಥವಾ ಸಂವಹನ ಮಾಡಲು ಸಾಧ್ಯವಿಲ್ಲ), ಆ ಹರಿವನ್ನು ಅನುಮತಿಸದ ಹೊರತು. ವಿಭಾಗಗಳು ಮತ್ತು ಹರಿವುಗಳನ್ನು ಸಂರಚನಾ ದತ್ತಾಂಶದಲ್ಲಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. 'ವಿಭಾಗ' ಮತ್ತು 'ವಿಷಯ' ಗಳು ಆರ್ಥೋಗೋನಲ್ ಅಮೂರ್ತತೆಗಳಾಗಿವೆ ಎಂಬುದನ್ನು ಗಮನಿಸಿ. 'ವಿಭಜನೆ', ಅದರ ಗಣಿತದ ಉಗಮದಿಂದ ಸೂಚಿಸಿದಂತೆ, ವ್ಯವಸ್ಥೆಯ ಘಟಕಗಳ ಒಂದು ಸೆಟ್-ಸೈದ್ಧಾಂತಿಕ ಗುಂಪನ್ನು ಒದಗಿಸುತ್ತದೆ, ಆದರೆ 'ವಿಷಯ' ನಮಗೆ ವ್ಯವಸ್ಥೆಯ ಪ್ರತ್ಯೇಕ ಸಕ್ರಿಯ ಘಟಕಗಳ ಬಗ್ಗೆ ತರ್ಕಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಹೀಗಾಗಿ, ಒಂದು ವಿಭಾಗವು (ಶೂನ್ಯ ಅಥವಾ ಹೆಚ್ಚಿನ ಅಂಶಗಳನ್ನು ಹೊಂದಿರುವ ಸಂಗ್ರಹ) ಒಂದು ವಿಷಯವಲ್ಲ (ಸಕ್ರಿಯ ಅಂಶ), ಆದರೆ ಶೂನ್ಯ ಅಥವಾ ಹೆಚ್ಚಿನ ವಿಷಯಗಳನ್ನು ಹೊಂದಿರಬಹುದು. ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಅದರ ಹೋಸ್ಟ್ ಮಾಡಲಾದ ಸಾಫ್ಟ್ವೇರ್ ಪ್ರೋಗ್ರಾಂಗಳಿಗೆ ಹೆಚ್ಚಿನ-ಭರವಸೆಯ ವಿಭಜನೆ ಮತ್ತು ಮಾಹಿತಿಯ ಹರಿವಿನ ನಿಯಂತ್ರಣ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಒದಗಿಸುತ್ತದೆ, ಅದು ಟ್ಯಾಂಪರ್ ಪ್ರೂಫ್ ಮತ್ತು ಬೈಪಾಸಬಲ್ ಅಲ್ಲ. ಈ ಸಾಮರ್ಥ್ಯಗಳು ವಿವಿಧ ವ್ಯವಸ್ಥೆಯ ವಿನ್ಯಾಸಗಳಿಗೆ ಸಂರಚಿಸಬಹುದಾದ ವಿಶ್ವಾಸಾರ್ಹ ಅಡಿಪಾಯವನ್ನು ಒದಗಿಸುತ್ತವೆ. ಪರಿಹಾರಗಳು ಪೈಕ್ಓಎಸ್ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಹೈಪರ್ವೈಸರ್ ತಂತ್ರಜ್ಞಾನವನ್ನು ಕಠಿಣ ನೈಜ-ಸಮಯದ ಸಾಮರ್ಥ್ಯಗಳೊಂದಿಗೆ ಸಂಯೋಜಿಸುತ್ತದೆ. ಗ್ರೀನ್ ಹಿಲ್ಸ್ ಸಾಫ್ಟ್ವೇರ್ನಿಂದ ಇಂಟೆಗ್ರಿಟಿ-178ಬಿ ಸೆಪ್ಟೆಂಬರ್ 2008ರಲ್ಲಿ ಇದು ಎಸ್ಕೆಪಿಪಿ ವಿರುದ್ಧ ಪ್ರಮಾಣೀಕರಿಸಿದ ಮೊದಲ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಆಯಿತು. ವಿಂಡ್ ರಿವರ್ ಸಿಸ್ಟಮ್ಸ್ 2009ರಲ್ಲಿ ಸಕ್ರಿಯ ಪ್ರಮಾಣೀಕರಣ ಪ್ರಕ್ರಿಯೆಯಲ್ಲಿದ್ದ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ತಂತ್ರಜ್ಞಾನವನ್ನು ಹೊಂದಿದೆ. ಲಿಂಕ್ಸ್ ಸಾಫ್ಟ್ವೇರ್ ಟೆಕ್ನಾಲಜೀಸ್, ಲಿಂಕ್ಸ್ಸೆಕ್ಯೂರ್ ಎಂಬ ಪ್ರತ್ಯೇಕ ಕರ್ನಲ್ ಅನ್ನು ಹೊಂದಿದೆ. 2011ರಲ್ಲಿ, ಮಾಹಿತಿ ಭರವಸೆ ನಿರ್ದೇಶನಾಲಯವು ಎಸ್. ಕೆ. ಪಿ. ಪಿ. ಯನ್ನು ಸ್ಥಗಿತಗೊಳಿಸಿತು. ಎನ್ಎಸ್ಎ ಇನ್ನು ಮುಂದೆ ಎಸ್ಕೆಪಿಪಿ ವಿರುದ್ಧ ಪ್ರತ್ಯೇಕ ಕರ್ನಲ್ಗಳನ್ನು ಒಳಗೊಂಡಂತೆ ನಿರ್ದಿಷ್ಟ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಗಳನ್ನು ಪ್ರಮಾಣೀಕರಿಸುವುದಿಲ್ಲ, "ಈ ರಕ್ಷಣಾ ಪ್ರೊಫೈಲ್ಗೆ ಅನುಗುಣವಾಗಿರುವುದು, ಸ್ವತಃ, ಅನುಗುಣವಾದ ಉತ್ಪನ್ನವನ್ನು ಸಂಯೋಜಿಸಿದ ದೊಡ್ಡ ವ್ಯವಸ್ಥೆಯ ಸಂದರ್ಭದಲ್ಲಿ ರಾಷ್ಟ್ರೀಯ ಭದ್ರತಾ ಮಾಹಿತಿಯನ್ನು ಸೂಕ್ತವಾಗಿ ರಕ್ಷಿಸಲಾಗಿದೆ ಎಂಬ ಸಾಕಷ್ಟು ವಿಶ್ವಾಸವನ್ನು ನೀಡುವುದಿಲ್ಲ". ಎಸ್ಇಎಲ್4 ಮೈಕ್ರೋಕರ್ನಲ್ ಅನ್ನು ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಆಗಿ ಸಂರಚಿಸಬಹುದು ಎಂಬ ಪರಿಕಲ್ಪನೆಯ ಔಪಚಾರಿಕ ಪುರಾವೆಯನ್ನು ಹೊಂದಿದೆ. ಇದರ ಜೊತೆಗೆ ಮಾಹಿತಿಯ ಬಲವಂತದ ಮುಂದುವರಿಕೆಯು ಇದು ಭರವಸೆಯ ಉನ್ನತ ಮಟ್ಟದ ಉದಾಹರಣೆಯಾಗಿದೆ ಎಂದು ಸೂಚಿಸುತ್ತದೆ. ಮ್ಯೂಯೆನ್ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಸಹ x86 ಯಂತ್ರಗಳಿಗೆ ಔಪಚಾರಿಕವಾಗಿ ಪರಿಶೀಲಿಸಿದ ತೆರೆದ ಮೂಲ ಬೇರ್ಪಡಿಸುವ ಕರ್ನಲ್ ಆಗಿದೆ. ಸೆಪರೇಷನ್ ಕರ್ನಲ್ಅನ್ನು ಆಧರಿಸಿದ ಕಂಪ್ಯೂಟರ್ ಸೆಕ್ಯುರಿಟಿ ಆರ್ಕಿಟೆಕ್ಚರ್ಗಾಗಿ ಮಲ್ಟಿಪಲ್ ಇಂಡಿಪೆಂಡೆಂಟ್ ಲೆವೆಲ್ಸ್ ಆಫ್ ಸೆಕ್ಯುರಿಟಿಯನ್ನು ನೋಡಿ. ಕ್ರೂಟ್ ಫ್ರೀಬಿಎಸ್ಡಿ ಜೈಲು ಆಪರೇಟಿಂಗ್-ಸಿಸ್ಟಮ್-ಮಟ್ಟದ ವರ್ಚುವಲೈಸೇಶನ್ ಉಲ್ಲೇಖಗಳು ಡಿಸ್ಟ್ರಿಬ್ಯೂಟೆಡ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಆಪರೇಟಿಂಗ್ ಸಿಸ್ಟಮ್ ಕರ್ನಲ್ಗಳು