वितरित कंप्यूटिंग में प्रोसेसर विफल हो जाता है जो क्रैश या बीजान्टिन नहीं हैं

Question

वितरित कंप्यूटिंग मॉडल में दो मुख्य प्रकार की प्रोसेसर विफलताएं हैं:

(1) क्रैश विफलताओं: एक प्रोसेसर बंद हो जाता है, और फिर कभी शुरू नहीं होता है। (2) बीजान्टिन विफलताओं: प्रोसेसर प्रतिकूल, दुर्भावनापूर्ण व्यवहार करते हैं।

मेरा सवाल यह है कि:

कुछ अन्य प्रकार की प्रोसेसर विफलताओं का अध्ययन किया गया है, जो दुर्घटना या बीजान्टिन विफलताओं को कम नहीं करते हैं?

इसके अलावा, एक अधिक विशिष्ट प्रश्न:

क्या एक मॉडल का अध्ययन किया गया है, जहां कुछ संभावना के साथ, एक प्रक्रिया समय पर कदम , और अन्यथा बंद है? इसलिए प्रत्येक प्रक्रिया चालू और बंद है, जैसा कि यह था।$t$

मुझे इस बात में सबसे अधिक दिलचस्पी है कि ये विफलताएं आम सहमति और अन्य वितरित समझौते की समस्याओं से कैसे संबंधित हैं।

धन्यवाद।

Comments

@ ऐरन: मेरे पास "वितरित सिस्टम" पर एक कोर्स था और कई साल पहले "दोष-सहिष्णु सिस्टम" पर एक और, लेकिन मैं वास्तव में उन विषयों में नहीं हूं। फिर भी मुझे लगता है कि कीवर्ड डायनेमिक फॉल्ट मॉडल आपकी मदद कर सकता है।

— बजे एमएस डौस्ती

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

— जुक्का सूमेला

आपके अधिक विशिष्ट प्रश्न के बारे में: यदि एक प्रोसेसर अगर "ऑन" प्रायिकता साथ है , तो यह मुझे एक अतुल्यकालिक मॉडल की तरह लगता है जिसमें प्रोसेसर हमेशा चालू रहते हैं लेकिन संदेश अपने गंतव्य तक पहुंचने की उम्मीद में 1 / पी राउंड लेते हैं । क्या आप शायद यह स्पष्ट कर सकते हैं कि यह उस मॉडल से अलग है जो आपके मन में था? $p$$1/p$

— जुका सुओमेला

@ ऐरन: मैं वास्तव में नहीं जानता कि इस तरह के मॉडलों का कितना अध्ययन किया गया है। लेकिन मुझे लगता है कि अगर आप किसी भी नियतात्मक तुल्यकालिक एल्गोरिथ्म है समय चल रहा है के साथ टी , तो आप बस इस्तेमाल कर सकते हैं α -synchroniser अनुकरण करने के लिए एक अतुल्यकालिक मॉडल में, और मुझे लगता है कि उम्मीद से चल रहा है समय की तरह कुछ होगा टी / पी । ( Α -synchroniser बस इस बात की गारंटी देता है कि आपके पड़ोसी कभी भी A के अनुकरण में आपसे 1 कदम आगे या पीछे नहीं हैं ।)$A$$T$$\alpha$$A$$T/p$$\alpha$$A$

— Jukka Suomela

@ एरॉन: मैंने मिशेल रेनाल के साथ वितरित कंप्यूटिंग के सिद्धांत को लिया है और उन्होंने एक तीसरे मॉडल का वर्णन किया है, जहां संदेशों को बेतरतीब ढंग से गिराया जा सकता है। उस मॉडल में कोई संदेश चुपचाप डिलीवर होने में विफल हो सकता है, लेकिन इसका मतलब यह नहीं है कि नोड विफल हो गया है। यह नोड फेलियर "निष्पक्ष हानिपूर्ण चैनल मॉडल" के बजाय लिंक विफलताओं के बारे में है, आप इसके बारे में और अधिक यहां पढ़ सकते हैं: असफलता यूनिफॉर्म विश्वसनीय प्रसारण एक असफल सर्वेक्षण के रूप में विफलता डिटेक्टर Oracles - मिशेल Raynal ( ftp .irisa.fr/techreports/2000/2000/ PI-1356.ps.gz )

— एम। अलागन

Answer 1

अनुरोध के अनुसार टिप्पणी पर टिप्पणी से कॉपी किया गया।

मैंने मिशेल रेनाल के साथ वितरित कंप्यूटिंग का सिद्धांत लिया है और उन्होंने एक तीसरे मॉडल का वर्णन किया है, जहां संदेशों को यादृच्छिक रूप से गिराया जा सकता है। उस मॉडल में कोई संदेश चुपचाप डिलीवर होने में विफल हो सकता है, लेकिन इसका मतलब यह नहीं है कि नोड विफल हो गया है। यह नोड फेलियर "निष्पक्ष हानिपूर्ण चैनल मॉडल" के बजाय लिंक विफलताओं के बारे में है, आप इसके बारे में और अधिक यहां पढ़ सकते हैं: असफलता यूनिफॉर्म विश्वसनीय प्रसारण एक असफल सर्वेक्षण के रूप में विफलता डिटेक्टर Oracles - मिशेल Raynal (ftp .irisa.fr/techreports/2000/2000/ PI-1356.ps.gz)

Answer 2

बीजान्टिन गलती-सहिष्णुता के साथ शामिल उच्च संसाधन लागत के कारण, तेजी से मजबूत मान्यताओं के साथ विफलता मॉडल का विश्लेषण किया गया है, विशेष रूप से प्रतिबंधित प्रकार के दोषों को सहन करने के लिए संसाधन आवश्यकताओं के लिए wrt। ( आज़ादमनेश एंड कीकफ़र, 2002 ) एक बहुत अच्छी करतूत प्रदान करते हैं (चित्र 1 देखें)

$3f+1$$f+1$$2f+1$$f$

विफलता मोड मान्यताओं को मॉडल करने का एक और तरीका नोड-केंद्रित बिंदु से दूर जाना है, जहां संदेश की हानि को प्रेषक की गलती के रूप में मॉडल किया गया है, लिंक-गलती मॉडल की ओर, जो सिर्फ एक दोहरी दृष्टि है, एक बार विसंगतियों के कारण वे हो सकते हैं सिस्टम माना जाता है। इस मॉडल ( Schmid, Weiss, और Rushby, 2002 ) द्वारा जांच की गई है , ( ग्रे, 1978 ) की एक असंभव परिणाम को दरकिनार करते हुए लिंक दोषों के तहत समन्वित हमले की समस्या का एक निर्धारक समाधान दिखाया गया है।

Answer 3

मुझे नहीं पता कि @ एम। Alaggan इस तरह के दोषों के बारे में बात कर रहे थे, लेकिन वे निश्चित रूप से एक जैसे दिखते हैं: क्षणिक दोष।

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

$\lambda$

$$\begin{equation} \label{fault} \lambda(f)=\lambda_p \; e^{d\frac{f_{max}-f}{f_{max}-f_{min}}}, \end{equation}$$ $f_{min}\leq f \leq f_{max}$$d\geq0$$\lambda_p$$f_{max}$$p$$T_i$$p$$f_i$ $$R_i(f_i)=e^{-\lambda(f_i)\times Execution~Time(T_i,f_i)}.$$

मूल पोस्ट के इतने लंबे समय बाद पोस्ट करने के लिए क्षमा करें, लेकिन मुझे यह प्रश्न मिला क्योंकि मैं इस विषय पर काम कर रहा था :)। डीवीएफएस का अध्ययन नहीं करने पर, ये दोष अभी भी मौजूद हैं, सूत्र शायद अभी भी मान्य हैं (या अनुकूलनीय)। आप यहां DVFS के बिना क्षणिक विफलताओं के बारे में अधिक जानकारी पा सकते हैं ।

Answer 4

पहले से ही उल्लिखित चूक के मॉडल के बारे में NeigerToueg को देखना है , जो विभिन्न प्रकार के लोगों पर विचार करता है।

क्या एक मॉडल का अध्ययन किया गया है, जहां कुछ संभावना के साथ, एक प्रक्रिया समय पर कदम टी, और अन्यथा बंद है? इसलिए प्रत्येक प्रक्रिया चालू और बंद है, जैसा कि यह था।

यह क्रैश-रिकवरी मॉडल की तरह लगता है। मुझे ऐसे किसी भी मॉडल के बारे में पता नहीं है जहाँ प्रक्रियाएँ संभावित रूप से चालू / बंद हों। कुछ ऐसे संस्करण भी हैं जहां प्रक्रियाएं कुछ समय के लिए बीजान्टिन होती हैं और फिर ठीक हो जाती हैं, जहां समय के साथ सभी प्रक्रियाएं बीजान्टिन हो सकती हैं (ज्यादातर घड़ी-सिंक के लिए माना जाता है, हालांकि)।

ध्यान दें कि यदि आप बंद हो रहे हैं तो इसका मतलब है कि एक प्रक्रिया केवल प्रगति नहीं कर रही है (यह अपने राज्य को ढीला नहीं करता है, और न कि संदेश "बंद" होने के कारण संदेश खो जाते हैं) तो आप जो देख रहे हैं उसे अतुल्यकालिक कहा जाता है प्रणाली। साझा मेमोरी के संदर्भ में आपका प्रश्न इस एस्पेन्स पेपर से निकटता से जुड़ा हो सकता है ।

Answer 5

अन्य प्रकार की विफलताएं हो सकती हैं। उदाहरण के लिए, कुछ प्रोसेसर (जैसे प्रसारण या मल्टीकास्ट प्रोटोकॉल के तहत) अतिभारित हो सकते हैं और आने वाले संदेशों को संसाधित करने में सक्षम नहीं होंगे। यह प्रोसेसर को वितरित सिस्टम में कुछ प्रोसेसरों के लिए ऑफ़लाइन दिखाई देता है।