Murφ
ಮರ್ಫಿ (/m. fi/, ಮರ್ಫಿ ಎಂದೂ ಉಚ್ಚರಿಸಲಾಗುತ್ತದೆ) ಎಂಬುದು ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಅಭಿವೃದ್ಧಿಪಡಿಸಲಾದ ಸ್ಪಷ್ಟ-ಸ್ಥಿತಿ ಮಾದರಿ ಪರೀಕ್ಷಕವಾಗಿದೆ ಮತ್ತು ಕ್ಯಾಶ್-ಕೊಹೆರೆನ್ಸ್ ಪ್ರೋಟೋಕಾಲ್ಗಳ ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆಗಾಗಿ ವ್ಯಾಪಕವಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ. ಇತಿಹಾಸ ಮುರ್ಫಿ ಅವರ ಆರಂಭಿಕ ಇತಿಹಾಸವನ್ನು ಡೇವಿಡ್ ಡಿಲ್ ಅವರು ಒಂದು ಪ್ರಬಂಧದಲ್ಲಿ ವಿವರಿಸಿದ್ದಾರೆ. ಮುರ್ಫಿಯ ಮೊದಲ ಆವೃತ್ತಿಯನ್ನು 1990 ಮತ್ತು 1991ರಲ್ಲಿ ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಪ್ರೊಫೆಸರ್ ಡೇವಿಡ್ ಡಿಲ್ ಮತ್ತು ಅವರ ಪದವಿ ವಿದ್ಯಾರ್ಥಿಗಳಾದ ಆಂಡ್ರಿಯಾಸ್ ಡ್ರೆಕ್ಸ್ಲರ್, ಅಲನ್ ಹು ಮತ್ತು ಹಾನ್ ಯಾಂಗ್ ಅವರು ವಿನ್ಯಾಸಗೊಳಿಸಿದರು ಮತ್ತು ಪ್ರಾಥಮಿಕವಾಗಿ ಆಂಡ್ರಿಯಾಸ್ ಡ್ರೆಕ್ಸ್ಲರ್ ಅವರು ಅನುಷ್ಠಾನಗೊಳಿಸಿದರು. ವಿವರಣಾತ್ಮಕ ಭಾಷೆಯನ್ನು ಡೇವಿಡ್ ಡಿಲ್, ಅಲನ್ ಹು, ಸಿ. ನಾರ್ರಿಸ್ ಐಪಿ, ರಾಲ್ಫ್ ಮೆಲ್ಟನ್, ಸೆಯುಂಗ್ಜೂನ್ ಪಾರ್ಕ್ ಮತ್ತು ಹಾನ್ ಯಾಂಗ್ ಅವರು ವ್ಯಾಪಕವಾಗಿ ಮಾರ್ಪಡಿಸಿದರು ಮತ್ತು ವಿಸ್ತರಿಸಿದರು. ರಾಲ್ಫ್ ಮೆಲ್ಟನ್ 1992ರ ಬೇಸಿಗೆ ಮತ್ತು ಶರತ್ಕಾಲದಲ್ಲಿ ಹೊಸ ಆವೃತ್ತಿಯನ್ನು ಜಾರಿಗೆ ತಂದರು. ಸೆಯುಂಗ್ಜೂನ್ ಪಾರ್ಕ್ ಲೈವನ್ಸ್ ಚೆಕಿಂಗ್ ಮತ್ತು ನ್ಯಾಯೋಚಿತತೆಯ ನಿರ್ಬಂಧಗಳನ್ನು ಸೇರಿಸಿತು, ಆದರೆ ಲೈವನ್ಸ್ ಪರಿಶೀಲನೆಯ ಅಲ್ಗಾರಿದಮ್ ಪ್ರಮುಖ ಆಪ್ಟಿಮೈಸೇಶನ್ಗಳೊಂದಿಗೆ ಸಂಘರ್ಷಕ್ಕೊಳಗಾಗಿರುವುದರಿಂದ, ವಿಶೇಷವಾಗಿ ಸಮ್ಮಿತಿ ಕಡಿತ, ನಂತರದ ಬಿಡುಗಡೆಗಳಲ್ಲಿ ಲೈವನ್ಸ್ ಪರಿಶೀಲನೆಯನ್ನು ಬಿಟ್ಟುಬಿಡಲಾಯಿತು. ಸಿ. ನಾರ್ರಿಸ್ ಐಪಿ ರಿವರ್ಸಿಬಲ್ ನಿಯಮಗಳು ಮತ್ತು ಪುನರಾವರ್ತನೆ ಕನ್ಸ್ಟ್ರಕ್ಟರ್ಗಳನ್ನು ಜಾರಿಗೆ ತಂದರು (ಇವುಗಳನ್ನು ಬಿಡುಗಡೆ 3.1 ರಲ್ಲಿ ಸೇರಿಸಲಾಗಿಲ್ಲ), ಮತ್ತು ಸಮ್ಮಿತಿ ಮತ್ತು ಮಲ್ಟಿಸೆಟ್ ಕಡಿತಗಳನ್ನು ಸೇರಿಸಲಾಯಿತು (ಇವು). ಉಲ್ರಿಚ್ ಸ್ಟರ್ನ್ ಹ್ಯಾಶ್ ಸಂಕೋಚನವನ್ನು ಜಾರಿಗೆ ತಂದರು, ಡಿಸ್ಕ್ ಬಳಕೆಯನ್ನು ಸುಧಾರಿಸಿದರು ಮತ್ತು ಸಮಾನಾಂತರ ಮುರ್ಫ್ ಅನ್ನು ಜಾರಿಗೆ ತಂದರು. ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ನ ಕೊನೆಯ ಬಿಡುಗಡೆಯು 1993ರ ನವೆಂಬರ್ನಲ್ಲಿ 3.1 ಬಿಡುಗಡೆಯಾಗಿತ್ತು. ಅಂದಿನಿಂದ ಇತರ ಗುಂಪುಗಳು ಮುರ್ಫಿಯ ಅನೇಕ ವ್ಯುತ್ಪನ್ನ ಆವೃತ್ತಿಗಳನ್ನು ರಚಿಸಿವೆ. ವೈಶಿಷ್ಟ್ಯಗಳು ಮರ್ಫಿ ಕಂಪೈಲರ್ ಮರ್ಫಿ ಸ್ಪೆಸಿಫಿಕೇಷನ್ ಭಾಷೆಯಲ್ಲಿ ಬರೆಯಲಾದ ಮಾದರಿಯನ್ನು ಸ್ವೀಕರಿಸುತ್ತದೆ ಮತ್ತು ಆ ಮಾದರಿಯನ್ನು ಪರಿಶೀಲಿಸುವ ಸಿ + + ಕೋಡ್ ಅನ್ನು ಔಟ್ಪುಟ್ ಮಾಡುತ್ತದೆ. (ಅಂದರೆ, ಸಿ + + ಕೋಡ್, ಕಾರ್ಯಗತಗೊಂಡಾಗ, ವಿವರಣೆಯಿಂದ ವಿವರಿಸಲಾದ ವಿನ್ಯಾಸದ ಮೇಲೆ ಸ್ಪಷ್ಟ-ಸ್ಥಿತಿಯ ಮಾದರಿಯನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ.) ಮುರ್ಫಿ ಸ್ಪೆಸಿಫಿಕೇಷನ್ ಭಾಷೆಯು ಎಲ್ಲಾ ಸಿಂಕ್ರೊನೈಸೇಶನ್ ಮತ್ತು ಸಂವಹನವನ್ನು ಜಾಗತಿಕ ಅಸ್ಥಿರಗಳ ಮೂಲಕ ಮಾಡುವುದರೊಂದಿಗೆ ರಕ್ಷಣಾತ್ಮಕ ಆಜ್ಞೆಗಳನ್ನು ಮತ್ತು ಅಸಿಂಕ್ರೊನಸ್, ಇಂಟರ್ಲೀವಿಂಗ್ ಮಾದರಿಯನ್ನು ಬಳಸುತ್ತದೆ. ಮಾದರಿಯಲ್ಲಿ ನಿರ್ದಿಷ್ಟಪಡಿಸಲಾದ ಬದಲಾವಣೆಗಳು ಮತ್ತು ಆಂತರಿಕ ಸಮರ್ಥನೆಗಳ ರೂಪದಲ್ಲಿ ಸುರಕ್ಷತಾ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ ಮತ್ತು ಡೆಡ್ಲಾಕ್ ಅನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ. ಇದು ಲೈವನ್ಸ್ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಪರಿಶೀಲಿಸುವುದಿಲ್ಲ, ಆದರೂ ಮುರ್ಫ್ ಬಿಡುಗಡೆ 2.7ಎಲ್ ಸಾಮಾನ್ಯ ಎಲ್. ಟಿ. ಎಲ್ ಲೈವನ್ಸ್ ಗುಣಲಕ್ಷಣಗಳ ಪರಿಶೀಲನೆಯ ಬೆಂಬಲವನ್ನು ನೀಡಿದೆ. ಭಾಷೆ ಮತ್ತು ಪರಿಶೀಲಿಸುವಿಕೆಯು ಕೆಲವು ರೀತಿಯ ಸಮ್ಮಿತಿ ಕಡಿತಗಳನ್ನು ಬೆಂಬಲಿಸುತ್ತದೆ. ಮುರ್ಫ್ ಅನ್ನು ಮೂಲತಃ ಕ್ಯಾಶ್-ಕೊಹೆರೆನ್ಸ್ ಪ್ರೋಟೋಕಾಲ್ಗಳನ್ನು ಪರಿಶೀಲಿಸಲು ಅನ್ವಯಿಸಲಾಗುತ್ತಿತ್ತು, ಆದರೆ ಭದ್ರತಾ ಪ್ರೋಟೋಕಾಲ್ಗಳ ಪರಿಶೀಲನೆ ಸೇರಿದಂತೆ ಇತರ ಸಮಸ್ಯೆಗಳಿಗೂ ಅನ್ವಯಿಸಲಾಗಿದೆ. ಮರ್ಫಿ ಪರವಾನಗಿಯು ಎಂ. ಐ. ಟಿ. ಪರವಾನಗಿಯನ್ನು ಹೋಲುತ್ತದೆ. ಯಾವುದೇ ಉದ್ದೇಶಕ್ಕಾಗಿ ಮುರ್ಫಿ ಅನ್ನು ಬಳಸಬಹುದು, ನಕಲಿಸಬಹುದು, ಮಾರ್ಪಡಿಸಬಹುದು, ಮಾರಾಟ ಮಾಡಬಹುದು ಮತ್ತು ಮರುವಿತರಣೆ ಮಾಡಬಹುದು, ಹಕ್ಕುಸ್ವಾಮ್ಯ ಸೂಚನೆ ಮತ್ತು ಪರವಾನಗಿಯನ್ನು ಸೇರಿಸಿದರೆ, ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಹೆಸರನ್ನು ಅನುಮತಿಯಿಲ್ಲದೆ ಜಾಹೀರಾತು ಅಥವಾ ಪ್ರಚಾರಕ್ಕಾಗಿ ಬಳಸಲಾಗುವುದಿಲ್ಲ ಮತ್ತು ಮಾರ್ಪಡಿಸಿದ ಆವೃತ್ತಿಗಳನ್ನು ಅನುಮತಿಯಿಲ್ಲದೆ ಮರ್ಫಿ ಎಂದು ಕರೆಯಲಾಗುವುದಿಲ್ಲ. ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ಮತ್ತು ಇತರೆಡೆಗಳಲ್ಲಿ ಮುರ್ಫ್ನ ಅನೇಕ ವ್ಯುತ್ಪನ್ನ ಆವೃತ್ತಿಗಳನ್ನು ರಚಿಸಲಾಗಿದೆ, ಇವುಗಳನ್ನು ಒಳಗೊಂಡಂತೆಃ ಸಮಾನಾಂತರ ಮುರ್ಫ್ ಎಡ್ಡಿ-ಸಮಾನಾಂತರ ಮತ್ತು ವಿತರಿಸಿದ ಮುರ್ಫ್. PReach (ಪ್ಯಾರಲಲ್ ರೀಚಬಿಲಿಟಿ)-ಎರ್ಲಾಂಗ್ನಲ್ಲಿ ಜಾರಿಗೆ ತರಲಾದ ಪ್ಯಾರಲಲ್ ಮಾದರಿ ಪರಿಶೀಲನೆ. ವಿತರಿಸಿದ ಮರ್ಫಿ ಪ್ಯಾರಲಲ್ ರಾಂಡಮ್-ವಾಕ್ ಮರ್ಫಿ ಪಿಎಎಂ-ಪ್ರಿಡಿಕೇಟ್ ಅಬ್ಸ್ಟ್ರ್ಯಾಕ್ಷನ್ ಮರ್ಫಿ ಪೋಮ್-ಪಾರ್ಟಿಯಲ್-ಆರ್ಡರ್ ಎನೇಬಲ್ಡ್ ಮರ್ಫಿ ಸಿಎಂರ್ಫಿ-ಕ್ಯಾಚಿಂಗ್ ಮರ್ಫಿ. ಎಫ್ಎಚ್ಪಿ-ಮರ್ಫಿ-ಫೈನೈಟ್ ಹರೈಸನ್ ಪ್ರೋಬಬಿಲಿಸ್ಟಿಕ್ ಮರ್ಫಿ. ಎಡ್ಡಿ ಮರ್ಫಿ-CMurphy ಅನ್ನು ಆಧರಿಸಿದ ಸಮಾನಾಂತರ ಮತ್ತು ವಿತರಿಸಿದ, ಸಂದೇಶ ರವಾನೆಗಾಗಿ MPI ಅನ್ನು ಬಳಸುತ್ತದೆ. ಯುನಿವರ್ಸಲ್ ಪ್ಲಾನರ್ ಮರ್ಫಿ-ಪ್ರಕ್ರಿಯೆಗಳು ಮತ್ತು ಘಟನೆಗಳೊಂದಿಗೆ ರೇಖೀಯ ಮತ್ತು ರೇಖಾತ್ಮಕವಲ್ಲದ ನಿರಂತರ ಪಿ. ಡಿ. ಡಿ. ಎಲ್ + ಮಾದರಿಗಳಿಗೆ ಯೋಜನೆ ಮತ್ತು ಸಾರ್ವತ್ರಿಕ ಯೋಜನೆ; ಸಮಯದ ಆರಂಭಿಕ ಅಕ್ಷರಗಳು ಮತ್ತು ಸಮಯದ ಆರಂಭಿಕ ನಿರರ್ಗಳಗಳು. ವದಂತಿ ಸಹ ನೋಡಿ ಮಾದರಿ ಪರಿಶೀಲನಾ ಸಾಧನಗಳ ಮಾದರಿ ಪರಿಶೀಲನಾ ಪಟ್ಟಿ ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಮರ್ಫಿ ಟಿಪ್ಪಣಿ ಉಲ್ಲೇಖ ಕೈಪಿಡಿ, ಬಿಡುಗಡೆ 3.1 ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ಭದ್ರತಾ ಪ್ರಯೋಗಾಲಯ, ಭದ್ರತಾ ಶಿಷ್ಟಾಚಾರಗಳಿಗಾಗಿ ಮಾದರಿ ಪರಿಶೀಲನಾ ವಿಧಾನಗಳು ಉತಾಹ್ ವಿಶ್ವವಿದ್ಯಾಲಯ, ಸ್ಕೂಲ್ ಆಫ್ ಕಂಪ್ಯೂಟಿಂಗ್-ಮುರ್ಫಿ ಆವೃತ್ತಿಗಳ ಸಂಗ್ರಹ. ಮಾದರಿ ಪರಿಶೀಲನೆ C + + ನಲ್ಲಿ ಪ್ರೋಗ್ರಾಮ್ ಮಾಡಲಾದ ಉಚಿತ ಸಾಫ್ಟ್ವೇರ್