சி.ஏ.பி தேற்றம்

4.1 ப்ரூவேரா பற்றிய நிலைத்தன்மை

தொடங்குவதற்கு, எரிக் ப்ரூவர் ஒரு தரவுத்தள நிபுணராக இல்லை, மேலும் அவர் என்றும் கூறப்படவில்லை. அவர் விநியோகிக்கப்பட்ட அமைப்புகளின் சமூகத்தைச் சேர்ந்தவர், மேலும் CAP "தேற்றம்" தோன்றிய அவரது பிரபலமான பேச்சு, "விநியோகிக்கப்பட்ட கணினியின் கோட்பாடுகள்" மாநாட்டில் வழங்கப்பட்டது. (அதன் மூலம், பத்து ஆண்டுகளுக்குப் பிறகு, 2010 இல், அவர் மீண்டும் அதே மாநாட்டில் அழைக்கப்பட்ட உரையை வழங்கினார், மேலும் இந்த உரையில், குறிப்பாக, விநியோகிக்கப்பட்ட அமைப்புகளின் பல எடுத்துக்காட்டுகளை வழங்கினார், அதன் வளர்ச்சி கணக்கில் எடுத்துக்கொள்ளப்பட்டது " CAP இன் தேற்றம்.) இந்த பகுதியில் தரவுத்தளத் துறையில் பயன்படுத்தப்படும் சொற்களுக்கு அதன் சொந்த விளக்கம் உள்ளது.

குறிப்பாக, "உடனடி நிலைத்தன்மை" என்ற வார்த்தையின் அர்த்தம், சில தரவு புதுப்பிப்பு செயல்பாட்டை வெற்றிகரமாக முடிப்பது குறித்து கணினியிலிருந்து பயனர் அறிவிப்பைப் பெற்ற பிறகு, இந்த செயல்பாட்டின் முடிவு அனைத்து பார்வையாளர்களுக்கும் உடனடியாகத் தெரியும்.

இறுதி நிலைத்தன்மை என்பது, புதிய தரவு புதுப்பிப்பு செயல்பாடுகள் போதுமான நீண்ட காலத்திற்கு கணினியில் நுழையவில்லை என்றால், முந்தைய அனைத்து தரவு புதுப்பிப்பு செயல்பாடுகளின் முடிவுகள் இறுதியில் கணினியின் அனைத்து முனைகளிலும் பரவும் என்று எதிர்பார்க்கலாம், மேலும் அனைத்து பிரதி தரவுகளும் நிலையானது (வெளிப்படையாக, இது "அனைத்து பிரதிகளும் ஒரே நிலையைக் கொண்டிருக்கும்" என்று புரிந்து கொள்ள வேண்டும்.

இந்த நிலைத்தன்மையை மனதில் கொண்டு, ப்ரூவரின் "தேற்றம்" மிகவும் புரிந்துகொள்ளக்கூடியதாகவும் வெளிப்படையானதாகவும் கருதப்படலாம்: பகிரப்பட்ட தரவுகளைக் கொண்ட எந்த விநியோகிக்கப்பட்ட அமைப்பிலும், பிணையத்தின் நிலைத்தன்மை, கிடைக்கும் தன்மை மற்றும் பகிர்வு சகிப்புத்தன்மை ஆகிய இரண்டு பண்புகளை மட்டுமே ஒரே நேரத்தில் உறுதிப்படுத்த முடியும். இது சம்பந்தமாக, ப்ரூவர் தனது முன்மொழியப்பட்ட அடிப்படை பண்புகள் (அடிப்படையில் கிடைக்கும், மென்மையான நிலை, இறுதி நிலைத்தன்மை - பெரும்பாலான சந்தர்ப்பங்களில் கிடைக்கும்; நிலையற்ற நிலை; இறுதி நிலைத்தன்மை) ஆகியவற்றுடன் ACID பண்புகளின் தொகுப்பையும் வேறுபடுத்துகிறார் . ஆனால் இந்த எதிர்ப்பு, என் கருத்துப்படி, நியாயமற்றது, முதல் வழக்கில் நாம் பரிவர்த்தனைகளின் தர்க்கரீதியான பண்புகளைப் பற்றி பேசுகிறோம், இரண்டாவதாக - விநியோகிக்கப்பட்ட அமைப்புகளின் இயற்பியல் பண்புகள் பற்றி.

4.2 "தேற்றத்தின்" ஆதாரம்

ப்ரூவரின் "தேற்றம்" முறையாக நிரூபிக்கப்பட்டதாக பலர் நம்புகிறார்கள். உண்மையில், சேத் கில்பர்ட் மற்றும் நான்சி லிஞ்ச் எழுதிய கட்டுரை சில (கிட்டத்தட்ட) முறையான வரையறைகளை அறிமுகப்படுத்துகிறது, அந்த சூழலில் "தேற்றம்" உண்மையில் ஒரு தேற்றமாக மாறி நிரூபிக்கப்படுகிறது. இருப்பினும், விநியோகிக்கப்பட்ட அமைப்பின் அந்த மூன்று பண்புகள் எவ்வாறு தீர்மானிக்கப்படுகின்றன என்பதைப் பார்ப்போம், இதில், ப்ரூவரின் "தேற்றம்" படி, ஒரே நேரத்தில் இரண்டு பண்புகளை மட்டுமே ஆதரிக்க முடியும்.

நிலைத்தன்மை என்பது அணு, அல்லது நேர்கோட்டு நிலைத்தன்மை (அணு, அல்லது நேர்கோட்டு நிலைத்தன்மை) என அழைக்கப்படுகிறது, இது அமைப்பின் ஒரு சொத்து, இதில் உள்ள அனைத்து தனிப்பட்ட தரவு பொருள்களும் அணு (நேரியல் செய்யக்கூடியவை) ஆகும். இதையொட்டி, ஒரு அணு பொருள் என்பது பல செயல்பாடுகளைக் கொண்ட ஒரு பொருளாகும், அதாவது செயல்பாட்டின் அழைப்பு மற்றும் மறுமொழி தரவின் பெறுதல் ஆகியவை உடனடியாக நிகழும், அதாவது. முந்தைய செயல்பாடு முழுமையாக முடியும் வரை, அடுத்த செயல்பாட்டின் அழைப்பை பொருள் ஏற்காது. செயல்பாடுகள் பெறப்படும் வரிசையானது, சில எழுதும் வகைச் செயல்பாட்டிற்குப் பிறகு ஒரு வாசிப்பு-வகைச் செயல்பாடு வந்தால், வாசிப்புச் செயல்பாடு இந்த அல்லது அதற்குப் பிறகான எழுதும் செயல்பாட்டின் மூலம் எழுதப்பட்ட மதிப்பை வழங்க வேண்டும்.

தோல்வியடையாத முனையால் பெறப்பட்ட ஒவ்வொரு கோரிக்கைக்கும் பதிலளிக்கப்பட வேண்டும் என்றால், விநியோகிக்கப்பட்ட அமைப்பு எப்போதும் கிடைக்கும். நெட்வொர்க் பகிர்வுக்கு கணினியின் பின்னடைவு, ஒரு முனையிலிருந்து மற்றொன்றுக்கு அனுப்பப்படும் தன்னிச்சையான எண்ணிக்கையிலான செய்திகளை இழந்தால், கணினியின் நம்பகத்தன்மையைப் பாதுகாப்பதாக வடிவமைக்கப்பட்டுள்ளது.

இந்த வரையறைகளின் அடிப்படையில், ஹில்பர்ட் மற்றும் லிஞ்ச் பின்வரும் தேற்றத்தை உருவாக்குகின்றனர் (ஒத்திசைவற்ற நெட்வொர்க் மாதிரியில் கடிகாரம் இல்லை, மேலும் பெறப்பட்ட செய்திகள் மற்றும் உள்ளூர் கணக்கீடுகளின் அடிப்படையில் மட்டுமே கணுக்கள் முடிவுகளை எடுக்க வேண்டும்):

ஒத்திசைவற்ற பிணைய மாதிரியில், அனைத்து செல்லுபடியாகும் செயல்பாட்டிற்கும் (செய்திகளை இழப்பது உட்பட) கிடைக்கும் தன்மை மற்றும் அணு நிலைத்தன்மை பண்புகளுக்கு உத்தரவாதம் அளிக்கும் படிக்க/எழுத தரவுப் பொருளைச் செயல்படுத்த முடியாது.

இந்த தேற்றம் உண்மையில் "முரண்பாட்டின் மூலம்" முறையால் முறையாக நிரூபிக்கப்பட்டுள்ளது. கட்டுரையின் முடிவில் பின்வருமாறு:

ஒரு ஒத்திசைவற்ற பிணைய மாதிரியில், அனைத்து செல்லுபடியாகும் செயல்பாட்டிற்கான அணுகல்தன்மை பண்புகளையும், செய்திகளை இழக்காத செல்லுபடியாகும் செயல்பாட்டிற்கான அணு நிலைத்தன்மையையும் உறுதிப்படுத்தும் படிக்க/எழுத தரவு பொருளை செயல்படுத்த முடியாது.

கூடுதலாக, பிரதான தேற்றத்தின் உண்மை ஒரு பகுதி ஒத்திசைவான பிணைய மாதிரிக்கு நிரூபிக்கப்பட்டுள்ளது, இதில் ஒவ்வொரு முனைக்கும் ஒரு கடிகாரம் உள்ளது, இதன் மூலம் காட்டப்படும் நேரம் அதே விகிதத்தில் அதிகரிக்கிறது, ஆனால் அவை ஒத்திசைக்கப்படவில்லை, அதாவது. ஒரே உண்மையான தருணத்தில் வெவ்வேறு நேரங்களைக் காட்ட முடியும். இந்த வழக்கில் இதேபோன்ற விளைவு பெறப்படவில்லை என்று காட்டப்பட்டுள்ளது, எனவே, ஓரளவு ஒத்திசைவான நெட்வொர்க்குகளுக்கு "நல்ல" பண்புகளுடன் விநியோகிக்கப்பட்ட அமைப்புகளை ஒழுங்கமைக்க அதிக வாய்ப்புகள் உள்ளன.

ஆம், ஒரு பொருளில் (ப்ரூவரின் நோக்கத்தைப் போலவே அவசியமில்லை) கில்பர்ட் மற்றும் லிஞ்ச் ஒரு விநியோகிக்கப்பட்ட அமைப்பில் ஒரு நெட்வொர்க்கின் அணு நிலைத்தன்மை, கிடைக்கும் தன்மை மற்றும் பகிர்வு சகிப்புத்தன்மை ஆகியவற்றின் பண்புகளை ஒரே நேரத்தில் உறுதி செய்ய இயலாது என்பதை நிரூபித்ததாகக் கருதலாம். ஆனால் பொதுவாக தரவுத்தள பரிவர்த்தனைகளுக்கும் குறிப்பாக ACID பரிவர்த்தனைகளுக்கும் இதற்கும் என்ன சம்பந்தம்?

4.3 ACID பரிவர்த்தனைகள்

CAP இன் "தேற்றம்" பற்றிய தனது குறிப்பில் ஜூலியன் பிரவுன் இதைப் பற்றி எழுதுகிறார்:

அவர்களின் ஆதாரத்தில், ஹில்பர்ட் மற்றும் லிஞ்ச் நிலைத்தன்மைக்கு பதிலாக அணுசக்தி என்ற வார்த்தையைப் பயன்படுத்துகின்றனர், இது தொழில்நுட்பக் கண்ணோட்டத்தில் மிகவும் அர்த்தமுள்ளதாக இருக்கிறது, ஏனெனில், கண்டிப்பாகச் சொன்னால், ACID என்ற பொருளில் நிலைத்தன்மை என்பது தரவுத்தள பரிவர்த்தனைகளின் சிறந்த பண்புகளைக் குறிக்கிறது மற்றும் எந்தத் தரவும் இல்லை என்பதைக் குறிக்கிறது. அவர்கள் சில முன் நிறுவப்பட்ட கட்டுப்பாடுகளை மீறினால் விடாப்பிடியாக மாறுங்கள். ஆனால் விநியோகிக்கப்பட்ட அமைப்புகளின் முன்பே நிறுவப்பட்ட வரம்பு ஒரே தரவு உறுப்புக்கு பல்வேறு மதிப்புகள் இருப்பதைத் தடை செய்வதாகும் என்று நாங்கள் கருதினால், என் கருத்துப்படி, நிலைத்தன்மையின் சுருக்கத்தில் இந்த குறைபாட்டைக் கருத்தில் கொள்ளலாம். முக்கியமற்றது (கூடுதலாக, ப்ரூவர் அணுசக்தி என்ற வார்த்தையைப் பயன்படுத்தினால், AAP தேற்றம் தோன்றும், அதன் பெயர் உச்சரிக்க மிகவும் சிரமமாக இருக்கும்).

இது மிகவும் தீவிரமாக அல்ல, நேர்மையாக எழுதப்பட்டுள்ளது. மேலும், உண்மையில், அணு நிலைத்தன்மையின் தேவை ACID என்ற பொருளில் பரிவர்த்தனை நிலைத்தன்மையின் தேவைகளுடன் கலக்கப்படக்கூடாது. தரவுத்தள ஒருமைப்பாடு கட்டுப்பாடுகள் தர்க்கரீதியானவை, நீங்கள் விரும்பினால், வணிகத் தேவைகள். அவை பயன்பாட்டு டொமைன் தர்க்கத்திலிருந்து வந்தவை. அணு நிலைத்தன்மையின் தேவை மிகவும் வேறுபட்டது. இது தரவுத்தளத் துறையில் பாரம்பரியமாக உடல் நிலைத்தன்மை என குறிப்பிடப்படும் வகைக்குள் வரும் செயலாக்கத் தேவையாகும் (உதாரணமாக, ஏதேனும் குறியீட்டு மாற்ற செயல்பாட்டைச் செய்யும்போது, ​​தொடர்புடைய B+ மரத்தின் அனைத்து தொகுதிகளும் சரியான மதிப்புகளைக் கொண்டிருக்க வேண்டும் மற்றும் சரியான குறிப்புகளால் இணைக்கப்பட வேண்டும். )

தரவுத்தள சமூகத்தின் பிரதிநிதிகள் டேனியல் அபாடி மற்றும் அலெக்சாண்டர் தாம்சன் ஆகியோர் தங்கள் குறிப்பில் மிகவும் தீவிரமாக எழுதுவது இங்கே:

... அளவிடக்கூடிய பரிவர்த்தனை அமைப்புகள் கிடைப்பதற்கான தேவை பெருகிய முறையில் முக்கியமானதாகி வருகிறது, மேலும் இது பொதுவாக ஒரு முனையில் தோல்வியுற்றால் கோரிக்கைகளை நகலெடுப்பதன் மூலமும் தானாகவே திருப்பிவிடுவதன் மூலமும் பூர்த்தி செய்யப்படுகிறது. எனவே, ACID அமைப்புகளின் நிலைத்தன்மை உத்தரவாதங்கள் (முதலில் பயனர் வரையறுக்கப்பட்ட மாறுபாடுகளுக்கான உள்ளூர் ஆதரவைக் கொண்டது) வலுவான நிலைத்தன்மையை உறுதிப்படுத்த நீட்டிக்கப்படும் என்று பயன்பாட்டு உருவாக்குநர்கள் எதிர்பார்க்கிறார்கள் (எந்த நேரத்திலும் ஒரே தரவின் அனைத்து பிரதிகளும் ஒரே மாதிரியான நகல்களாக இருக்கும், அதாவது. இந்த வழக்கு நிலைத்தன்மை என்பது CAP/PACELC என்ற பொருளில் குறிக்கப்படுகிறது.

வேறு வார்த்தைகளில் கூறுவதானால், ப்ரூவர் நிலைத்தன்மைக்கு ACID என்ற பொருளில் நிலைத்தன்மையுடன் எந்த தொடர்பும் இல்லை, ஆனால் தரவு நகலெடுப்பின் மூலம் அதிக கிடைக்கும் தன்மையை வழங்குவதில் கவனம் செலுத்தும் அமைப்புகளில் இது வலுவான பிரதி நிலைத்தன்மையை பராமரிப்பது விரும்பத்தக்கது. இது ஒரு ACID பண்பு அல்ல, ஆனால் பயன்பாட்டு மேம்பாட்டை எளிதாக்கும் பாரிய இணையான DBMS இன் தொழில்நுட்ப (உடல்) அம்சமாகும்.

மைக்கேல் ஸ்டோன்பிரேக்கரின் கூற்றுப்படி, உயர்தர நவீன DBMS ஐ உருவாக்குவதற்கான திறவுகோல் தொழில்நுட்ப சமரசங்களின் சரியான தேர்வாகும். ஒரு குறிப்பிட்ட பொறியியல் தீர்வைத் தேர்ந்தெடுக்கும்போது, ​​பல காரணிகள் கணக்கில் எடுத்துக்கொள்ளப்பட வேண்டும் - எதிர்கால பயனர்களின் தேவைகள், பல்வேறு தோல்வி சூழ்நிலைகளின் சாத்தியக்கூறு போன்றவை.

ஸ்டோன்பிரேக்கர் பரிவர்த்தனைக்கு இணையான தரவுத்தள அமைப்புகளின் துறையில், அதிக கிடைக்கும் தன்மை மற்றும் நெட்வொர்க் பகிர்வு சகிப்புத்தன்மைக்கு ஆதரவாக ப்ரூவரின் நிலைத்தன்மையை கைவிடுவது ஒரு மோசமான வர்த்தகம், ஏனெனில் (அ) பிரதி நிலைத்தன்மை அமைப்பின் மிகவும் பயனுள்ள அம்சமாகும்; (ஆ) பரிவர்த்தனை பாரிய அளவில் இணையான DBMS க்கு அதிக எண்ணிக்கையிலான முனைகளைக் கொண்ட க்ளஸ்டர்கள் தேவையில்லை, எனவே நெட்வொர்க் பிளவு சூழ்நிலைகள் சாத்தியமில்லை; (c) கணினி எளிதில் கிடைக்காமல் போகலாம், பிணையப் பகிர்வின் காரணமாக அல்ல, எடுத்துக்காட்டாக, தொடர்ந்து நிகழும் மென்பொருள் பிழைகள் இருப்பதால்.

எனவே, ப்ரூவரின் "தேற்றத்தை" அடிக்கடி குறிப்பிடும் NoSQL முகாமின் (NoACID ஐப் படிக்கவும்) பிரதிநிதிகளின் உயர் செயல்பாடு, ACID பரிவர்த்தனைகளை ஆதரிக்கும் பாரிய இணையான பரிவர்த்தனை DBMS ஐ உருவாக்குவதற்கான தத்துவார்த்த இயலாமையுடன் இணைக்கப்படவில்லை, ஆனால் எளிமைப்படுத்தப்பட்ட அமைப்புகள் அவை ACID பரிவர்த்தனைகளை மட்டும் ஆதரிக்காது, ஆனால் பிரதி நிலைத்தன்மையும் எளிதாகவும் வேகமாகவும் உருவாக்கப்படுகின்றன. அவற்றின் எளிமையான அமைப்பு காரணமாக, அவை மிக வேகமாக தரவு செயலாக்கத்தில் உள்ளன, மேலும் சில பயன்பாடுகளுக்கு தரவுத்தள தொழில்நுட்பத்தில் உள்ள அனைத்து வசதிகளையும் விட இது மிகவும் முக்கியமானது.

இந்த சவாலுக்கு தரவுத்தள சமூகம் எவ்வாறு பதிலளிக்கிறது என்பதைப் பார்ப்போம்.