MB pamięci Pamięć jest fizycznie rozproszona a logicznie w zależności od konfiguracji może stanowić jedną przestrzeń lub wiele rozdzielonych przestrzeni adresowych
3. DSM - Pamięci rozproszone fizycznie ^
Pamięć typu DSM jest widziana jako jedna wspólna przestrzeli adresowa Rozwiązanie takie umożliwia korzystanie ze wspólnych zmiennvch procesom działającym na różnych procesorach z których każdy jest wyposażony w lokalną pamięć (nie istnieje wspólna pamięć fizyczna)
Pamięci typu DSM są stosowane w
• komputerach klasy MIMD
• kl astrach komouterowych
Zaletą stosowania pamięci typu DSM jest uniknięcie problemu wąskiego gardła magistrali Rozwiązanie takie umożliwia wykorzystanie sofiware u doslępnego na komputery ze wspólną pamięcią
Implementacja wspólnej przestrzeni adresowej może być realizowana na dwa sposoby, sprzętowo lub programowo poprzez system operacyjny Implementacja sprzętowa realizowana jest poprzez szybką sieć połączeń pomiędzy poszczególnymi pamięciami a dostęp do poszczególnych pamięci następuje poprzez jednostkę MMIJ Implementacja programowa realizowana jest z wykorzystaniem mechanizmu stronicowania
Modele spójności w pamięci lypu DSM
W pamięciach typu DSM zapewnienie pdnej spójności takiej pamięci powoduje iż staje się ona nie efektywna. Z kolei jeśli spójność pamięci jest zła to trudno jest napisać program WyTóZniamy trzy modele spójności pamięci:
• pełna spójność
• spójność sekwencyjna
• słaba spójność
Pełna spójność gwarantuje i2 odczyt komórki X zwraca wariość umieszczoną tam przez ostatnią operację zapisu Model pełnej spójności pamięci jest w praktyce nie realizowany.
Spójność sekwencyjna polega na tym że wszystkie procesy widzą tą samą sekwencję operacji do pamięci. Ten model spójność jest bardzo wygodny dla programislów ale nie efektywny ponieważ zapis zawiesza proces do czasu aż wszystkie kopie zmiennej zostaną unieważnione i odbędzie się aktualizacja zmiennej (zapis zwrotny).
Słaba spójność Istnieją dwie specjalna funkcja służące do zapewnienia spójności, funkcja aktualizacji (acąuirt) która zapewnia zgodność lokalnych kopii zmiennych dzielonych i funkcja zwolnienia (refease) zmiennej której zadanie polega na przesianiu zmiennej dzielonej do pozostałych węzłów (procesorów) w celu jej uaktualnienia I tak DSM zapewnia spójność pamięci jeśli proces wykona przed odczytem funkcję aktualizacji zmiennej, a po modyfikacji funkcję zwolnienia zmiennej Model ten jest bardziej efektywny (oszczędniejszy) niż inne modele.