Verve (operating system)
ವೆರ್ವ್ ಎಂಬುದು ಮೈಕ್ರೋಸಾಫ್ಟ್ ರಿಸರ್ಚ್ ಅಭಿವೃದ್ಧಿಪಡಿಸಿದ ಸಂಶೋಧನಾ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಯಾಗಿದೆ. ರೀತಿಯ ಸುರಕ್ಷತೆ ಮತ್ತು ಮೆಮೊರಿ ಸುರಕ್ಷತೆಗಾಗಿ ವರ್ವ್ ಅನ್ನು ಕೊನೆಯಿಂದ ಕೊನೆಯವರೆಗೆ ಪರಿಶೀಲಿಸಲಾಗುತ್ತದೆ. ಅವುಗಳ ಸಂಕೀರ್ಣತೆಯಿಂದಾಗಿ, ಆಪರೇಟಿಂಗ್ ಸಿಸ್ಟಮ್ಗಳ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಪರಿಶೀಲಿಸುವುದು ಸಾಫ್ಟ್ವೇರ್ ಪರಿಶೀಲನೆಯ ಪವಿತ್ರ ಗುರಿಯಾಗಿದೆ. ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಸಿ ಯಂತಹ ಕೆಳಮಟ್ಟದ ಭಾಷೆಗಳಲ್ಲಿ ಬರೆಯಲಾಗುತ್ತದೆ, ಅವು ಬಹಳ ಕಡಿಮೆ ಖಾತರಿಗಳನ್ನು ನೀಡುತ್ತವೆ. ಸಿಂಗ್ಯುಲಾರಿಟಿ ಯೋಜನೆಯು ಸಿ #ನಲ್ಲಿ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಯನ್ನು ಬರೆಯುವ ವಿಧಾನವನ್ನು ತೆಗೆದುಕೊಂಡಿತು, ಇದು ಟೈಪ್-ಸುರಕ್ಷಿತ, ಮೆಮೊರಿ-ಸುರಕ್ಷಿತ ಭಾಷೆಯಾಗಿದೆ. ಈ ವಿಧಾನದ ಒಂದು ದೌರ್ಬಲ್ಯವೆಂದರೆ, ಉದಾಹರಣೆಗೆ, ಸ್ಟ್ಯಾಕ್ ಪಾಯಿಂಟರ್ ಅನ್ನು ಸರಿಸಲು ಆಪರೇಟಿಂಗ್ ಸಿಸ್ಟಮ್ಗಳು ಕೆಳಮಟ್ಟದ ಕೋಡ್ಗೆ ಕರೆ ಮಾಡಬೇಕಾಗುತ್ತದೆ. ಆಪರೇಟಿಂಗ್ ಸಿಸ್ಟಮ್ ಅನ್ನು ಪರಿಶೀಲಿಸಿದ ಅಸೆಂಬ್ಲಿ ಭಾಷೆಯಾಗಿ ವಿಭಜಿಸುವ ಮೂಲಕ ವರ್ವ್ ಈ ಸಮಸ್ಯೆಯನ್ನು ಪರಿಹರಿಸುತ್ತದೆ, ಇದು ಸಿ #ನಲ್ಲಿ ಬರೆಯಲಾದ ಉಳಿದ ಆಪರೇಟಿಂಗ್ ಸಿಸ್ಟಮ್ಗೆ ಕಡಿಮೆ-ಮಟ್ಟದ ಮತ್ತು ವಿಶ್ವಾಸಾರ್ಹ ಇಂಟರ್ಫೇಸ್ ಆಗಿರಬೇಕು. ಕೆಳಮಟ್ಟದ ಜೋಡಣೆ ಸಂಕೇತವು ರಾಶಿಗಳನ್ನು ಮಾರ್ಪಡಿಸುವುದಿಲ್ಲ ಮತ್ತು ಉನ್ನತ ಮಟ್ಟದ ಸಿ #ಸಂಕೇತವು ರಾಶಿಗಳನ್ನು ಮಾರ್ಪಡಿಸುವುದಿಲ್ಲ ಎಂದು ಖಾತರಿಪಡಿಸುವ ಒಂದು ವಿಶ್ವಾಸಾರ್ಹ ವಿವರಣೆ ಇದೆ. ವರ್ವ್ ಒಂದು ಸಣ್ಣ ನ್ಯೂಕ್ಲಿಯಸ್ ಅನ್ನು ಹೊಂದಿರುತ್ತದೆ, ಇದು ಕನಿಷ್ಠ ಯಂತ್ರಾಂಶ ಅಮೂರ್ತ ಪದರವಾಗಿ ಕಾರ್ಯನಿರ್ವಹಿಸುತ್ತದೆ, ಮತ್ತು ಕರ್ನಲ್, ಇದು ನ್ಯೂಕ್ಲಿಯಸ್ ಒದಗಿಸಿದ ಪ್ರಿಮಿಟಿವ್ಗಳನ್ನು ಬಳಸಿ ಅಪ್ಲಿಕೇಶನ್ಗಳಿಗೆ ಹೆಚ್ಚು ಸಾಂಪ್ರದಾಯಿಕ ಇಂಟರ್ಫೇಸ್ ಅನ್ನು ಬಹಿರಂಗಪಡಿಸುತ್ತದೆ. ನ್ಯೂಕ್ಲಿಯಸ್ ಅನ್ನು ಹೊರತುಪಡಿಸಿ ವ್ಯವಸ್ಥೆಯ ಎಲ್ಲಾ ಘಟಕಗಳನ್ನು ನಿರ್ವಹಿಸಿದ ಕೋಡ್ ಸಿ #ನಲ್ಲಿ ಬರೆಯಲಾಗುತ್ತದೆ ಮತ್ತು ಬಾರ್ಟೋಕ್ (ಮೂಲತಃ ಸಿಂಗ್ಯುಲಾರಿಟಿ ಪ್ರಾಜೆಕ್ಟ್ಗಾಗಿ ಅಭಿವೃದ್ಧಿಪಡಿಸಲಾಗಿದೆ) ಟೈಪ್ ಮಾಡಿದ ಅಸೆಂಬ್ಲಿ ಲಾಂಗ್ವೇಜ್ (ಟಿಎಎಲ್) ಆಗಿ ಸಂಕಲಿಸಲಾಗುತ್ತದೆ, ಇದನ್ನು ಟಿಎಎಲ್ ಚೆಕರ್ ಪರಿಶೀಲಿಸುತ್ತದೆ. ನ್ಯೂಕ್ಲಿಯಸ್ ಮೆಮೊರಿ ಅಲೋಕೇಟರ್ ಮತ್ತು ಕಸದ ಸಂಗ್ರಹಣೆ, ಸ್ಟ್ಯಾಕ್ ಸ್ವಿಚಿಂಗ್ಗೆ ಬೆಂಬಲ ಮತ್ತು ಇಂಟರಪ್ಟ್ ಹ್ಯಾಂಡ್ಲರ್ಗಳನ್ನು ನಿರ್ವಹಿಸುತ್ತದೆ. ಇದನ್ನು ಬೂಗೀಪಿಎಲ್ನಲ್ಲಿ ಬರೆಯಲಾಗಿದ್ದು, ಇದು ಎಂಎಸ್ಆರ್ನ ಬೂಗೀ ವೆರಿಫೈಯರ್ಗೆ ಇನ್ಪುಟ್ ಆಗಿ ಕಾರ್ಯನಿರ್ವಹಿಸುತ್ತದೆ, ಇದು ಝಡ್3 ಥೀರಂ ಪ್ರೊವರ್ ಸೆಟಿಸಿಪಿಯಬಿಲಿಟಿ ಮಾಡ್ಯುಲೋ ಸಿದ್ಧಾಂತಗಳನ್ನು (ಎಸ್ಎಂಟಿ) ಸ್ವಯಂಚಾಲಿತ ಥೀರಂ ಪ್ರೊವರ್ (ಪರಿಹಾರಕ) ಬಳಸಿ ನ್ಯೂಕ್ಲಿಯಸ್ ಅನ್ನು ಸರಿಯಾಗಿ ಸಾಬೀತುಪಡಿಸುತ್ತದೆ. ಥ್ರೆಡ್ಗಳನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಲು, ವೇಳಾಪಟ್ಟಿ ಮಾಡಲು, ಸಿಂಕ್ರೊನೈಸೇಶನ್ ಮಾಡಲು ಮತ್ತು ಹೆಚ್ಚಿನ ಇಂಟರಪ್ಟ್ ಹ್ಯಾಂಡ್ಲರ್ಗಳನ್ನು ಒದಗಿಸಲು ನ್ಯೂಕ್ಲಿಯಸ್ ಕರ್ನಲ್ ಅನ್ನು ಅವಲಂಬಿಸಿದೆ. ಕರ್ನಲ್ ಅನ್ನು ಔಪಚಾರಿಕವಾಗಿ ಪರಿಶೀಲಿಸಲಾಗಿಲ್ಲವಾದರೂ, ಉದಾಹರಣೆಗೆ, ವೇಳಾಪಟ್ಟಿಯಲ್ಲಿನ ದೋಷವು ಸಿಸ್ಟಮ್ ಅನ್ನು ಸ್ಥಗಿತಗೊಳಿಸಬಹುದು, ಇದು ಪ್ರಕಾರ ಅಥವಾ ಮೆಮೊರಿ ಸುರಕ್ಷತೆಯನ್ನು ಉಲ್ಲಂಘಿಸುವುದಿಲ್ಲ ಮತ್ತು ಆದ್ದರಿಂದ ನೇರವಾಗಿ ವಿವರಿಸಲಾಗದ ನಡವಳಿಕೆಯನ್ನು ಉಂಟುಮಾಡುವುದಿಲ್ಲ. ನ್ಯೂಕ್ಲಿಯಸ್ಗೆ ಅಮಾನ್ಯವಾದ ವಿನಂತಿಗಳನ್ನು ಮಾಡಲು ಅದು ಪ್ರಯತ್ನಿಸಿದರೆ, ನ್ಯೂಕ್ಲಿಯಸ್ ಪರಿಸ್ಥಿತಿಯನ್ನು ನಿಯಂತ್ರಿತ ರೀತಿಯಲ್ಲಿ ನಿರ್ವಹಿಸುತ್ತದೆ ಎಂದು ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆಯು ಖಾತರಿಪಡಿಸುತ್ತದೆ. ನ್ಯೂಕ್ಲಿಯಸ್ನ ನಿಖರತೆಯನ್ನು ಪರಿಶೀಲಿಸಲು ಬೂಗೀ/ಝಡ್3; ಅದನ್ನು x86 ಜೋಡಣೆಗೆ ಭಾಷಾಂತರಿಸಲು ಬೂಗೀಏಎಸ್ಎಂ; ನ್ಯೂಕ್ಲಿಯಸ್ ಹೇಗೆ ವರ್ತಿಸಬೇಕು ಎಂಬುದರ ಬೂಗೀಪಿಎಲ್ ವಿವರಣೆ; ಟಿಎಎಲ್ ವೆರಿಫೈಯರ್; ಜೋಡಣೆದಾರ ಮತ್ತು ಲಿಂಕರ್; ಮತ್ತು ಬೂಟ್ ಲೋಡರ್ ಇವುಗಳಿಗೆ ವರ್ವ್ನ ವಿಶ್ವಾಸಾರ್ಹ ಕಂಪ್ಯೂಟಿಂಗ್ ಬೇಸ್ (ಟಿಸಿಬಿ) ಸೀಮಿತವಾಗಿದೆ. ಗಮನಾರ್ಹವಾಗಿ, ಸಿ #ಕಂಪೈಲರ್/ರನ್ಟೈಮ್ ಅಥವಾ ಬಾರ್ಟಾಕ್ ಕಂಪೈಲರ್ ಎರಡೂ ಟಿಸಿಬಿಯ ಭಾಗವಾಗಿಲ್ಲ. ಸೇಫ್ ಟು ದಿ ಲಾಸ್ಟ್ ಇನ್ಸ್ಟ್ರಕ್ಷನ್ಃ ಆಟೋಮೇಟೆಡ್ ವೆರಿಫಿಕೇಷನ್ ಆಫ್ ಎ ಟೈಪ್-ಸೇಫ್ ಆಪರೇಟಿಂಗ್ ಸಿಸ್ಟಮ್, ಜೀನ್ ಯಾಂಗ್ ಮತ್ತು ಕ್ರಿಸ್ ಹಾಬ್ಲಿಟ್ಜೆಲ್. ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯ ವಿನ್ಯಾಸ ಮತ್ತು ಅನುಷ್ಠಾನ, 2010. ಸೇಫ್ ಟು ದಿ ಲಾಸ್ಟ್ ಇನ್ಸ್ಟ್ರಕ್ಷನ್ಃ ಆಟೋಮೇಟೆಡ್ ವೆರಿಫಿಕೇಷನ್ ಆಫ್ ಎ ಟೈಪ್-ಸೇಫ್ ಆಪರೇಟಿಂಗ್ ಸಿಸ್ಟಮ್, ಜೀನ್ ಯಾಂಗ್ ಮತ್ತು ಕ್ರಿಸ್ ಹಾಬ್ಲಿಟ್ಜೆಲ್. ಸಿಎಸಿಎಂ ರಿಸರ್ಚ್ ಹೈಲೈಟ್. ಎಸಿಎಂನ ಸಂವಹನಗಳು, ಸೆಪ್ಟೆಂಬರ್ 2010. ತಾಂತ್ರಿಕ ದೃಷ್ಟಿಕೋನಃ ಸುರಕ್ಷತೆ ಮೊದಲು! ವರ್ವ್ಃ ಒಂದು ರೀತಿಯ ಸುರಕ್ಷಿತ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆ. ಕ್ರಿಸ್ ಹಾಬ್ಲಿಟ್ಜೆಲ್ ಜೊತೆಗಿನ ಸಂದರ್ಶನ. ವರ್ವ್ಃ ಒಂದು ರೀತಿಯ ಸುರಕ್ಷಿತ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆ. ಓಎಸ್ನ್ಯೂಸ್. ವರ್ವ್ ಅನ್ನು ಘೋಷಿಸುವುದು-ಒಂದು ರೀತಿಯ-ಸುರಕ್ಷಿತ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆ. ಇನ್ಫೋಕ್ಯೂ. ಮೈಕ್ರೋಸಾಫ್ಟ್ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಗಳು ಮೈಕ್ರೋಸಾಫ್ಟ್ ರಿಸರ್ಚ್ ಮೈಕ್ರೋಕರ್ನೆಲ್-ಆಧಾರಿತ ಕಾರ್ಯಾಚರಣಾ ವ್ಯವಸ್ಥೆಗಳು ಮೈಕ್ರೋಕರ್ನೆಲ್ಸ್ ನ್ಯಾನೋಕರ್ನೆಲ್ಸ್