Taqsimlangan tizimlarning m atematik algoritmini ishlab chiqish

4.1-rasm Jarayon asinxron o'qish-yozish tizimining bir turining geometrik tasviri: bu erda har bir cho'qqi turni tugatgandan so'ng uchta jarayondan birining ( p , q va r ) ko'rinishini modellashtiradi.

Biroq, taqsimlangan hisoblashda topologiyaning mavjud qo'llanilishining aksariyati nazariy ijobiy yoki salbiy natijalarga, ya'ni ma'lum bir modelda berilgan muammoning echimi yo'qligini isbotlashga yoki mavjud bo'lmagan faktni konstruktiv bo'lmagan tarzda isbotlashga tegishli. Bir nechta istisnolardan tashqari, yangi samarali algoritmlarni loyihalash uchun ilg'or matematik vositalardan foydalanishning ishonchli misollari yo'q.
Yuqori darajada, ushbu loyiha aniq taqsimlangan muhitda nima amalga oshirilishi mumkin va nima mumkin emasligini yaxshiroq tushunishga qaratilgan. Xususan, biz zamonaviy matematikaning kuchini yangi algoritmlarni va taqsimlangan hisoblash muammolari uchun qattiq pastki chegaralarni chiqarishda qo'llash niyatidamiz.
(1) Tarqalgan hisoblash uchun matematik modellar. Biz taqsimlangan hisoblash modellarini tavsiflash uchun “universal til”ni ishlab chiqishni maqsad qilganmiz. Til real taqsimlangan tizimlarni qamrab oladigan darajada umumiy bo'lishi va ushbu tizimlar haqida mulohaza yuritish uchun etarlicha sodda bo'lishi kerak.
(2) Tarqalgan hisoblash qobiliyati.Taqsimlangan hisoblashda hal qiluvchi savol - echilishi mumkin bo'lgan muammolarni hal qilib bo'lmaydigandan, masalan, konsensus yoki liderni tanlash kabi bir martalik muammolardan tortib , navbatlar, lug'atlar yoki tranzaksiya xotiralari kabi uzoq muddatli abstraktsiyalargacha qanday ajratishdir.
(3) Protokol dizayni. Nihoyat, berilgan modellarda echilishi mumkin bo'lgan va echib bo'lmaydigan muammolar o'rtasidagi chiziq chegaralangandan so'ng, biz hal qilinadigan muammolar uchun aniq (va samarali!) taqsimlangan algoritmlarni xulosa qilishimiz kerak. Bu erda e'tiqod shundan iboratki, hisoblash tizimlariga rasmiy va qat'iy ishlov berish bir xilda optimal taqsimlangan algoritmlarni yaratish metodologiyasini ishlab chiqishga yordam beradi.