How do I do simple multithreading in Isabelle ML? -

मैंने एकाधिक Isabelle_System.bash प्रक्रियाओं को प्रारंभ करना चाहते हैं।

इस अगले स्रोत में, मैं 3 bash आदेशों का उपयोग करता हूं एक सरल उदाहरण के लिए, मैं उन्हें अलग धागे में शुरू करना चाहूंगा, ताकि वे अनुक्रमिक रूप से एक साथ चलाए। PIDE कंसोल में संकलन करें। "); Isabelle_System.bash ("गूंजना '2. एक विंडोज़ कंसोल में संकलन करने के लिए कॉल स्क्रिप्ट।" "); Isabelle_System.bash ("प्रतिध्वनि '3. शायद एक तीसरी प्रक्रिया।'"); (* बाहरी सिंटैक्स कमांड में, मेरे पास 1 और 2 की अनुमति देने के विकल्प हैं, इसलिए दोनों पक्ष एक ही समय में शुरू करने के लिए, पाइड प्रक्रिया समाप्त करने में सक्षम होने के लिए और Windows कन्सोल को चलने देने के लिए उपयोगी हो सकता है। लेकिन, जब तक कि multithreading का उपयोग नहीं किया जाता है, उनके निष्पादन अनुक्रमिक होंगे, जो बेकार है। *) *}

मैंने एक grep किया है, और मैंने पाया है।

हालांकि, यह प्राथमिकता नहीं है, और मेरे लिए परीक्षण और त्रुटि का उपयोग करने के लिए सबसे अच्छा नहीं होगा कि मुझे क्या करना चाहिए।

अगर कोई मुझे एक सरल प्लग-एन-प्ले टेम्प्लेट ऊपर 3 कमांड कमान चलाने के लिए, मैं इसकी सराहना करता हूं। या, शायद कोई मुझे बता सकता है कि मैं ऐसा क्यों नहीं कर सकता या नहीं।

"सरल Multithreading "एक आक्सीमोरन है, क्योंकि धागे कभी भी सरल नहीं होते हैं यदि आप समानांतर प्रोग्रामिंग करना चाहते हैं, जो सरल है, तो सबसे पहले देखने के लिए संरचना Par_List है, उदा। पैरा_लिस्ट.मैप संयोजनकर्ता इसके बारे में "समानांतर कंकाल" पर एक खंड है, और आसपास के क्षेत्र में अधिक जानकारी।