Çatal-birleştirme modeli - Fork–join model - Wikipedia

Programın üç bölgesinin çeşitli renkli blokların paralel olarak yürütülmesine izin verdiği çatal-birleştirme paradigmasının bir örneği. Sıralı yürütme üstte görüntülenirken eşdeğer çatal-birleştirme işlemi altta görüntülenir.

İçinde paralel hesaplama, çatal-birleştirme modeli paralel programları kurmanın ve yürütmenin bir yoludur, böylece yürütme programda belirlenen noktalarda paralel olarak dallara ayrılır, sonraki bir noktada "birleştirmek" (birleştirmek) ve sıralı yürütmeyi sürdürmek için. Paralel bölümler çatallayabilir tekrarlı belirli bir görev ayrıntı düzeyine ulaşılana kadar. Çatal-birleştirme paralel olarak düşünülebilir tasarım deseni.[1]:209 ff. 1963 gibi erken bir tarihte formüle edildi.[2][3]

Çatal-birleştirme hesaplamalarını özyinelemeli olarak iç içe yerleştirerek, birinin paralel bir sürümü elde edilir. böl ve fethet aşağıdaki jenerik tarafından ifade edilen paradigma sözde kod:[4]

problemi çöz):    Eğer problem yeterince küçük: problemi doğrudan çöz (sıralı algoritma) Başka:        için Bölüm içinde alt bölüm (problem) çatal alt görev çözmek (bölüm)        katılmak önceki döngüde ortaya çıkan tüm alt görevler dönüş kombine sonuçlar

Örnekler

Basit paralel sıralamayı birleştir nın-nin CLRS çatal-birleştirme algoritmasıdır.[5]

mergesort (A, lo, hi): Eğer merhaba // en az bir girdi öğesi        orta = ⌊lo + (hi - lo) / 2⌋ çatal mergesort (A, lo, mid) // ana göreve paralel olarak (potansiyel olarak) işleyin        birleştirme sıralaması (A, orta, selam) // ana görev ikinci özyinelemeyi yönetir        katılmak        birleştirme (A, lo, mid, hi)

İlk özyinelemeli çağrı "çatallanmış" dır, yani yürütülmesi, fonksiyonun aşağıdaki bölümüyle paralel olarak (ayrı bir iş parçacığında) çalışabilir. katılmak bu, tüm iş parçacıklarının senkronize olmasına neden olur. İken katılmak gibi görünebilir bariyer farklıdır çünkü iplikler bir engelden sonra, bir süre sonra da çalışmaya devam edecektir. katılmak sadece bir iş parçacığı devam ediyor.[1]:88

İkinci özyinelemeli çağrı, yukarıdaki sözde kodda bir çatal değildir; çatallanma görevlerinin bir bedeli olabileceğinden, bu kasıtlıdır. Her iki özyinelemeli çağrı alt görevler olarak ayarlanmışsa, ana görevde engellenmeden önce gerçekleştirecek ek bir iş olmayacaktır. katılmak.[1]

Uygulamalar

Çatallı birleştirme modelinin uygulamaları genellikle çatallanır görevler, lifler veya hafif iplikler, işletim sistemi düzeyinde "ağır" değil İş Parçacığı veya işlemler ve bir iş parçacığı havuzu bu görevleri yürütmek için: ilkel çatal, programcının potansiyel paralellik, bu uygulama daha sonra gerçek paralel yürütme ile eşleşir.[1] Bu tasarımın nedeni, yeni dişler yaratmanın çok fazla ek yüke neden olma eğiliminde olmasıdır.[4]

Çatallı birleştirme programlamasında kullanılan hafif iş parçacıkları tipik olarak kendi zamanlayıcılarına (tipik olarak bir iş hırsızlığı Bir) onları temel iş parçacığı havuzuna eşler. Bu planlayıcı, tam özellikli bir programdan çok daha basit olabilir, önleyici işletim sistemi zamanlayıcı: genel amaçlı iş parçacığı planlayıcılar için engelleme ile uğraşmalı kilitler, ancak çatal-birleştirme paradigmasında, iş parçacıkları yalnızca birleşme noktasında bloklanır.[4]

Çatal-birleştirme, paralel yürütmenin ana modelidir. OpenMP çerçeve, ancak OpenMP uygulamaları paralel bölümlerin yuvalanmasını destekleyebilir veya desteklemeyebilir.[6] Ayrıca tarafından desteklenmektedir Java eşzamanlılığı çerçeve[7] Görev Paralel Kitaplığı .NET için,[8] ve Intel'in Threading Yapı Taşları (TBB).[1] Cilk programlama dili, çatal ve birleştirme için dil düzeyinde desteğe sahiptir. yumurtlamak ve eşitleme anahtar kelimeler[4] veya cilk_spawn ve cilk_sync içinde Cilk Plus.[1]

Ayrıca bakınız

Referanslar

  1. ^ a b c d e f Michael McCool; James Reinders; Arch Robison (2013). Yapısal Paralel Programlama: Verimli Hesaplama Modelleri. Elsevier.
  2. ^ Melvin E. Conway (1963). Çok işlemcili bir sistem tasarımı. Bilgisayar Konferansı'na Katılın. s. 139–146. doi:10.1145/1463822.1463838.
  3. ^ Nyman, Linus; Laakso, Mikael (2016). "Çatal ve Katılmanın Tarihi Üzerine Notlar". IEEE Bilişim Tarihinin Yıllıkları. IEEE Bilgisayar Topluluğu. 38 (3): 84–87. doi:10.1109 / MAHC.2016.34.
  4. ^ a b c d Doug Lea (2000). Bir Java çatal / birleştirme çerçevesi (PDF). Java ile ilgili ACM Konferansı.
  5. ^ Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2009) [1990]. Algoritmalara Giriş (3. baskı). MIT Press ve McGraw-Hill. ISBN  0-262-03384-4.
  6. ^ Blaise Barney (12 Haziran 2013). "OpenMP". Lawrence Livermore Ulusal Laboratuvarı. Alındı 5 Nisan 2014.
  7. ^ "Çatal / Birleştir". Java Öğreticileri. Alındı 5 Nisan 2014.
  8. ^ Daan Leijen; Wolfram Schulte; Sebastian Burckhardt (2009). Bir Görev Paralel Kitaplığı tasarımı. OOPSLA.

Dış bağlantılar