Malumot qushish

1.3. Taqsimlangan tizimda xatoliklarni bartaraf etish

Shunday qilib, bizning noan'anaviyligimiz ahvolimiz gilam ostida hamma narsani silamaydi, bu oddiy muammoni alohida-alohida hujum qilish mumkin bo'lgan ikki jihatdan ajratib turadi. Bajarish bayonnomasi ko'p jihatdan amalga oshirilishi mumkin. Eng ko'p standart ilovalar ikki va uch bosqichli protokollarni deb ataladi, ko'pincha 2PC va 3PC sifatida qisqartiriladi.

Keyin biz 2PC va 3PC ni ko'rib chiqamiz, ammo o'quvchi buni unutmasligi kerak Ba'zan "naqsh" ni bajarish, aslida ushbu spetsifikatsiyani ishlatmaydigan protokolda yashirin xabar almashish uslubi. Bunday protokolga duch kelganida, ehtimol, yuboradigan protocol Ikki marta jarayonning halqasi atrofida ikki barobar, faqat ikkinchi o'tishda xatti-harakatlarni amalga oshiradi - ko'pincha agar protokol "ko'proq" standartlardan foydalangan holda amalga oshirilsa 2PC yoki 3PC yondashuvi, keyin 2PC yoki 3PC bilan bog'liq bo'lishi mumkin bo'lgan ko'plab tushuncha ehtimol, ushbu protokolga ham amal qilish kerak. Darhaqiqat, agar o'xshash bo'lsa (o'xshashliklarni bir oz ko'proq ta'qib qilish) bir token ring tarmog'i qurilma orqali o'tayotgan nuqta xabarini ishora qiladi 2PC protokoli kabi dastur tarmoq ichida aylanib yuradigan token kabi ko'rinishi mumkin nuqta-nuqta xabarlarining turli xil to'plamlari piggybacked bo'lgan jarayonlarning halqasi. Qachon bunday ikkilanishga duch kelganda, biz yana maqsadlarimizni eslab, orqaga qaytishimiz kerak. Agar maqsad asosan nazariy-isbotlovchi dalil bo'lsa yoki imkonsizligini tasdiqlasa natija - bajarilgan "tafsilotlar" muhim emas. Bunday natijalar odatda har qanday yechim uchun qo'llaniladi muayyan muammolarga qaramasdan va ma'lum bir yechimning ishlashidan mustaqildir. Agar bizning maqsadlarimiz bo'lsa talablarga javob beradigan bo'lsak, bu muammoning echimini talablarni qo'yib qo'yishimiz kerak har qanday dasturni qondirish kerak. Imkoniyatlarni amalga oshirish doirasida bizundan keyin ishlashni maksimal darajada oshirish, xarajatlarni minimallashtirish va boshqalarga erishish uchun aqlli muhandislikni qo'llashi mumkin maqsadlar. Nazariy va muhandislarning turli maqsadlari ba'zida keskinliklar, ammo bu keskinliklar kamdan-kam hollarda. Ko'pincha, ular yomon muloqotni aks ettiradi, nazariya jamoatchiligi ba'zan o'zlarining muammolari haqidagi fikrlari juda ahamiyatli ekanligini ta'kidlamaydi

umumiy printsipni namoyish qilish uchun foydalanadigan protokolni amalga oshirishdan ko'ra ko'proq. Va muhandislar ba'zida unutmasliklari kerakki, protokol qanday amalga oshirilmasin, hal qilish mumkin muammoning o'ziga xos xususiyati bilan chuqurroq cheklovlar ichida yashash kerak. Biz qilamiz kitobning qolgan qismida, shu jumladan, ba'zi bir misollarni ko'rib chiqing yangi qarashlardan ko'rinib turgan katta tortishuvlar deyarli paydo bo'ladi butunlay chalkashlik va tushunmovchilik natijasi!

To'g'ri protokol bilan boshlashni xohlaysiz va keyin tarmoqni muhandislik qilish qadamini bajaring tizimning ishonchli bo'lishi mumkin bo'lgan umumiy ehtimoli bir nechta foydalanuvchi maqsadini qondiradi. Shunday qilib, bizning noan'anaviyligimiz ahvolimiz gilam ostida hamma narsani silamaydi, bu oddiy

muammoni alohida-alohida hujum qilish mumkin bo'lgan ikki jihatdan ajratib turadi.

Bajarish bayonnomasi ko'p jihatdan amalga oshirilishi mumkin. Eng ko'p standart ilovalar ikki va uch bosqichli protokollarni deb ataladi, ko'pincha 2PC va 3PC sifatida qisqartiriladi. Keyin biz 2PC va 3PC ni ko'rib chiqamiz, ammo o'quvchi buni unutmasligi kerak Ba'zan "naqsh" ni bajarish, aslida ushbu spetsifikatsiyani ishlatmaydigan protokolda yashirin xabar almashish uslubi. Bunday protokolga duch kelganida, ehtimol, yuboradigan protocol Ikki marta jarayonning halqasi atrofida ikki barobar, faqat ikkinchi o'tishda xatti-harakatlarni amalga oshiradi - ko'pincha agar protokol "ko'proq" standartlardan foydalangan holda amalga oshirilsa 2PC yoki 3PC yondashuvi, keyin 2PC yoki 3PC bilan bog'liq bo'lishi mumkin bo'lgan ko'plab tushuncha Ehtimol, ushbu protokolga ham amal qilish kerak. Darhaqiqat, agar o'xshash bo'lsa (o'xshashliklarni bir oz ko'proq ta'qib qilish) bir token ring tarmog'i qurilma orqali o'tayotgan nuqta xabarini ishora qiladi

2PC protokoli kabi dastur tarmoq ichida aylanib yuradigan token kabi ko'rinishi mumkin nuqta-nuqta xabarlarining turli xil to'plamlari piggybacked bo'lgan jarayonlarning halqasi. Qachon bunday ikkilanishga duch kelganda, biz yana maqsadlarimizni eslab, orqaga qaytishimiz kerak.

Agar maqsad asosan nazariy-isbotlovchi dalil bo'lsa yoki imkonsizligini tasdiqlasa

natija - bajarilgan "tafsilotlar" muhim emas. Bunday natijalar odatda har qanday yechim uchun qo'llaniladi muayyan muammolarga qaramasdan va ma'lum bir yechimning ishlashidan mustaqildir. Agar bizning maqsadlarimiz bo'lsa

talablarga javob beradigan bo'lsak, bu muammoning echimini talablarni qo'yib qo'yishimiz kerak har qanday dasturni qondirish kerak. Imkoniyatlarni amalga oshirish doirasida biz undan keyin ishlashni maksimal darajada oshirish, xarajatlarni minimallashtirish va boshqalarga erishish uchun aqlli muhandislikni qo'llashi mumkin maqsadlar. Nazariy va muhandislarning turli maqsadlari ba'zida keskinliklar, ammo bu keskinliklar kamdan-kam hollarda. Ko'pincha, ular yomon muloqotni aks ettiradi. Nazariya jamoatchiligi ba'zan o'zlarining muammolari haqidagi fikrlari juda ahamiyatli ekanligini ta'kidlamaydi umumiy printsipni namoyish qilish uchun foydalanadigan protokolni amalga oshirishdan ko'ra ko'proq.

Kelgusida 2PX protokoli bo'yicha koordinator muvaffaqiyatsizlikka uchragan holatni ko'rib chiqing. Agar shunday bo'lsak koordinatorni tiklashni kutishni xohlagan protokol bir nechta o'zgarishlarni talab qiladi bu vaziyat bilan. Birinchi o'zgarish - qaror qabul qilish uchun koordinatorni o'zgartirish ishtirokchilarga xabar yuborishdan oldin yoki ularni bekor qilishdan oldin qat'iy saqlashga imkon beradi hozirgi paytda koordinatorga kerak bo'lgan ma'lumotlarni taqdim etish kafolatlanadi protokolni bekor qilish, uni faqat oxirgi topshiriqni qayta topshirish yoki bekor qilish orqali amalga oshirish mumkin xabar. Prekompyuter davlatida bo'lmagan ishtirokchi bunday xabarni tan olishi mumkin hech qanday harakat qilmang; prekompyuter davlatida kutib turgan ishtirokchi protokolni bekor qiladi

uni olganidan keyin. 2PC uchun ushbu yechimning asosiy muammolaridan biri, agar koordinator xato qilinsa ishtirokchilar to'siq bo'lib, koordinatorni tiklashni kutadilar. Yuqorida ta'kidlanganidek, tayyorgarlik resurslarni tez-tez rag'batlantirishi yoki qulfni ushlab turishi kerak tizimning mavjudligi uchun jiddiy oqibatlarga olib kelishi mumkin.ishtirokchilarning o'zaro muloqot qilishlariga imkon yaratamiz. Shunga qaramay, ko'rib chiqiladigan protokolning uch bosqichi mavjud. Koordinator vaqt mobaynida qulab tushsa uning birinchi bosqichi xabarlarni uzatishda, davlat ishtirokchilarga olib kelishi mumkin boshqalar tayyor qila olmasliklari mumkin (ular bekor qilish va tan olish uchun ovoz berganlar)

bu protokol oxir-oqibatda amalga oshiriladi) va yana boshqa jarayonlar hech narsa bilmasligi mumkin barcha protokoli haqida. Agar uning qarorida yoki barcha xabarlarni yuborishdan oldin buzilsa Ikkinchi bosqich xabarlari tayyor holatda qolgan jarayonlarning aralashmasi bo'lishi mumkin va yakuniy natijalarni biladigan jarayonlar.

Ishtirokchilarga takrorlash mexanizmini qo'shamiz deb taxmin qilamiz: tayyorlangan holda, belgilangan muddat ichida protokol natijalarini bilmagan ishtirokchi vaqt o'tib ketadi va protokolni o'z-o'zidan to'ldirishga intiladi. Shubhasiz, u erda bo'ladi vaqtinchalik tarmoq muammolari tufayli yuz beradigan takrorlash xavfi bo'lishi mumkin, kitobning dastlabki davrlarida muhokama qilingan RPC noto'g'ri aniqlash mexanizmlari kabi. Shunday qilib, bu ishni o'z zimmasiga olgan ishtirokchi muvofiqlashtiruvchi tomonidan ishonchli tarzda xulosa qilish mumkin emas aslida muvaffaqiyatsiz bo'ldi.

Tarqalgan tizimni yaratishda avtomatik ravishda qisman ishlamay qolishi mumkin. Qayta tiklash jarayonida tarqalgan tizim muvaffaqiyatsizlikka uchragan holda ma'lum darajadagi funktsionallikni saqlab qolishda davom etishi kerak.

Zamonaviy axborot tizimlari dasturiy ta'minot va apparatura, xususan ishonchliligi va falokat bag'rikengligiga yuqori talablarni qo'yadi. Shu nuqtai nazardan, dolzarb muammolar ishonchliligi va mustahkamligi yuqori bo'lgan axborot tizimini yaratishdir.

Hisoblash tizimlarining ishonchliligi uchun ikki jihat bor:

- ma'lumotlarni saqlash ishonchliligi;

- xizmat muddati.

Shubhasiz, mutlaqo ishonarli tizimni yaratish texnik jihatdan mumkin emas, ammo har bir tizim uchun ishonchlilikni oshirish uchun zarur choralar ko'riladi.

Tabiiyki, harajatlar tizimning umuman yoki biron-bir qismining bajarilmasligi bilan bog'liq holda yuzaga kelishi mumkin bo'lgan yo'qotishlarga va shuning uchun xizmatni bekor qilish (rejalashtirilmagan ishlamay qolganda) uchun etarli bo'lishi kerak. Tizimning muntazam parvarishlash bilan bog'liq rejalashtirilgan keskinliklarni hisobga olish kerak. Tabiiy ofatlarga chidamlilik, avvalambor, ma'lumotlarning xavfsizligini ta'minlash bilan bir qatorda katta mahalliy falokatdan yoki global falokatdan qutulish qobiliyatini o'zida mujassamlashtiradi, shu bilan bir vaqtda ta'minlangan vositalar va barcha yoki muhim quyi tizimlarning kerakli ishonchlilik darajasi (an'anaviy, "mahalliy", xatolarga chidamlilik). Komponentlar taqsimlanganligi sababli, bitta joyda katta ishlamay qolsa, asosiy ish boshqa saytga o'tkazilishi mumkin. Xatoga bardoshlik sistemalarning ishonchliligi bilan bevosita bog'liq.

Ishonchlilik taqsimlangan tizimlar uchun juda ko'p talablarni o'z ichiga oladi, ulardan eng muhimi:

● mavjudligi;

● ishonchlilik;

● xavfsizlik;

● saqlab qolish

Zamonaviy axborot tizimlari dasturiy ta'minot va apparatura, xususan ishonchliligi va falokat bag'rikengligiga yuqori talablarni qo'yadi. Shu nuqtai nazardan, dolzarb muammolar ishonchliligi va mustahkamligi yuqori bo'lgan axborot tizimini yaratishdir.