eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingDostepnosc systemu - metody formalneRe: Dostepnosc systemu - metody formalne
  • Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!.POSTED!not-for
    -mail
    From: Paweł Kierski <n...@p...net>
    Newsgroups: pl.comp.lang.c,pl.comp.programming
    Subject: Re: Dostepnosc systemu - metody formalne
    Date: Wed, 20 Jul 2011 15:07:45 +0200
    Organization: http://onet.pl
    Lines: 59
    Message-ID: <j06jvp$3gq$1@news.onet.pl>
    References: <9...@y...googlegroups.com>
    <2...@n...googlegroups.com>
    <d...@v...googlegroups.com>
    <j047dk$4nt$1@news.onet.pl>
    <d...@m...googlegroups.com>
    NNTP-Posting-Host: public-gprs27322.centertel.pl
    Mime-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2; format=flowed
    Content-Transfer-Encoding: 8bit
    X-Trace: news.onet.pl 1311167323 3610 87.96.106.186 (20 Jul 2011 13:08:43 GMT)
    X-Complaints-To: n...@o...pl
    NNTP-Posting-Date: Wed, 20 Jul 2011 13:08:43 +0000 (UTC)
    User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; pl; rv:1.9.2.18) Gecko/20110616
    Thunderbird/3.1.11
    In-Reply-To: <d...@m...googlegroups.com>
    Xref: news-archive.icm.edu.pl pl.comp.lang.c:295592 pl.comp.programming:191634
    [ ukryj nagłówki ]

    W dniu 2011-07-20 10:34, Seweryn Habdank-Wojewódzki pisze:
    > Witam,
    >
    >>> Calosc jako okreslona funkcjonalnosc.
    >>
    >> Jeśli w ramach funkcjonalności określamy też przepustowość, to sprawa
    >> znów się może skomplikować. System dający się obciążać w połowie
    >> gwarantowanego obciążenia to jak rozumiem niedziałający.
    >
    > No tu to mamy ciekawie. Mamy podany konkretny profil jaki ma spelniac
    > przepustostowosc. Profil uwzglednia nastepujace fakty:
    [...]

    No to już samo określenie, jakie jest prawdopodobieństwo utrzymania
    wymaganej przepustowości w takich warunkach to niezłe zadanie.

    > 1. Maksymalny pik przepustowosci, ale ma tez podany maksymalny czas
    > trwania tego piku.

    Najprościej pozostawić tylko warunek dla piku (jeśli system nie jest
    przygotowany na pik, to nie działa). Wtedy oszacowanie będzie
    pesymistyczne.

    > 2. Jest tez podany przedzial czasu w ktorym pewien typowy strumien ma
    > byc obslugiwany, ale jesli w czasie obslugi typowego strumienia pojawi
    > sie
    > pik, to "calka sumy piku i normalnego strumienia" nie moze
    > przekraczac
    > konkretnej wartosci. Mowiac ogolnie bufory systemu moga sie wysycic,
    > ale maja czas na oproznianie sie. To jest system w ktorym pamiec nie
    > jest tania wiec bufory musza byc limitowane :-).
    >
    > Np. pik 100 moze trwac 30 minut. Typowy strumien 70 musi byc caly czas
    > obslugiwany. Ale kiedy w konketnym przedziale np. 2 h pojawia sie pik
    > 100,
    > przez 30 minut to profil moze byc nastepujacy:
    >
    > 100 (30 min), 70 (1 h), 40 (30 min)
    >
    > Wartosc 40 pojawia sie, aby skompensowc nadwyzke 100 w stosunku do 70
    > ktora pojawila sie przez 30 minut.

    Tu będzie bardzo ciężkie zadanie. Oprócz prawdopodobieństw różnych
    profili danych trzeba uwzględnić prawdopodobieństwa awarii dające takie
    a nie inne przepustowości. Np. awaria degradująca przepustowość do 50
    może być niezauważona w okresie "relaksacji" (o ile nie padnie element
    odpowiedzialny za bufory lub przesyłanie zebranych wcześniej danych
    dalej - kolejny warunek). Awaria degradująca przepustowość do 75 będzie
    nieistotna poza pikiem (a może również jeśli pokryje się minimalnie
    z pikiem). Awaria trwa jakiś czas, piki trwają jakiś czas (z jakimś
    pewnie rozkładem...

    Strzelam, że końcowy wynik obliczeń dostępności w takim modelu będzie
    estymacją z takim rozrzutem, że bezpieczniej przyjąć jako warunek
    dostępności po prostu warunek obsługi piku.

    --
    Paweł Kierski
    n...@p...net

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: