पृष्ठभूमि: लेनदेन प्रसंस्करण डेटाबेस सिद्धांत में एक पारंपरिक शोध विषय रहा है। आजकल वितरित लेनदेन को बड़े पैमाने पर वितरित भंडारण प्रणालियों द्वारा लोकप्रिय किया जाता है जिसमें आम तौर पर डेटा विभाजन (जिसे शार्डिंग भी कहा जाता है) और डेटा प्रतिकृति शामिल होता है ।
वितरित लेनदेन में प्रमुख शोध मुद्दे क्या हैं?
क्या ऐसे प्रसिद्ध सिद्धांत और समाधान हैं जिनकी (सैद्धांतिक) सुधार की आवश्यकता है?
किसी भी संदर्भ की सराहना की है।
जवाबों:
वितरित डेटाबेस के सिद्धांत और व्यवहार दोनों में कई शोध क्षेत्र हैं।
मुख्य व्यावहारिक चुनौतियों में से एक वितरित और भू-प्रतिकृति डेटाबेस के लिए कुशल संगामिति नियंत्रण तंत्र को लागू करना है। लेनदेन को कुशलतापूर्वक निष्पादित करने के लिए, ऐसे तंत्र क्रमबद्धता की तुलना में कमजोर गारंटी प्रदान कर सकते हैं, जिसके लिए आवश्यक है कि लेनदेन क्रमिक रूप से निष्पादित किए जाएं। अनुक्रमिकता का एक विकल्प स्नैपशॉट अलगाव [1] के लिए बसना है, लेकिन यह भू-प्रतिकृति और वितरित प्रणालियों के लिए खराब पैमाने पर साबित हुआ है। कला की वर्तमान स्थिति में, स्नैपशॉट अलगाव (एसआई) के दो अलग-अलग प्रकारों को भू-प्रतिकृति प्रणालियों में संगामिति नियंत्रण से निपटने के लिए परिभाषित किया गया है: समानांतर स्नैपशॉट अलगाव (पीएसआई) [2], और गैर अखंड स्नैपशॉट अलगाव (एनएमएसआई) [ 3,4]। क्या यह वितरित डेटाबेस के लिए चिंता का विषय के रूप में (यानी जहां डेटा विभिन्न साइटों के बीच तेज कर रहे हैं),
अलग-अलग स्तरों की अलग-अलग धारणाएँ हैं जो क्रमबद्धता की तुलना में कमजोर गारंटी प्रदान करती हैं, एक और महत्वपूर्ण सवाल यह है कि प्रोग्राम को एक तरह से लिखना ताकि निष्पादन अभी भी क्रमिक दिखाई दे। स्नैपशॉट अलगाव के लिए एक ध्वनि मानदंड [1] में तैयार किया गया है। मेरे समूह के कुछ लोग वर्तमान में PSI के लिए एक उचित मानदंड तैयार करने पर काम कर रहे हैं।
एक और प्रासंगिक प्रश्न, दोनों सैद्धांतिक और व्यावहारिक दृष्टिकोण से, लेनदेन की काट है। मूल रूप से काट एक स्थिर विश्लेषण तकनीक है जिसमें मोटे अनाज के लेन-देन को छोटे, ठीक अनाज लेनदेन में तोड़ दिया जाता है। क्रमिकता के लिए, इस प्रश्न को [6] में निपटाया गया है, और परिणामी सिद्धांत को [7] में व्यावहारिक कार्यान्वयन देने के लिए लागू किया गया है।
वितरित डेटाबेस की सैद्धांतिक नींव के दृष्टिकोण से, कमजोर मेमोरी मॉडल समुदाय [8] से औपचारिक रूप से लेनदेन के व्यवहार को परिभाषित करने के लिए तकनीकों का उपयोग करने का कुछ प्रस्ताव आया है। [९] में लेखक लेन-देन के लिए व्यवहार की एक औपचारिक धारणा देते हैं; समान दृष्टिकोण का उपयोग प्रतिकृति डेटा प्रकारों के व्यवहार को निर्दिष्ट करने के लिए [10] में किया गया है।
हाल ही में, मैं और मेरे कुछ सहयोगियों (एलेक्सी गॉट्समैन और हांगसेक यांग) का निर्माण, [8,9,10] में विकसित तकनीकों से शुरू हुआ, जो भू-प्रतिकृति डेटाबेस के लिए स्थिरता स्तरों के अवलोकन व्यवहार को निर्दिष्ट करने के लिए एक सैद्धांतिक ढांचा है। हमने सफलतापूर्वक एसआई, पीएसआई और एनएमएसआई के एक स्वयंसिद्धता देने के लिए फ्रेमवर्क को नियोजित किया, जिनमें से प्रत्येक हमने एक साधारण कार्यान्वयन के संबंध में सही साबित किया है। हमने पीएसआई के लिए एक कसौटी मानदंड तैयार करने के लिए परिणामी सिद्धांत का भी फायदा उठाया। ये परिणाम उम्मीद के मुताबिक भविष्य में प्रकाशित होंगे।
अन्य प्रश्न होने पर कृपया मुझे लिखने में संकोच न करें। उम्मीद है की यह मदद करेगा,
एंड्रिया सेरोन।
संदर्भ:
[१] फेकिट एट अल, मेकिंग स्नैपशॉट अलगाव सीरियल (२००५)
[२] सोवरन एट अल, भू-प्रतिकृति प्रणालियों के लिए लेन-देन का भंडारण (२०११)
[३] आर्कडानी एट अल, नॉन-मोनोटोनिक स्नैपशॉट अलगाव: भू-प्रतिकृति ट्रांसेक्शनल सिस्टम (२०१३) के लिए मापनीय और मजबूत स्थिरता
[४] आर्कडानी एट अल, ऑन स्केलेबिलिटी ऑफ़ स्नैपशॉट अलगाव (२०१३)
[५] बिनीग एट अल, वितरित स्नैपशॉट अलगाव: वैश्विक लेनदेन वैश्विक स्तर पर भुगतान करते हैं, स्थानीय लेनदेन स्थानीय स्तर पर भुगतान करते हैं
[६] शाशा एट अल, ट्रांजेक्शन चॉपिंग: एल्गोरिदम और प्रदर्शन अध्ययन (१ ९९ ५)
[[] झांग एट अल, लेन-देन श्रृंखला: भू-वितरित भंडारण प्रणालियों (२०१३) में कम विलंबता के साथ क्रमबद्धता प्राप्त करना
[Ave] अल्गलेव, कमजोर स्मृति मॉडल का एक औपचारिक पदानुक्रम (२०१२)
[९] बकहार्ट एट अल, अंडरस्टैंडिंग इवेन्टुअल कंसिस्टेंसी (२०१३)
[१०] बकहार्ट एट अल, प्रतिकृति डेटा प्रकार: विशिष्टता, सत्यापन, इष्टतम (२०१४)