नहीं, मुझे नहीं लगता है कि आपके वजीफे का नतीजा एक ऐसी प्रणाली के रूप में है जिसे हमें क्रमबद्धता पर विचार करना चाहिए।
स्नैपशॉट अलगाव एक ऐसी तकनीक है जो सुनिश्चित करती है कि एक लेनदेन पूरे लेनदेन में एक ही डेटासेट देखता है। स्नैपशॉट अलगाव कुछ गारंटी प्रदान करता है, लेकिन यह समझने के लिए कि लेनदेन वास्तव में कैसे काम करते हैं, यह समझने के लिए आवश्यक सभी विशेषताओं को परिभाषित नहीं करता है (जब तक कि हम स्नैपशॉट अलगाव और MVCC को चुनना नहीं चाहते हैं)।
स्नैपचैट अलगाव को आमतौर पर MVCC, मल्टी वर्जन कंसिस्टेंसी कंट्रोल का उपयोग करके लागू किया जाता है। MVCC अपने स्नैपशॉट के संदर्भ में लेन-देन के अधिक विवरण को परिभाषित करता है: यह कहता है कि उन्हें केवल अलगाव की आवश्यकता होती है जब संघर्ष लिखते हैं (केवल स्थान, या कार्यान्वयन के आधार पर स्थान + मान)। MVCC एक सुसंगत स्थिरता मॉडल प्रदान करता है, और लेखन तिरछा से ग्रस्त है।
आराम से सुसंगत मॉडल को समझना मुश्किल है क्योंकि वे बिना किसी अलगाव और पूर्ण अलगाव के बीच एक संकर की तरह हैं।
तो, पहले एक सख्त संगामिति मॉडल के साथ शुरू करें। दो लेन-देन को एक-दूसरे से अलग किया जाना चाहिए यदि कोई किसी भी डेटा को लिखता है जो दूसरे को या तो पढ़ता है या लिखता है (और इसके विपरीत ...)।
जब हमें पता नहीं होता है कि कोई लेन-देन डेटा क्यों पढ़ता है, तो हमें यह मान लेना चाहिए कि पढ़ा गया एक अलग मूल्य क्लाइंट के व्यवहार को बदल सकता है, यही वजह है कि ओवरलैपिंग लेनदेन की स्थिति अलगाव को इंगित करती है। अलगाव के बिना, स्नैपशॉट में बासी डेटा का एक पाठ आसानी से आराम की स्थिरता को प्रदर्शित कर सकता है, जिसके लिए एक और शब्द असंगतता है, जो कहना है, त्रुटि।
हमें केवल लेनदेन द्वारा पढ़े या लिखे गए सटीक आंकड़ों पर विचार करने की आवश्यकता है, उस सेट के बाहर के किसी भी डेटा पर विचार नहीं किया जाना चाहिए। हालांकि, यह महसूस करना महत्वपूर्ण है कि जब हम किसी लेनदेन द्वारा पढ़े जाने वाले डेटा के बारे में बात कर रहे हैं, तो हमें आवश्यक रूप से कोई भी और सभी "मेटा" डेटा (और डेटा और मेटाडेटा जैसे मेटा ऑपरेशंस जैसे बाधाओं की जाँच) द्वारा पढ़ा जाना चाहिए। मेटा डेटा के उदाहरण हैं / मेटा ऑपरेशन हैं: एक अद्वितीय नई प्राथमिक कुंजी की पहचान; एक और पूरे स्तंभ का योग है; एक और चीज खोजना है और उसे नहीं पाना है; रेंज खोज या रकम। यह डुप्लिकेट को रोकने के बारे में @ मैथ्यू की टिप्पणी के साथ-साथ @Tersosauros के उत्तर पर जाता है, जिसमें वह राज्य मानता है।
उदाहरण के लिए, इसका मतलब है कि दो लेनदेन ओवरलैप (अलगाव की आवश्यकता होती है) जब वे दोनों एक पंक्ति डालते हैं (एक अद्वितीय प्राथमिक कुंजी बाधा मानते हैं) क्योंकि मुख्य बाधा की जांच करना पूरे प्राथमिक कुंजी स्तंभ को पढ़ने का पर्याय है। एक अन्य उदाहरण के रूप में, किसी चीज़ को खोजना और उसे पढ़ना उस मूल्य को पढ़ने जैसा है, हालाँकि, उसे नहीं खोजना स्तंभ के प्रत्येक मूल्य को देखने जैसा है।
MVCC केवल ओवरलैपिंग या विरोधाभासी लेखन के खिलाफ सुरक्षा करता है, लेकिन रीड्स के खिलाफ गार्ड नहीं करता है (जब तक कि उस लेनदेन द्वारा लिखा भी नहीं जाता है)। इस प्रकार, MVCC में एक निरंतरता त्रुटि प्राप्त करने के लिए, हमें बस इतना करना चाहिए कि किसी अन्य लेन-देन द्वारा परिवर्तित किया गया कुछ पढ़ा जाए (जहां दूसरा लेनदेन पूर्व स्नैपशॉट प्राप्त करने के बाद होता है, लेकिन पहले करता है), जबकि दूसरा लेनदेन बासी डेटा का उपयोग करना जारी रखता है और किसी भी निर्णय को उस बासी डेटा के आधार पर अलग-अलग किया जाता है, जिसकी तुलना में उसने अप-टू-डेट डेटा किया होता है। जितना आप सोचेंगे, उससे ज्यादा आसान है।
आराम से संगति संभावित असंगत, या त्रुटि प्रवण कहने का एक और तरीका है। (रिलैक्स्ड कंसिस्टेंसी को अंततः सुसंगतता के साथ भ्रमित नहीं किया जाना चाहिए, जो "NoSQL" से उत्पन्न त्रुटि का एक और अलग लोकप्रिय रूप है।)
आपके प्रश्न पर, जब आप कहते हैं कि लेनदेन को एक से अधिक ऑब्जेक्ट की आवश्यकता नहीं है, तो यह रीडिंग और राइट्स और मेटाडेटा (और मेटा ऑपरेशंस) दोनों पर लागू होना चाहिए, जिसमें संगति जाँच, संपूर्ण स्तंभ समुच्चय, अनुपस्थिति जाँच, श्रेणी खोजें, आदि शामिल हैं। ।: यदि ऐसा है, तो अब तक बहुत अच्छा है।
तथापि...
मैं इसे आपके प्रश्न से लेता हूं कि आप व्यक्तिगत वस्तुओं पर स्नैपशॉट अलगाव (MVCC) का उपयोग कर रहे हैं (ऑब्जेक्ट लॉकिंग के बजाय कहते हैं)। (आप कैस का भी उल्लेख करते हैं। मैंने तुलना-और-स्वैप, और, परीक्षण-और-सेट के बारे में सुना है, लेकिन चेक-एंड-सेट नहीं, हालांकि मुझे लगता है कि यह समान है)।
आपका प्रश्न लिखने से मुझे पता चलता है कि "ऑब्जेक्ट" में एक से अधिक फ़ील्ड हैं, अन्यथा प्रश्न की वसीयत अनावश्यक होगी।
इसलिए, क्योंकि आपकी स्नैपशॉट / एमवीसीसी-संभाला वस्तुओं में एक क्षेत्र अधिक है, आप एकल वस्तुओं के भीतर तिरछा लिखने के लिए प्रवण हैं। यदि दो लेन-देन एक ही समय में एक ही ऑब्जेक्ट को अपडेट करते हैं, तो एक ही ऑब्जेक्ट पर एक समवर्ती अन्य लेनदेन द्वारा बासी किए गए ऑब्जेक्ट के मूल्य के एक क्षेत्र को पढ़ा जा सकता है, और इस प्रकार, संभावित असंगतता (उर्फ त्रुटि) को जानने के बिना जारी रखें।
आप इसके बजाय ऑब्जेक्ट लॉकिंग का उपयोग कर सकते हैं, जो दो लेन-देन (अपडेट के लिए) को एक ही ऑब्जेक्ट को देखने से रोक देगा यदि कोई अन्य लेनदेन पहले से ही ऐसा करने की प्रक्रिया में था।
मेरा मानना है कि MVCC के टूटे हुए राइट-सेट केवल तुलना मॉडल का उपयोग किए बिना स्नैपशॉट अलगाव का एक वैकल्पिक रूप हो सकता है। तो, आप (एल्गोरिदमिक रूप से) केवल लिखने के सेट को शामिल करने के लिए लिखने से तुलना सेट को बढ़ावा दे सकते हैं। फिर एक ही वस्तु को अपडेट करने वाले दो लेन-देन को तिरछा लिखने में सक्षम नहीं होंगे (क्योंकि बाद में प्रयास करने वाले का गर्भपात हो जाएगा)। मुझे लगता है कि यह आपके द्वारा बताई गई समस्या का उचित समाधान हो सकता है, क्योंकि आप पहले से ही अधिकांश लाभ प्राप्त कर रहे हैं जो कि बहु-वस्तु लेनदेन को छोड़कर, MVCC हमें खरीदेगा।
(हमें केवल पढ़ने या लिखे जाने वाले सटीक और विशिष्ट आइटम / फ़ील्ड पर विचार करने की आवश्यकता है, लेकिन हमें मेटाडेटा के रूप में उन रीड को शामिल करना चाहिए, संभवतः मेटा स्की संचालन के दौरान राइट तिरछा (यानी त्रुटि) को रोकने के लिए। यदि हम या तो रीड सेट को तुलना सेट से हटा दें। , या हम मेटाडेटा पर विचार करने में विफल रहते हैं (संभावित रूप से मेटा ऑपरेशन द्वारा उपयोग किया जाता है), तो हमारे पास एक मॉडल है जो त्रुटि की अनुमति देगा।)