तर्कसंगत समकालिक नेटवर्क: निश्चित वितरण के लिए एक औपचारिक मॉडल

Kahn Process Networks (KPNs) वितरण प्रणालियों के लिए एक निश्चित गणना मॉडल (MoC) हैं। KPNs गैर-ब्लॉकिंग लेखन और ब्लॉकिंग पढ़ने का समर्थन करते हैं, जिसके साथ प्रक्रियाओं के बीच अनियंत्रित बफरों की धारणा होती है। सीमित FIFO प्लेटफार्मों (FFP) जैसे विविधताएं विकसित की गई हैं, जो सीमितता को लागू करती हैं। मौजूदा मॉडल के साथ एक समस्या यह है कि वे प्रक्रिया समकालिकता को प्रक्रिया निष्पादन के साथ मिलाते हैं। इस लेख में हम इसे संबोधित करते हैं कि कैसे इन दो पहलुओं को अलग किया जा सकता है। यह लेख एक हालिया विकल्प पर विचार करता है जिसे बिटीड़ कहा जाता है, जो प्रक्रिया के निष्पादन को प्रक्रिया समकालिकता के लिए आवश्यक नियंत्रण से अलग करता है, और इस प्रकार निश्चितता और सीमितता को बनाए रखते हुए बेहतर थ्रूपुट के लिए पाइपलाइंड निष्पादन सुनिश्चित करता है। हमारी अंतर्दृष्टि यह है कि ऐसा दृष्टिकोण निश्चितता और बफर सीमितता का लाभ उठाने के साथ-साथ समग्र थ्रूपुट को बेहतर बनाने की संभावना प्रदान कर सकता है। इन प्रणालियों के व्यवहार को समझने के लिए हम एक औपचारिक मॉडल को परिभाषित करते हैं - एक निश्चित MoC जिसे तर्कसंगत समकालिक नेटवर्क (LSNs) कहा जाता है। LSNs प्रक्रियाओं का एक नेटवर्क का वर्णन करता है जिसे एक ग्राफ के रूप में मॉडल किया गया है, जिसमें धाराएँ एक उत्पादक प्रक्रिया और संबंधित उपभोक्ता प्रक्रिया के बीच अपरिवर्तनीय तर्कसंगत देरी का प्रतिनिधित्व करती हैं। हम दिखाते हैं कि यह अमूर्तता KPNs द्वारा संतुष्ट की गई है। इसके बाद, हम दिखाते हैं कि दोनों FFPs और बिटीड़ इस अमूर्तता को सच्चाई के साथ लागू करते हैं। इस प्रकार, हम पहली बार दिखाते हैं कि FFPs और बिटीड़ निश्चित वितरित प्रणालियों को लागू करने के लिए दो वैकल्पिक तरीके प्रदान करते हैं, जिसमें बाद वाला अधिक प्रदर्शनशील है।