जब एक प्रक्रिया दूसरी प्रक्रिया को जन्म देती है


13

मेरी पृष्ठभूमि जटिलता सिद्धांत / तर्क में है (जहां ज्यादातर समय एक ही प्रक्रिया होती है), और वितरित कंप्यूटिंग में (जहां प्रक्रियाएं होती हैं, और एक या अधिक समय में विफल हो सकती हैं)। हालाँकि, मैं अब किसी प्रक्रिया के बारे में कुछ कहना चाहता हूं जो किसी अन्य प्रक्रिया को बनाने / बनाने / कताई करने में सक्षम है। क्या समानांतर कंप्यूटिंग, ऑपरेटिंग सिस्टम आदि में कठोरता है, जो इसके लिए जिम्मेदार है?n

प्रेरणा:

मैं उन मॉडलों के निर्माण की कोशिश कर रहा हूं जो आणविक इंटरैक्शन की कुछ विशेषताओं को अमूर्त करते हैं। मैं कहना है कि रासायनिक प्रतिक्रियाओं के सेट करना चाहते हैं एक स्वतंत्र प्रक्रिया है, और है कि एक निश्चित समय के कदम पर टी , यह एक स्वतंत्र प्रक्रिया spawns एस ' । सहज रूप से, ये चीजें स्वतंत्र प्रक्रियाओं की तरह महसूस करती हैं, क्योंकि समय टी के बाद उनका कोई संपर्क नहीं है - या बहुत कम संपर्क, केवल "संदेश।"StSt

अधिक औपचारिक रूप से:

(१) क्या पहले से मौजूद सीएस की परिभाषाएँ हैं जो एक प्रक्रिया की धारणा को पकड़ती हैं जो दूसरी स्वतंत्र प्रक्रिया को जन्म देती हैं? मैं विशेष रूप से हदबंदी के लिए जहां सक्षम होने में दिलचस्पी बंद हो जाता है और एस ' शुरू होता है, और ऐसा क्यों है "उचित" क्या करना है।SS

(२) यदि (१) एक से अधिक उत्तर हैं, तो आप विभिन्न परिभाषाओं के पेशेवरों और विपक्षों को क्या मानते हैं?

(ध्यान दें: मुझे इस बात का कोई अंदाजा नहीं है कि इसे कैसे उचित रूप से टैग किया जा सकता है, और उत्तरों के आधार पर फिर से टैग करने की योजना है।)


मैंने हमेशा forkयूनिक्स जैसे ऑपरेटिंग सिस्टम को कॉन्सेप्टली बहुत ही सुंदर तरीके से कॉल किया है। आप इसे एक परमाणु ऑपरेशन के रूप में देख सकते हैं जो वर्तमान प्रक्रिया की नकल करता है। एक कांटा से पहले, सिर्फ एक प्रक्रिया थी , जबकि कांटा के बाद, वहाँ दो प्रक्रियाएं हैं एस और एस ' । हम oversimplify बातें, तो एस और एस ' कर रहे हैं समान , अन्य सभी पहलुओं को छोड़कर एक एक बिट सूचक देता है कि है कि वहाँ एस ' पता है कि यह 'नई' प्रक्रिया है कि जब एस जानता है कि यह "मूल" प्रक्रिया है। उसके बाद S और S SSSSSSSSSअलग से जारी रख सकते हैं, और वे खुद को संशोधित भी कर सकते हैं
जुल्का सुमेला

@ जुक्का: धन्यवाद :-) अगर मैं एक यूनिक्स आदिम के लिए क्या कर रहा हूं, इसे जोड़ने का एक तरीका होता तो यह मीठा होता।
हारून स्टर्लिंग

जवाबों:


13

बेशक मॉडलिंग प्रक्रियाओं के लिए कई प्रणालियां हैं। ये प्रक्रिया अलजेब्रा की श्रेणी में आते हैं । कुंजी उदाहरण हैं -calculusπ , सीसीएस , एसीपी और सीएसपी

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

π

CSP (अनुक्रमिक प्रक्रियाओं को संप्रेषित करना) थोड़ा अजीब है, जब मॉडलिंग अणुओं के परिप्रेक्ष्य से देखा जाता है। इसमें बहुत सारे बैकिंग सिद्धांत और उपकरण का समर्थन है। (कार होरे द्वारा आविष्कार किया गया।)

πμμ

मैं संबंधित कार्य (नीचे देखें) की जांच शुरू करूंगा और फिर यह पता लगाऊंगा कि कौन सी मॉडलिंग की औपचारिकताएं आपको पसंद हैं।

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

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

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


क्या पेट्री-नेट को संभावनाओं के बीच भी माना जा सकता है? दो जावक संक्रमणों के साथ एक जगह होने से फोर्किंग को मॉडल किया जा सकता है।
एम। अलागन

आम तौर पर, पेट्री-नेट स्टाइल इंटरैक्शन को रेखीय तर्क में मॉडल किया जा सकता है (एक उदाहरण के लिए, हालांकि केवल एक ही नहीं, वॉटरकिन्स एट अल, टाइप 2003 द्वारा "एक समवर्ती तार्किक ढांचा: प्रस्ताव प्रस्ताव" देखें)
रोब सिमोन

π

@म। अलागन: सतह पर ऐसा लगता है कि पेट्री नेट काम कर सकती थी। प्रत्येक स्थान को रसायनों के एक पूल के रूप में माना जा सकता है। प्रत्येक संक्रमण को प्रतिक्रिया के रूप में माना जा सकता है। इस प्रकार यदि हमारे पास H और O और H2O नामक स्थान हैं, तो एक संक्रमण O से H एक से दो टोकन ले सकता है और H2O में एक टोकन डाल सकता है। इस तरह से मॉडलिंग के साथ समस्या यह है कि प्रत्येक ऐसे संक्रमण में से केवल एक प्रक्रिया के विपरीत आग लगा सकता है, जो कि अल्जेब्रस की प्रक्रिया के विपरीत होता है जो एक समय में कई ऐसे संक्रमणों को आग लगाने की अनुमति देता है।
डेव क्लार्क

@ ऐरन: आप जो करने की कोशिश कर रहे हैं, उसके आधार पर बायोपेपा जैसी आधुनिक प्रक्रिया की गणना आपके लिए उपयोगी हो सकती है।
आंद्रे सलामोन

7

काम की एक और पंक्ति है - मेरा मानना ​​है कि लेकिन बायोकंप्यूटिंग के समान नहीं है (दुर्भाग्य से मैं इस क्षेत्र में बहुत अच्छी तरह से वाकिफ नहीं हूं), "झिल्ली कंप्यूटिंग" है।

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


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

1
यह निश्चित रूप से एक विकल्प है। @ ऐरन: कार्डेली की ब्रैंक्स कैलकुलस लुकाकार्डेली.नाम / पेपर्स / ब्रैन %20Calculi.pdf मॉडल मेम्ब्रेन।
डेव क्लार्क

हा! क्राउडसोर्सिंग की शक्ति! एक बार फिर धन्यवाद! :-)
हारून स्टर्लिंग
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.