Self-barqarorlik

Self-barqarorlik

Kirish.

• Kirish.
• Dijkstraning modeli.
• O'z-o'zini barqarorlashtiruvchi kompilyatorlar
• O'z-o'zini barqarorlashtirishga to'sqinlik qiluvchi omillar
• O'z-o'zini barqarorlashtirishning cheklovlari

O'z-o'zini barqarorlashtirish - bu taqsimlangan tizimlarda nosozliklarga chidamlilik tushunchasi. Har qanday boshlang'ich holatni hisobga olgan holda, o'z-o'zini barqarorlashtiruvchi taqsimlangan tizim cheklangan miqdordagi bajarish bosqichlarida to'g'ri holatda tugaydi.

• O'z-o'zini barqarorlashtirish - bu taqsimlangan tizimlarda nosozliklarga chidamlilik tushunchasi. Har qanday boshlang'ich holatni hisobga olgan holda, o'z-o'zini barqarorlashtiruvchi taqsimlangan tizim cheklangan miqdordagi bajarish bosqichlarida to'g'ri holatda tugaydi.
• 1974 yilda EW Dijkstra o'z-o'zini barqarorlashtirish kontsepsiyasini taqdim etdi, bu esa ushbu sohada keyingi tadqiqotlarga turtki bo'ldi. Uning namoyishi o'z-o'zini barqarorlashtiruvchi o'zaro istisno algoritmlari taqdimotini o'z ichiga oldi. Shuningdek, u tizimdagi kuchli taxminlarga tayanmaydigan birinchi oʻz-oʻzini barqarorlashtiruvchi algoritmlarni ham koʻrsatdi. Amalda qo'llanilgan ba'zi oldingi protokollar haqiqatda barqarorlashdi.

Faqat o'n yil o'tgach, Lesli Lemport 1983 yilda Taqsimlangan hisoblash tamoyillari simpoziumida Deykstra ishining muhimligini ta'kidladi. tadqiqotchilar bu nafis nosozliklarga chidamlilik kontseptsiyasiga e'tibor qaratishgan. Lemport o'z nutqida shunday dedi:

Faqat o'n yil o'tgach, Lesli Lemport 1983 yilda Taqsimlangan hisoblash tamoyillari simpoziumida Deykstra ishining muhimligini ta'kidladi. tadqiqotchilar bu nafis nosozliklarga chidamlilik kontseptsiyasiga e'tibor qaratishgan. 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 bo'yicha ishdagi muhim bosqich deb bilaman. Men o'z-o'zini barqarorlashtirishni xatolarga chidamlilikdagi juda muhim tushuncha va tadqiqot uchun juda unumdor soha deb bilaman.”