अभिनेता मॉडल और संवादशील प्रक्रियात्मक प्रक्रिया (CSP) के बीच अंतर

Question

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

(हम के कार्यान्वयन को देखने के सीएसपी मॉडल में जाने के लैंग के goroutines (और Clojure के core.async ) और में अभिनेता मॉडल स्काला के अक्का Toolkit)

मैं अभिनेता मॉडल और सीएसपी के बीच अंतरों की एक सरल सूची प्राप्त करने की कोशिश कर रहा हूं। अब तक मेरे पास:

• एक्टर्स संदेश पासिंग एसिंक्रोनस है, सीएसपी संदेश पासिंग सिंक्रोनस है
• अभिनेता कंपोजेबल हैं , CSP (जरूरी नहीं) है
• अभिनेताओं के पास हमेशा गैर-नियतात्मकता होती है , CSP ने गैर-नियतात्मकता को बाध्य किया है या हो सकता है
• अभिनेताओं के पास चर टोपोलॉजी है जबकि सीएसपी ने टोपोलॉजी को तय किया है
• अभिनेताओं के पास स्थानीयता का सिद्धांत है , CSP में स्थानीयता नहीं है
• अभिनेताओं को उनके व्यवहार के आसपास डिज़ाइन किया गया है, CSP के पास यह आवश्यक नहीं है

क्या ये सही है? क्या मुझे कुछ याद आ रहा है?

मान्यताओं

• जब मैं कहता हूं कि 'अभिनेता मॉडल' - मेरा मतलब स्कैला के अक्का ढांचे में कार्यान्वयन के पीछे सैद्धांतिक आधार है

Comments

एक विशाल बिंदु: CSP संदेश में समकालिकता समकालिक है; एक्टर्स मेसेज पास करना अतुल्यकालिक है।

— डेव क्लार्क

@hawkeye आप "अभिनेता" मॉडल बनने के लिए क्या करते हैं? इसके अनौपचारिक विवरण के बाद से, कुछ अलग-अलग गुणों के साथ कई औपचारिकताएं सामने आई हैं।

— मार्टिन बर्गर

@ मार्टिन - यह मददगार है। मैंने अपनी मान्यताओं को अपडेट किया है। शायद आप मेरी मदद कर सकते हैं "एक मैं देख रहा हूँ"

— hawkeye

@hawkeye अक्का मॉडल से आपका क्या अभिप्राय है? केवल कुंजी कम्प्यूटेशनल तंत्र, या वितरित निगरानी / त्रुटि-हैंडलिंग ढांचा?

— मार्टिन बर्जर

@MartinBerger बस कुंजी कम्प्यूटेशनल तंत्र

— हॉकआई

Answer 1

यहाँ मैं सोचता हूँ कि एर्लैंग कैसे काम करता है। मेरा मानना ​​है कि अक्का बहुत समान है।

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

इसे ध्यान में रखते हुए, बफर से इनपुट पैटर्न मिलान इनपुट के साथ विस्तारित अतुल्यकालिक -culculus Erlang (और इसलिए अक्का) शब्दार्थों का सटीक वर्णन करता है, हालांकि एन्कोडिंग में थोड़ा काम करने की जरूरत है, क्योंकि _i -culculus doesn ' t प्रति प्रक्रिया एकल चैनलों पर प्रतिबंध है। हालाँकि, एक आम तौर पर एन्कोडिंग नहीं चाहता है, बल्कि एक पथरी है जो सीधे लक्ष्य प्रणाली को मॉडल करता है। इस तरह की एक पथरी मौजूद है, और इसे फेदरवेट एर्लांग कहा जाता है । यह Mostrous और Vasconcelos द्वारा है। उनका पेपर टाइप करने पर ध्यान केंद्रित करता है, लेकिन आप इसे अनदेखा कर सकते हैं और धारा 3 में अनकैप्ड कलन को देख सकते हैं।$\pi$$\pi$