|
O‘ZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA ALOQLALARINI RIVOJLANISH VAZIRLIGI
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI
AMALIY ISH - 4
Mavzu: Self taqsimlangan tizim barqarorligi.
Guruh: 213-18
Bajardi: Sariqulov Davlatbek
Tekshirdi: Jo’rayev Umidjon
Toshkent 2022
Amaliy ish - 4
Mavzu : Self taqsimlangan tizim barqarorligi.
Mavzu: Self taqsimlangan tizim barqarorligi.
Ishdan maqsad: Taqsimlangan tizimlarda ishdan chiqish xolatida avtostabillashtirish asosida tizim barqarorligini o’rganish.
Tarixi
1974 yilda E.V.Dijkstra o'z-o'zini barqarorlashtirish kontseptsiyasini taqdim etdi va bu sohada keyingi tadqiqotlarga turtki bo'ldi.[2] Uning namoyishi o'z-o'zidan barqarorlashtiruvchi o'zaro istisno algoritmlarini taqdim etishni o'z ichiga oldi.[3] Shuningdek, u tizimdagi kuchli taxminlarga tayanmaydigan birinchi o'z-o'zini barqarorlashtiruvchi algoritmlarni ko'rsatdi. Amalda qo'llanilgan ba'zi oldingi protokollar haqiqatda barqarorlashdi, lekin faqat tizim uchun global bo'lgan soat mavjudligini va har bir tizimga o'tish davomiyligi bo'yicha ma'lum yuqori chegarani nazarda tutgan holda. Faqat o'n yil o'tgach, Lesli Lemport 1983 yilda Taqsimlangan hisoblash tamoyillari bo'yicha simpozium deb nomlangan konferentsiyada Dijkstra ishining muhimligini ta'kidlaganida, tadqiqotchilar o'zlarining e'tiborini ushbu oqlangan nosozliklarga chidamlilik kontseptsiyasiga qaratdilar. Lemport o'z nutqida shunday dedi:
“Men buni Dijkstraning eng yorqin ishi - hech bo'lmaganda uning nashr etilgan eng yorqin ishi deb bilaman. Bu deyarli butunlay noma'lum. Men buni xatolarga chidamlilik borasidagi ishdagi muhim bosqich deb bilaman... Men o'z-o'zini barqarorlashtirishni xatolarga chidamlilikdagi juda muhim tushuncha va tadqiqot uchun juda unumdor maydon deb bilaman.”
Shundan so'ng, Dijkstraning ishi ACM-PODC nufuzli qog'oz mukofoti bilan taqdirlandi, keyinchalik u ACM (Hisoblash mashinalari assotsiatsiyasi) yillik ACM-PODC simpoziumida tarqatilgan hisoblash bo'yicha Dijkstra mukofotiga aylandi.
Umumiy koʻrinish:
"Self Stabilization" kontseptsiyasi birinchi marta 1974 yilda Dijkstra tomonidan taklif qilingan. Bu maskalanmaydigan taqsimlangan tizimlar uchun umumiy texnikadir. Bu uzluksiz davolash usuli bo'lib, bir qator nosozliklardan keyin yakuniy xavfsizlikni kafolatlaydi. Maktabingizda fizika tajribalarini o'tkazayotganda siz namlangan mayatnikga duch kelgan bo'lsangiz kerak. Shunday qilib, mayatnikni ishga tushirishda barqaror bo'ladi, bu mayatnikga qandaydir tashqi kuch qo'llanilsa, u qandaydir ixtiyoriy holatga o'tadi. Bilasizki, ma'lum vaqt oralig'idan keyin u yana dastlabki barqaror holatga yoki muvozanatga qaytadi. Shunday qilib, biz bu o'xshashlik taqsimlangan tizimlarda qanday ishlashini ko'rib chiqamiz.
Tarqalgan tizimlarda o'xshashlik:
Quyidagi kabi fikrlarni ko'rib chiqing.
Sizda ba'zi P0, P1, ……………………………………………………… Pn + aloqa kanallari protsessorlari mavjud.
Har bir Pi protsessorida xi holati mavjud, masalan, holat protsessor xotirasidagi o'zgaruvchilar qiymatlari yoki Pi protsessoridagi registr qiymatlari bo'lishi mumkin.
Konfiguratsiya oddiygina tizimdagi har bir protsessor holati vektorlarining o'rnatilgan ketma-ketligidir.
O'z-o'zini barqarorlashtiruvchi taqsimlangan tizimni loyihalashdagi asosiy murakkablik shundaki, tugunlar bir zumda kirishlari mumkin bo'lgan global xotiraga ega emas. Har bir tugun o'zi uchun mavjud bo'lgan mahalliy bilimlar asosida qaror qabul qilishi va barcha tugunlarning harakatlari global maqsadga erishishi kerak.
Odatda, tizimingizni loyihalashda sizda odatda barqaror bo'lgan qonuniy konfiguratsiya mavjud. Agar siz qonuniy konfiguratsiyani boshlashingiz mumkin bo'lsa va boshqa konfiguratsiyaga cheklangan miqdordagi qadamlar bilan erisha olsangiz, bu yangi konfiguratsiya ham agar jarayonlar buzilmagan bo'lsa, qonuniydir. Biroq, sizning taqsimlangan tizimingiz jismoniy tizimdir, shuning uchun u ko'plab nosozliklarga qarshi himoyasizdir. Ayniqsa, vaqtinchalik nosozlik bo'lishi mumkin.
Vaqtinchalik muvaffaqiyatsizlik:
Bu oldindan aytib bo'lmaydigan muvaffaqiyatsizlik va har qanday vaqtda yuz berishi mumkin. Va ular tez-tez uchraydi. Haftalik quvvat manbai yoki batareyalar tufayli, bu haddan tashqari yuklanishdan kelib chiqishi mumkin. Dasturiy ta'minot komponentlari ishlamay qolganda, ular davlat korruptsiyasini ham qamrab oladi. Shunday qilib, odatda tizim qonuniy konfiguratsiyadan boshlanadi, so'ngra cheklangan vaqt davomida siz bezovtalikka duch kelasiz. Ushbu tartibsizlikning oxirida tizimingiz o'zboshimchalik bilan konfiguratsiyaga erishadi.
Ba'zi konfiguratsiyalar to'plamida bu qonuniy konfiguratsiyalar to'plamidan uzunroq bo'lishi mumkin. Har qanday dastlabki holatdan avtomatik ravishda tiklanish qobiliyati hech qachon ishga tushirish talab qilinmaganligini anglatadi. Sizning tizimingiz o'z-o'zidan barqarorlashtiruvchi rejimda bo'ladi, agar boshqa bezovtalanishlar bo'lmasa va agar ma'lum vaqtdan keyin siz qonuniy konfiguratsiyaga erishib, u erda qolsangiz, bu xususiyat ixtiyoriy konfiguratsiyadan boshlab qonuniy konfiguratsiyaga yaqinlashadi va u erda qolish O'zini barqarorlashtirish deb ataladi. Self Stabilization tizimlar ikkita xususiyatni namoyon qiladi: konvergentsiya va yopilish.
Tarqalgan tizimlarda Self Stabilization ning afzalliklari:
Bu erda biz taqsimlangan tizimlarda o'z-o'zini barqarorlashtirishning afzalliklarini quyidagicha muhokama qilamiz.
Bu taqsimlangan tizimga hech qanday qo'l aralashuvisiz vaqtinchalik nosozliklarni avtomatik ravishda qayta tiklashga imkon beradi, agar boshqa nosozliklar yuz bermasa.
Self Stabilization algoritmini ishga tushirish shart emas, chunki u tizimning dastlabki holatidan qat'i nazar, oxir-oqibat o'zini to'g'ri tuta boshlaydi.
Bu xususiyat taqsimlangan tizimlar uchun juda mustahkam, bu esa uni taqsimlangan hisoblar uchun juda jozibali modelga aylantiradi.
Tarqalgan tizimlarda o'z-o'zini barqarorlashtirishning kamchiliklari:
Bu erda biz taqsimlangan tizimlarda o'z-o'zini barqarorlashtirishning kamchiliklarini quyidagicha muhokama qilamiz.
Bunga erishish juda qiyin, ayniqsa tizim noto'g'ri ishga tushirilganda yoki tajovuzkor tomonidan buzilgan.
Bu juda murakkab, ya'ni loyihalash qiyin.
Do'stlaringiz bilan baham: |
