240 likes | 526 Views
Soyut Modeller ( Abstract Models ). Murat Olcay ÖZCAN Trakya Üniversitesi Bilgisayar Mühendisliği Anabilim Dalı. Soyut Modeller. Bu bölümde hem paylaşılan bellek hem de mesaj aktarım sistemleri için soyut modelleri inceleyeceğiz.
E N D
Soyut Modeller(AbstractModels) Murat Olcay ÖZCAN Trakya Üniversitesi Bilgisayar Mühendisliği Anabilim Dalı
Soyut Modeller • Bu bölümde hem paylaşılan bellek hem de mesaj aktarım sistemleri için soyut modelleri inceleyeceğiz. • Bir çok paralel ve dağıtık algoritmaları inceleyerek bu modelleri kullanarak karmaşıklıklarını hesaplayacağız.
İlk bakışta soyut modellerin idealist yapıları gereği gerçek hayat durumlarına uygun olmadıkları düşünülse de, soyut makineler paralel ve dağıtık algoritmaları incelerken ve gerçek makinelerden bağımsız performanslarını ölçerken çok yararlıdır. • Eğer bir algoritmanın performansı soyut bir sistemde tatmin edici değilse, gerçek sisteme uygulanması da anlamsız olacaktır.
PRAM Model ve Varyasyonları • Teorik modellerin paralel programlamadaki önemi algoritmaları tanımlayıp analiz etmek için bir çatı sağlamasıdır. En çok kullanılan modellerden biri parallel random access machine (PRAM) modelidir. • PRAM bir kontrol birimi, p tane işlemci tarafından paylaşılan bir genel bellekten oluşur. Her işlemcinin haberleşebileceği genel bellek dışında kendi özel belleği de vardır.
PRAM Altsınıfları • EREW PRAM • ERCW PRAM • CREW PRAM • CRCW PRAM
EREW PRAM DA ÇOKLU ERİŞİMLERİN SİMULE EDİLMESİ • Dört altsınıf içinde en kısıtlayıcısı EREW PRAM’dır. Bir zamanda, verilen bir bellek alanına sadece bir işlemci yazabilir yada okuyabilir. Bu model için şu algoritma kullanılabilir:
Paralel Algoritmaların Analizi • Ardışık bir algoritmanın karmaşıklığı genel olarak zaman karmaşıklığı ve alan karmaşıklığı ile ölçülür. • Zaman karmaşıklığı; genel bir problemin bir örneğini, en verimli algoritma ile çözmek için izlenen adımların, girdi miktarı cinsinden bir fonksiyon ile ifade edilmesidir. Mesela n uzunluğu da bir girdi verildiğinde log(n) adımda çözümlenen bir problem, log(n) zaman karmaşıklığına sahiptir. Tabi ki kaç adımda hesaplanacağı, algoritmanın çalıştırıldığı makineye veya kodlandığı dile de bağlıdır; ama bunlardan bağımsız olması için birazdan bahsedeceğim "Büyük O Gösterimi" (Big O Notation) gibi genellemeye yarayan gösterimler vardır. Alan karmaşıklığı ise, bir algoritmanın kullandığı alan veya bellek miktarıyla ilgilidir. O da Büyük O gösterimi ile ölçülür.
Toplam ve Tüm Toplamaların Hesaplanması • Bu bölümde bir sayı dizisinin tüm toplamlarını ve tüm kısmi toplamlarını hesaplayan bir PRAM algoritması dizayn edeceğiz. Tüm toplamı hesaplayan algoritma şöyle olur.
Karmaşıklık Analizi: • Çalışma Zamanı, T(n)=O(log n) • İşlemci Sayısı, P(n)=n/2 • Maliyet, C(n)= O(n log n)
Kısmi Toplamları Hesaplayan Algoritma • Karmaşıklık Analizi: • Çalışma Zamanı, T(n)=O(log n) • İşlemci Sayısı, P(n)=n-1 • Maliyet, C(n)= O(n log n)
Matrix Çarpımı • Bu bölümde paralel olarak matrix çarpımı üzerinde çalışacağız. İki n x n matrisi çarpan bir algoritma tanımlayacağız. Anlaşılırlık için n’i 2 nin katı olarak kabul edeceğiz. • Algoritmanın n3 işlemci ile çalışan bir CREW PRAM üzerinde tanımlayacağız.
Karmaşıklık Analizi: • Çalışma Zamanı, T(n)=O(log n) • İşlemci Sayısı, P(n)= n3 • Maliyet, C(n)= O(n3 log n)
Sıralama • Burada belirttiğimiz algoritma enumeration fikri üzerine kurulmuştur. • Algoritma n2 işlemcili CRCW PRAM üzerinde tanımlanmıştır. • Karmaşıklık Analizi: • Çalışma Zamanı, T(n)=O(1) • İşlemci Sayısı, P(n)= n2 • Maliyet, C(n)= O(n2)
Basit Lider Seçim Algoritması • Bu algoritmanın fikri; her süreç halka boyunca kendi tanımlayıcısını gönderir. Kendi tanımlayıcısı geri alan süreç lider olarak ilan edilir. • Şunları varsayıyoruz: • İletişim tek yönlüdür. (saat yönünde) • Halkanın büyüklüğü bilinmemektedir. • Her sürecin tanımlayıcısı farklıdır.
Karmaşıklık Analizi: • Çalışma Karmaşıklığı: O(n) • Mesaj Karmaşıklığı: O(n2 )
GELİŞMİŞ LİDER SEÇİM ALGORİTMASI • Mesaj karmaşıklığını düşürmek için, bir süreç kendi ID’sini tüm halka boyunca göndermek zorunda değildir. • Bunun yerine bir süreç mesajlarını belli bir uzaklık içindeki komşularına gönderir. • Şunları varsayıyoruz: • İletişim tek yönlüdür. • Halkanın büyüklüğü bilinmemektedir. • Her sürecin tanımlayıcısı farklıdır.
Karmaşıklık Analizi: • Çalışma Karmaşıklığı: O(n) • Mesaj Karmaşıklığı: O(n log n )