7-ma’ruza. Umumiy xotira tizimlarida dasturlash

int y = 0, z = 0, x = 0;
par x = y + z; \\ y = 1; z = 2; endpar;

Oqimlar x, y, z oʻzgaruvchilari bilan almashadilar, parallel ravishda mustaqil ravishda bajariladi, ularning bajarilishi ketma-ketligi aniqlanmagan, bundan tashqari, deyarli har qanday vaqtda oqimni toʻxtatib qoʻyish va keyin davom ettirish mumkin. Faraz qilaylik, x = y + z ifodasi registrga y ni yuklash va keyin unga z qoʻshish orqali amalga oshirildi. Bunday holda, yuklash va qoʻshish oʻrtasida oqim uzilishi mumkin - va ikkinchi oqimning har qanday operatsiyalari toʻplami bajariladi. Bularning barchasi dasturning oldindan aytib boʻlmaydigan xatti-harakatlariga olib keladi, ya’ni x oʻzgaruvchisining qiymati 0, 1 yoki 3 boʻlishi mumkin.

Ushbu oddiy misol koʻp bosqichli dasturlashda birinchi oqim sinxronlash muammosini koʻrsatadi - oʻzaro istisno. Boʻlinmas tarzda bajarilishi kerak boʻlgan oqim kodining qismlarini kuzatib borish talab qilinadi. Tegishli algoritm odatda masalaning yirik modulli yechimi deb ataladi. Dasturlashda siz operatsiyalar ketma-ketligini bitta boʻlinmas sifatida bajarishga imkon beradigan mexanizmni amalga oshirishingiz kerak. Ushbu kod muammoning nozik yechimini belgilaydi.
Ikkinchi sinxronizatsiya muammosi - shartli kutish (yoki shartli sinxronizatsiya). Bunday holda, oqim ba’zi shartlar bajarilmagan paytgacha toʻxtatiladi. Oqim faol boʻlmaganligi sababli, shart faqat boshqa oqimning ishlashi natijasida bajarilishi mumkin. Bunday kod qismlari, shuningdek, yirik modulli yechim uchun kuzatilishi kerak va dasturlashda shartli kutishni amalga oshirishning qandaydir mexanizmidan foydalanish kerak.
Operator tomonidan umumiy sinxronlash belgisini aniqlaymiz:


< await (B) S;>