Re: Dostepnosc systemu - metody formalne - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Dostepnosc systemu - metody formalne › Re: Dostepnosc systemu - metody formalne

Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!news.nask.pl!ne
ws.nask.org.pl!goblin1!goblin.stu.neva.ru!postnews.google.com!n35g2000yqf.googl
egroups.com!not-for-mail
From: Maciej Sobczak <s...@g...com>
Newsgroups: pl.comp.lang.c,pl.comp.programming
Subject: Re: Dostepnosc systemu - metody formalne
Date: Sun, 17 Jul 2011 13:53:35 -0700 (PDT)
Organization: http://groups.google.com
Lines: 20
Message-ID: <2...@n...googlegroups.com>
References: <9...@y...googlegroups.com>
NNTP-Posting-Host: 77.65.97.192
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1310937024 3610 127.0.0.1 (17 Jul 2011 21:10:24 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Sun, 17 Jul 2011 21:10:24 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: n35g2000yqf.googlegroups.com; posting-host=77.65.97.192;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: HUALESNKRC
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.13)
Gecko/20101203 Firefox/3.6.13,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.lang.c:295578 pl.comp.programming:191603
[ ukryj nagłówki ]

On Jul 17, 9:40 pm, Seweryn Habdank-Wojewódzki <h...@g...com>
wrote:

> Albo calkowicie inzyniersko, jak udowodnic, ze dostepnosc
> rozproszonego systemu wynosi np. 99.7%.

Co to jest "dostępność rozproszonego systemu"?
Że dostępny jest co najmniej jeden z N węzłów, czy wszystkie?
Co z połączeniami? Bo przecież wszystkie węzły mogą działać ale jeśli
nie działają połączenia między nimi, to działanie systemu może być
niepełne. Czy system, który jest dostępny ale ma niepełną
funkcjonalność (np. można się zalogować do banku i zobaczyć stan
konta, ale nie można zrobić przelewu) liczymy jako 100%? Itd.
Czyli temat jest dosyć złożony.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com