Ovqat resepti

Sinxronizatsiya algoritmlari
Jarayon o’zaro munosabatlari alohida tarzda tashkil etilishi kerak. Bunday holda, ular tashkilot haqida gapirishadi.
Interleaving race condition. Faoliyat doirasida ma'lum maqsadlarga erishishga qaratilgan muayyan harakatlarning izchil bajarilishini tushunish.
Faoliyatni ba'zi harakatlar va bo'linmas operatsiyalarga ajratamiz.
Quyidagi faoliyat bo'lsin

P_ia, b, ca, b, c, d, e, f– birlik sifatida bajariladi.

Qd, e, f

Agar ushbu harakatlar soxta ... bir maromda ishlash rejimida bajarilsa nima bo'ladi?

abdcef
abdecf

Ma'lum bo'lishicha, faoliyatning operatsiyalari ma'lum bir faoliyat doirasiga o'zgarishi mumkin.

Muammo: chiqindini tozalash operatsiyasining natijasi quyidagi operatsiyalarning o'zgarishiga bog'liq bo'lishi mumkin.

Ularning aytishicha, dasturiy harakatlar majmui deterministikdir, agar har safar takrorlanadigan ma'lumotlarning bir xil to'plami uchun ijroning soxta parallelalizmi paytida u bir xil natijani beradi, aks holda faoliyat no deterministik deb ataladi.
Xulosa: faoliyatning aniqlangan majmui tasodifiy tartibda bajarilishi mumkin.
To'plamning deterministik ekanligini aniqlashga imkon beradigan shart mavjud. Bernshteyn sharti:

R (P) - kirish parametrlari

W (P) - chiqish parametrlari

P: x = u + v

Y = x * W

R (P) = {u, v, x, W}

W (P) = {x, y}

Agar P va Q ikkita faoliyat uchun:

W (P) ∩ W (Q) =

W (P) ∩ R (Q) =
R (P) ∩ W (Q) =

Bu P va Q bajarilishi deterministikdir.

Agar shartlar bajarilmasa, unda ijro etish aniq emas. Shartlar jarayonlar o'zaro ta'sir qilmasligi kerak. Detsistiv dasturlar to'plami haqida ular aytadiki, u ... (musobaqalar)

Tanqidiy bo'lim. Jarayonlarni sinxronlashtirishni o'rganishda tanqidiy bo'lim tushunchasi muhim ahamiyatga ega. Dasturlarning tanqidiy qismi tushunchasi. Tanqidiy qism - dasturning bir qismi, uni amalga oshirish irqlarning paydo bo'lishiga olib kelishi mumkin (?)
Musobaqalar ta'sirini istisno qilish uchun tanqidiy qismning har bir daqiqasida faqat bitta jarayon bo'lishi uchun ishni shunday tartibga solish kerak. Agar jarayon tanqidiy bo'limda bo'lsa, boshqa jarayonlar uning tanqidiy bo'limlarida bo'lolmaydi - o'zaro tortishish jarayoni.