जानूस (समवर्ती बाधा प्रोग्रामिंग भाषा): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Infobox programming language
{{Infobox programming language
| name                  = Janus
| name                  = जानूस
| logo                  =  
| logo                  =  
| year                  = 1990
| year                  = 1990
Line 22: Line 22:
}}
}}


जानूस एक [[कंप्यूटर प्रोग्रामिंग भाषा]] है जिसे 1990 में पेपर एक्टर्स में समवर्ती बाधा (तर्क) प्रोग्रामिंग के एक विशेष कथन के रूप में के. कान और विजय ए. सारस्वत द्वारा आंशिक रूप से वर्णित किया गया है।<ref>{{cite journal |last1=Kahn |first1=K. |last2=Saraswat |first2=Vijay A. |title=अभिनेता समवर्ती बाधा (तर्क) प्रोग्रामिंग के एक विशेष मामले के रूप में|journal=ACM SIGPLAN Notices |date=1 October 1990 |volume=25 |issue=10 |pages=57–66 |doi=10.1145/97946.97955 |url=https://www.researchgate.net/publication/221321646 |accessdate=29 October 2019}}</ref> यह बिना पश्चअनुमार्गण एक [[समवर्ती बाधा तर्क प्रोग्रामिंग]] भाषा है।
'''जानूस''' एक [[कंप्यूटर प्रोग्रामिंग भाषा]] है जिसे 1990 में पेपर एक्टर्स में समवर्ती बाधा (तर्क) प्रोग्रामिंग के एक विशेष कथन के रूप में के. कान और विजय ए. सारस्वत द्वारा आंशिक रूप से वर्णित किया गया है।<ref>{{cite journal |last1=Kahn |first1=K. |last2=Saraswat |first2=Vijay A. |title=अभिनेता समवर्ती बाधा (तर्क) प्रोग्रामिंग के एक विशेष मामले के रूप में|journal=ACM SIGPLAN Notices |date=1 October 1990 |volume=25 |issue=10 |pages=57–66 |doi=10.1145/97946.97955 |url=https://www.researchgate.net/publication/221321646 |accessdate=29 October 2019}}</ref> यह बिना पश्चअनुमार्गण एक [[समवर्ती बाधा तर्क प्रोग्रामिंग]] भाषा है।


जेनस मॉडल संगामिति बैग चैनलों के उपयोग के माध्यम से। कोड जिसे एक प्रक्रिया को एक संदेश भेजने की आवश्यकता होती है, ऐसा एक बैग को दूसरे बैग और संदेश के सिंगलटन बैग के मिलन के लिए विवश करके करता है। दूसरा बैग बाद के संदेश भेजने के लिए विवश होने के लिए उपलब्ध है।
जानूस मॉडल समरूपता बैग चैनलों के उपयोग के माध्यम से कोड जिसे एक प्रक्रिया को संदेश भेजने की आवश्यकता होती है, ऐसा एक बैग को दूसरे बैग और संदेश के एकल बैग को भेजने के लिए बाध्य करता है। दूसरा बैग बाद में संदेश भेजने के लिए बाध्य है।


प्रक्रिया बैग को एक पैटर्न से मिलान करके संदेश प्राप्त करती है जो कहती है कि यह कुछ सिंगलटन और कुछ अन्य बैग का मिलन है। बैग चैनलों का तर्क [[अभिनेता मॉडल]] द्वारा साझा की गई संपत्ति का उत्पादन करता है, अर्थात् संदेशों के आगमन के क्रम की गारंटी नहीं है। हालांकि, अभिनेता मॉडल में अभिनेताओं के विपरीत, जानूस में प्रक्रियाएं उनके मेलबॉक्स के चारों ओर से बोलने के लिए, के रूप में गुजर सकती हैं
कार्यविधि बैग को एक सवरूप से मिलान करके संदेश प्राप्त करती है जो कहती है कि यह कुछ एकल और कुछ अन्य बैग का मिलन है। बैग चैनलों का तर्क [[अभिनेता मॉडल|एक्टर मॉडल]] द्वारा साझा की गई गुण का उत्पादन करता है, अर्थात् संदेशों के आगमन के क्रम की कोई निश्चितता नहीं है। चूँकि, एक्टर मॉडल में एक्टर के विपरीत, जानूस में प्रक्रियाएं उनके मेलबॉक्स के चारों ओर से बोलने के रूप में निकल सकती हैं | बैग, एक से अधिक पकड़ सकते हैं। मेलबॉक्स को चारों ओर से पकड़ करने और एक से अधिक को रखने की यह क्षमता कंप्यूटर प्रोग्रामिंग भाषा [[टूनटॉक कंप्यूटर प्रोग्रामिंग भाषा|टून टॉक कंप्यूटर प्रोग्रामिंग भाषा]] वंशागत में मिली है, जो जानूस से प्रभावित है।
बैग, और एक से अधिक पकड़ सकते हैं। मेलबॉक्स को चारों ओर से पास करने और एक से अधिक को रखने की यह क्षमता कंप्यूटर प्रोग्रामिंग भाषा [[टूनटॉक कंप्यूटर प्रोग्रामिंग भाषा]] में विरासत में मिली है, जो जानूस से प्रभावित है।


जानूस, प्रोग्रामिंग भाषा, का नाम जानूस (पौराणिक कथाओं), दो-मुंह वाले रोमन देवता के नाम पर रखा गया है, क्योंकि जानूस में प्रत्येक तार्किक चर के दो चेहरे हैं, दो पहलू जिन्हें तर्क के रूप में पारित किया जा सकता है। इन्हें पूछने वाला और बताने वाला कहा जाता है। ये क्रमशः, चर के मूल्य (या मूल्य की कुछ विशेषता) के मूल्य पूछने का अधिकार और मूल्य बताने का अधिकार (या मूल्य क्या हो सकता है पर कुछ बाधा बताने के लिए) का प्रतिनिधित्व करते हैं। प्रश्नकर्ता और बताने वाले पहलुओं को एक दूसरे से स्वतंत्र रूप से तर्क के रूप में पारित किया जा सकता है। किसी भी अधिकार का अर्थ दूसरे अधिकार से नहीं है। भाषा का वाक्य-विन्यास एक टेलर की नकल करने या इसे एक से अधिक बार प्रयोग करने से रोकता है। कहन और सारस्वत के अनुसार, तार्किक विरोधाभास को स्थिर रूप से रोका जाता है।
जानूस, प्रोग्रामिंग भाषा, का नाम जानूस (पौराणिक कथाओं), दो-'मुंह वाले रोमन देवता के नाम पर रखा गया है, क्योंकि जानूस में प्रत्येक तार्किक चर के दो <nowiki>''</nowiki>चेहरे<nowiki>''</nowiki> हैं, दो स्थितियाँ जिन्हें तर्क के रूप में पारित किया जा सकता है। इन्हें पूछने वाला और बताने वाला कहा जाता है। ये क्रमशः चर के गुण (या गुण की कुछ विशेषता) के गुण  पूछने का अधिकार और गुण बताने का अधिकार (या गुण क्या हो सकता है पर कुछ बाधा बताने के लिए) का प्रतिनिधित्व करते हैं। प्रश्नकर्ता और बताने वाले कथन को एक दूसरे से स्वतंत्र रूप से तर्क के रूप में पारित किया जा सकता है। किसी भी अधिकार का अर्थ दूसरे अधिकार से नहीं है। भाषा का वाक्य-विश्लेषण बताने वाला  की अनुकरण करने या इसे एक से अधिक बार प्रयोग करने से रोकता है। कान और सारस्वत के अनुसार, तार्किक विरोधाभास को स्थिर रूप से रोका जाता है।


== संदर्भ ==
== संदर्भ ==
Line 37: Line 36:
* VA Saraswat, M Rinard, P Panangaden (1991). "The semantic foundations of concurrent constraint programming." POPL.
* 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.
* 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.
[[Category: समवर्ती प्रोग्रामिंग भाषाएँ]] [[Category: तर्क प्रोग्रामिंग भाषाएँ]] [[Category: बाधा प्रोग्रामिंग भाषाएं]]


[[Category: Machine Translated Page]]
[[Category:Created On 26/05/2023]]
[[Category:Created On 26/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:तर्क प्रोग्रामिंग भाषाएँ]]
[[Category:बाधा प्रोग्रामिंग भाषाएं]]
[[Category:समवर्ती प्रोग्रामिंग भाषाएँ]]

Latest revision as of 08:48, 13 June 2023

जानूस
Paradigmconcurrent constraint logic
द्वारा डिज़ाइन किया गयाKen Kahn and Vijay A. Saraswat
पहली प्रस्तुति1990
Major implementations
(none available)

जानूस एक कंप्यूटर प्रोग्रामिंग भाषा है जिसे 1990 में पेपर एक्टर्स में समवर्ती बाधा (तर्क) प्रोग्रामिंग के एक विशेष कथन के रूप में के. कान और विजय ए. सारस्वत द्वारा आंशिक रूप से वर्णित किया गया है।[1] यह बिना पश्चअनुमार्गण एक समवर्ती बाधा तर्क प्रोग्रामिंग भाषा है।

जानूस मॉडल समरूपता बैग चैनलों के उपयोग के माध्यम से कोड जिसे एक प्रक्रिया को संदेश भेजने की आवश्यकता होती है, ऐसा एक बैग को दूसरे बैग और संदेश के एकल बैग को भेजने के लिए बाध्य करता है। दूसरा बैग बाद में संदेश भेजने के लिए बाध्य है।

कार्यविधि बैग को एक सवरूप से मिलान करके संदेश प्राप्त करती है जो कहती है कि यह कुछ एकल और कुछ अन्य बैग का मिलन है। बैग चैनलों का तर्क एक्टर मॉडल द्वारा साझा की गई गुण का उत्पादन करता है, अर्थात् संदेशों के आगमन के क्रम की कोई निश्चितता नहीं है। चूँकि, एक्टर मॉडल में एक्टर के विपरीत, जानूस में प्रक्रियाएं उनके मेलबॉक्स के चारों ओर से बोलने के रूप में निकल सकती हैं | बैग, एक से अधिक पकड़ सकते हैं। मेलबॉक्स को चारों ओर से पकड़ करने और एक से अधिक को रखने की यह क्षमता कंप्यूटर प्रोग्रामिंग भाषा टून टॉक कंप्यूटर प्रोग्रामिंग भाषा वंशागत में मिली है, जो जानूस से प्रभावित है।

जानूस, प्रोग्रामिंग भाषा, का नाम जानूस (पौराणिक कथाओं), दो-'मुंह वाले रोमन देवता के नाम पर रखा गया है, क्योंकि जानूस में प्रत्येक तार्किक चर के दो ''चेहरे'' हैं, दो स्थितियाँ जिन्हें तर्क के रूप में पारित किया जा सकता है। इन्हें पूछने वाला और बताने वाला कहा जाता है। ये क्रमशः चर के गुण (या गुण की कुछ विशेषता) के गुण पूछने का अधिकार और गुण बताने का अधिकार (या गुण क्या हो सकता है पर कुछ बाधा बताने के लिए) का प्रतिनिधित्व करते हैं। प्रश्नकर्ता और बताने वाले कथन को एक दूसरे से स्वतंत्र रूप से तर्क के रूप में पारित किया जा सकता है। किसी भी अधिकार का अर्थ दूसरे अधिकार से नहीं है। भाषा का वाक्य-विश्लेषण बताने वाला की अनुकरण करने या इसे एक से अधिक बार प्रयोग करने से रोकता है। कान और सारस्वत के अनुसार, तार्किक विरोधाभास को स्थिर रूप से रोका जाता है।

संदर्भ

  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.