Otomatik paralelleştirme aracı - Automatic parallelization tool

Birkaç yıl boyunca paralel donanım yalnızca dağıtılmış hesaplama ancak son zamanlarda düşük kaliteli bilgisayarlar için de kullanılabilir hale geliyor. Bu nedenle yazılım programcılarının paralel uygulamalar yazmaya başlaması kaçınılmaz hale geldi. Programcıların sıralı düşünmesi oldukça doğaldır ve bu nedenle yazmaya daha az aşinadırlar çok iş parçacıklı veya paralel işlem uygulamalar. Paralel programlama, aşağıdakiler gibi çeşitli sorunları ele almayı gerektirir: senkronizasyon ve kilitlenme kaçınma. Programcılar, bu tür uygulamaları yazmak için uygulama alanındaki uzmanlıklarının yanı sıra ek uzmanlık gerektirir. Bu nedenle programcılar sıralı kod yazmayı tercih ederler ve popüler programlama dillerinin çoğu bunu destekler. Bu, uygulamaya daha fazla konsantre olmalarını sağlar. Bu nedenle, bu tür sıralı uygulamaları otomatik araçlar yardımıyla paralel uygulamalara dönüştürme ihtiyacı vardır. İhtiyaç da önemsiz değildir, çünkü son birkaç on yılda yazılan büyük miktarda eski kodun yeniden kullanılması ve paralel hale getirilmesi gerekir.

Otomatik paralelleştirme ihtiyacı

Geçmiş teknikler FORTRAN ve C gibi diller için çözümler sağladı; ancak bunlar yeterli değildir. Bu teknikler, döngü veya kodun belirli bir bölümü gibi belirli bir sistem göz önünde bulundurularak paralelleştirme bölümleriyle ilgileniyordu. Paralelleştirme fırsatlarının belirlenmesi, çok iş parçacıklı uygulama oluştururken kritik bir adımdır. Bu uygulamaları paralelleştirme ihtiyacı, paralellikten yararlanmak için kodu analiz eden araçlar tarafından kısmen ele alınmaktadır. Bu araçlar ya kullanır Derleme zamanı teknikler veya Çalışma süresi teknikleri. Bu teknikler, bazı paralelleştirici derleyicilerde yerleşiktir, ancak kullanıcının paralelleştirilmiş kodu tanımlaması ve kodu özel dil yapılarıyla işaretlemesi gerekir. Derleyici bu dil yapılarını tanımlar ve işaretli kodu paralelleştirme için analiz eder. Bazı araçlar yalnızca döngüler gibi özel kod biçimlerini paralelleştirir. Bu nedenle, sıralı kodu paralel koda dönüştürmek için tam otomatik bir araç gereklidir.[1]

Genel paralelleştirme prosedürü

1. Süreç, programcının paralellik olanaklarına sahip olduğunu düşündüğü kod bölümlerinin tanımlanmasıyla başlar. Genellikle bu görev zordur, çünkü kodu paralelleştirmek isteyen programcı söz konusu kodu orijinal olarak yazmamıştır. Diğer bir olasılık, programcının uygulama alanında yeni olmasıdır. Dolayısıyla, paralelleştirme sürecindeki bu ilk aşama ve ilk bakışta kolay görünse de öyle olmayabilir.

2. Bir sonraki aşama, gerçekte paralelleştirme olan tanımlanmış bölümler arasından kod bölümlerini kısa listeye almaktır. Bu aşama yine çok önemli ve çok fazla analiz içerdiğinden zordur. Genellikle içindeki kodlar için C /C ++ işaretçilerin bulunduğu yerleri analiz etmek zordur. İşaretçi takma adı analizi, işlevler yan etki analizi gibi birçok özel teknik, bir kod bölümünün başka herhangi bir koda bağımlı olup olmadığına karar vermek için gereklidir. Tanımlanan kod bölümlerindeki bağımlılıklar fazla ise paralelleştirme olasılıkları azalır.

3. Bazen kod değiştirilerek bağımlılıklar kaldırılır ve bu paralelleştirmede bir sonraki aşamadır. Kod, işlevsellik ve dolayısıyla çıktı değiştirilmeyecek, ancak varsa diğer kod bölümüne veya başka bir talimata bağımlılık kaldırılacak şekilde dönüştürülür.

4. Paralelleştirmedeki son aşama paralel kod üretmektir. Bu kod her zaman işlevsel olarak orijinal sıralı kodla benzerdir, ancak çalıştırıldığında birden çok iş parçacığı veya işlem oluşturan ek yapılara veya kod bölümlerine sahiptir.

Otomatik paralelleştirme tekniği

Ayrıca ana makaleye bakın otomatik paralelleştirme.

Tarama

Bu, tarayıcının tüm statik ve harici kullanımları tanımlamak için giriş kaynak dosyalarını okuyacağı ilk aşamadır. Dosyadaki her bir satır, önceden tanımlanmış modellerle karşılaştırılarak jetonlar. Bu belirteçler daha sonra program motoru tarafından kullanılacak bir dosyada saklanacaktır. Dilbilgisi motoru, koddaki değişkenleri, döngüleri, kontrol ifadelerini, işlevleri vb. Tanımlamak için önceden tanımlanmış kurallarla eşleşen simge kalıplarını kontrol edecektir ...

Analiz et

analizci eşzamanlı olarak çalıştırılabilen kod bölümlerini tanımlamak için kullanılır. Analizör, tarayıcı ayrıştırıcı tarafından sağlanan statik veri bilgilerini kullanır. Analizör önce birbirinden tamamen bağımsız olan tüm işlevleri bulacak ve bunları ayrı görevler olarak işaretleyecektir. Daha sonra analizör hangi görevlerin bağımlılıkları olduğunu bulur.

Program

planlayıcı tüm görevleri ve bunların yürütme ve başlama zamanları açısından birbirlerine bağımlılıklarını listeler. Planlayıcı, kullanılacak işlemci sayısı veya uygulama için toplam yürütme süresi açısından en uygun programı üretecektir.

Kod Üretimi

planlayıcı tüm görevlerin bir listesini ve üzerinde yürütülecekleri çekirdeklerin ayrıntılarını, yürütülecekleri zamanla birlikte oluşturacaktır. Kod Oluşturucu, programlayıcı tarafından yürütülmesi sırasında okunacak koda özel yapılar ekleyecektir. Bu yapılar, planlayıcıya belirli bir görevin hangi çekirdeğin başlama ve bitiş zamanlarıyla birlikte yürütüleceği konusunda talimat verecektir ...

Paralelleştirme araçları

Fortran, C, C ++ ve diğer birçok dil için bir dizi Otomatik Paralelleştirme aracı vardır.

YUCCA

YUCCA, bir Sıralı Paralele otomatik kod dönüştürme aracıdır. KPIT Teknolojileri Ltd. Pune. Birden çok kaynak ve başlık dosyası içerebilen girişi C kaynak kodu olarak alır. Dönüştürülmüş olarak çıktı verir çok iş parçacıklı paralel kod kullanarak pthreads fonksiyonlar ve OpenMP yapılar. YUCCA aracı, görev ve döngü seviyesinde paralelleştirme yapar.

Par4All

Par4All otomatik bir paralelleştirmedir ve optimize edici derleyici (çalışma tezgahı) C ve Fortran sıralı programları için. bunun amacıkaynaktan kaynağa derleyici mevcut uygulamaları çok çekirdekli sistemler gibi çeşitli donanım hedeflerine uyarlamaktır, yüksek performanslı bilgisayarlar ve GPU'lar. Yeni bir kaynak kodu oluşturur ve böylece uygulamanın orijinal kaynak kodunun değişmeden kalmasına izin verir.

Cetus

Cetus yazılım programlarının kaynaktan kaynağa dönüşümü için bir derleyici altyapısıdır. Bu proje, Purdue Üniversitesi. Cetus şu şekilde yazılmıştır Java. Otomatik paralelleştirme araçları veya derleyiciler yazmak için temel altyapı sağlar. Cetus'un şu anda uyguladığı temel paralelleştirme teknikleri şunlardır: özelleştirme, indirgeme değişkenlerinin tanınması ve indüksiyon değişkeni ikame.

Yeni grafik kullanıcı arayüzü (GUI) Şubat 2013'te eklendi. Hızlanma hesaplamalar ve grafik görüntüsü Mayıs 2013'te eklendi. Bir Cetus uzak sunucuda istemci-sunucu modeli Mayıs 2013'te eklendi ve kullanıcılar isteğe bağlı olarak C Kodunu sunucu üzerinden dönüştürebilir. Bu, özellikle kullanıcılar Cetus'u Linux olmayan bir platformda çalıştırdıklarında kullanışlıdır. Deneysel Hubzero Cetus sürümü de Mayıs 2013'te uygulandı ve kullanıcılar Cetus'u bir web tarayıcısı üzerinden de çalıştırabilirler.

PLÜTON

PLUTO, aşağıdakilere dayalı otomatik bir paralelleştirme aracıdır çok yüzlü model. Derleyici optimizasyonu için çok yüzlü model, programların bir temsilidir ve bu, aşağıdaki gibi yüksek seviyeli dönüşümleri gerçekleştirmeyi kolaylaştırır. döngü yuva optimizasyonları ve döngü paralelleştirme. Pluto, C programlarını aynı anda kaba taneli paralellik ve veri yerelliği için kaynaktan kaynağa dönüştürür. Çekirdek dönüşüm çerçevesi, temel olarak verimli döşeme ve füzyon için afin dönüşümler bularak çalışır, ancak bunlarla sınırlı değildir. OpenMP çok çekirdekli paralel kod, sıralı C programı bölümlerinden otomatik olarak oluşturulabilir.

Polaris derleyici

Polaris derleyicisi, bir Fortran77 programını girdi olarak alır, bu programı bir bilgisayar üzerinde verimli bir şekilde çalışacak şekilde dönüştürür. paralel bilgisayar ve bu program sürümünü birkaç olası paralelden birinde çıkarır. FORTRAN lehçeler. Polaris, dönüşümlerini çeşitli "derleme geçişlerinde" gerçekleştirir. Yaygın olarak bilinen birçok geçişe ek olarak Polaris, aşağıdaki görevleri gerçekleştiren gelişmiş yetenekler içerir: Dizi özelleştirme, Veri bağımlılığı test yapmak, İndüksiyon değişkeni tanıma, Inter prosedürel analiz ve sembolik program analizi.

Intel C ++ Derleyici

Otomatik paralelleştirme özelliği Intel C ++ Derleyici Giriş programının seri bölümlerini otomatik olarak anlamsal olarak eşdeğerine çevirir çok iş parçacıklı kodu. Otomatik paralelleştirme, iyi iş paylaşımı adayları olan döngüleri belirler, doğru paralel yürütmeyi doğrulamak için veri akışı analizini gerçekleştirir ve programlamada gerektiği gibi iş parçacıklı kod üretimi için verileri bölümlere ayırır. OpenMP direktifler. OpenMP ve Otomatik paralelleştirme uygulamaları, çok işlemcili sistemlerde paylaşılan bellekten performans kazanımları sağlar.

Intel Danışmanı

Intel Danışmanı 2017 bir vektörleştirme optimizasyonu ve iş parçacığı prototipleme aracıdır. Paralel siteleri aramak, kullanıcıların döngüleri vektörleştirme ve iş parçacığı için işaretlemelerine, işaretli döngüler için döngü üzerinden taşınan bağımlılıkları ve bellek erişim modellerini kontrol etmelerine ve vektörleştirme ve diş açma için pragmalar eklemek için iş akışına birkaç adımı entegre eder.

AutoPar

AutoPar aracının iş akışı

AutoPar girdi seri C / C ++ kodlarına otomatik olarak OpenMP pragmaları ekleyebilen bir araçtır. Mevcut OpenMP direktiflerine sahip giriş programları için araç, doğru seçenek açıldığında doğruluğu iki kez kontrol edecektir. Geleneksel araçlarla karşılaştırıldığında, AutoPar daha fazla paralelleştirme fırsatı keşfetmek için kullanıcı bilgisini (anlambilim) birleştirebilir.

iPat / OMP

Bu araç, kullanıcılara sıralı bir programın OpenMP paralelleştirilmesi için gereken yardımı sağlar. Bu araç, Emacs editöründe bir dizi işlev olarak uygulanır. Programın bir hedef kısmının seçilmesi, bir yardım komutunun çağrılması ve programın araç tarafından gösterilen yardım bilgisine dayalı olarak değiştirilmesi gibi program paralelleştirme ile ilgili tüm faaliyetler, kaynak program düzenleyici ortamında gerçekleştirilebilir.[2]

Vienna Fortran derleyicisi (VFC)

Düzensiz uygulamaların gereksinimlerini karşılayan, HPF + (HPF'nin optimize edilmiş versiyonu) için yeni bir kaynaktan-kaynağa paralelleştirme sistemidir.

SUIF derleyicisi

SUIF (Stanford Üniversitesi Intermediate Format), derleyicileri optimize etme ve paralelleştirme konusunda işbirliğine dayalı araştırmayı desteklemek için tasarlanmış ücretsiz bir altyapıdır. SUIF, hem Fortran hem de C'yi giriş dilleri olarak alan tam işlevli bir derleyicidir. Paralelleştirilmiş kod, bir SPMD Çeşitli mimarilere göre yerel C derleyicileri tarafından derlenebilen programın (Tek Programlı Çoklu Veri) paralel C sürümü.[3]

Omni OpenMP Derleyici

Çevirir C ve Fortran ile programlar OpenMP Omni OpenMP çalışma zamanı kitaplığına bağlı yerel bir derleyici ile derlemeye uygun C koduna pragmalar. Döngü paralelleştirme için yapar.

Zamanlama Mimarları Doktoru

Birden çok çekirdeğe görev tahsisini ve görev paralelleştirmesini iyileştirmek için simülasyon tabanlı bir yaklaşım kullanır. Simülasyon tabanlı bir performans ve gerçek zamanlı analizin kullanılmasıyla, farklı görev tahsis alternatifleri birbiriyle kıyaslanır. Bağımlılıklar ve işlemci platformuna özgü etkiler dikkate alınır. TA Optimizer gömülü sistem mühendisliğinde kullanılır.

TRACO

Yineleme Alanı Dilimleme ve Ücretsiz Zamanlama Çerçevesini kullanır. Çekirdek, Presburger Aritmetiği ve geçişli kapatma işlemine dayanmaktadır. Döngü bağımlılıkları ilişkilerle temsil edilir. TRACO, Omega Hesaplayıcı, CLOOG ve ISL kitaplıklarını ve Petit bağımlılık analizörünü kullanır. Derleyici, C / C ++ uygulamaları için ince ve kaba taneli paralellik ile daha iyi yerellik çıkarır. Araç, West-Pomeranian University of Technology ekibi tarafından geliştirilmiştir; (Bielecki, Palkowski, Klimek ve diğer yazarlar) http://traco.sourceforge.net.

Sıra L

Sıra L birincil tasarım hedefleri çok çekirdekli işlemci donanımında performans, programlama kolaylığı, platform taşınabilirliği / optimizasyonu ve kod netliği ve okunabilirliği olan genel amaçlı bir işlevsel programlama dili ve otomatik paralelleştirme araç setidir. Başlıca avantajı, programcıların paralelliklerin belirlenmesi, vektörleştirmenin belirlenmesi, yarış koşullarından kaçınılması ve manuel yönerge tabanlı diğer zorluklarla ilgilenmesine gerek kalmadan mevcut tüm işlem gücünden otomatik olarak tam olarak yararlanan basit kod yazmak için kullanılabilmesidir. OpenMP gibi programlama yaklaşımları.

SequenceL'de yazılan programlar, bir programcıdan nasıl veya neyin paralelleştirileceğine dair açık bir gösterge olmaksızın paralel olarak çalışan çok iş parçacıklı kod olarak derlenebilir. 2015 itibariyle, SequenceL derleyicisinin sürümleri, C ++ ve OpenCL'de paralel kod oluşturarak, C, C ++, C #, Fortran, Java ve Python dahil olmak üzere en popüler programlama dilleriyle çalışmasına olanak tanır. Platforma özgü bir çalışma zamanı, iş parçacıklarını güvenli bir şekilde yönetir ve mevcut çekirdek sayısına göre otomatik olarak paralel performans sağlar.

OMP2MPI

OMP2MPI[4] Otomatik olarak üretir MPI kaynak kodu OpenMP. Programın, küme veya Ağ-on-Chip tabanlı (NoC-tabanlı) Multiprocessors-System-onChip (MPSoC) gibi paylaşımlı olmayan bellek mimarilerinden yararlanmasına izin verilmesi. OMP2MPI, daha iyi sonuçlar elde etmek isteyen bir uzman tarafından daha fazla optimizasyona izin veren bir çözüm sunar.

OMP2HMPP

OMP2HMPP,[5] yüksek seviyeli bir C kaynak kodunu otomatik olarak çeviren bir araç (OpenMP ) kodlamak HMPP. Oluşturulan sürüm, nadiren elle kodlanmış sürümden farklı olacaktır. HMPP ve daha sonra elle kodlanarak geliştirilebilecek% 113'e yakın önemli bir hızlanma sağlayacaktır. CUDA.

emmtrix Parallel Studio

emmtrix Parallel Studio emmtrix Technologies GmbH tarafından geliştirilen etkileşimli bir GUI ile birleştirilen kaynaktan kaynağa paralelleştirme aracıdır. C alır, MATLAB, Simulink, Scilab veya Xcos kaynak kodu girdi olarak ve çıktı olarak paralel C kodu üretir. Paralel program için statik zamanlamaya ve mesaj geçen bir API'ye dayanır. Paralelleştirme sürecinin tamamı, son kullanıcı tarafından paralelleştirme kararlarına olanak sağlayan etkileşimli bir GUI'de kontrol edilir ve görselleştirilir. GPU ve FPGA hızlandırıcılarla birleştirilmiş gömülü çok çekirdekli mimarileri hedefler.

CLAW Derleyici

CLAW Derleyici çevirir Fortran Pençe pragmaları içeren programları, OpenMP veya OpenACC pragmalarıyla güçlendirilmiş belirli bir süper bilgisayar hedefi için uygun Fortran koduna dönüştürür.

Ayrıca bakınız

Referanslar

  1. ^ Vinay G. Vaidya, PushpRaj Agrawal, Aditi Athavale, Anish Sane, Sudhakar Sah ve Priti Ranadive "İndüklenmiş Paralellik Kullanan Çok Çekirdekli İşlemcilerde Artan Paralellik"
  2. ^ Makoto Ishihara, Hiroki Honda ve Mitsuhisa Sato tarafından "OpenMP için Etkileşimli Paralelleştirme Yardım Aracının Geliştirilmesi ve Uygulanması: iPat / OMP"
  3. ^ "Ölçeklenebilir Paralel Makineler için SUIF Derleyicisine Genel Bakış", Yedinci SIAM Bilimsel Hesaplama için Paralel İşleme Konferansı Bildirilerinde, 1993 Saman P. Amarasinghe, Jennifer M. Anderson, Monica S. Lam, Chauwen Tseng
  4. ^ Albert Saa-Garriga, David Castells-Rufas ve Jordi Carrabina. 2015. OMP2MPI: Otomatik MPI kodu oluşturma OpenMP programları. Yüksek Performanslı Enerji Verimli Gömülü Sistemlerde. ACM.
  5. ^ Albert Saa-Garriga, David Castells-Rufas ve Jordi Carrabina. 2014. OMP2HMPP: Pragma Uzantıları Olan Programlardan HMPP Kaynak Kodu Üretimi. Yüksek Performanslı Enerji Verimli Gömülü Sistemlerde. ACM.

Dış bağlantılar