Mavzu: Dinamik parallel hisoblashlar uchun parallel jarayonlarni tashkillash Mundarija

1.5. Ketma-ket parallellik

Cheklangan davlat mashinasining alohida modelining parallelligi tasvirlangan. Uning o'tishni amalga oshirish darajasidagi kanallari ular bilan bog'liq funktsiyalar / usullarning - predikatlar va harakatlarning parallel bajarilishini belgilaydi. Predikatlarning parallelligi uchun hech qanday cheklovlar qo'yilmaydi. Ishlayotganda ular bir-biriga zid kelmaydi, chunki xotira tarkibiga ta'sir qilmaydi. Harakatlar, parallel ravishda ishlash paytida umumiy kirish va chiqish ma'lumotlariga ega bo'lishi, shuningdek ularni bir-biridan mustaqil ravishda o'zgartirishi mumkin. Va bularning barchasi chiqish ma'nosiga nisbatan noaniqlik manbai bo'lishi mumkin.
Soya xotirasi yuqorida tavsiflangan vaziyatlarda harakatlarning to'g'riligini ta'minlaydi. Unda yangi qiymatlarni saqlash orqali siz xuddi shu ma'lumotni bitta harakat doirasida ham kirish, ham chiqish sifatida ishlatishingiz mumkin. Masalan, y =! Y sifatida tavsiflangan kvadrat to'lqinli generatorning modeli, bu erda y - generator chiqishi. Uning VKP muhitidagi C ++ dagi kodi Listing 1da ko'rsatilgan.