Reti di Calcolatori a.a. 2005/06 Lezione 6

30
Reti di Calcolat ori Andrea Frosini 1 Reti di Calcolatori a.a. 2005/06 Lezione 6

description

Reti di Calcolatori a.a. 2005/06 Lezione 6. Nel modello di riferimento:. Il livello data link - Generalità. Scopo: offrire una comunicazione affidabile ed efficiente tra due macchine adiacenti - PowerPoint PPT Presentation

Transcript of Reti di Calcolatori a.a. 2005/06 Lezione 6

Page 1: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 1

Reti di Calcolatoria.a. 2005/06

Lezione 6

Page 2: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 2

Nel modello di riferimento:

Application

Transport

Network

Data Link

Fisico

Page 3: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 3

Il livello data link - Generalità

Scopo: offrire una comunicazione affidabile ed efficiente tra due macchine adiacenti

Problemi: comportandosi come un “tubo digitale” (cioè i bit partono e arrivano nello stesso ordine), si deve tener conto di:

- errori e disturbi occasionali

- il data rate finito del canale

- il ritardo nella propagazione

Compiti:

- Offrire servizi al livello network con un’interfaccia ben definita;

- Determinare come i bit del livello fisico sono raggruppati in frame (framing)

- Gestire gli errori di trasmissione

- Regolare il flusso della trasmissione fra sorgente e destinatario

Page 4: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 4

Il livello Data Link offre come servizi il trasferimento dei dati dal livello Network della macchina di origine al livello Network della macchina di destinazione

Il livello Data Link generalmente offre uno dei seguenti tipi di servizi:

• Servizio connectionless non affidabile

• Servizio connectionless affidabile

• Servizio connection-oriented affidabile

I servizi del livello Data Link devono essere accessibili tramite una interfaccia ben definita ed ordinata

Il livello dialoga idealmente con l’entità di pari livello sulla macchina adiacente utilizzando un determinato protocollo

Il livello data link - Servizi

Page 5: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 5

Il servizio connectionless non affidabile

Caratteristiche:

• non si stabilisce alcuna connessione

• ogni frame è inviato indipendentemente dagli altri

• non vi è conferma di ricezione dei frame

• i frame persi non sono recuperati

Questo servizio può essere utilizzato per canali con tasso d’errore molto basso. In pratica, il livello Data Link della maggior parte delle LAN adotta questo tipo di servizio

Page 6: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 6

Il servizio connectionless affidabile

Caratteristiche:

• non si stabilisce alcuna connessione

• ogni frame è inviato indipendentemente dagli altri

• vi è conferma di ricezione dei frame

• se la conferma non arriva, il mittente può rispedire il frame (quindi bisogna anche gestire i frame duplicati)

Questo tipo di servizio è molto utile con canali con alto tasso d’errore (ad esempio, reti wireless)

Page 7: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 7

Il servizio connection-oriented affidabile

Caratteristiche:

• si stabilisce una connessione prima dell’invio di tutti i frame corrispondenti alla sequenza di bit da inviare

• si chiude la connessione al termine dell’invio di tutti i frame

• vi è conferma di ricezione di ciascun frame

• garantisce che ciascun frame sia ricevuto una sola volta e nell’ordine giusto

A livello Data Link, questo servizio è in genere utilizzato dai router di una communication subnet

Page 8: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 8

Quando il livello Network richiede la trasmissione di un certo pacchetto o flusso di dati, il livello Data Link:

• incapsula il flusso di bit del livello Network in unità chiamate frame

• calcola il valore di una apposita funzione (checksum) per ciascun frame

• inserisce il checksum nel frame

• invoca il servizio di livello 1 (Fisico) per inviare il frame al calcolatore adiacente

Livello Data Link — Trasmissione

Page 9: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 9

In ricezione, il livello Data Link:

• riceve una sequenza di bit dal livello 1 (Fisico)

• ricostruisce dalla sequenza di bit i vari frame

• per ciascun frame:

– estrae il valore del checksum

– ricalcola il valore del checksum

– se i due valori coincidono, accetta il frame

– se i due valori differiscono, scarta il frame

Livello Data Link — Ricezione

Page 10: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 10

E’ ben più difficile di quanto appaia a prima vista, perché il livello 1 (Fisico) non garantisce che il numero di bit trasmessi coincida con il numero di bit effettivamente ricevuti

Invece il livello Data Link ha necessità di identificare ciascun frame senza possibilità d’errore

Esistono cinque diverse strategie per il framing:

Temporizzazione Conteggio dei caratteri

Caratteri di inizio e fine Bit di inizio e fine

Violazioni della codifica dei bit del livello Fisico

Framing

Framing: operazione di frammentazione del flusso di bit proveniente dal livello Network

Page 11: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 11

Temporizzazione

In linea teorica, il modo più semplice per delimitare l’inizio e la fine di ciascun frame consiste nell’inserire un ritardo temporale tra l’invio di un frame e l’altro

L’entità di pari livello del calcolatore ricevente potrebbe utilizzare l’assenza di ricezione per determinare la fine di un frame: ogni bit ricevuto da quel momento in poi farà parte del frame successivo

In pratica questa strategia non può essere applicata perché i mezzi trasmissivi raramente forniscono garanzie sui tempi di trasmissione dei bit.

In altri termini, il livello Fisico non offre alcuna garanzia sulla temporizzazione dei propri servizi offerti al livello Data Link

Eccezione: reti sincrone (SONET/SDH)

Page 12: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 12

Conteggio dei caratteri I

Ciascun frame ha una testata (header).

Un particolare campo di questa testata memorizza il numero di caratteri presenti nel frame.

Questo contatore permette di stabilire quando termina il frame nel flusso di bit proveniente dal livello Fisico

frame 1 5 caratteri

frame 2 4 caratteri

Page 13: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 13

Il difetto di questo sistema è la sua fragilità nei confronti degli errori di trasmissione

Se il valore di un contatore viene alterato nella trasmissione non è più possibile stabilire il punto in cui termina il frame

Ancor peggio, non è possibile stabilire dove inizia il nuovo frame, e quindi non è possibile leggere alcun frame successivo

Questo metodo è praticamente abbandonato (eccetto che in combinazione con altri metodi di framing)

Chiedere al trasmittente di ritrasmettere il frame cattivo è inutile perché il ricevente non sa quanti caratteri del flusso già ricevuto deve scartare

Conteggio dei caratteri II

Page 14: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 14

Ciascun frame è considerato come una sequenza di caratteri ad 8 bit, ed è delimitato da una sequenza di caratteri ASCII:

• l’inizio del frame è indicato dai caratteri DLE STX (DLE=Data Link Escape, STX

= Start of Text)

• la fine del frame è indicata dai caratteri DLE ETX (ETX = End of Text)

In caso di errore di trasmissione di un frame, per trovare l’inizio del frame successivo si monitorizza il flusso di bit in arrivo cercando la sequenza di bit corrispondente ai caratteri DLE STX

DLE, STX e ETX rappresentano ciascuno un singolo carattere ASCII (8 bit)

Caratteri di inizio e fine I

Page 15: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 15

Si ha un problema quando le sequenze di caratteri DLE STX e DLE ETX occorrono casualmente anche all’interno del frame

Si adotta perciò una tecnica chiamata character stuffing: ogni occorrenza del carattere DLE all’interno del frame è preceduta da un altro carattere DLE

In questo modo, ogni carattere DLE isolato precede immediatamente un carattere di controllo del frame

In protocolli più recenti, questa tecnica viene utilizzata con un singolo carattere di inizio e fine (FLAG); le occorrenze di FLAG all’interno del frame vengono fatte precedere da un altro carattere ESC (escape)

Le occorrenze di ESC all’interno del frame sono sempre raddoppiate, così ogni carattere ESC isolato è seguito da FLAG e questa sequenza non rappresenta un carattere di controllo del frame (importante per flussi di dati non ASCII)

Caratteri di inizio e fine II

Page 16: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 16

La sequenza

FLAG X ESC FLAG Y ESC ESC FLAG

codifica un frame il cui contenuto è

X FLAG Y ESC

Svantaggi di questo metodo:

• si fonda sulla rappresentazione di ciascun carattere con 8 bit, mentre, ad esempio, se si trasmette in UNICODE necessitiamo di 16 bit per carattere

• la scelta dei caratteri di controllo (DLE, STX e ETX oppure FLAG e ESC) è legata alla codifica dei caratteri (tipicamente ASCII), ed il metodo può avere un overhead (caratteri in più del necessario sono utilizzati) elevato se viene utilizzata una codifica differente

• il numero di bit del frame deve essere un multiplo di 8

Caratteri di inizio e fine III

Page 17: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 17

Bit di inizio e fine

Ciascun frame è delimitato da una sequenza particolare di bit detta flag byte.

Esempio di flag byte: 01111110

Per evitare ambiguità con le sequenze di bit identiche all’interno del frame si adotta il bit stuffing:

• in trasmissione, ad ogni sequenza di cinque bit “1” consecutivi si appende un bit “0”

• in ricezione, per ogni sequenza di cinque bit “1” consecutivi si scarta il bit “0” seguente

001111110010 => 01111110001111101001001111110

Per sincronizzarsi dopo un errore è sufficiente attendere due flag byte consecutivi

Page 18: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 18

Violazione della codifica dei bit del livello Fisico I

Questo metodo può essere adottato soltanto se il livello Fisico codifica ciascun bit di dati con una certa ridondanza

Ad esempio: Manchester encoding (IEEE 802.3)

• il bit di dati “1” è rappresentato con i due bit fisici low/high

• il bit di dati “0” è rappresentato con i due bit fisici high/low

Questa codifica ridondante dimezza la capacità del mezzo trasmissivo!

Page 19: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 19

Le coppie di bit fisici high/high e low/low sono disponibili per codificare l’inizio e lafine di ciascun frame

Questo metodo può essere considerato simile al metodo basato sul flag byte, ma lesequenze di bit delimitatori non possono mai presentarsi all’interno del frame

Il metodo si basa su di una particolare modalità di funzionamento del mezzo trasmissivo:

questa caratteristica è definita dal livello Fisico, non dal livello Data Link

E’ possibile utilizzare il metodo solo se il livello Fisico offre primitive che consentanodi impostare i bit fisici della trasmissione

Violazione della codifica dei bit del livello Fisico II

Page 20: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 20

Spesso si utilizza il metodo di conteggio dei caratteri con uno degli altri metodi per aumentarne l’efficienza e la robustezza

Ad esempio, combinando il metodo di conteggio dei caratteri con l’uso dei caratteri di inizio e fine:

• in trasmissione, il frame viene delimitato dalle sequenze DLE STX e DLE ETX, e la lunghezza del frame viene scritta nella testata

• in ricezione, il frame viene ricostruito velocemente sulla base della lunghezza riportata nella testata, e si controlla che il frame termini correttamente con la sequenza di caratteri DLE ETX

• in caso di errore, il flusso di caratteri viene analizzato per cercare la successiva sequenza DLE STX

Combinazione di più metodi di framing

Page 21: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 21

Gli errori di trasmissione sono dovuti a

• rumore di fondo del mezzo trasmissivo

• disturbi naturali (es. fulmini)

• interferenze con dispositivi elettrici

• guasti transienti

E’ compito del livello Data Link gestire gli errori del mezzo trasmissivo (per quanto possibile)

Gestione degli errori di trasmissione

Page 22: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 22

Burst di errori

In molti casi la distribuzione degli errori non è uniforme:

la probabilità che un certo bit sia errato è maggiore se uno dei bit vicini è errato

Gli errori tendono a concentrarsi in burst

Esempio: reti wireless basate su onde radio

rilevazione e correzione degli errori sono più difficili

il numero di frame con errore è minore

Page 23: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 23

Per gestire l’errore il livello Data Link può adottare due approcci:

• Rilevazione dell’errore: è possibile solo determinare l’esistenza di bit erronei all’interno di un frame, includendo meno informazione aggiuntiva possibile

• Correzione dell’errore: è possibile determinare l’errore e ricostruire il contenuto del frame originario mandando sufficiente informazione aggiuntiva

Nel secondo caso il frame dovrà essere codificato in modo più ridondante, e dunque meno efficiente. Tale caso è conveniente con canali con elevato tasso d’errore (ad es. wireless)

Rilevazione e correzione dell’errore

Page 24: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 24

Un frame (a parte i delimitatori) consiste di n = m + r bit, dove:

- m bit costituiscono il messaggio vero e proprio

- r bit sono ridondanti, e sono detti reduntant bit (o check bit)

Una sequenza di n bit fatta in tal modo, e tale che gli m bit del messaggio sono in accordo con gli r bit di controllo si dice codeword, o parola di codice

Date due qualunque parole di codice,

ad es. 1000 1001 e 1011 0001

è possibile determinare il numero di bit che in esse differiscono (3 nell'esempio) tramite un semplice XOR fatto bit a bit

Codici

Tale numero si dice la distanza di Hamming delle due codeword (dH) e può essere

vista come il numero di bit da cambiare per passare da una parola all’altra

Page 25: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 25

Un codice è un algoritmo che dati m bit di dati produce r bit di controllo

Ogni frame con n = m + r bit può contenere 2m messaggi differenti

Il numero di parole di codice è però strettamente minore di 2n, perché alcune sequenze di n bit devono essere non valide (sono quelle che segnalano un errore)

Si definisce la distanza di Hamming di un codice C la minima distanza esistente tra due parole del codice:

dH ( C ) = min dH ( u, v )

con u,v C e u v

Distanza di Hamming di un codice I

Page 26: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 26

Se un codice deve rilevare d errori, la sua distanza di Hamming deve essere almeno pari a d+1

Se la distanza fosse minore, un burst di d errori potrebbe trasformare una parola dicodice in un’altra parola di codice: l’errore non sarebbe rilevato

Se un codice deve correggere d errori, la sua distanza di Hamming deve esserealmeno pari a 2d+1 (!!!)

Un burst di d errori al peggio trasforma una parola di codice in una sequenza di bit adistanza al più d dalla parola di codice corretta e a distanza almeno d+1 da tutte lealtre parole di codice

Distanza di Hamming di un codice II

Page 27: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 27

Bit di parità

Un semplice codice per la rilevazione di 1 errore è costituito dal bit di parità

Data la sequenza di m bit che costituiscono il messaggio, si aggiunge un bit di controllo (r = 1) in modo tale che la somma di tutti i bit “1” della parola di codice sia pari (o dispari)

Ad esempio (m = 7):

00101101

10101100

Il codice a bit di parità ha distanza di Hamming pari a 2 (non ci sono parole che differiscono per un solo bit)

Page 28: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 28

Il seguente codice ha distanza di Hamming pari a 5:

C = { 0000000000, 0000011111, 1111100000, 1111111111 }

Consente di rilevare 4 errori e di correggere 2 errori

Poiché ha solo 4 parole di codice, ciascuna parola di codice “rappresenta” 2 bit di

dati: n = 10, r = 8, m = 2

E’ molto inefficiente: solo il 20% dei bit trasmessi è realmente significativo, gli altri

sono ridondanti

Correzione di 2 errori (non efficiente)

Page 29: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 29

In generale possiamo dire che:

un modo semplice per creare codici per la correzione di d errori consiste nel replicare l’informazione

Dato un messaggio di m bit si costruisce una parola di codice con 2d copie di ciascuno dei bit del messaggio (r = 2d · m)

La distanza di Hamming del codice è 2d+1, quindi può correggere d errori

Il codice non è efficiente: solo 1 / (2d+1) bit sono significativi

Correzione di d errori (non efficiente)

Page 30: Reti di Calcolatori a.a. 2005/06 Lezione 6

Reti di Calcolatori Andrea Frosini 30

Sia C un codice che corregge 1 errore con parole di codice con n bit, m bit di messaggio e r bit di controllo

Ciascuna parola di codice ha n sequenze di bit illegali a distanza 1, costruite invertendo un bit della parola di codice

Ciascuno dei 2m messaggi richiede n+1 sequenze di bit: (n+1) · 2m 2n

Numero minimo dei bit di controllo

m 2r - r - 1

Es. se m = 128 , allora r 8