जानूस (समवर्ती बाधा प्रोग्रामिंग भाषा): Difference between revisions
No edit summary |
No edit summary |
||
| Line 26: | Line 26: | ||
जानूस मॉडल समरूपता बैग चैनलों के उपयोग के माध्यम से कोड जिसे एक प्रक्रिया को संदेश भेजने की आवश्यकता होती है, ऐसा एक बैग को दूसरे बैग और संदेश के एकल बैग को भेजने के लिए बाध्य करता है। दूसरा बैग बाद में संदेश भेजने के लिए बाध्य है। | जानूस मॉडल समरूपता बैग चैनलों के उपयोग के माध्यम से कोड जिसे एक प्रक्रिया को संदेश भेजने की आवश्यकता होती है, ऐसा एक बैग को दूसरे बैग और संदेश के एकल बैग को भेजने के लिए बाध्य करता है। दूसरा बैग बाद में संदेश भेजने के लिए बाध्य है। | ||
कार्यविधि बैग को एक सवरूप से मिलान करके संदेश प्राप्त करती है जो कहती है कि यह कुछ | कार्यविधि बैग को एक सवरूप से मिलान करके संदेश प्राप्त करती है जो कहती है कि यह कुछ एकल और कुछ अन्य बैग का मिलन है। बैग चैनलों का तर्क [[अभिनेता मॉडल|एक्टर मॉडल]] द्वारा साझा की गई गुण का उत्पादन करता है, अर्थात् संदेशों के आगमन के क्रम की गारंटी नहीं है। चूँकि, एक्टर मॉडल में एक्टर के विपरीत, जानूस में प्रक्रियाएं उनके मेलबॉक्स के चारों ओर से बोलने के रूप में गुजर सकती हैं | बैग, एक से अधिक पकड़ सकते हैं। मेलबॉक्स को चारों ओर से पकड़ करने और एक से अधिक को रखने की यह क्षमता कंप्यूटर प्रोग्रामिंग भाषा [[टूनटॉक कंप्यूटर प्रोग्रामिंग भाषा]] वंशागत में मिली है, जो जानूस से प्रभावित है। | ||
बैग, | |||
जानूस, प्रोग्रामिंग भाषा, का नाम जानूस (पौराणिक कथाओं), दो-मुंह वाले रोमन देवता के नाम पर रखा गया है, क्योंकि जानूस में प्रत्येक तार्किक चर के दो चेहरे हैं, दो पहलू जिन्हें तर्क के रूप में पारित किया जा सकता है। इन्हें पूछने वाला और बताने वाला कहा जाता है। ये क्रमशः, चर के मूल्य (या मूल्य की कुछ विशेषता) के मूल्य पूछने का अधिकार और मूल्य बताने का अधिकार (या मूल्य क्या हो सकता है पर कुछ बाधा बताने के लिए) का प्रतिनिधित्व करते हैं। प्रश्नकर्ता और बताने वाले पहलुओं को एक दूसरे से स्वतंत्र रूप से तर्क के रूप में पारित किया जा सकता है। किसी भी अधिकार का अर्थ दूसरे अधिकार से नहीं है। भाषा का वाक्य-विन्यास एक टेलर की नकल करने या इसे एक से अधिक बार प्रयोग करने से रोकता है। कहन और सारस्वत के अनुसार, तार्किक विरोधाभास को स्थिर रूप से रोका जाता है। | जानूस, प्रोग्रामिंग भाषा, का नाम जानूस (पौराणिक कथाओं), दो-मुंह वाले रोमन देवता के नाम पर रखा गया है, क्योंकि जानूस में प्रत्येक तार्किक चर के दो चेहरे हैं, दो पहलू जिन्हें तर्क के रूप में पारित किया जा सकता है। इन्हें पूछने वाला और बताने वाला कहा जाता है। ये क्रमशः, चर के मूल्य (या मूल्य की कुछ विशेषता) के मूल्य पूछने का अधिकार और मूल्य बताने का अधिकार (या मूल्य क्या हो सकता है पर कुछ बाधा बताने के लिए) का प्रतिनिधित्व करते हैं। प्रश्नकर्ता और बताने वाले पहलुओं को एक दूसरे से स्वतंत्र रूप से तर्क के रूप में पारित किया जा सकता है। किसी भी अधिकार का अर्थ दूसरे अधिकार से नहीं है। भाषा का वाक्य-विन्यास एक टेलर की नकल करने या इसे एक से अधिक बार प्रयोग करने से रोकता है। कहन और सारस्वत के अनुसार, तार्किक विरोधाभास को स्थिर रूप से रोका जाता है। | ||
Revision as of 20:55, 3 June 2023
| Paradigm | concurrent constraint logic |
|---|---|
| द्वारा डिज़ाइन किया गया | Ken Kahn and Vijay A. Saraswat |
| पहली प्रस्तुति | 1990 |
| Major implementations | |
| (none available) | |
जानूस एक कंप्यूटर प्रोग्रामिंग भाषा है जिसे 1990 में पेपर एक्टर्स में समवर्ती बाधा (तर्क) प्रोग्रामिंग के एक विशेष कथन के रूप में के. कान और विजय ए. सारस्वत द्वारा आंशिक रूप से वर्णित किया गया है।[1] यह बिना पश्चअनुमार्गण एक समवर्ती बाधा तर्क प्रोग्रामिंग भाषा है।
जानूस मॉडल समरूपता बैग चैनलों के उपयोग के माध्यम से कोड जिसे एक प्रक्रिया को संदेश भेजने की आवश्यकता होती है, ऐसा एक बैग को दूसरे बैग और संदेश के एकल बैग को भेजने के लिए बाध्य करता है। दूसरा बैग बाद में संदेश भेजने के लिए बाध्य है।
कार्यविधि बैग को एक सवरूप से मिलान करके संदेश प्राप्त करती है जो कहती है कि यह कुछ एकल और कुछ अन्य बैग का मिलन है। बैग चैनलों का तर्क एक्टर मॉडल द्वारा साझा की गई गुण का उत्पादन करता है, अर्थात् संदेशों के आगमन के क्रम की गारंटी नहीं है। चूँकि, एक्टर मॉडल में एक्टर के विपरीत, जानूस में प्रक्रियाएं उनके मेलबॉक्स के चारों ओर से बोलने के रूप में गुजर सकती हैं | बैग, एक से अधिक पकड़ सकते हैं। मेलबॉक्स को चारों ओर से पकड़ करने और एक से अधिक को रखने की यह क्षमता कंप्यूटर प्रोग्रामिंग भाषा टूनटॉक कंप्यूटर प्रोग्रामिंग भाषा वंशागत में मिली है, जो जानूस से प्रभावित है।
जानूस, प्रोग्रामिंग भाषा, का नाम जानूस (पौराणिक कथाओं), दो-मुंह वाले रोमन देवता के नाम पर रखा गया है, क्योंकि जानूस में प्रत्येक तार्किक चर के दो चेहरे हैं, दो पहलू जिन्हें तर्क के रूप में पारित किया जा सकता है। इन्हें पूछने वाला और बताने वाला कहा जाता है। ये क्रमशः, चर के मूल्य (या मूल्य की कुछ विशेषता) के मूल्य पूछने का अधिकार और मूल्य बताने का अधिकार (या मूल्य क्या हो सकता है पर कुछ बाधा बताने के लिए) का प्रतिनिधित्व करते हैं। प्रश्नकर्ता और बताने वाले पहलुओं को एक दूसरे से स्वतंत्र रूप से तर्क के रूप में पारित किया जा सकता है। किसी भी अधिकार का अर्थ दूसरे अधिकार से नहीं है। भाषा का वाक्य-विन्यास एक टेलर की नकल करने या इसे एक से अधिक बार प्रयोग करने से रोकता है। कहन और सारस्वत के अनुसार, तार्किक विरोधाभास को स्थिर रूप से रोका जाता है।
संदर्भ
- ↑ Kahn, K.; Saraswat, Vijay A. (1 October 1990). "अभिनेता समवर्ती बाधा (तर्क) प्रोग्रामिंग के एक विशेष मामले के रूप में". ACM SIGPLAN Notices. 25 (10): 57–66. doi:10.1145/97946.97955. Retrieved 29 October 2019.
- VA Saraswat, KM Kahn, J Levy (1990). "Janus: A step towards distributed constraint programming." NACLP.
- VA Saraswat, M Rinard, P Panangaden (1991). "The semantic foundations of concurrent constraint programming." POPL.
- David Gudeman, Koenraad De Bosschere, Saumya K. Debray (1992). "jc: An Efficient and Portable Sequential Implementation of Janus". Proc. Joint International Conference and Symposium on Logic Programming.
