Protokół CSMA / CD

(Carrier Sense, Multiple Access with Collision Detect protocol)


Specyfikacja usługi - schemat



LLC (logical line control) - komunikacja zewnętrzna

MAC (media access control) - bufor (jeden dla każdej stacji), ktory odbiera (send) i dostarcza (rec) komunikaty.
W buforze jest miejsce tylko na 2 wiadomości.
Bufory komunikują się poprzez medium, do którego muszą najpierw uzyskać dostęp.






Specyfikacja usługi - model


Model usługi (SS) można przedstawić jako dwa jednokierunkowe bufory (B12 i B21), które synchronizują swoje działanie za pomocą semafora (S).

SS = (B12 | S | B21) \ {p,v}

Każdy z buforów mieści nie więcej niż 2 wiadomości. Drugą wiadomość można przyjąć dopiero wtedy, gdy bufor ma dostęp do medium.






Specyfikacja protokołu - MAC jednokierunkowy



S1 = ( MAC1 | M | MAC2 )\L
gdzie L={b1,br1,e1,er1,c1,b2,br2,e2,er2,c2}

S1 » SS

Przesyłane komunikaty:
b - MAC zaczyna transmisję wiadomości do medium
e - MAC kończy transmisję wiadomości do medium

br - medium zaczyna transmisję wiadomości do MAC
er - medium kończy transmisję wiadomości do MAC

c - medium przesyła do MAC informację o kolizji (obie wiadomości przepadają, wymagana retransmisja)

Jeśli MAC odbierze komunikat br? to nie może nadać swojej wiadomości, dopóki nie odbierze wszystkiego od medium. Jednak może przyjąć wiadomość od warstwy LLC.






Specyfikacja protokołu - MAC dwukierunkowy, bez synchronizacji


MAC1 = S1 | R1
MAC2 = S2 | R2

S2 = ( MAC1 | M | MAC2 )\L

gdzie L={b1,br1,e1,er1,c1,b2,br2,e2,er2,c2}

W tym modelu każdy bufor MAC jest złożeniem dwóch procesów - odbiorcy i nadawcy komunikatów.

Model ten nie jest w słabej bisymulacji ani z modelem SS, ani S1 (a przede wszystkim się blokuje...)








Specyfikacja protokołu - MAC dwukierunkowy z synchronizacją


MAC1 = S1 | R1
MAC2 = S2 | R2

S3 = ( MAC1 | SEM1 | M | SEM2 | MAC2 )\L

gdzie L={b1,br1,e1,er1,c1,p1,v1,b2,br2,e2,er2,c2,p2,v2}

W tym modelu każdy bufor MAC jest złożeniem dwóch procesów - odbiorcy i nadawcy komunikatów. Procesy te synchronizują się za pomocą semafora (tak jak w modelu SS).

S3 » S1 » SS