Strukturalıq parallellik

Strukturalıq parallellik — bul parallel programmalastırıwǵa strukturalıq usıldı qollanıw arqalı kompyuter programmasınıń anıqlıǵın, sapasın hám islep shıǵıw waqtın jaqsılawǵa baǵdarlanǵan programmalastırıw paradigması.

Tiykarǵı koncepciya — bul anıq kiriw hám shıǵıw noqatlarına iye bolǵan hám shıǵıwdan aldın barlıq payda bolǵan aǵımlardıń tamamlanǵanın támiyinleytuǵın basqarıw aǵımı konstrukciyaları arqalı parallel orınlanıw aǵımların (bul jerde yadro hám paydalanıwshı keńisligi aǵımları menen processlerin qamtıydı) inkapsulyaciyalaw. Bunday inkapsulyaciya parallel aǵımlardaǵı qátelerdiń basqarıw strukturasınıń ata-ana kólemine tarqalıwına hám hárbir anıq kompyuter tiliniń jergilikli qáte qayta islew mexanizmleri menen basqarılıwına imkaniyat beredi. Ol parallelliktiń bar bolıwına qaramastan, basqarıw aǵımınıń derek kodınıń strukturası arqalı ańsat kórinip turıwın támiyinleydi. Nátiyjeli bolıwı ushın, bul model programmanıń barlıq dárejelerinde izbe-iz qollanılıwı kerek – basqa jaǵdayda parallel aǵımlar sırtqa shıǵıp ketiwi, jetim bolıp qalıwı múmkin yamasa orınlanıw waqtındaǵı qáteler durıs tarqalmawı múmkin.

Strukturalıq parallellik izbe-iz operatorlardı hám kishi rutinalardı inkapsulyaciyalaytuǵın basqarıw aǵımı konstrukciyaların qollanatuǵın strukturalıq programmalastırıwǵa uqsas.

 Tariyxı 
1960-jıllardaǵı, OpenMP sıyaqlı kóp processorlı qurallar menen sáwlelengen shaqalanıw-birlesiw modeli, shıǵıwdan aldın barlıq aǵımlardıń tamamlanǵanın támiyinleytuǵın sistemanıń dáslepki bir mısalı. Degen menen, Smit bul modeldiń haqıyqıy strukturalıq parallellik emes ekenin aytadı, sebebi programmalastırıw tili birlesiw háreketinen xabarsız hám sonlıqtan qáwipsizlikti támiyinley almaydı.

Koncepciya 2016-jılı Martin Sustrik (ZeroMQ baǵdarlamashısı) tárepinen onıń C kitapxanası libdill menen, baslanǵısh noqat retinde gorutinalardı alıp, qáliplestirilgen. Ol keyinirek 2017-jılı Nataniel Dj. Smit tárepinen jetilistirilip, ol Trio dep atalǵan óziniń Python implementaciyasında «balalar baǵshası úlgisin» kirgizdi. Sol waqıtta, Roman Elizarov Kotlin tili ushın eksperimental korutina kitapxanasın islep shıǵıw barısında ózbetinshe sol bir ideyalarǵa kelgen, bul keyinirek standart kitapxanaǵa aylanǵan.

2021-jılı Swift strukturalıq parallellikti qabıl etti. Sol jıldıń aqırında, strukturalıq parallellikti Javaǵa qosıw ushın joybar usınısı járiyalandı.

 Variaciyalar 
Tiykarǵı ayırmashılıq noqatı — bul parallel aǵım tereginiń bir aǵzasındaǵı qáteniń qalay qayta isleniwi. Ápiwayı implementaciyalar tek qátege ushıraǵan aǵımnıń balaları menen tuwısqanlarınıń orınlanıwı tamamlanǵanǵa shekem kútedi, sońınan qáteni ata-ana kólemine tarqatadı. Degen menen, bul belgisiz muǵdardaǵı waqıttı alıwı múmkin. Alternativa — balalar menen tuwısqan aǵımlardı tez arada toqtatıw ushın ulıwma biykar etiw mexanizmin (ádette programma invariantlarınıń saqlanıwına imkaniyat beretuǵın kooperativ sxema) qollanıw.

 Derekler 

Kategoriya:Programmalastırıw paradigmaları
__BÖLİDİMÖNDEMEW__