Session type
પ્રકાર સિદ્ધાંતમાં, સત્ર પ્રકારોનો ઉપયોગ સહવર્તી કાર્યક્રમોમાં ચોકસાઈની ખાતરી કરવા માટે થાય છે. તેઓ ખાતરી આપે છે કે સહવર્તી કાર્યક્રમો વચ્ચે મોકલેલા અને પ્રાપ્ત થયેલા સંદેશાઓ અપેક્ષિત ક્રમમાં અને અપેક્ષિત પ્રકારનાં છે. સત્ર પ્રકારની પ્રણાલીઓને ચેનલ અને અભિનેતા પ્રણાલીઓ બંને માટે સ્વીકારવામાં આવી છે. સત્ર પ્રકારોનો ઉપયોગ સમવર્તી અને વિતરિત પ્રણાલીઓમાં ઇચ્છનીય ગુણધર્મો સુનિશ્ચિત કરવા માટે થાય છે, એટલે કે. સંદેશાવ્યવહારની ભૂલો અથવા ડેડલોકની ગેરહાજરી, અને પ્રોટોકોલ અનુરૂપતા. દ્વિસંગી વિરુદ્ધ બહુપક્ષીય સત્ર પ્રકારો બે પ્રક્રિયાઓ વચ્ચેની ક્રિયાપ્રતિક્રિયાને દ્વિસંગી સત્ર પ્રકારોનો ઉપયોગ કરીને ચકાસી શકાય છે, જ્યારે બેથી વધુ પ્રક્રિયાઓ વચ્ચેની ક્રિયાપ્રતિક્રિયાને બહુપક્ષીય સત્ર પ્રકારોનો ઉપયોગ કરીને ચકાસી શકાય છે. બહુપક્ષીય સત્ર પ્રકારોમાં તમામ સહભાગીઓ વચ્ચેની ક્રિયાપ્રતિક્રિયાઓને વૈશ્વિક પ્રકારનો ઉપયોગ કરીને વર્ણવવામાં આવે છે, જે પછી સ્થાનિક પ્રકારોમાં રજૂ કરવામાં આવે છે જે દરેક સહભાગીના સ્થાનિક દૃષ્ટિકોણથી સંદેશાવ્યવહારનું વર્ણન કરે છે. મહત્ત્વની વાત એ છે કે, વૈશ્વિક પ્રકાર સંદેશાવ્યવહારની અનુક્રમણિકા માહિતીને એન્કોડ કરે છે, જે જો આપણે સમાન સંદેશાવ્યવહારને એન્કોડ કરવા માટે દ્વિસંગી સત્ર પ્રકારોનો ઉપયોગ કરીએ તો ખોવાઈ જશે. દ્વિસંગી સત્રની ઔપચારિક વ્યાખ્યા પ્રકારો દ્વિસંગી સત્રના પ્રકારોને મોકલો કામગીરીઓ (), પ્રાપ્ત કામગીરીઓ (), શાખાઓ (), પસંદગીઓ (), પુનરાવર્તન () અને સમાપ્તિ () નો ઉપયોગ કરીને વર્ણવી શકાય છે. ઉદાહરણ તરીકે, સત્ર પ્રકારને રજૂ કરે છે જે પહેલા બૂલિયન () મોકલે છે, પછી અંતે () સમાપ્ત કરતા પહેલા પૂર્ણાંક () મેળવે છે. અમલીકરણ સત્રના પ્રકારોને કેટલીક હાલની પ્રોગ્રામિંગ ભાષાઓ માટે સ્વીકારવામાં આવ્યા છે, જેમાં નીચેનાનો સમાવેશ થાય છેઃ ચેનલ્સ (સ્કેલા) એફ્પી (સ્કેલા) એસટી મોનિટર (સ્કેલા) એન્સેમ્બલ સત્ર-પ્રકારો (રસ્ટ) સેશ (રસ્ટ) સત્ર અભિનેતાઓ (પાયથોન) દેખરેખ સત્ર એર્લાંગ (એર્લાંગ) ફુસે (ઓસીએએમએલ) સત્ર-ઓકામલ (ઓસીએએમએલ) પ્રાથમિકતા સેશ (હાસ્કેલ) જાવા ટાઇપસ્ટેટ ચેકર (જાવા) સંદર્ભો સમવર્તી (કમ્પ્યુટર વિજ્ઞાન) પ્રકાર સિદ્ધાંત પ્રકાર પ્રણાલીઓ