मेरी पृष्ठभूमि जटिलता सिद्धांत / तर्क में है (जहां ज्यादातर समय एक ही प्रक्रिया होती है), और वितरित कंप्यूटिंग में (जहां प्रक्रियाएं होती हैं, और एक या अधिक समय में विफल हो सकती हैं)। हालाँकि, मैं अब किसी प्रक्रिया के बारे में कुछ कहना चाहता हूं जो किसी अन्य प्रक्रिया को बनाने / बनाने / कताई करने में सक्षम है। क्या समानांतर कंप्यूटिंग, ऑपरेटिंग सिस्टम आदि में कठोरता है, जो इसके लिए जिम्मेदार है?
प्रेरणा:
मैं उन मॉडलों के निर्माण की कोशिश कर रहा हूं जो आणविक इंटरैक्शन की कुछ विशेषताओं को अमूर्त करते हैं। मैं कहना है कि रासायनिक प्रतिक्रियाओं के सेट करना चाहते हैं एक स्वतंत्र प्रक्रिया है, और है कि एक निश्चित समय के कदम पर टी , यह एक स्वतंत्र प्रक्रिया spawns एस ' । सहज रूप से, ये चीजें स्वतंत्र प्रक्रियाओं की तरह महसूस करती हैं, क्योंकि समय टी के बाद उनका कोई संपर्क नहीं है - या बहुत कम संपर्क, केवल "संदेश।"
अधिक औपचारिक रूप से:
(१) क्या पहले से मौजूद सीएस की परिभाषाएँ हैं जो एक प्रक्रिया की धारणा को पकड़ती हैं जो दूसरी स्वतंत्र प्रक्रिया को जन्म देती हैं? मैं विशेष रूप से हदबंदी के लिए जहां सक्षम होने में दिलचस्पी बंद हो जाता है और एस ' शुरू होता है, और ऐसा क्यों है "उचित" क्या करना है।
(२) यदि (१) एक से अधिक उत्तर हैं, तो आप विभिन्न परिभाषाओं के पेशेवरों और विपक्षों को क्या मानते हैं?
(ध्यान दें: मुझे इस बात का कोई अंदाजा नहीं है कि इसे कैसे उचित रूप से टैग किया जा सकता है, और उत्तरों के आधार पर फिर से टैग करने की योजना है।)
fork
यूनिक्स जैसे ऑपरेटिंग सिस्टम को कॉन्सेप्टली बहुत ही सुंदर तरीके से कॉल किया है। आप इसे एक परमाणु ऑपरेशन के रूप में देख सकते हैं जो वर्तमान प्रक्रिया की नकल करता है। एक कांटा से पहले, सिर्फ एक प्रक्रिया थी , जबकि कांटा के बाद, वहाँ दो प्रक्रियाएं हैं एस और एस ' । हम oversimplify बातें, तो एस और एस ' कर रहे हैं समान , अन्य सभी पहलुओं को छोड़कर एक एक बिट सूचक देता है कि है कि वहाँ एस ' पता है कि यह 'नई' प्रक्रिया है कि जब एस जानता है कि यह "मूल" प्रक्रिया है। उसके बाद S और S ′