• Nie Znaleziono Wyników

Techniczne aspekty diagnozowania sieci procesorów o łagodnej degradacji typu sześcian 4-wymiarowy metodą prób porównawczych

N/A
N/A
Protected

Academic year: 2021

Share "Techniczne aspekty diagnozowania sieci procesorów o łagodnej degradacji typu sześcian 4-wymiarowy metodą prób porównawczych"

Copied!
9
0
0

Pełen tekst

(1)

NR 2, 2013

Techniczne aspekty diagnozowania sieci

procesorów o łagodnej degradacji typu

sześcian 4-wymiarowy metodą prób

porównawczych

Artur ARCIUCH

Instytut Teleinformatyki i Automatyki WAT, ul. Gen. S. Kaliskiego 2, 00-908 Warszawa

aarciuch@wat.edu.pl

STRESZCZENIE: W publikacji zaprezentowano wybrane aspekty techniczne związane z implementacją sposobu diagnozowania sieci procesorów typu sześcian 4-wymiarowy metodą prób porównawczych. Implementacji wybranych elementów metody dokonano w sieci zbudowanej na bazie mikrokomputerów Micro2440.

SŁOWA KLUCZOWE: model MM, diagnostyka systemowa

1. Wprowadzenie

Sieci procesorów o łagodnej degradacji [2], [10], wbudowywane w inne trudno dostępne obiekty techniczne, charakteryzują się tym, że nie dokonuje się w nich naprawy (ani wymiany) procesora, który uległ uszkodzeniu, lecz wyklucza się go ze struktury logicznej sieci (blokuje się do niego dostęp), a sieć o nowej (zdegradowanej) strukturze logicznej kontynuuje funkcjonowanie pod warunkiem spełnienia określonych warunków.

W publikacji zaproponowano sposób implementacji diagnozowania sieci procesorów typu sześcian 4-wymiarowy (H ) metodą prób porównawczych [5], 4 [6] w fizycznej sieci zbudowanej na bazie mikrokomputerów Micro2440.

Diagnozowanie metodą prób porównawczych należy do metod diagnostyki systemowej (ang. system level diagnosis) i jest jedną z metod diagnozowania stosowaną w systemach samodiagnozowalnych [9].

(2)

Sieci procesorów o łagodnej degradacji i strukturze logicznej sześcianu 4-wymiarowego (H ) są wynikiem rozwoju technologii wytwarzania matryc 4 procesorów tworzących sieci o strukturach regularnych, realizowanych jako układy scalone o bardzo dużej skali integracji. Należą one do klasy sieci jednorodnych (homogenicznych), w których prawdopodobieństwo uszkodzenia się dowolnego procesora jest jednakowe.

W rozdziale drugim publikacji zamieszono określenia i własności wykorzystywane w pozostałych rozdziałach. W rozdziale trzecim zaproponowano sposób diagnozowania sieci wykorzystujący metodę prób porównawczych.

2. Podstawowe określenia i własności

Strukturę logiczną sieci nazywamy strukturą typu sześcian 4-wymiarowy (H ), jeżeli jest ona opisana takim spójnym grafem zwykłym 4 GE,U( E – zbiór procesorów, U – zbiór dwukierunkowych linii transmisji danych między procesorami), którego węzły można opisać 4-wymiarowymi wektorami binarnymi (etykietami) w ten sposób, że odległość Hamminga między wektorami opisującymi procesory przyległe równa się jeden.

Jeżeli 4 2 | ) G ( E

|  i |E(e)|4, e E(G), gdzie E(e)oznacza zbiór węzłów przyległych do węzła e, to graf G oznaczamy przez H . 4

Struktura robocza sieci procesorów typu H jest spójnym podgrafem 4 grafu H spełniającym określone kryteria degradacji sieci. 4

Diagnozowanie sieci procesorów metodą prób porównawczych polega na wnioskowaniu o stanie zdatności sieci na podstawie wyników zbioru prób porównawczych, z których w każdej uczestniczą trzy procesory. Jeden z nich

E

e* , zwany komparatorem, zleca procesorom e i e({e,e}E(e*))

jednakowe zadanie oraz sprawdza, czy wyniki wykonania tego zadania przez te procesory są identyczne. Zbiór {e,e} nazywamy parą porównawczą, a symbol

) e , e ; e ( *    nazywamy próbą porównawczą. Oznaczmy przez (G), E(), * e ) ( K  oraz P(){e,e}

odpowiednio: zbiór wszystkich możliwych (dla struktury G ) prób porównawczych, zbiór procesorów uczestniczących w próbie porównawczej , komparator próby porównawczej oraz parę porównawczą próby .

(3)

zbioru E niezdatnych procesorów, przy czym 1 d(,E1)0oznacza, że wyniki uzyskane od obu procesorów są identyczne, a d(,E1)1 – przeciwnie.

Przyjmijmy, że obowiązuje następująca reguła wnioskowania z wyniku próby porównawczej [5], [6]: }]. 1 , 0 { x , x ) E , ( d [ )] E ) ( K [( ]; 1 ) E , ( d [ ] ) E ) ( P ( ) E ) ( K [( ]; 0 ) E , ( d [ )] E ) ( P ( ) E ) ( K [( 1 1 1 1 0 1 1 0                   (1)

Sieć procesorów, dla której istnieje algorytm umożliwiający zlokalizowanie niezdatnych procesorów, pod warunkiem, że jest ich nie więcej niż t, nazywamy t-lokalizacyjną siecią procesorów.

Mówimy [4], że zbiór (G)prób porównawczych jest pokryciem zbioru procesorów sieci próbami porównawczymi, jeżeli P()E. Innymi słowy: zbiór prób porównawczych jest pokryciem sieci procesorów wtedy i tylko wtedy, gdy eE :eP( ).

3. Diagnozowanie sieci

Sieć procesorów pracuje w cyklach. Cykl składa się z okresu roboczego oraz z seansu diagnostycznego. Seanse diagnostyczne przeplatają się z okresami roboczymi sieci na tyle często, aby prawdopodobieństwo uszkodzenia się w okresie roboczym więcej niż jednego procesora było rzędu zerowego. W wyniku realizacji seansu diagnostycznego każdy procesor roboczy (niewykluczony z sieci z powodu niezdatności lub reguły degradacji sieci) ma zapisaną, obowiązującą, 1-lokalizacyjną strukturę sieci. Każdy procesor przechowuje informację o strukturze logicznej sieci procesorów.

Przed przystąpieniem do pierwszego cyklu roboczego procesory sieci dokonują konfiguracji sieci. Konfiguracja polega na określeniu struktury roboczej sieci. W tym celu każdy z procesorów buduje listę procesorów do niego przyległych przez przypisanie numerów procesorów przyległych do własnych interfejsów komunikacyjnych. Ponadto każdy z procesorów generuje (o ile nie jest on zapisany w pamięci procesora) wzorzec syndromu globalnego dla 1-lokalizacyjnej sieci procesorów typu sześcian 4-wymiarowy (H ) 4 diagnozowanej metodą prób porównawczych (tabela 1). W przypadku ogólnym wzorzec syndromu globalnego uwzględnia wszystkie możliwe próby porównawczedla struktury typu H . 4

(4)

Zaproponowano następujący sposób wyznaczania wzorca syndromu globalnego dla 1-lokalizacyjnej sieci H . Liczba możliwych par porów-4 nawczych dla sieci 1-lokalizacyjnej H wynosi 96 – każdy z procesorów 4 dokonuje sześciu komparacji. Wyniki prób porównawczych dla określonego wzorca syndromu przyporządkowanego do określonego stanu niezawodnościowego zapisujemy w postaci wektora s (n n {0,1,...,16}) – wymiaru 1 x 96. Przyjęto, że s oznacza wzorzec syndromu dla sieci, w której 0 wszystkie procesory są zdatne. Indeksy n,n{1,2,...,16} wektora s oznaczają n wzorzec syndromu sieci w przypadku, gdy procesor o etykiecie n  jest 1 niezdatny.

W wektorze s wyróżniono szesnaście, ponumerowanych od 0 do 15, n sześcioelementowych sekwencji. Każda sekwencja zawiera wzorce prób porównawczych dla danego komparatora w określonym stanie niezawodnościowym sieci.

Budowanie sekwencji dla komparatora o etykiecie i przedstawiono w tabeli 1.

Wzorzec syndromu globalnego zbudowany w oparciu o regułę wnioskowania opisaną zależnością 2 (bazuje na zależności 1) pokazano na rysunku 1.

Proces diagnozowania przebiega w następujących krokach:

1) Każdy procesor przypisuje do swoich interfejsów komunikacyjnych numery podłączonych procesorów przyległych.

2) Każdy procesor, który ma więcej niż jednego sąsiada, wysyła do swoich sąsiadów żądania wykonania testu funkcjonalnego.

3) Każdy procesor wykonuje test funkcjonalny, ale tylko przy pierwszym zleceniu wykonania testu i zapisuje wynik testu.

4) Każdy procesor, który ma więcej niż jednego sąsiada, wysyła żądanie odesłania wyników testu funkcjonalnego.

5) Każdy procesor odsyła wynik testu funkcjonalnego.

6) Każdy procesor, który ma więcej niż jednego sąsiada, dokonuje oceny wyników prób porównawczych, w których pełni funkcję komparatora. 7) Każdy procesor, który pełni funkcję komparatora, rozsyła wyniki

własnych prób porównawczych oraz dodaje i rozsyła do swoich sąsiadów wyniki prób porównawczych nadesłane od innych procesorów.

8) Każdy procesor wyznacza syndrom. Na podstawie syndromu jest wyznaczany stan niezawodnościowy sieci.

(5)

Tab. 1. Sekwencja prób porównawczych dla procesora o etykiecie n (symbol „” oznacza operację XOR) Wynik wzorca próby porównawczej i 2) , 1 i ; i (   ) 4 i , 1 i ; i (   ) 8 i , 1 i ; i (   ) 4 i , 2 i ; i (   ) 8 i , 2 i ; i (   ) 8 i , 4 i ; i (   Indeks, } 15 ,..., 1 , 0 { i  i60 i61 i62 i63 n64 n65 ]. 2 ) E , ( d [ )] E ) ( K [( ]; 1 ) E , ( d [ ] ) E ) ( P ( ) E ) ( K [( ]; 0 ) E , ( d [ )] E ) ( P ( ) E ) ( K [( 1 1 1 1 0 1 1 0                  (2)

i Wzorzec syndromu globalnego

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 222222111000100110000000010101000000000000000000001011000000000000000000000000000000000000000000 111000222222000000100110000000010101000000000000000000001011000000000000000000000000000000000000 100110000000222222111000000000000000010101000000000000000000001011000000000000000000000000000000 000000100110111000222222000000000000000000010101000000000000000000001011000000000000000000000000 010101000000000000000000222222111000100110000000000000000000000000000000001011000000000000000000 000000010101000000000000111000222222000000100110000000000000000000000000000000001011000000000000 000000000000010101000000100110000000222222111000000000000000000000000000000000000000001011000000 000000000000000000010101000000100110111000222222000000000000000000000000000000000000000000001011 001011000000000000000000000000000000000000000000222222111000100110000000010101000000000000000000 000000001011000000000000000000000000000000000000111000222222000000100110000000010101000000000000 000000000000001011000000000000000000000000000000100110000000222222111000000000000000010101000000 000000000000000000001011000000000000000000000000000000100110111000222222000000000000000000010101 000000000000000000000000001011000000000000000000010101000000000000000000222222111000100110000000 000000000000000000000000000000001011000000000000000000010101000000000000111000222222000000100110 000000000000000000000000000000000000001011000000000000000000010101000000100110000000222222111000 000000000000000000000000000000000000000000001011000000000000000000010101000000100110111000222222

Rys. 1. Wzorzec syndromu globalnego

Na rysunku 2 zaprezentowano stany, jakie przyjmuje procesor w czasie diagnozowania.

W celu określenia stanu niezawodnościowego sieci syndrom globalny jest porównywany z każdym wierszem wzorca syndromu globalnego. Struktura sieci może być podgrafem H . W związku z tym należy tak przekształcić syndrom, 4 aby można go było porównać z wzorcem  w syndromie występują symbole „4”, które oznaczają wynik porównania niewystępującego w danym podgrafie

4

H (który opisuje strukturę sieci) i które należy zastąpić odpowiadającymi im symbolami („0”, „1”, „2”) z aktualnie porównywanego wiersza wzorca syndromu. Procedurę wyznaczania stanu niezawodnościowego sieci na podstawie syndromu oraz wzorca syndromu globalnego (o zadanej wnikliwości diagnostycznej zaimplementowanej w języku C#) pokazano na rysunku 3.

(6)
(7)

public System.Collections.ArrayList WyznaczStan(string syndrom){ System.Collections.ArrayList iIndeksyWzorcaSyndromów = new System.Collections.ArrayList();

string s1 = string.Empty;

for (int i = 0; i < WzorzecSyndromów.Count; i++) { for (int j = 0; j < syndrom.Length; j++) {

if (WzorzecSyndromów[i].ToString()[j] == '2') s1 += 2;

else if (syndrom[j] == '4') s1 += WzorzecSyndromów[i].ToString()[j]; else if (syndrom[j] != '4') {

if (syndrom[j] != WzorzecSyndromów[i].ToString()[j]) s1 += syndrom[j]; if (syndrom[j] == WzorzecSyndromów[i].ToString()[j]) s1 += WzorzecSyndromów[i].ToString()[j];} } if (s1 == WzorzecSyndromów[i].ToString()) { iIndeksyWzorcaSyndromów.Add(i); } s1 = string.Empty; } return iIndesyWzorcaSyndromów; }

Rys. 3. Wyznaczanie stanu sieci na podstawie syndromu i wzorca syndromu globalnego

Na rysunku 4 zaprezentowano przykłady syndromów otrzymanych w wyniku diagnozowania sieci oraz syndromów dostosowanych do porównania z wzorcem syndromu globalnego dla przypadku sieci H o wszystkich 3 procesorach zdatnych oraz o niezdatnym procesorze o numerze 1.

syndrom dla sieci H zdatnej: 3

004044004044004044004044004044004044004044004044444444444444444444444444444444444444444444444444

syndrom po usunięciu opinii niewystępujących w strukturze H : 3

000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

odpowiada zerowemu wierszowi wzorca syndromu globalnego (0) syndrom dla sieci H o niezdatnym procesorze o numerze 1: 3

114044004044004044104144004044014144004044004044444444444444444444444444444444444444444444444444

syndrom po usunięciu opinii niewystępujących w strukturze H : 3

111000222222000000100110000000010101000000000000000000001011000000000000000000000000000000000000

odpowiada drugiemu wierszowi wzorca syndromu globalnego (0)

Rys. 4. Przykłady syndromów i ich interpretacji

Diagnozowanie sieci opisaną metodą zostało zaimplementowane z powodzeniem w środowisku rzeczywistym z wykorzystaniem mikrokomputerów Micro2440 z mikroprocesorami S3C2440AL, działających pod kontrolą systemu operacyjnego Windows Embedded CE 6.0 R2 (rysunek 5).

(8)

Rys. 5. Realizacja sieci procesorów

4. Podsumowanie

W publikacji pokazano techniczny aspekt diagnozowania sieci procesorów typu sześcian 4-wymiarowy metodą prób porównawczych. Rozpoznano możliwości implementacji metod diagnostyki systemowej w sieciach procesorów oraz zaimplementowano fragment metody diagnozowania metodą prób porównawczych. Osobny problem, który nie został poruszony w publikacji, a jest rozważany przez autora, stanowi dobór rodzaju i liczby zadań funkcjonalnych realizowanych przez procesory.

Literatura

[1] CHUDZIKIEWICZ J., Sieci komputerowe o strukturze logicznej typu hipersześcianu, Instytut Automatyki i Robotyki, Wydział Cybernetyki WAT, Warszawa, 2002. [2] KUHL J.G., REDDY S.M., Distributed fault-tolerance for large microprocessors

systems, in Proc. 7th Symp. Comput. Archutecture, May 1980, pp. 23-30.

[3] KUHL J.G.,REDDY S.M., Fault-diagnosis in fully distributed systems, in Eleventh Int. Conf. Fault-Tolerant Comput. 1981, pp. 100-1005.

(9)

[4] KULESZA R., ZIELIŃSKI Z., Wnikliwość diagnozowania sieci procesorów metodą

porównawczą, Systemy Czasu Rzeczywistego, Postępy badań i zastosowania,

praca zbiorowa pod redakcją Zbigniewa Zielińskiego, WKŁ, Warszawa, 2009, pp. 211-225.

[5] MALEK M., MAENG J., A Comparison Connection Assignment for Self-Diagnosis of

Multiprocessor Systems, Digest Int′l Symp.FTC, 1981, pp. 173-175.

[6] MALEK M., A Comparison Connection Assignment for Self-Diagnosis of

Multiprocessors Systems, Proc. Seventh Int′l Symp. Computer Architecture, 1980,

pp. 31-35.

[7] PREPARATA F.P.,VUILLEMIN J., The cube-connected cycles: a versatile network for

parallel computation, Commun. ACM, vol. 24, no. 5, pp. 300-309, May 1981.

[8] PREPARATA F.P.,METZE G.,CHIEN R.T., On the Connection Assignment Problem

of Diagnosable Systems, IEEE Transactions on Computers 6, 1967, pp. 848-854.

[9] SENGUPTA A., DAHBURA A.T., On Self-Diagnosable Multiprocessors Systems:

Diagnosis by the Comparison Approach, IEEE Trans. Comput., 1992, 41, 11,

pp. 1386-1396.

[10] ZIELIŃSKI Z., CHUDZIKIEWICZ J., ARCIUCH A., KULESZA R., Sieć procesorów

o łagodnej degradacji i strukturze logicznej typu sześcianu 4-wymiarowego,

Projektowanie, analiza i implementacja systemów czasu rzeczywistego, praca zbiorowa pod redakcją Leszka Trybusa i Sławomira Samoleja, WKŁ, Warszawa, 2011, pp. 219-232.

Technical aspects of implementation of method of comparative

trials for 4-dimensional cube with a mild type of degradation

ABSTRACT: The paper presents technical aspects of an implementation of the MM model within a microprocessor system with a 4-dimensional cube structure. The implementation was made in a network of Micro2440 microcomputers.

KEYWORDS: MM model, system level diagnosis

Cytaty

Powiązane dokumenty

Gniazda typu ZIF wykorzystywane są przy kosztownych układach scalonych, jak procesory (od połowy lat 90. w gniazdach procesorów właściwie nie stosuje się innych

stanowi kompromisem pomiędzy Thumb i ARM32, zawiera cały zestaw Thumb i wybrane instrukcje ARM32 (celem jest duża gęstość, zbliżona do Thumb i wydajność porównywalna

Intel 4040 to 4-bitowy procesor firmy Intel, następca 4004, którego produkcję rozpoczęto w 1974.. 4040 był głównie używany do gier, testów, implementacji i

Architektura tego procesora została opracowana jeszcze zanim Intel wypuścił na rynek procesory poprzedniej serii 286, jednak procesor był zbyt skomplikowany, aby go w tamtym

Zużywając mniej energii, Pentium M jest taktowany znacznie wolniejszym zegarem niż współczesne mu Pentium 4, ale ma bardzo podobne osiągi, na. przykład, wersja Pentium M z

Xeon - serwerowa rodzina procesorów firmy Intel, która wyewoluowała z procesorów Pentium II, jako następca dla użytkowników układów Pentium Pro. Pierwszy procesor taktowany

Procesor Intel i860, inaczej 80860, nazwa kodowa N10, jest procesorem o architekturze RISC produkowanym przez firmę Intel od roku 1989. Procesor ten, wraz z modelem Intel i960

Na dziś termin &#34;wielordzeniowe&#34; oznacza w przypadku AMD dwa rdzenie - każdy procesor Opteron składa się z dwóch rdzeni, przełącznika krzyżowego i kontrolera pamięci