संयुक्त-गणना
ज्वाइन-कैलकुलस INRIA में विकसित एक प्रक्रिया गणना है। जॉइन-कैलकुलस को वितरित प्रोग्रामिंग भाषाओं के डिजाइन के लिए एक औपचारिक आधार प्रदान करने के लिए विकसित किया गया था, और इसलिए जानबूझकर अन्य प्रक्रिया कैलकुली में पाए जाने वाले संचार निर्माणों से बचा जाता है, जैसे कि तुल्यकालिक मिलन स्थल संचार, जो एक वितरित सेटिंग में लागू करना मुश्किल है।[1] इस सीमा के बावजूद, ज्वाइन-कैलकुलस उतना ही अभिव्यंजक है जितना कि पूर्ण पाई-कैलकुलस|π-कैलकुलस। ज्वाइन-कैलकुलस में π-कैलकुलस के एनकोडिंग, और इसके विपरीत, प्रदर्शित किए गए हैं।[2] ज्वाइन-कैलकुलस प्रक्रिया कैलकुली के पाई-कैलकुलस |π-कैलकुलस परिवार का सदस्य है, और इसके मूल में, कई मजबूत प्रतिबंधों के साथ एक एसिंक्रोनस π-कैलकुलस माना जा सकता है:[3]
- क्षेत्र प्रतिबंध, अभिग्रहण, और प्रतिरूपित अभिग्रहण को वाक्यात्मक रूप से एक निर्माण, परिभाषा में विलय कर दिया गया है;
- संचार केवल परिभाषित नामों पर होता है;
- प्रत्येक परिभाषित नाम के लिए वास्तव में एक प्रतिरूपित स्वागत है।
हालाँकि, प्रोग्रामिंग के लिए एक भाषा के रूप में, जॉइन-कैलकुलस π-कैलकुलस पर कम से कम एक सुविधा प्रदान करता है - अर्थात् मल्टी-वे जॉइन पैटर्न का उपयोग, एक साथ कई चैनलों से संदेशों के विरुद्ध मिलान करने की क्षमता।[4]
कार्यान्वयन
=== ज्वाइन-कैलकुलस === पर आधारित भाषाएं
जॉइन-कैलकुलस प्रोग्रामिंग लैंग्वेज जॉइन-कैलकुलस प्रोसेस कैलकुलस पर आधारित एक नई भाषा है। इसे OCaml में लिखे गए दुभाषिया के रूप में लागू किया गया है, और स्थिर रूप से टाइप की गई वितरित प्रोग्रामिंग, पारदर्शी दूरस्थ संचार, एजेंट-आधारित गतिशीलता और कुछ विफलता-पहचान का समर्थन करता है।[5]
- हालांकि स्पष्ट रूप से ज्वाइन-कैलकुलस पर आधारित नहीं है, CLIPS की नियम प्रणाली इसे लागू करती है यदि हर नियम ट्रिगर होने पर इसके इनपुट को हटा देता है (निकाल दिए जाने पर प्रासंगिक तथ्यों को वापस ले लेता है)।
ज्वाइन-कैलकुलस के कई कार्यान्वयन मौजूदा प्रोग्रामिंग भाषाओं के विस्तार के रूप में किए गए थे:
- जोकैमल ओकैमल का एक संस्करण है जो जॉइन-कैलकुलस प्रिमिटिव के साथ विस्तारित है
- पॉलीफोनिक सी शार्प|पॉलीफोनिक सी# और इसके उत्तराधिकारी सीω एक्सटेंड सी शार्प (प्रोग्रामिंग भाषा)|सी#
- एमसी # और समांतर सी # पॉलीफोनिक सी # का विस्तार करें
- जावा में शामिल हों जावा का विस्तार (प्रोग्रामिंग भाषा)
- एक समवर्ती मूल प्रस्ताव जो जॉइन-कैलकुलस का उपयोग करता है
- JErlang (J जुड़ने के लिए है, Erjang JVM के लिए Erlang है)[6]
अन्य प्रोग्रामिंग भाषाओं में एम्बेडिंग
ये कार्यान्वयन अंतर्निहित प्रोग्रामिंग भाषा को नहीं बदलते हैं लेकिन एक कस्टम लाइब्रेरी या डीएसएल के माध्यम से कैलकुलस संचालन में शामिल होते हैं:
- स्कालाजॉइन्स और Chymyst पुस्तकालय स्काला (प्रोग्रामिंग भाषा) में हैं
- JoinHs Einar Karttunen द्वारा और syallop/Join-Language सैमुअल येलोप द्वारा हास्केल (प्रोग्रामिंग) में ज्वाइन कैलकुलस के लिए DSL हैं भाषा)
- Joinads - F Sharp (प्रोग्रामिंग लैंग्वेज) में ज्वाइन कैलकुलस के विभिन्न कार्यान्वयन | F#
- कोकोजॉइन आईओएस और मैक ओएस एक्स के लिए उद्देश्य सी में एक प्रायोगिक कार्यान्वयन है
- जॉइन पायथन लाइब्रेरी पायथन 3 में है
- सी ++ बूस्ट के माध्यम से[7] (2009 से बूस्ट के लिए, ca. v. 40, वर्तमान (दिसंबर '19) 72 है)।
संदर्भ
- ↑ Cedric Fournet, Georges Gonthier (1995). "रिफ्लेक्सिव चैम और जॉइन-कैलकुलस".
{{cite journal}}: Cite journal requires|journal=(help), pg. 1 - ↑ Cedric Fournet, Georges Gonthier (1995). "रिफ्लेक्सिव चैम और जॉइन-कैलकुलस".
{{cite journal}}: Cite journal requires|journal=(help), pg. 2 - ↑ Cedric Fournet, Georges Gonthier (1995). "रिफ्लेक्सिव चैम और जॉइन-कैलकुलस".
{{cite journal}}: Cite journal requires|journal=(help), pg. 19 - ↑ Petricek, Tomas. "जॉइनैड्स (IV.) - जॉइन कैलकुलस का उपयोग करके समवर्ती". tomasp.net. Retrieved 2023-01-24.
- ↑ Cedric Fournet, Georges Gonthier (2000). "The Join Calculus: A Language for Distributed Mobile Programming": 268–332.
{{cite journal}}: Cite journal requires|journal=(help) - ↑ "JErlang: Erlang with Joins". Archived from the original on 2017-12-08. Retrieved 2015-04-18.
- ↑ Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library
बाहरी संबंध
- INRIA, Join Calculus homepage
- Microsoft Research, The Join Calculus: a Language for Distributed Mobile Programming
| General | |
|---|---|
| Process calculi | |
| Classic problems | |
