-
Data: 2011-07-21 17:03:37
Temat: Re: Dostepnosc systemu - metody formalne
Od: Seweryn Habdank-Wojewódzki <h...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Witam,
> No a co moze oznaczac? Nie podales danych i nie mozna
> policzyc prawdopodobienstwa.
Ech ... same dane to nie wszystko, musisz znac model systemu -
niestety tego w calosci nie moge podac.
Ogolnie to wyglada tak, ze mam 8 typow maszyn (ktore w zaleznosci
od konfiguracji tworza klastry o rozmiarze od 15 maszyn do 27 maszyn.
W sumie jest tak, ze jesli dowolne dwie tego samego typu padna to jest
klapa. Do tego dochodzi padniecie zasilania lub UPS i klimatyzacji.
Kazda maszyna oprocz OS (3 rozne OSy w zaleznosci od typu maszyny).
OSy mozesz zalozyc, ze sa raczej odporne, ale bez przesady nie mozna
zalozyc 100%, powiedzmy, ze mozna zalozyc od 99,0% do 99,99% w
zaleznosci od OS. Kazdy OS dzwiga 2-3 krytycznych procesow.
Kazdy znich moze pasc na pewien czas, ale nie na dlugo i znowu
jesli dwa takie same procesy na takich samych maszynach padna na raz
to klapa. Procesy maja bufory stale lub ulotne w zaleznosci od
krytycznosci
danych. Maszyny maja rozne dyski (SSD, obrotowe lub poprostu specjalne
flashe, tam sa RAIDy 50 wiec mozna przyjac wysoka niezawodnosc,
ale nie 100%). Chociaz pad dysku w RAIDzie moze powodowac spadek
jego wydajnosci. Maszyny sa przemyslowe z CPU dostosowanym do ciaglej
pracy i o poszerzonym zakresie odpornosci na temperatury tez wysoka
niezawodnosc, tak wiec padniecie klimy na pewien czas nie powoduje
zadnych strat. W ogolnosc obserwacja jest taka, ze pojedynczy pad na
krotki
czas nie przynosci strat. Pad dowolnego elementu na dluzszy czas moze
powodowac utrudnienia w load balancingu co moze powodowac klopoty
obliczeniowe i przesylu (kolejkowania) dancych. Dlugie pady potrafia
rowniez
generowac pewne fale raportowania i reagowania na "uposledzenie
systemu".
Polaczenia sa mniej wiecej takie, ze dane z kliku maszyn
strumieniowane
sa do pojedynczych agregatorow potem te dokonuja agregacji wynikow
i strumieniuja dalej, az do 2 maszyn centralnych (one sa traktowane
jako 1).
Przepustowosc sieci opisalem w innym poscie. Switche sa tez rozsadne,
ale trzeba uwzglednic ich awaryjnosc.
Dokladniej nie moge opisac.
Nie mniej jednak widze do czego zmiezasz w stwierdzeniu dot
MC. Majac model moge zapuscic symulacje psucia sie kolejnych
elementow systemu i ocenic wartosc srednia wariancje, tudziez
korelacje i kowariancje procesu powstalego z symulacji.
Pozdrawiam,
Seweryn Habdank-Wojewodzki.
Następne wpisy z tego wątku
- 21.07.11 21:29 Mariusz Marszałkowski
- 22.07.11 17:58 Seweryn Habdank-Wojewódzki
- 22.07.11 21:11 Mariusz Marszałkowski
- 23.07.11 04:16 A.L.
- 23.07.11 08:50 Mariusz Marszałkowski
- 23.07.11 16:21 A.L.
- 23.07.11 16:36 Lukasz
- 23.07.11 22:48 Michał Knapik
- 24.07.11 02:16 A.L.
- 01.08.11 09:48 Seweryn Habdank-Wojewódzki
- 01.08.11 12:24 Seweryn Habdank-Wojewódzki
- 01.08.11 12:29 Seweryn Habdank-Wojewódzki
- 01.08.11 16:27 A.L.
- 01.08.11 22:01 R. P.
- 02.08.11 05:34 Seweryn Habdank-Wojewódzki
Najnowsze wątki z tej grupy
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
Najnowsze wątki
- 2024-11-25 Karty przedpłacone (podarunkowe) Google Play - pytanie do korzystających
- 2024-11-26 wina Tóska
- 2024-11-26 Rewolucja/Rewelacja!
- 2024-11-25 grupa ożyła ;)
- 2024-11-24 Być jak Clint
- 2024-11-24 Rura kanalizacja konceptu Franke = problem
- 2024-11-25 Wrocław => Lead Java EE Developer <=
- 2024-11-25 Warszawa => Business Development Manager - Network and Network Securit
- 2024-11-25 Kraków => Programista Full Stack (.Net Core) <=
- 2024-11-25 Lublin => Senior PHP Developer <=
- 2024-11-25 Karlino => Konsultant wewnętrzny SAP (FI/CO) <=
- 2024-11-25 Warszawa => ECM Specialist / Consultant <=
- 2024-11-25 Katowice => Regionalny Kierownik Sprzedaży (OZE) <=
- 2024-11-25 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2024-11-25 Lublin => Inżynier Serwisu Sprzętu Medycznego <=