Unreliable Failure Detectors for Re

Unreliable Failure Detectors for Reliable Distributed Systems
Abstract
We introduce the concept of unreliable failure detectors and study how they can be used to solve Consensus in asynchronous systems with crash failures. We characterise unreliable failure detectors in terms of two properties — completeness and accuracy. We show that Consensus can be solved even with unreliable failure detectors that make an infinite number of mistakes, and determine which ones can be used to solve Consensus despite any number of crashes, and which ones require a majority of correct processes. We prove that Consensus and Atomic Broadcast are reducible to each other in asynchronous systems with crash failures; thus the above results also apply to Atomic Broadcast. A companion paper shows that one of the failure detectors introduced here is the weakest failure detector for solving Consensus [Chandra et al. 1992].

ผลลัพธ์ (ไทย) 1:

เครื่องตรวจจับความล้มเหลวไม่กระจายระบบเชื่อถือได้บทคัดย่อเราแนะนำแนวคิดของความล้มเหลวไม่จับ และศึกษาว่าจะสามารถใช้การแก้ไขมติในระบบแบบอะซิงโครนัสล้มเหลว เรา characterise ล้มเหลวน่าจับในคุณสมบัติสองประการคือความถูกต้อง เราแสดงที่ช่วยสามารถแก้ไขได้แม้จะ มีเครื่องตรวจจับความล้มเหลวที่ไม่น่าเชื่อถือที่จำกัดจำนวนของข้อผิดพลาด และกำหนดคนใดใช้แก้ช่วยแม้ มีหมายเลขของการล้มเหลว และคนที่ต้องการส่วนใหญ่ของกระบวนการที่ถูกต้อง เราพิสูจน์ว่า มติและออกอากาศอะตอมจะ reducible กันในระบบแบบอะซิงโครนัสล้มเหลว ดังนั้น ผลลัพธ์ข้างต้นใช้กับอะตอมออกอากาศ กระดาษตัวช่วยแสดงว่า เครื่องตรวจจับความล้มเหลวที่นำมาใช้ที่นี่เป็นเครื่องตรวจจับความล้มเหลวกำจัดจุดสำหรับแก้ไขมติ [จันทรา et al. 1992]

ผลลัพธ์ (ไทย) 2:

ตรวจจับความล้มเหลวที่ไม่น่าเชื่อถือสำหรับระบบที่เชื่อถือได้กระจาย
บทคัดย่อ
เราแนะนำแนวคิดของเครื่องตรวจจับความล้มเหลวที่ไม่น่าเชื่อถือและการศึกษาวิธีที่พวกเขาสามารถนำมาใช้ในการแก้ฉันทามติในระบบไม่ตรงกันกับความล้มเหลวผิดพลาด เราตรวจจับลักษณะความล้มเหลวที่ไม่น่าเชื่อถือในแง่ของคุณสมบัติที่สอง - ความสมบูรณ์และความถูกต้อง เราแสดงให้เห็นว่ามติจะสามารถแก้ไขได้แม้จะมีการตรวจจับความล้มเหลวที่ไม่น่าเชื่อถือที่ทำให้จำนวนอนันต์ของความผิดพลาดและตรวจสอบว่าคนที่สามารถนำมาใช้ในการแก้ฉันทามติแม้จะมีจำนวนของการเกิดปัญหาใด ๆ และคนที่ต้องใช้เสียงส่วนใหญ่ของกระบวนการที่ถูกต้อง เราพิสูจน์ได้ว่าฉันทามติและออกอากาศเป็นอะตอมออกซิเจนแต่ละอื่น ๆ ในระบบไม่ตรงกันกับความล้มเหลวผิดพลาด; ดังนั้นผลดังกล่าวข้างต้นนอกจากนี้ยังนำไปใช้กับอะตอมออกอากาศ กระดาษสหายที่แสดงให้เห็นว่าหนึ่งในความล้มเหลวของเครื่องตรวจจับแนะนำที่นี่เป็นเครื่องตรวจจับความล้มเหลวในการแก้ปัญหาที่อ่อนแอที่สุดฉันทามติ [จันทรา et al, 1992]

ผลลัพธ์ (ไทย) 3:

ไม่น่าเชื่อถือเครื่องตรวจจับความล้มเหลวเพื่อความน่าเชื่อถือระบบกระจาย

เราขอแนะนำแนวคิดนามธรรมของเครื่องตรวจจับความล้มเหลวของการศึกษาและวิธีการที่พวกเขาสามารถใช้เพื่อแก้เอกฉันท์ในระบบอะซิงโครนัสกับความผิดพลาดและความล้มเหลว เรานักศึกษาตรวจจับความล้มเหลวที่ไม่น่าเชื่อถือในแง่ของทั้งสองคุณสมบัติ - ความครบถ้วนและความถูกต้องเราแสดงให้เห็นว่าสามารถแก้ไขได้ แม้ไม่ได้รับความล้มเหลวที่ตรวจจับที่ทำให้จำนวนของความผิดพลาด และหาคนที่สามารถใช้แก้เอกฉันท์แม้จะมีหมายเลขใด ๆของการเกิดปัญหา และคนที่ต้องการส่วนใหญ่ของกระบวนการที่ถูกต้อง เราพิสูจน์ว่า ฉันทามติ และการออกอากาศอะตอมจะลดกับแต่ละอื่น ๆในระบบอะซิงโครนัสกับความผิดพลาดความล้มเหลว ;ดังนั้น ผลดังกล่าวยังใช้ในการออกอากาศ อะตอม สหายกระดาษแสดงให้เห็นว่าหนึ่งของความล้มเหลวที่แนะนำนี่เป็นจุดอ่อนที่สุดล้มเหลวตรวจจับแก้ไขเอกฉันท์ [ จันทรา et al . 2535 ]