Ақша сомасы: 0
Өтінімдер саны: 1
10.12.25 (қоса алғанда)
ақшалай
MVP
Акт міндеттері
Медиасфера
IT
Мобильді қосымша
Бөлінген қоймаларға арналған CAP теоремасы мүмкін желілік бөлінулер жағдайында қатаң сәйкестікке де, толық қол жетімділікке де кепілдік беру мүмкін емес деп санайды. Түйіндер арасындағы байланыс үзілген жағдайда, Сіз мыналарды таңдауыңыз керек: консистенция үшін операцияларды бұғаттаңыз немесе уақытша сәйкессіздіктермен сұраныстарды қабылдауды жалғастырыңыз. Тапсырыс берушінің талабы екеуіне де жол бермейді, яғни дәлелденетін қол жетімділіктен асып түседі. Фишер-Линч-Патерсонның нәтижесі кем дегенде бір түйіннің істен шығуы мүмкін толық асинхронды жүйеде қауіпсіздік пен өміршеңдікке кепілдік беретін детерминирленген консенсус алгоритмі жоқ екенін көрсетеді. Басқаша айтқанда, қолайсыз хабарлама кестесінде алгоритм шешімге жетпей шексіз "тербелуі" мүмкін. Тапсырыс берушінің талабы іс жүзінде мүмкін емес нәрсені белгілейді: желінің барлық мүмкін сценарийлерінде кепілдендірілген және жылдам шешім қабылдауды қамтамасыз ету.
"Кез-келген желінің бұзылуы мен бөлінуі кезінде ғаламдық сақтау орны қатаң консистенциялы және әрдайым қол жетімді болып қалуы керек, сонымен бірге қатаң кідіріс шегіне жетуі керек" деген тапсырма теориялық тұрғыдан жалпы шешімге ие емес. Нақты жүйелер выбиратьаға келуге мәжбүр: қол жетімділіктің бір бөлігін құрбан ету, консистенция моделін әлсірету немесе жергілікті шешімдердің пайдасына жаһандық консенсустан бас тарту.
Сергеев И. А.
Тапсырманың (жобаның) мақсаты мен сипаттамасы
Тапсырыс беруші әртүрлі аймақтардағы пайдаланушылармен жаһандық қызмет көрсетеді. Инфрақұрылым - мобильді қосымшаларға сүйенетін бірнеше деректер орталықтары мен мәліметтер базасының кластері. Қатаң талап: кез келген жазба (мысалы, есептен шығару немесе маңызды мәртебені өзгерту) ≤50 мс **үшін әлемнің кез келген нүктесінен** расталуы керек: * деректер әрқашан қатаң түрде сәйкес келеді (дәйекті оқулар операциялардың бір жалпы тәртібін көреді); * жүйе әрқашан қол жетімді ("кейінірек көріңіз"түріндегі қателер жоқ); * жеке түйіннің істен шығуы немесе желіні бөлу тоқтауға әкелмеуі керек. Мұндай талаптар жиынтығы CAP теоремасының белгілі шектеулерімен және FLP нәтижелерімен тікелей кездеседі.