-
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
Następne wpisy z tego wątku
- 20.07.11 13:21 Mariusz Marszałkowski
- 21.07.11 17:03 Seweryn Habdank-Wojewódzki
- 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.
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 <=