वेक्टर क्लॉक और कार्य-कारण संबंध

वेक्टर क्लॉक घटनाओं को टाइमस्टैम्प करती हैं ताकि दो टाइमस्टैम्प की तुलना करने पर यह ठीक-ठीक पता चल सके कि एक घटना दूसरे का कारण बनती है या दोनों समवर्ती हैं।

Definition

एक वेक्टर क्लॉक प्रत्येक घटना को काउंटरों का एक वेक्टर प्रदान करती है, प्रति प्रक्रिया एक; एक घटना दूसरे का कारण बनती है यदि और केवल यदि उसका वेक्टर घटकवार दूसरे के बराबर या उससे कम है और कम से कम एक घटक में सख्ती से कम है, और अन्यथा घटनाएँ समवर्ती होती हैं।

Scope

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

Core questions

• टाइमस्टैम्प केवल सुसंगत रूप से नहीं, बल्कि सटीक रूप से कार्य-कारण संबंध को कैसे कैप्चर कर सकते हैं?
• समवर्ती (कार्य-कारण संबंधी असंबंधित) घटनाओं को क्रमबद्ध घटनाओं से कैसे अलग किया जाता है?
• संस्करण वेक्टर प्रतिकृतियों के बीच परस्पर विरोधी अपडेट का पता कैसे लगाते हैं?

Key theories

कार्य-कारण संबंध का वेक्टर-क्लॉक लक्षण वर्णन

संदेश प्राप्ति पर प्रति-प्रक्रिया काउंटर वेक्टर को बिंदुवार अधिकतम करके, वेक्टर क्लॉक टाइमस्टैम्प पर घटकवार क्रम को हैपन्ड-बिफोर संबंध के ठीक बराबर बनाती हैं, जिससे समवर्तीता का पता लगाया जा सकता है।

प्रतिकृति संघर्ष का पता लगाने के लिए संस्करण वेक्टर

संस्करण वेक्टर प्रतिकृति वस्तुओं पर समान विचार लागू करते हैं, जिससे प्रतिकृतियों को यह निर्धारित करने की अनुमति मिलती है कि एक संस्करण दूसरे पर हावी है या दो संस्करणों में संघर्ष है और उन्हें सुलझाया जाना चाहिए।

तार्किक क्लॉक से संबंध

वेक्टर क्लॉक लैम्पर्ट की स्केलर तार्किक क्लॉक को सख्ती से परिष्कृत करती हैं: स्केलर टाइमस्टैम्प केवल यह गारंटी देते हैं कि क्रम कार्य-कारण संबंध के अनुरूप है, जबकि वेक्टर टाइमस्टैम्प प्रति टाइमस्टैम्प O(n) स्थान की लागत पर कार्य-कारण संबंध को ठीक-ठीक निर्धारित करते हैं।

Clinical relevance

वेक्टर और संस्करण क्लॉक अंततः सुसंगत स्टोर, सहयोगात्मक संपादन और प्रतिकृति कुंजी-मान प्रणालियों में कार्य-कारण सुसंगतता और संघर्ष का पता लगाने के लिए मानक तंत्र हैं, जहाँ दो अपडेट के बीच संघर्ष का निर्धारण सही समाधान के लिए आवश्यक है।

History

लैम्पर्ट के तार्किक समय पर आधारित, फिडेज और मैटर्न ने स्वतंत्र रूप से 1988-1989 में वेक्टर क्लॉक प्रस्तुत कीं; निकट संबंधी संस्करण वेक्टर पहले ही 1983 में प्रतिकृतियों के बीच असंगति का पता लगाने के लिए दिखाई दिए थे, और ये संरचनाएँ आधुनिक प्रतिकृति-डेटा प्रणालियों के लिए केंद्रीय बनी हुई हैं।

Debates

सटीक कार्य-कारण संबंध ट्रैकिंग की स्थान लागत

वेक्टर क्लॉक को प्रति प्रक्रिया एक प्रविष्टि की आवश्यकता होती है, जो कई या बदलते प्रतिभागियों वाले सिस्टम में खराब रूप से स्केल करती है; इसने संपीड़न, प्रूनिंग और अनुमानित विकल्पों में अनुसंधान को बढ़ावा दिया है जो सघनता के लिए सटीकता का व्यापार करते हैं।

Key figures

• Colin Fidge
• Friedemann Mattern
• Leslie Lamport

Seminal works

• fidge1988
• mattern1989
• parker1983

Frequently asked questions

वेक्टर क्लॉक लैम्पर्ट क्लॉक में कैसे सुधार करती हैं?

लैम्पर्ट क्लॉक केवल यह गारंटी देती हैं कि टाइमस्टैम्प क्रम कार्य-कारण संबंध के अनुरूप है, इसलिए वे यह नहीं बता सकतीं कि दो घटनाएँ समवर्ती हैं या नहीं। वेक्टर क्लॉक तुलना को सटीक बनाती हैं: आप सीधे पढ़ सकते हैं कि एक घटना दूसरे से पहले हुई या वे समवर्ती हैं।