Taqsimlangan tizimlarning m atematik algoritmini ishlab chiqish

4-AMALIY MASHG’ULOT.
TAQSIMLANGAN TIZIMLARNING MATEMATIK ALGORITMINI ISHLAB CHIQISH.
Yong'in signalizatsiyasidan tortib Internet miqyosidagi xizmatlargacha bo'lgan deyarli barcha hisoblash tizimlari bugungi kunda taqsimlangan : ular mustaqil hisob-kitoblarni amalga oshiradigan va o'z faoliyatini sinxronlashtirish uchun bir-biri bilan aloqa qiladigan bir qator hisoblash birliklaridan iborat. Tarqalgan hisoblashning ishlashi va ishonchliligiga bog'liqligimiz tobora kuchayib bormoqda. Shuning uchun taqsimlangan hisoblash asoslarini tushunish juda muhimdir.
Bu erda asosiy murakkablik - bu taqsimlangan ilovalarning keng ko'lamli xilma-xilligi, taqsimlangan hisoblash modellari va ishlash ko'rsatkichlari va bu murakkablikni hal qilish uchun matematik vositalarning etishmasligi.
Yaqinda ushbu muammoni hal qilish uchun ta'sirchan urinish amalga oshirildi: taqsimlangan hisoblash qobiliyatiga oid ba'zi uzoq vaqtdan beri ochiq savollar zamonaviy matematikaning kombinatoryal va algebraik topologiya kabi ilg'or tarmoqlari yordamida hal qilindi. Aniqroq qilib aytadigan bo'lsak, bir vaqtning o'zida mumkin bo'lgan bajarilishlar to'plamini oddiy kompleks deb ataladigan geometrik tuzilma sifatida ko'rsatish mumkin va parallel tizim rivojlanishining barcha mumkin bo'lgan usullarini kosmosdagi sodda kompleksning o'zgarishi sifatida ko'rish mumkin.
Misol uchun, ma'lum bo'lishicha, kutishsiz tizimning erishish mumkin bo'lgan holatlarini modellashning sodda kompleksi (na sinxronizatsiya taxminlarini, na nosozliklar soniga chegara qo'ymaydi) har doim qisqarishi mumkin (barcha o'lchamlarda bog'langan) va shuning uchun hech qanday yo'l yo'q. ahamiyatsiz bo'lmagan to'plam kelishuvini hal qilish (toq sonli ``teshiklar'' qo'yish)