Middle
CAP teoremi nədir?
sobes.tech Süni İntellekt
AI-dan cavab
CAP teoreması (eyni zamanda Brewer teoreması kimi də tanınır), paylanmış hesablama sistemində eyni zamanda aşağıdakıların təmin olunmasının mümkün olmadığını göstərir:
- Uyğunluq (Consistency): Bütün düyünlər eyni məlumatları eyni zamanda görür. Hər hansı oxuma əməliyyatı ən son yazılmış məlumatları əldə edir.
- Əlçatanlıq (Availability): Hər sorğu boş olmayan cavab alır, digər düyünlərin vəziyyətindən asılı olmayaraq. Sistem həmişə oxuma və yazma əməliyyatları üçün əlçatandır.
- Şəbəkə bölünməsinə davamlılıq (Partition Tolerance): Düyünlər arasında əlaqə itirilsə belə, sistem işləməyə davam edir (şəbəkə bölünmələri).
Şəbəkə bölünməsi ($P$) şəraitində, sistem uyğunluq ($C$) və əlçatanlıq ($A$) arasında seçim etməlidir.
- CA sistemi: Şəbəkə bölünməsinin olmadığı fərz edilir. Əgər baş verərsə, sistem ya əlçatmaz olur, ya da uyğunsuz. Nümunələr: lokal şəbəkədə sinxron replikasiya ilə klassik əlaqəli verilənlər bazaları.
- CP sistemi: Şəbəkə bölünməsi zamanı uyğunluğu qorumaq üçün əlçatanlıqdan imtina edir. Əgər düyün çoxluq ilə əlaqə qura bilməzsə, cavab verməyi dayandırır ki, məlumatların uyğunluğunu təmin etsin. Nümunələr: Zookeeper, etcd, Paxos və ya Raft kimi konsensus protokollarını istifadə edən paylanmış sistemlər.
- AP sistemi: Şəbəkə bölünməsi zamanı uyğunluğu imtina edir, əlçatanlığı üstün tutur. Sistem hələ də sorğulara cavab verir, lakin köhnəlmiş və ya münaqişəli məlumatlar təqdim edə bilər. Sonradan uyğunluq (eventual consistency) təmin edilir. Nümunələr: DynamoDB, Cassandra, MongoDB (bəzən konfiqurasiyalarda standartdır).
CAP teoreması paylanmış məlumat saxlama sistemlərinə aiddir. Real sistemlərdə, çox vaxt kompromislər etmək və tətbiqin xüsusi tələblərinə ən uyğun modeli seçmək lazımdır.