Sistemi e Tecnologie della Comunicazione

Transcript

1 Sistemi e Tecnologie della Comunicazione Lezione 11: data lin layer: codici di rilevazione di errore, gestione degli errori 1 La rilevazione di errore Un codice a rilevazione di errore ha lo scopo di permettere al ricevente di determinare se vi sono stati errori in trasmissione Il codice non ha la finalita di correggere l errore, ma solo di rilevare che c e stato l errore Per raggiungere lo scopo si utilizzano bit di controllo in aggiunta ai bit dei dati La tecnica utilizzata e di assegnare in trasmissione ai bit di controllo un valore opportuno in funzione dei bit dei dati; in ricezione si calcolano nuovamente i valori dei bit di controllo e si fa la verifica con quelli ricevuti 1

2 Tecniche di codifica Abbiamo gia visto un esempio: il bit di parita questa codifica permette la rilevazione di qualunque errore singolo, ed in generale di un numero dispari di errori un numero pari di errori non potra essere rilevato la codifica sara quindi in grado di identificare burst di errori con probabilita del 50% Anche in questo caso si puo utilizzare la tecnica di trasmettere K codeword in colonna per identificare errori burst di lunghezza non superiore a K; errori piu estesi, o piccole serie multiple di errori produrranno un valore valido per ogni riga con probabilita 0.5 la probabilita che l errore non venga rilevato sara complessivamente pari a il vantaggio di questa codifica e il basso overhead (1 bit per ogni frame) Generalmente si utilizza una tecnica piu efficiente, detta CRC (Cyclic Redundancy Chec), o codifica polinomiale 3 Rappresentazione di sequenze di bit tramite polinomi Una sequenza di N bit puo essere rappresentata tramite un polinomio a coefficienti binari, di grado pari a N-1, tale che i suoi coefficienti siano uguali ai valori dei bit della sequenza Il bit piu a sinistra rappresenta il coefficiente del termine di grado N-1, mentre il bit piu a destra rappresenta il termine noto (di grado 0) Ad esempio, la sequenza puo essere rappresentata dal polinomio Il grado del polinomio e determinato dal primo bit a sinistra di valore 1 presente nella sequenza 4

3 Aritmetica dei polinomi in modulo L aritmetica dei polinomi a coefficienti binari si gestisce con le regole della aritmetica modulo : le somme e le sottrazioni non prevedono riporti; sono pertanto coincidenti ed equivalenti all OR esclusivo: = = le divisioni sono eseguite normalmente, tranne che le sottrazioni seguono la regola sopra detta; in questi termini, il divisore sta nel dividendo quando il dividendo ha grado maggiore o uguale al divisore, mentre non si puo dividere quando il dividendo ha grado inferiore al divisore 5 Divisione binaria di polinomi Ad esempio: 6 3 = 4 3 con resto 6 3

4 Codifica polinomiale (CRC) La tecnica consiste nel considerare i dati (m bit) da inviare come un polinomio di grado m-1 Trasmettitore e ricevitore si accordano sull utilizzo di un polinomio generatore G() di grado r Il trasmettitore aggiunge in coda al messaggio una sequenza di bit di controllo (CRC) in modo che il polinomio associato ai bit del frame trasmesso, costituito dall insieme di dati e CRC, sia divisibile per G() e sempre possibile trovare tale polinomio In ricezione si divide il polinomio associato ai dati ricevuti per G(X) se la divisione ha resto nullo, si assume che la trasmissione sia avvenuta senza errori se la divisione ha resto non nullo, sono certamente avvenuti errori 7 Codifica polinomiale (cont.) Dal punto di vista logico, la generazione del codice CRC avviene nel seguente modo: Sia M() il polinomio associato agli m bit di dati Sia G() il polinomio generatore di grado r Si aggiungono r bit a valore 0 in fondo ai bit di dati; il polinomio r associato all insieme di mr bit e quindi M() r Si calcola il resto della divisione M()/G(), che sara un polinomio R() di grado inferiore ad r, quindi rappresentativo di una sequenza di r bit Si costruisce la sequenza di bit associata al polinomio r T() = M()-R(), che equivale ad aggiungere i bit corrispondenti a R() in coda ai dati da inviare: vanno riportati tutti gli r bit associati ad R(), quindi anche eventuali zeri in testa al resto; questa e una sequenza di mr bit E evidente che il polinomio T() risultera divisibile per G() con resto nullo 8 4

5 Esempio di calcolo di CRC Supponiamo di voler trasmettere con CRC la sequenza , utilizzando il polinomio generatore 4 equivalente alla sequenza di bit Si costruisce la sequenza , e la si divide per Il resto della divisione e 1110 Il frame che verra trasmesso sara quindi , che e divisibile per In ricezione si divide la sequenza ricevuta per lo stesso polinomio, e si verifica che il resto sia nullo 9 Caratteristiche del polinomio generatore Le caratteristiche del polinomio generatore determinano quali errori saranno rilevabili e quali invece potranno passare inosservati Detto T() il polinomio associato al frame trasmesso, il polinomio associato al frame ricevuto puo essere espresso come T()E(), dove E() avra coefficiente 1 per ogni bit che e stato modificato da errori trasmissivi Risulta chiaro che un errore passera inosservato solo se T()E() sara divisibile per G(), ma essendo per definizione T()/G() = 0, l errore passera inosservato se E() sara divisibile per G() 10 5

6 Caratteristiche del polinomio generatore (cont.) Errori di singolo bit: il polinomio E() avra la forma E ( ) = i dove i e il bit errato; un polinomio G() costituito da piu di un termine non potra dividere E() Errori di coppie di bit: il polinomio ha la forma E ( ) = i = i ( ) con i > in questo caso G() non potra essere divisore di E() se G() non divide per ogni : gia visto G() non divide ( 1) per ogni possibile (cioe fino a pari al numero di bit del frame): esistono in letteratura molti polinomi semplici e di basso grado che non sono divisori di ( 1) fino a valori di K molto elevati; ad esempio, il polinomio G ( ) non divide ( 1) per K< = 11 Caratteristiche del polinomio generatore (cont.) Errori in numero dispari di bit: se G() contiene a fattore (1) non puo essere divisore di un polinomio con numero dispari di elementi: Per assurdo, supponiamo che E() sia divisibile per (1) si puo scrivere E() = (1)Q() calcoliamo E(1) = (11)Q(1) ma 11 = 0, quindi E(1) = 0 Pero se E() ha un numero dispari di elementi, E(1) e la somma di un numero dispari di 1, che fa 1 si ha quindi un assurdo che nega l ipotesi di partenza 1 6

7 Caratteristiche del polinomio generatore (cont.) Sequenze di errori di lunghezza r un burst di errori lungo K si puo rappresentare come E() = j ( -1-1) j determina la distanza dell ultimo bit errato dall ultimo bit del frame come detto, G() non divide j la restante parte di E() non potra essere divisibile per G() se K r 13 Caratteristiche del polinomio generatore (cont.) Sequenze di errori di lunghezza r1 in questo caso E() sara divisibile per G() solo se il burst genera una sequenza identica al polinomio generatore la probabilita che questo accada e (½) r1 Sequenze di errori di lunghezza maggiore si puo dimostrare, nella assunzione che tutti i bit possano essere errati con uguale probabilita, che negli altri casi la probabilita che E() sia divisibile per G() e pari a (½) r 14 7

8 Polinomi standard Viste le caratteristiche dei polinomi, si sono identificati diversi polinomi opportuni per rendere molto improbabile la mancata rilevazione di errori I piu comuni a 16 bit sono CRC - 16 CRC - CCITT Un polinomio standard a 3 bit utilizzato in molte applicazioni (tra cui IEEE 80) e il CRC-3: Gestione degli errori I protocolli a rilevazione di errore devono gestire due tipi di evento: perdita di un frame perdita di un riscontro dove la perdita puo essere un evento noto (ricezione di un frame errato) o un evento ignoto (distruzione del frame in trasmissione) Generalmente si utilizzano una o piu delle seguenti tecniche: riscontro positivo attesa di timeout per la ricezione dell ACK e ritrasmissione riscontro negativo Questi meccanismi si chiamano ARQ (Automatic Repeat request) 16 8

9 Gestione degli errori Esistono diversi meccanismi di ARQ, che si basano sulle funzionalita dei diversi protocolli di controllo di flusso ARQ stop-and-wait ARQ go-bac N ARQ selective reject Poiche il loro funzionamento dipende da questi protocolli, li vedremo assieme all analisi del controllo di flusso 17 9