ಲಿನಕ್ಸ್ ಕರ್ನಲ್ 5.20 ರಲ್ಲಿ ಸೇರ್ಪಡೆಗಾಗಿ (ಬಹುಶಃ ಶಾಖೆಯನ್ನು 6.0 ಎಂದು ನಮೂದಿಸಬಹುದು), RV (ರನ್‌ಟೈಮ್ ಪರಿಶೀಲನೆ) ಕಾರ್ಯವಿಧಾನದ ಅನುಷ್ಠಾನದೊಂದಿಗೆ ಪ್ಯಾಚ್‌ಗಳ ಗುಂಪನ್ನು ಪ್ರಸ್ತಾಪಿಸಲಾಗಿದೆ, ಇದು ಖಾತರಿಪಡಿಸುವ ಹೆಚ್ಚು ವಿಶ್ವಾಸಾರ್ಹ ವ್ಯವಸ್ಥೆಗಳಲ್ಲಿ ಸರಿಯಾದ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಪರಿಶೀಲಿಸುವ ಸಾಧನಗಳನ್ನು ಒದಗಿಸುತ್ತದೆ. ವೈಫಲ್ಯಗಳ ಅನುಪಸ್ಥಿತಿ. ಸಿಸ್ಟಮ್ನ ನಿರೀಕ್ಷಿತ ನಡವಳಿಕೆಯನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವ ಆಟೋಮ್ಯಾಟನ್‌ನ ಪೂರ್ವನಿರ್ಧರಿತ ಉಲ್ಲೇಖದ ನಿರ್ಣಾಯಕ ಮಾದರಿಯ ವಿರುದ್ಧ ಮರಣದಂಡನೆಯ ನಿಜವಾದ ಪ್ರಗತಿಯನ್ನು ಪರಿಶೀಲಿಸುವ ಟ್ರೇಸ್ ಪಾಯಿಂಟ್‌ಗಳಿಗೆ ಹ್ಯಾಂಡ್ಲರ್‌ಗಳನ್ನು ಲಗತ್ತಿಸುವ ಮೂಲಕ ರನ್‌ಟೈಮ್‌ನಲ್ಲಿ ಪರಿಶೀಲನೆಯನ್ನು ನಡೆಸಲಾಗುತ್ತದೆ.
ಟ್ರೇಸ್ ಪಾಯಿಂಟ್‌ಗಳಿಂದ ಮಾಹಿತಿಯು ಮಾದರಿಯನ್ನು ಒಂದು ರಾಜ್ಯದಿಂದ ಇನ್ನೊಂದಕ್ಕೆ ಚಲಿಸುತ್ತದೆ, ಮತ್ತು ಹೊಸ ಸ್ಥಿತಿಯು ಮಾದರಿಯ ನಿಯತಾಂಕಗಳಿಗೆ ಹೊಂದಿಕೆಯಾಗದಿದ್ದರೆ, ಎಚ್ಚರಿಕೆಯನ್ನು ರಚಿಸಲಾಗುತ್ತದೆ ಅಥವಾ ಕರ್ನಲ್ ಅನ್ನು "ಪ್ಯಾನಿಕ್" ಸ್ಥಿತಿಯಲ್ಲಿ ಇರಿಸಲಾಗುತ್ತದೆ (ಹೆಚ್ಚಿನ ವಿಶ್ವಾಸಾರ್ಹತೆ ವ್ಯವಸ್ಥೆಗಳು ಪತ್ತೆಹಚ್ಚುವ ನಿರೀಕ್ಷೆಯಿದೆ ಮತ್ತು ಅಂತಹ ಸಂದರ್ಭಗಳಿಗೆ ಪ್ರತಿಕ್ರಿಯಿಸಿ). ಒಂದು ರಾಜ್ಯದಿಂದ ಇನ್ನೊಂದಕ್ಕೆ ಪರಿವರ್ತನೆಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವ ಆಟೊಮ್ಯಾಟನ್ ಮಾದರಿಯನ್ನು "ಡಾಟ್" ಫಾರ್ಮ್ಯಾಟ್ (ಗ್ರಾಫ್ವಿಜ್) ಗೆ ರಫ್ತು ಮಾಡಲಾಗುತ್ತದೆ, ನಂತರ ಅದನ್ನು ಡಾಟ್ 2 ಸಿ ಉಪಯುಕ್ತತೆಯನ್ನು ಬಳಸಿಕೊಂಡು ಸಿ ಪ್ರಾತಿನಿಧ್ಯಕ್ಕೆ ಅನುವಾದಿಸಲಾಗುತ್ತದೆ, ಇದನ್ನು ಕರ್ನಲ್ ಮಾಡ್ಯೂಲ್ ರೂಪದಲ್ಲಿ ಲೋಡ್ ಮಾಡಲಾಗುತ್ತದೆ. ಪೂರ್ವನಿರ್ಧರಿತ ಮಾದರಿಯಿಂದ ಎಕ್ಸಿಕ್ಯೂಶನ್ ಪ್ರಗತಿಯ ವಿಚಲನಗಳನ್ನು ಟ್ರ್ಯಾಕ್ ಮಾಡುತ್ತದೆ.
ರನ್-ಟೈಮ್ ಮಾಡೆಲ್ ಪರಿಶೀಲನೆಯು ಮಿಷನ್-ಕ್ರಿಟಿಕಲ್ ಸಿಸ್ಟಮ್‌ಗಳಲ್ಲಿ ಸರಿಯಾದ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯನ್ನು ಪರಿಶೀಲಿಸುವ ಹಗುರ-ತೂಕದ ಮತ್ತು ಸುಲಭವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸುವ ವಿಧಾನವಾಗಿದೆ, ಮಾದರಿ ಪರಿಶೀಲನೆ ಮತ್ತು ಔಪಚಾರಿಕವಾಗಿ ನೀಡಲಾದ ನಿರ್ದಿಷ್ಟತೆಗಳೊಂದಿಗೆ ಕೋಡ್ ಅನುಸರಣೆಯ ಗಣಿತದ ಪುರಾವೆಗಳಂತಹ ಶಾಸ್ತ್ರೀಯ ವಿಶ್ವಾಸಾರ್ಹತೆ ಪರಿಶೀಲನೆ ವಿಧಾನಗಳನ್ನು ಪೂರೈಸುತ್ತದೆ. ಭಾಷೆ. RV ಯ ಪ್ರಯೋಜನಗಳಲ್ಲಿ ಒಂದು ಮಾಡೆಲಿಂಗ್ ಭಾಷೆಯಲ್ಲಿ ಸಂಪೂರ್ಣ ಸಿಸ್ಟಮ್ನ ಪ್ರತ್ಯೇಕ ಅನುಷ್ಠಾನವಿಲ್ಲದೆ ಕಟ್ಟುನಿಟ್ಟಾದ ಪರಿಶೀಲನೆಯನ್ನು ಒದಗಿಸುವ ಸಾಮರ್ಥ್ಯ, ಹಾಗೆಯೇ ಅನಿರೀಕ್ಷಿತ ಘಟನೆಗಳಿಗೆ ಹೊಂದಿಕೊಳ್ಳುವ ಪ್ರತಿಕ್ರಿಯೆ, ಉದಾಹರಣೆಗೆ, ನಿರ್ಣಾಯಕ ವ್ಯವಸ್ಥೆಗಳಲ್ಲಿ ವೈಫಲ್ಯದ ಮತ್ತಷ್ಟು ಪ್ರಸರಣವನ್ನು ನಿರ್ಬಂಧಿಸಲು.
ಮೂಲ: opennet.ru