Hibajavítás és hibajelzés

Átírás

1 Hibajavítás és hibajelzés Informatikai rendszerek alapjai Horváth Árpád november 12. Tartalomjegyzék 1. Hibákról Információátvitel diagrammja forrás csatorna zaj vev Példák: Beszélgetés forrás: száj, csatorna: leveg, vev : fül Földfelszíni rádióadás forrás: a rádióadó vagy az átjátszó antennája, csatorna: az éter, vev : a rádió antennája Internet forrás: router1, csatorna: üvegszál, vev : router2 Hibák el fordulása Üvegszálakon ritkán Sodrott érpáron (pl. UTP kábel) gyakrabban Vezeték nélküli hálózatokban gyakran Egyes közegekben (pl. rádió) általában csoportosan El ny: kevesebb adatcsomagot érint Hátrány: nehezebb jelezni ill. javítani a hibát 2. Hibajavító és -jelz kódok Hibajavítás és -jelzés Két lehet ség: Annyi redundanciát adunk minden elküldött adatblokkhoz, hogy visszaállítható legyen az eredeti. 1

2 hibajavító kód error-correcting code Annyi redundanciát adunk minden elküldött adatblokkhoz, hogy kiderüljön, hogy hibás adatot kaptunk-e. Ha hibás, újraküldjük. hibajelz kód error-detecting code Az els akkor ha nem küldhet újra az adat (CD, DVD), illetve adatszórásnál (digitális rádió, TV). Alapfogalmak Kódszavak (codeword): m üzenetbitb l (message bit) és r redundáns ellen rz bitb l állnak. A teljes hossz n = m + r. Deníció Az olyan helyek számát, ahol két kódszóban különböz bitek állnak, a két kódszó Hammingtávolságának nevezzük. (Hamming, 1950) Alapfogalmak Példa a kódszó b kódszó d(ab) = 4 a Hamming-távolsága a két kódszónak. Ha két kódszó Hamming-távolsága 4, akkor 4 hiba kell ahhoz, hogy az egyik a másikba menjen. Általában mind a 2 m üzenetbit-sorozat érvényes, de nem mind a 2 n bitsorozat kódszó. Ismerve az redundáns bitek kiszámításának módját, meghatározható a legális kódszavak listája (üzenetenként egy). Ezek közül kikereshet az a kódszópár, amelynek Hamming-távolsága minimális. Kód és kódszó Deníció Az érvényes n bites bitsorozatokat kódszavaknak nevezzük. A kódszavak összességét kódnak nevezzük. Alapfogalmak Deníció Egy kód Hamming-távolságán a minimális távolságot értjük, amelyet két kódszava között találunk. Példa Az alábbi kód Hamming-távolsága 4. a b c

3 d(ab) = 4 d(bc) = 5 d(ac) = 5 Egy kód Hamming-távolsága 4. Legfeljebb 3 hiba lehet, hogy biztosan ne kapjunk másik kódszót az eredeti helyett. Legfeljebb 1 hiba lehet, hogy biztosan ki tudjuk találni, melyik volt az eredeti kódszó. kódszó 1 kódszó 2 Feladat Maximum e hibára számítunk. Mennyi legyen a Hamming-kód d távolsága, hogy ki tudjuk mutatni a hibát? d e + 1 Mennyi legyen a Hamming-kód d távolsága, hogy javítani tudjuk a hibát? d 2e + 1 Gondolkozzunk! Biztosan sikerül megoldani. Hogyan lehetne olyan kódot el állítani, hogy egy hibát ki tudjunk mutatni? Azaz jönnek adott hosszúságú üzenetek (bitsorozatok), és mindegyik helyett egy másik bitsorozatot küldünk, úgy, hogy meg tudjuk mondani, hogy hibásan ment-e át az üzenet, és ha nem, meg tudjuk határozni az üzenetet. Több bit kell? Elég ugyanannyi? Vagy kevesebb is? Na és ezt sikerül? Hogyan lehetne olyan kódot el állítani, hogy egy hibát ki tudjunk javítani? Egyel re nem érdekel, hogy milyen hosszúak a kódszavak. 3

4 Paritásbit Deníció Ha a kódszóhoz egy olyan bitet f zünk, hogy a kódszóban lev 1-esek száma páros (illetve páratlan) legyen. Ezt a bitet nevezzük páros (páratlan) paritásbitnek. Továbbiakban páros paritásbitet használunk. Pl Pl A paritásbit hozzáf zésével kapott kód Hamming-távolsága: 2 Alkalmas-e hibajavításra, jelzésre? 1 bithiba jelzésére alkalmas (SEDsingle error detection) Onnan tudjuk, hogy a paritásbittel kiegészített üzenet, mint kód Hamming-távolsága legalább kett, mert ha két kódszó csak egy bitben térne el, akkor az egyikben páros, másikban páratlan 1-es lenne. Nem lehet, mindegyik kódszó. És a távolság nem több, mint kett, mert ha két bitet megváltoztatunk, akkor újra kódszót kapunk, ugyanúgy páros lesz az 1-esek száma. Egy bithiba javítása (SECsingle error correction) Hány bites kódszó kell, ha m bites az üzenetünk? Egy kódszó és 1 bithibás szomszédai együtt n + 1 bitsorozatot adnak. A 2 m üzenethez legalább 2 m (n + 1) különböz bitsorozat kell. Ha n bites kódszavakat küldünk, akkor a 2 n 2 m (n + 1) egyenl tlenségnek kell teljesülnie, hogy egy bithiba javítása lehetséges legyen. Mivel n = r + m, 2 r m + r + 1 egyenl tlenségnek kell teljesülnie. Az egyenl tlenséget teljesít minimális egész r bittel tényleg létrehozható egy bithibát javító kódolás: a Hamming-kód. A Hamming-kód A biteket 1-t l sorszámozzuk balról jobbra. Minden kett -hatvány (2 i ) helyen paritásbit van. Az egyes paritásbitek nem az összes bitet ellen rzik. A paritásbit ellen rzi a teljes kulcsszó i. bitjét, ha az i kettes számrendszerbeli alakjában szerepel a 2 i helyiérték. Például a 6. bitet ellen rzi a 4-es és 2-es paritásbit, a többi nem. 6=4+2=110 2 bit P 1 P P P P P

5 Példa Az üzenet kódolása, és visszaállítása a kód 7. bitjének meghibásodása esetén. bit P 1 P 2 11 P P P 1? P 2? P 4? P 8? A keresett Hamming-kódszó , a P i jel oszlopok a paritásbiteket, a többi az üzenet (message) bitjek helye. Példa folytatása A keresett Hamming-kódszó , a kódot a csatornán átküldve a 7. bitjének meghibásodása esetén a vev nél kapott kód Helyes? P 1 P 2 11 P P (egyesek száma) P hibás (3) P hibás (3) P hibás (1) P helyes (2) Hibás 1+2+4= 7. bit Írjuk fel, milyen bitek tartoznak az egyes paritásbitek fennhatósága alá és vizsgáljuk meg páros 1-es van-e bennük: P 1 : 1, 1, 0, 0, 1, hibás P 2 : 1, 1, 0, 0, 1, hibás P 4 : 1, 0, 0, 0, hibás P 8 : 0, 1, 1, jó A biteket ellen rizve a P 1, P 2, P 4 paritásbitek hibásak, tehát a sérülés helye az = 7. bitnél volt. Ezután a helyes kódszó visszaállítható a 7. bit megváltoztatásával: A felülvont karaktereket eltávolítva visszakapjuk az eredeti kódszót: (Miért biztos, hogy két hiba esetén a javítás után hibás kódszót kapunk?) 5

6 Csoportos hibák elleni védekezés Soronként felírjuk az átküldend Hamming-kódolt kódszavakat (k darabot). Oszloponként küldjük át a jeleket. A vev nél visszaállítjuk a sorokat, és úgy ellen rzünk. Ha egy k hosszúságú csoportos hiba lép fel, akkor az minden sorban egy bitet ront el, amit a Hamming-kód javítani képes. km méret adatblokkokhoz kr ellen rz bit. Csoportos hibák elleni védekezés jel 7 bites ASCII-kód Hamming-kódszó O E A R E K Függ legesen küldjük el A fenti táblázat kimondottan alkalmas otthoni gyakorláshoz. A második oszlop bitsorozatait kódolva a harmadik oszlopot kell hogy kapjuk. Ha a harmadik oszlop bármelyik bitjét elrontjuk, azt ki kell tudnunk javítani, és a második oszlop bitsorozatát kapjuk. Egy bithiba javítása (SECsingle error correction) m hosszúságú üzenetnél hány darab (r) többletbit, hány % redundancia kell? n m r redundancia (%) Miért nem lehet a gyakorlatban akármennyire növelni m-et? Mert növekszik a valószín sége, hogy két hiba forduljon el, amit nem tudunk javítani. CRC-kód Hasonlat: Ha egy számot elosztunk r + 1-gyel, akkor a maradék legfeljebb r lesz. Ha egy polinomot elosztunk egy (r+1)-ed fokszámú polinommal, akkor a maradék r-ed fokszámú lesz. Például az bitsorozathoz a 1x 4 + 0x 3 + 0x 2 + 1x 1 + 1x 0 = x 4 + x + 1 polinomot rendeljük. A CRC kód (cyclic redundancy code) esetén az üzenet bitjeit egy polinom együtthatóinak tekintjük, el re meghatározott polinommal, az úgynevezett generátor-polinommal, végezzük el az 6

7 osztást, a maradékot az üzenethez f zzük. A vev nél (ismerve a generátor-polinomot) ugyanígy ellen rizni tudjuk a redundáns részt, és ha az hibás, akkor újraküldjük az üzenetet. A vev nél a generátorpolinomot végigvive a kódolt üzeneten, ha nem sérült kód, akkor csupa nulla marad. Hardveresen hatékonyan elvégezhet. Rézvezetéken, optikai szálakon és merevlemezeken a bithibaarány kicsi (< 10 6 ), ott alkalmazzuk. El nye, hogy a csoportos hibákat, amikor r egymás utáni bit sérül, hatékonyan kimutatja. Tipikusan ezeknél a csatornáknál ugyanis ilyen hiba fordul el. Polinomosztás elvégzése Minden lépésben a következ 1-es alá írom a generátorpolinomot els 1-sét, és ha két egyforma érték van egymás alatt, nullát írok alá, különben 1-et. Adott r-edfokú generátorpolinom (r+1 bit) Legyen a generátorpolinom azaz r = 3, az együtthatók. G(x) = x 3 + x + 1 = 1x 3 + 0x 2 + 1x 1 + 1x <--- eredeti üzenet <--- r darab 0-val kiegészítem <--- generátor polinommal osztok <--- eredmény <--- osztás Az utolsó r bitet f zöm az eredeti üzenethez: bitsorozatot küldöm el. Ellen rzés a vev nél: <--- kódolt üzenet <--- generátor polinommal osztok <--- eredmény <--- osztás

8 Minden bit 0 lett, nem sérült az üzenet feladat Határozzák meg, hogy mi a következ üzenethez tartozó Hamming-kód! feladat Határozzuk meg, hogy a következ bitsorozat érvényes Hamming-kód vagy nem! Ha hibás határozzuk meg melyik bit hibásodott meg! Mi az eredeti átküldött bitsorozat? Mi ebb l az üzenet? feladat Maximum hány bites üzenetet lehet 10 redundáns bittel Hamming-kódolni? 2.4. feladat Maximum hány bites üzenetet lehet 15 bittel Hamming-kódolni? 2.5. feladat Mi a G(x) = x 3 + x 2 generátorpolinomhoz tartozó maradék az alábbi bitsorozat esetén? Mi a teljes átküldend kód? feladat Hány bites hiba javítható biztosan egy 7-es Hamming-távolságú kóddal? 2.7. feladat Mekkora Hamming-távolságú kód kell 3 bites hiba javításához? 2.8. feladat Hány bites hiba jelezhet biztosan egy 7-es Hamming-távolságú kóddal? 2.9. feladat Mekkora Hamming-távolságú kód kell 3 bites hiba jelzéséhez? feladat Mekkora az alábbi két bitsorozat Hamming-távolsága? és feladat Mekkora az alábbi kód Hamming-távolsága?