अभिनेता मॉडल

कंप्यूटर विज्ञान में अभिनेता मॉडल समवर्ती संगणना का एक गणितीय मॉडल है जो एक 'अभिनेता' को समवर्ती संगणना के बुनियादी निर्माण खंड के रूप में मानता है। प्राप्त संदेश (कंप्यूटिंग) के जवाब में, एक अभिनेता: स्थानीय निर्णय ले सकता है, अधिक अभिनेता बना सकता है, अधिक संदेश भेज सकता है, और यह निर्धारित कर सकता है कि प्राप्त अगले संदेश का जवाब कैसे दिया जाए। अभिनेता अपनी निजी स्थिति को संशोधित कर सकते हैं, लेकिन संदेश के माध्यम से अप्रत्यक्ष रूप से केवल एक दूसरे को प्रभावित कर सकते हैं (लॉक (कंप्यूटर विज्ञान) की आवश्यकता को हटाकर | लॉक-आधारित सिंक्रनाइज़ेशन)।

अभिनेता मॉडल की उत्पत्ति 1973 में हुई थी। इसका उपयोग संगामिति (कंप्यूटर विज्ञान) के अभिनेता मॉडल सिद्धांत के ढांचे के रूप में और संगामिति (कंप्यूटर विज्ञान) के कई अभिनेता मॉडल कार्यान्वयन के लिए सैद्धांतिक आधार के रूप में किया गया है। मॉडल का अन्य कार्य से संबंध अभिनेता मॉडल और प्रक्रिया गणना में चर्चा की गई है।

इतिहास

Main article: History of the Actor model

कार्ल हेविट के अनुसार, संगणना के पिछले मॉडलों के विपरीत, अभिनेता मॉडल सामान्य सापेक्षता और क्वांटम यांत्रिकी सहित भौतिकी से प्रेरित था। यह प्रोग्रामिंग लैंग्वेज लिस्प (प्रोग्रामिंग भाषा) , सिमुला, स्मॉलटाक के शुरुआती संस्करणों, क्षमता-आधारित सुरक्षा | क्षमता-आधारित सिस्टम और पैकेट बदली से भी प्रभावित था। इसका विकास अत्यधिक समानांतर कंप्यूटिंग मशीनों की संभावना से प्रेरित था जिसमें दर्जनों, सैकड़ों, या यहां तक ​​कि हजारों स्वतंत्र माइक्रोप्रोसेसर शामिल थे, जिनमें से प्रत्येक की अपनी स्थानीय मेमोरी और संचार प्रोसेसर था, जो एक उच्च-प्रदर्शन संचार नेटवर्क के माध्यम से संचार करता था। उस समय से, मल्टी-कोर (कंप्यूटिंग) | मल्टी-कोर और mycore कंप्यूटर आर्किटेक्चर के माध्यम से बड़े पैमाने पर संगामिति के आगमन ने अभिनेता मॉडल में रुचि को पुनर्जीवित किया है।

हेविट, बिशप और स्टीगर के 1973 के प्रकाशन के बाद, आइरीन ग्रीफ ने अपने डॉक्टरेट अनुसंधान के हिस्से के रूप में अभिनेता मॉडल के लिए एक परिचालन शब्दार्थ विकसित किया। दो साल बाद, हेनरी बेकर (कंप्यूटर वैज्ञानिक) और हेविट ने अभिनेता प्रणालियों के लिए स्वयंसिद्ध कानूनों का एक सेट प्रकाशित किया। अन्य प्रमुख मील के पत्थर में विलियम क्लिंजर (कंप्यूटर वैज्ञानिक) शामिल हैं। विलियम क्लिंजर का 1981 का शोध प्रबंध शक्ति डोमेन पर आधारित अभिनेता मॉडल के एक सांकेतिक शब्दार्थ को प्रस्तुत करता है।और गुल आगा (कंप्यूटर वैज्ञानिक) का 1985 का शोध प्रबंध जिसने क्लिंगर्स के पूरक के लिए एक संक्रमण-आधारित सिमेंटिक मॉडल विकसित किया। इसके परिणामस्वरूप अभिनेता मॉडल सिद्धांत का पूर्ण विकास हुआ।

रस एटकिन्सन, ग्यूसेप अटारडी, हेनरी बेकर, गेरी बार्बर, पीटर बिशप, पीटर डी जोंग, केन कान, हेनरी लिबरमैन, कार्ल मैनिंग, टॉम रेनहार्ड्ट, रिचर्ड स्टीगर और डैन थेरियॉल्ट द्वारा मेसेज पासिंग सिमेंटिक्स ग्रुप में प्रमुख सॉफ्टवेयर कार्यान्वयन कार्य किया गया था। मैसाचुसेट्स की तकनीकी संस्था (एमआईटी)। कैलिफोर्निया प्रौद्योगिकी संस्थान (कैल्टेक) में चक सेइट्ज और एमआईटी में बिल डेली के नेतृत्व में अनुसंधान समूहों ने कंप्यूटर आर्किटेक्चर का निर्माण किया जिसने मॉडल में पारित होने वाले संदेश को और विकसित किया। अभिनेता मॉडल कार्यान्वयन देखें।

कैलिफोर्निया इंस्टीट्यूट ऑफ टेक्नोलॉजी, क्योटो विश्वविद्यालय टोकोरो लेबोरेटरी, माइक्रोइलेक्ट्रॉनिक और कंप्यूटर प्रौद्योगिकी निगम (MCC), एमआईटी आर्टिफिशियल इंटेलिजेंस प्रयोगशाला, श्री इंटरनेशनल, स्टैनफोर्ड विश्वविद्यालय , इलिनोइस विश्वविद्यालय, उरबाना-शैंपेन में अभिनेता मॉडल पर शोध किया गया है। पियरे और मैरी क्यूरी विश्वविद्यालय (यूनिवर्सिटी ऑफ पेरिस 6), पीसा विश्वविद्यालय, टोक्यो विश्वविद्यालय योनेजावा लेबोरेटरी, सेंट्रम विस्कुंडे एंड इंफॉर्मेटिका (सीडब्ल्यूआई) और अन्य जगहों पर।

मौलिक अवधारणाएँ

अभिनेता मॉडल इस दर्शन को अपनाता है कि सब कुछ एक अभिनेता है। यह सब कुछ एक वस्तु दर्शन के समान है जिसका उपयोग कुछ वस्तु-उन्मुख प्रोग्रामिंग भाषाओं द्वारा किया जाता है।

एक अभिनेता एक कम्प्यूटेशनल इकाई है, जो इसे प्राप्त संदेश के जवाब में समवर्ती रूप से कर सकता है:

• अन्य अभिनेताओं को सीमित संख्या में संदेश भेजें;
• नए अभिनेताओं की एक सीमित संख्या बनाएँ;
• प्राप्त होने वाले अगले संदेश के लिए उपयोग किए जाने वाले व्यवहार को निर्दिष्ट करें।

उपरोक्त क्रियाओं का कोई अनुमानित क्रम नहीं है और उन्हें समानांतर में किया जा सकता है।

भेजे गए संचार से प्रेषक को अलग करना अभिनेता मॉडल का मौलिक अग्रिम था जो अतुल्यकालिक संचार और नियंत्रण संरचनाओं को संदेश भेजने के पैटर्न के रूप में सक्षम बनाता था। संदेशों के प्राप्तकर्ता पते से पहचाने जाते हैं, जिसे कभी-कभी डाक पता कहा जाता है। इस प्रकार एक अभिनेता केवल उन अभिनेताओं के साथ संवाद कर सकता है जिनके पते उसके पास हैं। यह उन्हें प्राप्त होने वाले संदेश से प्राप्त कर सकता है, या यदि पता किसी अभिनेता के लिए है जिसे उसने स्वयं बनाया है।

अभिनेता मॉडल को अभिनेताओं के भीतर और अभिनेताओं के बीच अभिकलन की अंतर्निहित समरूपता, अभिनेताओं के गतिशील निर्माण, संदेशों में अभिनेता के पते को शामिल करने और केवल सीधे अतुल्यकालिक संदेश के माध्यम से संदेश आगमन आदेश पर कोई प्रतिबंध नहीं होने की विशेषता है।

औपचारिक प्रणाली

इन वर्षों में, कई अलग-अलग औपचारिक प्रणालियाँ विकसित की गई हैं जो अभिनेता मॉडल में प्रणालियों के बारे में तर्क करने की अनुमति देती हैं। इसमे शामिल है:

• परिचालन शब्दार्थ
• अभिनेता प्रणालियों के लिए कानून* सांकेतिक शब्दार्थ
• संक्रमण शब्दार्थ

ऐसी औपचारिकताएं भी हैं जो अभिनेता मॉडल के लिए पूरी तरह से वफादार नहीं हैं, जिसमें वे निम्नलिखित सहित संदेशों की गारंटीकृत डिलीवरी को औपचारिक रूप नहीं देते हैं (देखें अभिनेता मॉडल बाद में इतिहास#अभिनेता शब्दार्थ को बीजगणित और रैखिक तर्क से संबंधित करने का प्रयास):

• कई अलग अभिनेता बीजगणित
• रैखिक तर्क

अनुप्रयोग

अभिनेता मॉडल का उपयोग समवर्ती प्रणालियों की एक विस्तृत श्रृंखला के बारे में मॉडलिंग, समझ और तर्क के लिए एक रूपरेखा के रूप में किया जा सकता है। उदाहरण के लिए:

• इलेक्ट्रॉनिक मेल (ईमेल) को एक अभिनेता प्रणाली के रूप में तैयार किया जा सकता है। खातों को अभिनेताओं के रूप में और ईमेल पतों को अभिनेता के पतों के रूप में तैयार किया जाता है।
• वेब सेवाओं को सिंपल ऑब्जेक्ट एक्सेस प्रोटोकॉल (SOAP) एंडपॉइंट्स के साथ अभिनेता के पते के रूप में तैयार किया जा सकता है।
• ऑब्जेक्ट्स लॉक (कंप्यूटर साइंस) के साथ (उदाहरण के लिए, जावा (प्रोग्रामिंग भाषा) और सी शार्प (प्रोग्रामिंग लैंग्वेज) | सी #) में सीरिअलाइज़र के रूप में मॉडल किया जा सकता है, बशर्ते कि उनका कार्यान्वयन ऐसा हो कि संदेश लगातार आ सकें (शायद द्वारा) एक आंतरिक कतार (सार डेटा प्रकार) में संग्रहीत किया जा रहा है)। एक धारावाहिक एक महत्वपूर्ण प्रकार का अभिनेता है जो संपत्ति द्वारा परिभाषित किया गया है कि यह नए संदेशों के आगमन के लिए लगातार उपलब्ध है; धारावाहिक को भेजे गए प्रत्येक संदेश के आने की गारंटी है।
• परीक्षण और परीक्षण नियंत्रण संकेतन (TTCN), दोनों TTCN-2 और TTCN-3, अभिनेता मॉडल का काफी बारीकी से अनुसरण करते हैं। TTCN में अभिनेता एक परीक्षण घटक है: या तो समानांतर परीक्षण घटक (PTC) या मुख्य परीक्षण घटक (MTC)। परीक्षण घटक दूरस्थ भागीदारों (सहकर्मी परीक्षण घटक या परीक्षण प्रणाली इंटरफ़ेस) को संदेश भेज और प्राप्त कर सकते हैं, बाद वाले को इसके पते से पहचाना जा सकता है। प्रत्येक परीक्षण घटक के पास एक व्यवहार वृक्ष होता है जो उससे जुड़ा होता है; परीक्षण घटक समानांतर में चलते हैं और मूल परीक्षण घटकों द्वारा गतिशील रूप से बनाए जा सकते हैं। अंतर्निहित भाषा संरचना आंतरिक संदेश कतार से अपेक्षित संदेश प्राप्त होने पर क्रियाओं की परिभाषा लेने की अनुमति देती है, जैसे किसी अन्य सहकर्मी इकाई को संदेश भेजना या नए परीक्षण घटक बनाना।

संदेश-गुजरने वाले शब्दार्थ

अभिनेता मॉडल संदेश पारित करने के शब्दार्थ के बारे में है।

असंबद्ध nondeterminism विवाद

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

1960 के दशक की शुरुआत में, एक प्रोसेसर पर कई कार्यक्रमों के समवर्ती निष्पादन को अनुकरण करने के लिए इंटरप्ट्स का उपयोग किया जाने लगा। साझा स्मृति के साथ समवर्ती होने से समवर्ती नियंत्रण की समस्या उत्पन्न हुई। मूल रूप से, इस समस्या की कल्पना एक ही कंप्यूटर पर परस्पर बहिष्करण के रूप में की गई थी। Edsger Dijkstra ने सेमाफोर (प्रोग्रामिंग) विकसित किया और बाद में, 1971 और 1973 के बीच, टोनी होरे और प्रति ब्रिन्च हैनसेन पारस्परिक बहिष्करण समस्या को हल करने के लिए विकसित मॉनिटर (सिंक्रनाइज़ेशन)। हालाँकि, इनमें से किसी भी समाधान ने प्रोग्रामिंग भाषा निर्माण प्रदान नहीं किया है जो साझा संसाधनों तक पहुंच को समाहित करता है। इस एनकैप्सुलेशन को बाद में क्रमबद्धता कंस्ट्रक्शन ([हेविट और एटकिंसन 1977, 1979] और [एटकिंसन 1980]) द्वारा पूरा किया गया था।

गणना के पहले मॉडल (जैसे, ट्यूरिंग मशीनें, पोस्ट प्रोडक्शंस, लैम्ब्डा कैलकुलस, आदि) गणित पर आधारित थे और एक कम्प्यूटेशनल कदम का प्रतिनिधित्व करने के लिए एक वैश्विक स्थिति का उपयोग किया (बाद में [मैककार्थी और हेस 1969] और [डिज्क्स्ट्रा में सामान्यीकृत] 1976] ऐक्टर मॉडल अर्ली हिस्ट्री देखें#इवेंट ऑर्डरिंग बनाम ग्लोबल स्टेट)। प्रत्येक कम्प्यूटेशनल कदम गणना की एक वैश्विक स्थिति से अगले वैश्विक स्थिति तक था। परिमित-राज्य मशीनों के लिए ऑटोमेटा सिद्धांत में वैश्विक राज्य दृष्टिकोण जारी रखा गया था और स्टैक मशीनों को नीचे धकेल दिया गया था, जिसमें उनके गैर-नियतात्मक परिमित ऑटोमेटन संस्करण भी शामिल थे। इस तरह के nondeterministic automata में असीम nondeterminism का गुण होता है; अर्थात्, यदि कोई मशीन अपनी प्रारंभिक अवस्था में शुरू होने पर हमेशा रुकती है, तो यह उन राज्यों की संख्या पर बाध्य होती है जिनमें वह रुकती है।

Edsger Dijkstra ने गैर-नियतात्मक वैश्विक राज्य दृष्टिकोण को और विकसित किया। दिज्क्स्ट्रा के मॉडल ने असीमित अनिर्धारणवाद (जिसे असीमित अनिश्चितता भी कहा जाता है) से संबंधित एक विवाद को जन्म दिया, जो समवर्ती (कंप्यूटर विज्ञान) की एक संपत्ति है, जिसके द्वारा साझा संसाधनों के लिए विवाद की मध्यस्थता के परिणामस्वरूप अनुरोध की सेवा में देरी की मात्रा अबाधित हो सकती है। गारंटी है कि अनुरोध अंततः सेवित किया जाएगा। हेविट ने तर्क दिया कि अभिनेता मॉडल को सेवा की गारंटी प्रदान करनी चाहिए। दिज्क्स्ट्रा के मॉडल में, हालांकि एक कंप्यूटर पर अनुक्रमिक निर्देशों के निष्पादन के बीच असीमित समय हो सकता है, एक (समानांतर) प्रोग्राम जो एक अच्छी तरह से परिभाषित राज्य में शुरू हुआ था, केवल राज्यों की सीमित संख्या में समाप्त हो सकता है [दिज्क्स्ट्रा 1976]। नतीजतन, उनका मॉडल सेवा की गारंटी प्रदान नहीं कर सका। दिज्क्स्ट्रा ने तर्क दिया कि असीमित गैर-निर्धारणवाद को लागू करना असंभव था।

हेविट ने अन्यथा तर्क दिया: ऐसी कोई सीमा नहीं है जिसे व्यवस्थित करने के लिए एक आर्बिटर (इलेक्ट्रॉनिक्स) नामक कम्प्यूटेशनल सर्किट को कितना समय लगता है (मेटास्टेबिलिटी (इलेक्ट्रॉनिक्स) देखें) पर रखा जा सकता है। आर्बिटर्स का उपयोग कंप्यूटर में उस परिस्थिति से निपटने के लिए किया जाता है, जिसमें कंप्यूटर घड़ियां बाहर से इनपुट के संबंध में अतुल्यकालिक रूप से काम करती हैं, जैसे, कीबोर्ड इनपुट, डिस्क एक्सेस, नेटवर्क इनपुट, आदि। प्राप्त किया जा सकता है और इस बीच कंप्यूटर असीमित संख्या में राज्यों को पार कर सकता है।

अभिनेता मॉडल में अबाधित अनिर्धारणवाद है, जिसे डोमेन सिद्धांत का उपयोग करके विल क्लिंजर द्वारा गणितीय मॉडल में कैप्चर किया गया था।अभिनेता मॉडल में कोई वैश्विक स्थिति नहीं है।

प्रत्यक्ष संचार और अतुल्यकालिक

अभिनेता मॉडल में संदेश आवश्यक रूप से बफ़र्ड नहीं हैं। समवर्ती संगणना के मॉडल के पिछले दृष्टिकोणों के साथ यह एक तेज विराम था। बफ़रिंग की कमी ने अभिनेता मॉडल के विकास के समय बहुत सी गलतफहमी पैदा की और अभी भी एक विवादास्पद मुद्दा है। कुछ शोधकर्ताओं ने तर्क दिया कि संदेश ईथर या पर्यावरण में बफ़र किए गए हैं। इसके अलावा, अभिनेता मॉडल में संदेश केवल भेजे जाते हैं (जैसे इंटरनेट प्रोटोकॉल में पैकेट (सूचना प्रौद्योगिकी)); प्राप्तकर्ता के साथ एक तुल्यकालिक हैंडशेक की कोई आवश्यकता नहीं है।

संदेशों में अभिनेता निर्माण प्लस पते का अर्थ है चर टोपोलॉजी

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

उदाहरण के लिए, एक अभिनेता को एक प्राप्तकर्ता अभिनेता को एक संदेश भेजने की आवश्यकता हो सकती है जिससे वह बाद में प्रतिक्रिया प्राप्त करने की अपेक्षा करता है, लेकिन प्रतिक्रिया वास्तव में एक तीसरे अभिनेता घटक द्वारा नियंत्रित की जाएगी जिसे प्रतिक्रिया प्राप्त करने और संभालने के लिए कॉन्फ़िगर किया गया है (उदाहरण के लिए) , पर्यवेक्षक पैटर्न को लागू करने वाला एक अलग अभिनेता)। मूल अभिनेता एक संचार भेजकर इसे पूरा कर सकता है जिसमें वह संदेश शामिल है जिसे वह भेजना चाहता है, साथ ही तीसरे अभिनेता का पता जो प्रतिक्रिया को संभालेगा। यह तीसरा अभिनेता जो प्रतिक्रिया को संभालेगा, उसे फिर से शुरू करना कहा जाता है (कभी-कभी इसे निरंतरता या स्टैक फ्रेम भी कहा जाता है)। जब प्राप्तकर्ता अभिनेता प्रतिक्रिया भेजने के लिए तैयार होता है, तो वह प्रतिक्रिया संदेश को फिर से शुरू करने वाले अभिनेता के पते पर भेजता है जो मूल संचार में शामिल था।

इसलिए, अभिनेताओं की नए अभिनेताओं को बनाने की क्षमता जिसके साथ वे संचार का आदान-प्रदान कर सकते हैं, संदेशों में अन्य अभिनेताओं के पते शामिल करने की क्षमता के साथ, अभिनेताओं को एक दूसरे के साथ मनमाने ढंग से परिवर्तनशील सामयिक संबंधों को बनाने और भाग लेने की क्षमता देता है, जितना सिमुला और अन्य वस्तु-उन्मुख भाषाओं में वस्तुओं को भी संदेश-विनिमय वस्तुओं के चर टोपोलॉजी में संबंधपरक रूप से बनाया जा सकता है।

स्वाभाविक रूप से समवर्ती

अनुक्रमिक प्रक्रियाओं की रचना के आधार पर पिछले दृष्टिकोण के विपरीत, अभिनेता मॉडल को एक अंतर्निहित समवर्ती मॉडल के रूप में विकसित किया गया था। अभिनेता मॉडल में अनुक्रमिकता एक विशेष मामला था जो अभिनेता मॉडल सिद्धांत में वर्णित समवर्ती संगणना से प्राप्त हुआ था।

संदेश आगमन के आदेश पर कोई आवश्यकता नहीं

हेविट ने आवश्यकता को जोड़ने के खिलाफ तर्क दिया कि संदेशों को उस क्रम में आना चाहिए जिसमें वे अभिनेता को भेजे गए हैं। यदि आउटपुट संदेश ऑर्डरिंग वांछित है, तो यह एक कतार अभिनेता द्वारा तैयार किया जा सकता है जो यह कार्यक्षमता प्रदान करता है। ऐसा कतार अभिनेता आने वाले संदेशों को कतारबद्ध करेगा ताकि उन्हें फीफो (कंप्यूटिंग और इलेक्ट्रॉनिक्स) क्रम में पुनर्प्राप्त किया जा सके। तो अगर कोई अभिनेता X एक संदेश भेजा M1 एक अभिनेता को Y, और बाद में X एक और संदेश भेजा M2 को Y, इसकी कोई आवश्यकता नहीं है M1 पर आता है Y पहले M2.

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

उदाहरण के लिए, अभिनेताओं को संदेशों के प्रसंस्करण को पाइपलाइन करने की अनुमति है। इसका मतलब यह है कि किसी मैसेज को प्रोसेस करने के दौरान M1, एक अभिनेता अगले संदेश को संसाधित करने के लिए उपयोग किए जाने वाले व्यवहार को निर्दिष्ट कर सकता है, और फिर वास्तव में दूसरे संदेश को संसाधित करना शुरू कर सकता है M2 इससे पहले कि यह प्रसंस्करण समाप्त कर ले M1. सिर्फ इसलिए कि एक अभिनेता को संदेशों के प्रसंस्करण को पाइपलाइन करने की अनुमति है, इसका मतलब यह नहीं है कि उसे प्रसंस्करण को पाइपलाइन करना चाहिए। संदेश पाइपलाइन में है या नहीं यह एक इंजीनियरिंग ट्रेडऑफ़ है। एक बाहरी प्रेक्षक को कैसे पता चलेगा कि किसी अभिनेता द्वारा संदेश का प्रसंस्करण पाइपलाइन किया गया है या नहीं? पाइपलाइनिंग की संभावना से निर्मित अभिनेता की परिभाषा में कोई अस्पष्टता नहीं है। बेशक, कुछ कार्यान्वयनों में गलत तरीके से पाइपलाइन अनुकूलन करना संभव है, जिस स्थिति में अनपेक्षित व्यवहार हो सकता है।

मोहल्ला

अभिनेता मॉडल की एक अन्य महत्वपूर्ण विशेषता स्थानीयता है।

स्थानीयता का अर्थ है कि एक संदेश को संसाधित करने में, एक अभिनेता केवल उन पतों पर संदेश भेज सकता है जो उसे संदेश में प्राप्त होते हैं, वे पते जो पहले से ही संदेश प्राप्त करने से पहले थे, और अभिनेताओं के पते जो संदेश को संसाधित करते समय बनाते हैं। (लेकिन अभिनेताओं के #Synthesizing पते देखें।)

इसके अलावा स्थानीयता का अर्थ है कि कई स्थानों में एक साथ परिवर्तन नहीं होता है। इस तरह यह संगामिति के कुछ अन्य मॉडलों से अलग है, उदाहरण के लिए, पेट्री नेट मॉडल जिसमें टोकन को एक साथ कई स्थानों से हटाकर अन्य स्थानों पर रखा जाता है।

कंपोज़िंग एक्टर सिस्टम्स

गुल आगा के डॉक्टरेट शोध प्रबंध में विकसित किए गए प्रतिरूपकता (प्रोग्रामिंग) का एक महत्वपूर्ण पहलू अभिनेता प्रणालियों को बड़े लोगों में बनाने का विचार है,बाद में गुल आगा, इयान मेसन, स्कॉट स्मिथ और कैरोलिन टैल्कॉट द्वारा विकसित किया गया।

व्यवहार

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

व्यवहार ने अभिनेता मॉडल को कार्यान्वयन विवरण से भी मुक्त कर दिया, उदाहरण के लिए, स्मॉलटाक -72 टोकन स्ट्रीम दुभाषिया। हालांकि, यह समझना महत्वपूर्ण है कि अभिनेता मॉडल द्वारा वर्णित प्रणालियों के कुशल कार्यान्वयन के लिए व्यापक अनुकूलन की आवश्यकता होती है। विवरण के लिए अभिनेता मॉडल कार्यान्वयन देखें।

मॉडलिंग अन्य समवर्ती सिस्टम

अन्य संगामिति प्रणालियों (जैसे, प्रक्रिया गणना) को दो-चरण प्रतिबद्ध प्रोटोकॉल का उपयोग करके अभिनेता मॉडल में तैयार किया जा सकता है।

कम्प्यूटेशनल प्रतिनिधित्व प्रमेय

See also: Denotational semantics of the Actor model

सिस्टम के लिए अभिनेता मॉडल में एक कम्प्यूटेशनल प्रतिनिधित्व प्रमेय है जो इस अर्थ में बंद है कि वे बाहर से संचार प्राप्त नहीं करते हैं। एक बंद प्रणाली द्वारा निरूपित गणितीय संकेत ${\mathtt {S}}$ प्रारंभिक व्यवहार से निर्मित होता है $\bot _{\mathtt {S}}$ और एक व्यवहार-अनुमानित समारोह $\mathbf {progression} _{\mathtt {S}}.$ ये तेजी से बेहतर सन्निकटन प्राप्त करते हैं और इसके लिए एक अर्थ (अर्थ) का निर्माण करते हैं ${\mathtt {S}}$ इस प्रकार [हेविट 2008; क्लिंजर 1981]:

$\mathbf {Denote} _{\mathtt {S}}\equiv \lim _{i\to \infty }\mathbf {progression} _{{\mathtt {S}}^{i}}(\bot _{\mathtt {S}})$

इस प्रकार से, ${\mathtt {S}}$ गणितीय रूप से इसके सभी संभावित व्यवहारों के संदर्भ में वर्णित किया जा सकता है (जिनमें वे भी शामिल हैं जिनमें अबाधित अनिर्धारणवाद शामिल है)। यद्यपि $\mathbf {Denote} _{\mathtt {S}}$ का क्रियान्वयन नहीं है ${\mathtt {S}}$, इसका उपयोग चर्च-ट्यूरिंग-रॉसर-क्लीन थीसिस [क्लीन 1943] के सामान्यीकरण को साबित करने के लिए किया जा सकता है:

उपरोक्त प्रमेय का एक परिणाम यह है कि एक परिमित अभिनेता गैर-निर्धारक रूप से एक के साथ प्रतिक्रिया कर सकता है uncountable विभिन्न आउटपुट की संख्या।

लॉजिक प्रोग्रामिंग से संबंध

अभिनेता मॉडल के विकास के लिए प्रमुख प्रेरणाओं में से एक योजनाकार प्रोग्रामिंग भाषा के विकास में उत्पन्न नियंत्रण संरचना के मुद्दों को समझना और उनसे निपटना था। अभिनेता मॉडल को शुरू में परिभाषित किए जाने के बाद, रॉबर्ट कोवाल्स्की की थीसिस के सापेक्ष मॉडल की शक्ति को समझना एक महत्वपूर्ण चुनौती थी कि संगणना को निगमन द्वारा समाहित किया जा सकता है। हेविट ने तर्क दिया कि अभिनेता मॉडल में समवर्ती संगणना के लिए कोवाल्स्की की थीसिस झूठी निकली (देखें समवर्ती संगणना में अनिश्चितता)।

फिर भी, तर्क प्रोग्रामिंग को समवर्ती संगणना तक विस्तारित करने का प्रयास किया गया। हालांकि, हेविट और आगा [1991] ने दावा किया कि परिणामी प्रणालियां निम्नलिखित अर्थों में निगमनात्मक नहीं थीं: समवर्ती तर्क प्रोग्रामिंग प्रणालियों के कम्प्यूटेशनल चरण पिछले चरणों से कटौतीत्मक रूप से पालन नहीं करते हैं (समवर्ती संगणना में अनिश्चितता देखें)। हाल ही में, लॉजिक प्रोग्रामिंग को अभिनेता मॉडल में एक तरह से एकीकृत किया गया है जो तार्किक शब्दार्थ को बनाए रखता है।

प्रवासन

अभिनेता मॉडल में प्रवास स्थान बदलने के लिए अभिनेताओं की क्षमता है। उदाहरण के लिए, अपने शोध प्रबंध में, अकी योनेज़ावा ने एक डाकघर का मॉडल तैयार किया जिसमें ग्राहक अभिनेता प्रवेश कर सकते थे, संचालन के दौरान स्थान बदल सकते थे और बाहर निकल सकते थे। एक अभिनेता जो माइग्रेट कर सकता है, एक स्थान अभिनेता के द्वारा मॉडल किया जा सकता है जो अभिनेता के माइग्रेट होने पर बदल जाता है। हालाँकि इस मॉडलिंग की विश्वसनीयता विवादास्पद है और शोध का विषय है।

सुरक्षा

अभिनेताओं की सुरक्षा को निम्नलिखित तरीकों से संरक्षित किया जा सकता है:

• कठोर नियंत्रण जिसमें अभिनेता शारीरिक रूप से जुड़े होते हैं
• कंप्यूटर हार्डवेयर जैसे बरोज़ B5000, लिस्प मशीन, आदि।
• आभाषी दुनिया जैसे जावा वर्चुअल मशीन, सामान्य भाषा रनटाइम , आदि।
• क्षमता-आधारित सुरक्षा के रूप में ऑपरेटिंग सिस्टम|क्षमता-आधारित सिस्टम
• अभिनेताओं और उनके पतों के डिजिटल हस्ताक्षर और/या कूटलेखन

अभिनेताओं के पते संश्लेषित करना

अभिनेता मॉडल में एक नाजुक बिंदु अभिनेता के पते को संश्लेषित करने की क्षमता है। कुछ मामलों में पतों के संश्लेषण को रोकने के लिए सुरक्षा का उपयोग किया जा सकता है (#सुरक्षा देखें)। हालाँकि, यदि एक अभिनेता का पता केवल एक बिट स्ट्रिंग है, तो स्पष्ट रूप से इसे संश्लेषित किया जा सकता है, हालांकि यह मुश्किल हो सकता है या किसी अभिनेता के पते का अनुमान लगाना भी असंभव हो सकता है यदि बिट स्ट्रिंग्स काफी लंबे हैं। SOAP एक समापन बिंदु के पते के लिए एक यूनिफ़ॉर्म रिसोर्स लोकेटर का उपयोग करता है जहाँ एक अभिनेता तक पहुँचा जा सकता है। चूंकि यूनिफ़ॉर्म रिसोर्स लोकेटर एक कैरेक्टर स्ट्रिंग है, इसे स्पष्ट रूप से संश्लेषित किया जा सकता है, हालांकि एन्क्रिप्शन इसे अनुमान लगाने में लगभग असंभव बना सकता है।

अभिनेताओं के पतों का संश्लेषण आमतौर पर मानचित्रण का उपयोग करके किया जाता है। वास्तविक अभिनेता पतों पर मैपिंग करने के लिए एक अभिनेता प्रणाली का उपयोग करने का विचार है। उदाहरण के लिए, कंप्यूटर पर कंप्यूटर की मेमोरी संरचना को एक अभिनेता प्रणाली के रूप में तैयार किया जा सकता है जो मैपिंग करता है। SOAP पतों के मामले में, यह डोमेन की नामांकन प्रणाली और बाकी यूनिफ़ॉर्म रिसोर्स लोकेटर मैपिंग की मॉडलिंग कर रहा है।

=== संदेश पास करने वाले संगामिति === के अन्य मॉडलों के साथ तुलना करें संगामिति पर रॉबिन मिलनर का आरंभिक प्रकाशित कार्य यह भी उल्लेखनीय था कि यह अनुक्रमिक प्रक्रियाओं की रचना पर आधारित नहीं था। उनका काम अभिनेता मॉडल से अलग था क्योंकि यह निश्चित टोपोलॉजी की प्रक्रियाओं की एक निश्चित संख्या पर आधारित था जो समकालिक संचार का उपयोग करके संख्याओं और तारों को संप्रेषित करता था। मूल संचार अनुक्रमिक प्रक्रिया (सीएसपी) मॉडल टोनी होरे द्वारा प्रकाशित अभिनेता मॉडल से भिन्न है क्योंकि यह एक निश्चित टोपोलॉजी में जुड़ी अनुक्रमिक प्रक्रियाओं की एक निश्चित संख्या की समानांतर रचना पर आधारित था, और प्रक्रिया के नामों के आधार पर सिंक्रोनस संदेश-पासिंग का उपयोग करके संचार करना (अभिनेता मॉडल और प्रक्रिया गणना इतिहास # प्रारंभिक कार्य देखें)। सीएसपी के बाद के संस्करणों ने चैनलों के माध्यम से अनाम संचार के पक्ष में प्रक्रिया के नाम के आधार पर संचार को छोड़ दिया, संचार प्रणालियों के कलन और π-कैलकुलस पर मिलनर के काम में भी एक दृष्टिकोण का उपयोग किया गया।

मिल्नर और होरे दोनों के इन शुरुआती मॉडलों में बंधी हुई गैर-नियतत्ववाद की संपत्ति थी। आधुनिक, सैद्धांतिक सीएसपी ([होरे 1985] और [रोसको 2005]) स्पष्ट रूप से अबाधित अनिर्धारणवाद प्रदान करता है।

पेट्री डिश और उनके एक्सटेंशन (उदाहरण के लिए, रंगीन पेट्री नेट) अभिनेताओं की तरह हैं, जिसमें वे एसिंक्रोनस मैसेज पासिंग और अनबाउंड नॉनडेटर्मिनिज्म पर आधारित होते हैं, जबकि वे शुरुआती सीएसपी की तरह होते हैं, जिसमें वे प्राथमिक प्रसंस्करण चरणों (संक्रमण) और संदेश रिपॉजिटरी की निश्चित टोपोलॉजी को परिभाषित करते हैं। (स्थान)।

प्रभाव

अभिनेता मॉडल सिद्धांत विकास और व्यावहारिक सॉफ्टवेयर विकास दोनों पर प्रभावशाली रहा है।

सिद्धांत

अभिनेता मॉडल ने π-कैलकुलस के विकास और बाद की प्रक्रिया कैलकुली को प्रभावित किया है। अपने ट्यूरिंग व्याख्यान में, रॉबिन मिलनर ने लिखा:

अब, शुद्ध लैम्ब्डा-कैलकुलस को केवल दो प्रकार की चीज़ों से बनाया गया है: टर्म्स और वेरिएबल्स। क्या हम एक प्रक्रिया कलन के लिए समान अर्थव्यवस्था प्राप्त कर सकते हैं? कार्ल हेविट ने अपने अभिनेताओं के मॉडल के साथ इस चुनौती का जवाब बहुत पहले दे दिया था; उन्होंने घोषणा की कि एक मूल्य, मूल्यों पर एक संचालिका, और एक प्रक्रिया सभी एक ही प्रकार की होनी चाहिए: एक अभिनेता।

इस लक्ष्य ने मुझे प्रभावित किया, क्योंकि यह एकरूपता और अभिव्यक्ति की पूर्णता का तात्पर्य है ... लेकिन इससे पहले कि मैं देख पाता कि बीजगणितीय कलन के संदर्भ में लक्ष्य कैसे प्राप्त किया जाए ...

इसलिए, हेविट की भावना में, हमारा पहला कदम यह मांग करना है कि सभी चीजें जो शब्दों से निरूपित हों या नामों से एक्सेस की गई हों - मान, रजिस्टर, ऑपरेटर, प्रक्रियाएं, वस्तुएं - सभी एक ही तरह की हों; वे सभी प्रक्रियाएं होनी चाहिए।

अभ्यास

व्यावसायिक अभ्यास पर अभिनेता मॉडल का व्यापक प्रभाव पड़ा है। उदाहरण के लिए, ट्विटर ने स्केलेबिलिटी के लिए अभिनेताओं का इस्तेमाल किया है। साथ ही, Microsoft ने अपने एसिंक्रोनस एजेंट्स लाइब्रेरी के विकास में अभिनेता मॉडल का उपयोग किया है। नीचे अभिनेता पुस्तकालयों और ढांचे अनुभाग में सूचीबद्ध कई अन्य अभिनेता पुस्तकालय हैं।

संबोधित मुद्दे

हेविट [2006] के अनुसार, अभिनेता मॉडल निम्नलिखित सहित कंप्यूटर और संचार वास्तुकला, समवर्ती प्रोग्रामिंग भाषाओं और वेब सेवाओं में मुद्दों को संबोधित करता है:

• मापनीयता: स्थानीय और गैर-स्थानीय दोनों तरह से संगामिति को बढ़ाने की चुनौती।
• स्थान पारदर्शिता: स्थानीय और गैर-स्थानीय संगामिति के बीच की खाई को पाटना। पारदर्शिता वर्तमान में एक विवादास्पद मुद्दा है। कुछ शोधकर्ता ने समवर्ती प्रोग्रामिंग भाषाओं (जैसे, जावा (प्रोग्रामिंग भाषा) और सी शार्प (प्रोग्रामिंग भाषा)|सी#) का उपयोग करते हुए स्थानीय संगामिति के बीच वेब सेवाओं के लिए SOAP का उपयोग करके गैर-स्थानीय संगामिति के बीच सख्त अलगाव की वकालत की है। सख्त अलगाव पारदर्शिता की कमी पैदा करता है जो समस्याओं का कारण बनता है जब वेब सेवाओं के लिए स्थानीय और गैर-स्थानीय पहुंच के बीच परिवर्तन करना वांछनीय/आवश्यक होता है (वितरित कंप्यूटिंग देखें)।
• असंगति: असंगति आदर्श है क्योंकि मानव सूचना प्रणाली की अंतःक्रियाओं के बारे में सभी बहुत बड़ी ज्ञान प्रणालियाँ असंगत हैं। यह विसंगति बहुत बड़ी प्रणालियों (जैसे, माइक्रोसॉफ्ट विंडोज सॉफ्टवेयर, आदि) के प्रलेखन और विशिष्टताओं तक फैली हुई है, जो आंतरिक रूप से असंगत हैं।

अभिनेता मॉडल में पेश किए गए कई विचार अब इन्हीं कारणों [हेविट 2006बी 2007बी] के लिए मल्टी-एजेंट सिस्टम में भी आवेदन पा रहे हैं। मुख्य अंतर यह है कि एजेंट सिस्टम (अधिकांश परिभाषाओं में) अभिनेताओं पर अतिरिक्त प्रतिबंध लगाते हैं, आमतौर पर यह आवश्यक होता है कि वे प्रतिबद्धताओं और लक्ष्यों का उपयोग करें।

अभिनेताओं के साथ प्रोग्रामिंग

कई अलग-अलग प्रोग्रामिंग लैंग्वेज अभिनेता मॉडल या इसके कुछ बदलाव को नियोजित करती हैं। इन भाषाओं में शामिल हैं:

प्रारंभिक अभिनेता प्रोग्रामिंग भाषाएं

• अधिनियम 1, 2 और 3
• एक्टटॉक
• साल
• कैंटर
• रोसेट

बाद में अभिनेता प्रोग्रामिंग भाषाएं

• अभिनेता-आधारित समवर्ती भाषा
• एम्बिएंट टॉक
• एक्सम (प्रोग्रामिंग भाषा)
• सीएएल अभिनेता भाषा
• डी (प्रोग्रामिंग भाषा)
• डार्ट (प्रोग्रामिंग भाषा)
• ई (प्रोग्रामिंग भाषा)
• अमृत (प्रोग्रामिंग भाषा)
• एरलांग (प्रोग्रामिंग भाषा)
• फैंटम (प्रोग्रामिंग भाषा)
• ह्यूमस
• आईओ (प्रोग्रामिंग भाषा)
• LFE (प्रोग्रामिंग भाषा)
• दोहराना
• टट्टू (प्रोग्रामिंग भाषा)
• टॉलेमी परियोजना
• पी (प्रोग्रामिंग भाषा)
• पी#
• रेबेका मॉडलिंग भाषा
• रीया (प्रोग्रामिंग भाषा)
• रूबी (प्रोग्रामिंग भाषा)
• साल्सा
• स्काला (प्रोग्रामिंग भाषा)
• स्विफ्ट (प्रोग्रामिंग भाषा)
• टीएनएसडीएल

एक्टर लाइब्रेरी और फ्रेमवर्क

अभिनेता-शैली की प्रोग्रामिंग को उन भाषाओं में अनुमति देने के लिए अभिनेता पुस्तकालय या रूपरेखाएँ भी लागू की गई हैं जिनमें अभिनेता अंतर्निहित नहीं हैं। इनमें से कुछ रूपरेखाएँ हैं:

Name	Status	Latest release	License	Languages
Xcraft Goblins	Active	2022-08-30	MIT	JavaScript
ReActed	Active	2022-11-30	Apache 2.0	Java
Acteur	Active	2020-04-16	Apache-2.0 / MIT	Rust
Bastion	Active	2020-08-12	Apache-2.0 / MIT	Rust
Actix	Active	2020-09-11	MIT	Rust
Aojet	Active	2016-10-17	MIT	Swift
Actor	Active	2017-03-09	MIT	Java
Actor4j	Active	2020-01-31	Apache 2.0	Java
Actr	Active	2019-04-09	Apache 2.0	Java
Vert.x	Active	2018-02-13	Apache 2.0	Java, Groovy, Javascript, Ruby, Scala, Kotlin, Ceylon
ActorFx	Inactive	2013-11-13	Apache 2.0	.NET
Akka (toolkit)	Active	2022-09-06	Commercial (from 2.7.0, Apache 2.0 up to 2.6.20)	Java and Scala
Akka.NET	Active	2020-08-20	Apache 2.0	.NET
Dapr	Active	2019-10-16	Apache 2.0	Java, .NET Core, Go, Javascript, Python, Rust and C++
DOTNETACTORS	Active	2021-06-14	MIT	.NET, C#, Azure Service Bus
Remact.Net	Inactive	2016-06-26	MIT	.NET, Javascript
Ateji PX	Inactive	?	?	Java
czmq	Active	2016-11-10	MPL-2	C
F# MailboxProcessor	Active	same as F# (built-in core library)	Apache License	F#
Korus	Active	2010-02-04	GPL 3	Java
Kilim	Active	2018-11-09	MIT	Java
ActorFoundry (based on Kilim)	Inactive	2008-12-28	?	Java
ActorKit	Active	2011-09-13	BSD	Objective-C
Cloud Haskell	Active	2015-06-17	BSD	Haskell
CloudI	Active	2021-05-27	MIT	ATS, C/C++, Elixir/Erlang/LFE, Go, Haskell, Java, Javascript, OCaml, Perl, PHP, Python, Ruby
Clutter	Active	2017-05-12	LGPL 2.1	C, C++ (cluttermm), Python (pyclutter), Perl (perl-Clutter)
NAct	Inactive	2012-02-28	LGPL 3.0	.NET
Nact Archived 2021-02-05 at the Wayback Machine	Active	2018-06-06	Apache 2.0	JavaScript/ReasonML
Retlang	Inactive	2011-05-18	New BSD	.NET
JActor	Inactive	2013-01-22	LGPL	Java
Jetlang	Active	2013-05-30	New BSD	Java
Haskell-Actor	Active?	2008	New BSD	Haskell
GPars	Active	2014-05-09	Apache 2.0	Groovy
OOSMOS	Active	2019-05-09	GPL 2.0 and commercial (dual licensing)	C. C++ friendly
Panini	Active	2014-05-22	MPL 1.1	Programming Language by itself
PARLEY	Active?	2007-22-07	GPL 2.1	Python
Peernetic	Active	2007-06-29	LGPL 3.0	Java
Picos	Active	2020-02-04	MIT	KRL
PostSharp	Active	2014-09-24	Commercial / Freemium	.NET
Pulsar	Active	2016-07-09	New BSD	Python
Pulsar	Active	2016-02-18	LGPL/Eclipse	Clojure
Pykka	Active	2019-05-07	Apache 2.0	Python
Termite Scheme	Active?	2009-05-21	LGPL	Scheme (Gambit implementation)
Theron	Inactive	2014-01-18	MIT	C++
Thespian	Active	2020-03-10	MIT	Python
Quasar	Active	2018-11-02	LGPL/Eclipse	Java
Libactor	Active?	2009	GPL 2.0	C
Actor-CPP	Active	2012-03-10	GPL 2.0	C++
S4	Inactive	2012-07-31	Apache 2.0	Java
C++ Actor Framework (CAF)	Active	2020-02-08	Boost Software License 1.0 and BSD 3-Clause	C++11
Celluloid	Active	2018-12-20	MIT	Ruby
LabVIEW Actor Framework	Active	2012-03-01	National Instruments SLA	LabVIEW
LabVIEW Messenger Library	Active	2021-05-24	BSD	LabVIEW
Orbit	Active	2019-05-28	New BSD	Java
QP frameworks for real-time embedded systems	Active	2019-05-25	GPL 2.0 and commercial (dual licensing)	C and C++
libprocess	Active	2013-06-19	Apache 2.0	C++
SObjectizer Archived 2020-08-10 at the Wayback Machine	Active	2021-12-28	New BSD	C++17
rotor	Active	2022-04-23	MIT License	C++17
Orleans	Active	2022-08-15	MIT License	C#/.NET
Skynet	Active	2020-12-10	MIT License	C/Lua
Reactors.IO	Active	2016-06-14	BSD License	Java/Scala
libagents	Active	2020-03-08	Free software license	C++11
Proto.Actor	Active	2021-01-05	Free software license	Go, C#, Python, JavaScript, Kotlin
FunctionalJava Archived 2021-04-22 at the Wayback Machine	Active	2018-08-18	BSD 3-Clause	Java
Riker	Active	2019-01-04	MIT License	Rust
Comedy	Active	2019-03-09	EPL 1.0	JavaScript
VLINGO XOOM Actors	Active	2023-02-15	Mozilla Public License 2.0	Java, Kotlin, JVM languages, C# .NET
wasmCloud	Active	2021-03-23	Apache 2.0	WebAssembly (Rust, TinyGo, Zig, AssemblyScript)
ray	Active	2020-08-27	Apache 2.0	Python
cell	Active	2012-08-02	New BSD License	Python
go-actor	Active	2022-08-16	GPL 3.0	Golang
Sento	Active	2022-11-21	Apache 2.0	Common Lisp

यह भी देखें

• स्वायत्त एजेंट
• डेटा प्रवाह
• गॉर्डन पास्क
• इनपुट / आउटपुट ऑटोमेटन
• वैज्ञानिक समुदाय रूपक

अग्रिम पठन

• Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems Archived 2020-11-12 at the Wayback Machine. MIT Press 1985.
• Paul Baran. On Distributed Communications Networks IEEE Transactions on Communications Systems. March 1964.
• William A. Woods. Transition network grammars for natural language analysis Archived 2017-02-03 at the Wayback Machine CACM. 1970.
• Carl Hewitt. Procedural Embedding of Knowledge In Planner Archived 2021-02-05 at the Wayback Machine IJCAI 1971.
• G.M. Birtwistle, Ole-Johan Dahl, B. Myhrhaug and Kristen Nygaard. SIMULA Begin Auerbach Publishers Inc, 1973.
• Carl Hewitt, et al. Actor Induction and Meta-evaluation Archived 2022-11-15 at the Wayback Machine Conference Record of ACM Symposium on Principles of Programming Languages, January 1974.
• Carl Hewitt, et al Behavioral Semantics of Nonrecursive Control Structure Archived 2018-06-10 at the Wayback Machine Proceedings of Colloque sur la Programmation, April 1974.
• Irene Greif and Carl Hewitt. Actor Semantics of PLANNER-73 Archived 2021-02-05 at the Wayback Machine Conference Record of ACM Symposium on Principles of Programming Languages. January 1975.
• Carl Hewitt. How to Use What You Know IJCAI. September, 1975.
• Alan Kay and Adele Goldberg. Smalltalk-72 Instruction Manual Xerox PARC Memo SSL-76-6. May 1976.
• Edsger Dijkstra. A discipline of programming Prentice Hall. 1976.
• Carl Hewitt and Henry Baker Actors and Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977.
• Carl Hewitt and Russ Atkinson. Synchronization in Actor Systems Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1977
• Carl Hewitt and Russ Atkinson. Specification and Proof Techniques for Serializers IEEE Journal on Software Engineering. January 1979.
• Ken Kahn. A Computational Theory of Animation Archived 2017-08-18 at the Wayback Machine MIT EECS Doctoral Dissertation. August 1979.
• Carl Hewitt, Beppe Attardi, and Henry Lieberman. Delegation in Message Passing Proceedings of First International Conference on Distributed Systems Huntsville, AL. October 1979.
• Nissim Francez, C.A.R. Hoare, Daniel Lehmann, and Willem-Paul de Roever. Semantics of nondeterminism, concurrency, and communication Journal of Computer and System Sciences. December 1979.
• George Milne and Robin Milner. Concurrent processes and their syntax JACM. April 1979.
• Daniel Theriault. A Primer for the Act-1 Language MIT AI memo 672. April 1982.
• Daniel Theriault. Issues in the Design and Implementation of Act 2 Archived 2019-04-08 at the Wayback Machine MIT AI technical report 728. June 1983.
• Henry Lieberman. An Object-Oriented Simulator for the Apiary Conference of the American Association for Artificial Intelligence, Washington, D. C., August 1983
• Carl Hewitt and Peter de Jong. Analyzing the Roles of Descriptions and Actions in Open Systems Proceedings of the National Conference on Artificial Intelligence. August 1983.
• Carl Hewitt and Henry Lieberman. Design Issues in Parallel Architecture for Artificial Intelligence MIT AI memo 750. Nov. 1983.
• C.A.R. Hoare. Communicating Sequential Processes Archived 2021-02-01 at the Wayback Machine Prentice Hall. 1985.
• Carl Hewitt. The Challenge of Open Systems Byte. April 1985. Reprinted in The foundation of artificial intelligence: a sourcebook Cambridge University Press. 1990.
• Carl Manning. Traveler: the actor observatory ECOOP 1987. Also appears in Lecture Notes in Computer Science, vol. 276.
• William Athas and Charles Seitz Multicomputers: message-passing concurrent computers Archived 2021-02-05 at the Wayback Machine IEEE Computer August 1988.
• William Athas and Nanette Boden Cantor: An Actor Programming System for Scientific Computing in Proceedings of the NSF Workshop on Object-Based Concurrent Programming. 1988. Special Issue of SIGPLAN Notices.
• Jean-Pierre Briot. From objects to actors: Study of a limited symbiosis in Smalltalk-80 Archived 2020-11-25 at the Wayback Machine Rapport de Recherche 88–58, RXF-LITP, Paris, France, September 1988
• William Dally and Wills, D. Universal mechanisms for concurrency Archived 2018-06-18 at the Wayback Machine PARLE 1989.
• W. Horwat, A. Chien, and W. Dally. Experience with CST: Programming and Implementation Archived 2021-05-14 at the Wayback Machine} PLDI. 1989.
• Carl Hewitt. Towards Open Information Systems Semantics Proceedings of 10th International Workshop on Distributed Artificial Intelligence. October 23–27, 1990. Bandera, Texas.
• Akinori Yonezawa, Ed. ABCL: An Object-Oriented Concurrent System MIT Press. 1990.
• K. Kahn and Vijay A. Saraswat, "Actors as a special case of concurrent constraint (logic) programming", in SIGPLAN Notices, October 1990. Describes Janus.
• Carl Hewitt. Open Information Systems Semantics Journal of Artificial Intelligence. January 1991.
• Carl Hewitt and Jeff Inman. DAI Betwixt and Between: From "Intelligent Agents" to Open Systems Science IEEE Transactions on Systems, Man, and Cybernetics. Nov./Dec. 1991.
• Carl Hewitt and Gul Agha. Guarded Horn clause languages: are they deductive and Logical? International Conference on Fifth Generation Computer Systems, Ohmsha 1988. Tokyo. Also in Artificial Intelligence at MIT, Vol. 2. MIT Press 1991.
• William Dally, et al. The Message-Driven Processor: A Multicomputer Processing Node with Efficient Mechanisms Archived 2021-02-05 at the Wayback Machine IEEE Micro. April 1992.
• S. Miriyala, G. Agha, and Y.Sami. Visualizing actor programs using predicate transition nets Archived 2020-11-10 at the Wayback Machine Journal of Visual Programming. 1992.
• Carl Hewitt and Carl Manning. Negotiation Architecture for Large-Scale Crisis Management AAAI-94 Workshop on Models of Conflict Management in Cooperative Problem Solving. Seattle, WA. Aug. 4, 1994.
• Carl Hewitt and Carl Manning. Synthetic Infrastructures for Multi-Agency Systems Proceedings of ICMAS '96. Kyoto, Japan. December 8–13, 1996.
• S. Frolund. Coordinating Distributed Objects: An Actor-Based Approach for Synchronization MIT Press. November 1996.
• W. Kim. ThAL: An Actor System for Efficient and Scalable Concurrent Computing Archived 2017-08-31 at the Wayback Machine PhD thesis. University of Illinois at Urbana Champaign. 1997.
• Jean-Pierre Briot. Acttalk: A framework for object-oriented concurrent programming-design and experience 2nd France-Japan workshop. 1999.
• N. Jamali, P. Thati, and G. Agha. An actor based architecture for customizing and controlling agent ensembles Archived 2020-11-25 at the Wayback Machine IEEE Intelligent Systems. 14(2). 1999.
• Don Box, David Ehnebuske, Gopal Kakivaya, Andrew Layman, Noah Mendelsohn, Henrik Nielsen, Satish Thatte, Dave Winer. Simple Object Access Protocol (SOAP) 1.1 W3C Note. May 2000.
• M. Astley, D. Sturman, and G. Agha. Customizable middleware for modular distributed software Archived 2017-08-31 at the Wayback Machine CACM. 44(5) 2001.
• Edward Lee, S. Neuendorffer, and M. Wirthlin. Actor-oriented design of embedded hardware and software systems Archived 2016-10-20 at the Wayback Machine Journal of Circuits, Systems, and Computers. 2002.
• P. Thati, R. Ziaei, and G. Agha. A Theory of May Testing for Actors Formal Methods for Open Object-based Distributed Systems. March 2002.
• P. Thati, R. Ziaei, and G. Agha. A theory of may testing for asynchronous calculi with locality and no name matching Algebraic Methodology and Software Technology. Springer Verlag. September 2002. LNCS 2422.
• Stephen Neuendorffer. Actor-Oriented Metaprogramming Archived 2020-09-25 at the Wayback Machine PhD Thesis. University of California, Berkeley. December, 2004
• Carl Hewitt (2006a) The repeated demise of logic programming and why it will be reincarnated What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
• Carl Hewitt (2006b) What is Commitment? Physical, Organizational, and Social Archived 2021-02-11 at the Wayback Machine COIN@AAMAS. April 27, 2006b.
• Carl Hewitt (2007a) What is Commitment? Physical, Organizational, and Social (Revised) Pablo Noriega .et al. editors. LNAI 4386. Springer-Verlag. 2007.
• Carl Hewitt (2007b) Large-scale Organizational Computing requires Unstratified Paraconsistency and Reflection Archived 2020-11-25 at the Wayback Machine COIN@AAMAS'07.
• D. Charousset, T. C. Schmidt, R. Hiesgen and M. Wählisch. Native actors: a scalable software platform for distributed, heterogeneous environments in AGERE! '13 Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control.

बाहरी संबंध

• Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know, but were afraid to ask) Microsoft Channel 9. April 9, 2012. Video on YouTube
• Functional Java Archived 2011-07-09 at the Wayback Machine – a Java library that includes an implementation of concurrent actors with code examples in standard Java and Java 7 BGGA style.
• ActorFoundry – a Java-based library for actor programming. The familiar Java syntax, an ant build file and a bunch of example make the entry barrier very low.
• ActiveJava – a prototype Java language extension for actor programming.
• Akka – actor based library in Scala and Java, from Lightbend Inc.
• GPars – a concurrency library for Apache Groovy and Java
• Asynchronous Agents Library – Microsoft actor library for Visual C++. "The Agents Library is a C++ template library that promotes an actor-based programming model and in-process message passing for coarse-grained dataflow and pipelining tasks. "
• ActorThread in C++11 – base template providing the gist of the actor model over naked threads in standard C++11