Session type
ಮಾದರಿ ಸಿದ್ಧಾಂತದಲ್ಲಿ, ಏಕಕಾಲೀನ ಕಾರ್ಯಕ್ರಮಗಳಲ್ಲಿ ನಿಖರತೆಯನ್ನು ಖಚಿತಪಡಿಸಿಕೊಳ್ಳಲು ಅಧಿವೇಶನದ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಸಮವರ್ತಿ ಕಾರ್ಯಕ್ರಮಗಳ ನಡುವೆ ಕಳುಹಿಸಿದ ಮತ್ತು ಸ್ವೀಕರಿಸಿದ ಸಂದೇಶಗಳು ನಿರೀಕ್ಷಿತ ಕ್ರಮದಲ್ಲಿವೆ ಮತ್ತು ನಿರೀಕ್ಷಿತ ಪ್ರಕಾರದಲ್ಲಿವೆ ಎಂದು ಅವು ಖಾತರಿಪಡಿಸುತ್ತವೆ. ಅಧಿವೇಶನ ಪ್ರಕಾರದ ವ್ಯವಸ್ಥೆಗಳನ್ನು ಚಾನೆಲ್ ಮತ್ತು ನಟ ವ್ಯವಸ್ಥೆಗಳೆರಡಕ್ಕೂ ಅಳವಡಿಸಿಕೊಳ್ಳಲಾಗಿದೆ. ಸಮವರ್ತಿ ಮತ್ತು ವಿತರಣಾ ವ್ಯವಸ್ಥೆಗಳಲ್ಲಿ ಅಪೇಕ್ಷಣೀಯ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಖಚಿತಪಡಿಸಿಕೊಳ್ಳಲು ಅಧಿವೇಶನ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಲಾಗುತ್ತದೆ, ಅಂದರೆ. ಸಂವಹನ ದೋಷಗಳು ಅಥವಾ ಡೆಡ್ಲಾಕ್ಗಳ ಅನುಪಸ್ಥಿತಿ, ಮತ್ತು ಶಿಷ್ಟಾಚಾರ ಅನುಸರಣೆ. ಬೈನರಿ ವರ್ಸಸ್ ಮಲ್ಟಿಪಾರ್ಟಿ ಸೆಷನ್ ವಿಧಗಳು ಎರಡು ಪ್ರಕ್ರಿಯೆಗಳ ನಡುವಿನ ಪರಸ್ಪರ ಕ್ರಿಯೆಯನ್ನು ಬೈನರಿ ಸೆಷನ್ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಪರಿಶೀಲಿಸಬಹುದು, ಆದರೆ ಎರಡಕ್ಕಿಂತ ಹೆಚ್ಚು ಪ್ರಕ್ರಿಯೆಗಳ ನಡುವಿನ ಪರಸ್ಪರ ಕ್ರಿಯೆಯನ್ನು ಮಲ್ಟಿಪಾರ್ಟಿ ಸೆಷನ್ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಪರಿಶೀಲಿಸಬಹುದು. ಬಹುಪಕ್ಷೀಯ ಅಧಿವೇಶನದ ಪ್ರಕಾರಗಳಲ್ಲಿ ಎಲ್ಲಾ ಭಾಗವಹಿಸುವವರ ನಡುವಿನ ಸಂವಹನಗಳನ್ನು ಜಾಗತಿಕ ಪ್ರಕಾರವನ್ನು ಬಳಸಿಕೊಂಡು ವಿವರಿಸಲಾಗುತ್ತದೆ, ನಂತರ ಅದನ್ನು ಸ್ಥಳೀಯ ಪ್ರಕಾರಗಳಾಗಿ ಪ್ರಕ್ಷೇಪಿಸಲಾಗುತ್ತದೆ, ಅದು ಪ್ರತಿಯೊಬ್ಬ ಭಾಗವಹಿಸುವವರ ಸ್ಥಳೀಯ ದೃಷ್ಟಿಕೋನದಿಂದ ಸಂವಹನವನ್ನು ವಿವರಿಸುತ್ತದೆ. ಮುಖ್ಯವಾಗಿ, ಜಾಗತಿಕ ಪ್ರಕಾರವು ಸಂವಹನದ ಅನುಕ್ರಮ ಮಾಹಿತಿಯನ್ನು ಎನ್ಕೋಡ್ ಮಾಡುತ್ತದೆ, ಅದೇ ಸಂವಹನವನ್ನು ಎನ್ಕೋಡ್ ಮಾಡಲು ನಾವು ಬೈನರಿ ಸೆಷನ್ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಿದರೆ ಅದು ಕಳೆದುಹೋಗುತ್ತದೆ. ಬೈನರಿ ಸೆಷನ್ ಪ್ರಕಾರಗಳ ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನವನ್ನು ಕಳುಹಿಸುವ ಕಾರ್ಯಾಚರಣೆಗಳು (), ಸ್ವೀಕರಿಸುವ ಕಾರ್ಯಾಚರಣೆಗಳು (), ಶಾಖೆಗಳು (), ಆಯ್ಕೆಗಳು (), ಪುನರಾವರ್ತನೆ () ಮತ್ತು ಮುಕ್ತಾಯ () ಬಳಸಿ ವಿವರಿಸಬಹುದು. ಉದಾಹರಣೆಗೆ, ಅಧಿವೇಶನದ ಪ್ರಕಾರವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ, ಅದು ಮೊದಲು ಬೂಲಿಯನ್ () ಅನ್ನು ಕಳುಹಿಸುತ್ತದೆ, ನಂತರ ಅಂತಿಮವಾಗಿ () ಅನ್ನು ಕೊನೆಗೊಳಿಸುವ ಮೊದಲು ಪೂರ್ಣಾಂಕವನ್ನು () ಪಡೆಯುತ್ತದೆ. ಅನುಷ್ಠಾನಗಳ ಅಧಿವೇಶನದ ಪ್ರಕಾರಗಳನ್ನು ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಹಲವಾರು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳಿಗೆ ಅಳವಡಿಸಿಕೊಳ್ಳಲಾಗಿದೆ, ಅವುಗಳೆಂದರೆಃ ಎಲ್ ಚಾನೆಲ್ಗಳು (ಸ್ಕಾಲಾ) ಎಫ್ಪಿಐ (ಸ್ಕಾಲಾ) ಎಸ್ಟಿಮನಿಟರ್ (ಸ್ಕಾಲಾ) ಎನ್ಸೆಂಬಲ್ಸ್ ಸೆಷನ್-ಪ್ರಕಾರಗಳು (ರಸ್ಟ್) ಸೆಶ್ (ರಸ್ಟ್) ಸೆಷನ್ ಆಕ್ಟರ್ಸ್ (ಪೈಥಾನ್) ಮಾನಿಟರ್ಡ್ ಸೆಷನ್ ಎರ್ಲಾಂಗ್ (ಎರ್ಲಾಂಗ್) ಫುಸೆ (ಒಸಿಎಎಂಎಲ್) ಸೆಷನ್-ಒಕ್ಯಾಮ್ಎಲ್ (ಒಸಿಎಎಂಎಲ್) ಪ್ರಿಯಾರಿಟಿ ಸೆಶ್ (ಹ್ಯಾಸ್ಕೆಲ್) ಜಾವಾ ಟೈಪ್ಸ್ಟೇಟ್ ಚೆಕರ್ (ಜಾವಾ) ರೆಫರೆನ್ಸ್ ಕಾಂಕರನ್ಸಿ (ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್) ಟೈಪ್ ಥಿಯರಿ ಟೈಪ್ ಸಿಸ್ಟಮ್ಸ್.