100 % Kaisu Keskinen 3-1

Transkriptio

1 100 % Kaisu Keskinen 3-1

2 Chapter 3 Transport Layer A note on the use of these ppt slides: We re making these slides freely available to all (faculty, students, readers). They re in PowerPoint form so you see the animations; and can add, modify, and delete slides (including this one) and slide content to suit your needs. They obviously represent a lot of work on our part. In return for use, we only ask the following: If you use these slides (e.g., in a class) that you mention their source (after all, we d like people to use our book!) If you post any slides on a www site, that you note that they are adapted from (or perhaps identical to) our slides, and note our copyright of this material. Thanks and enjoy! JFK/KWR Computer Networking: A Top Downth Approach 6 edition Jim Kurose, Keith Ross Addison-Wesley March 2012 All material copyright J.F Kurose and K.W. Ross, All Rights Reserved Transport Layer 3-2

3 Kappale 3 Kuljetuskerros A note on the use of these ppt slides: We re making these slides freely available to all (faculty, students, readers). They re in PowerPoint form so you see the animations; and can add, modify, and delete slides (including this one) and slide content to suit your needs. They obviously represent a lot of work on our part. In return for use, we only ask the following: If you use these slides (e.g., in a class) that you mention their source (after all, we d like people to use our book!) If you post any slides on a www site, that you note that they are adapted from (or perhaps identical to) our slides, and note our copyright of this material. Thanks and enjoy! JFK/KWR Computer Networking: A Top Downth Approach 6 edition Jim Kurose, Keith Ross Addison-Wesley March 2012 All material copyright J.F Kurose and K.W. Ross, All Rights Reserved Transport Layer 3-3

4 Chapter 3: Transport Layer our goals: understand principles behind transport layer services: multiplexing, demultiplexing reliable data transfer flow control congestion control learn about Internet transport layer protocols: UDP: connectionless transport TCP: connection-oriented reliable transport TCP congestion control Transport Layer 3-4

5 Kappale 3: Kuljetuskerros tavoitteet: ymmärtää periaatteet kuljetuskerroksen palveluissa: kanavointi luotettava datasiirto vuon valvonta ruuhkanhallinta oppia Internetin kuljetuskerroksen protokollat: UDP: yhteydetön kuljetus TCP: yhteyskeskeinen, luotettava kuljetus TCP: ruuhkanhallinta Transport Layer 3-5

6 Chapter 3 outline 3.1 transport-layer services 3.2 multiplexing and demultiplexing 3.3 connectionless transport: UDP 3.4 principles of reliable data transfer 3.5 connection-oriented transport: TCP segment structure reliable data transfer flow control connection management 3.6 principles of congestion control 3.7 TCP congestion control Transport Layer 3-6

7 Kpl 3 sisältö 3.1 kuljetuskerroksen palvelut 3.2 kanavointi ja monikanavointi 3.3 yhteydetön kuljetus: UDP 3.4 luotettavan datasiiron periaatteet 3.5 yhteyskeskeinen kuljetus: TCP segmenttirakenne luotettava datasiirto vuon valvonta yhteyden hallinta 3.6 ruuhkanhallinnan periaatteet 3.7 TCP ruuhkanhallinta Transport Layer 3-7

8 Transport services and protocols le nd -e nd rt po ns tra ca gi lo provide logical communication between app processes running on different hosts transport protocols run in end systems send side: breaks app messages into segments, passes to network layer rcv side: reassembles segments into messages, passes to app layer more than one transport protocol available to apps Internet: TCP and UDP application transport network data link physical application transport network data link physical Transport Layer 3-8

9 Kuljetuspalvelut ja protokollat application transport network data link physical en nd le ca gi lo d tra rt po ns tarjoaa loogisen viestinnän eri isäntien välillä toimivien sovellusten välille kuljetusprotokollat toimivat loppujärjestelmissä lähettäjän puoli: hajottaa sovelluksen viestit segmenteiksi, siirtää ne verkkokerrokselle vastaanottajan puoli: uudelleenkokoaa segmentit viesteiksi, siirtää sovelluskerrokselle enemmän kuin yksi kuljetusprotokolla saavavilla sovelluksille Internet: TCP ja UDP application transport network data link physical Transport Layer 3-9

10 Transport vs. network layer network layer: logical communication between hosts transport layer: logical communication between processes relies on, enhances, network layer services household analogy: 12 kids in Ann s house sending letters to 12 kids in Bill s house: hosts = houses processes = kids app messages = letters in envelopes transport protocol = Ann and Bill who demux to inhouse siblings network-layer protocol = postal service Transport Layer 3-10

11 Kuljetus- vs. verkkokerros verkkokerros: looginen viestintä isäntien välillä kuljetuskerros: looginen viestintä prosessien välillä luottaa, parantaa, verkkokerroksen palveluja kotitalousesimerkki: 12 lasta Ann in talolta lähettä kirjeitä 12 lapselle Bill in taloon: isännät = taloja prosessit = lapsia sovellusviestit = kirjeet kirjekuorissa kuljetusprotokolla = Ann ja Bill, jotka jakavat kodeissaan kirjeet talouden sisaruksille verkkokerroksen protokolla = postipalvelu Transport Layer 3-11

12 Internet transport-layer protocols reliable, in-order delivery (TCP) network data link physical network data link physical rt po ns services not available: tra network data link physical d no-frills extension of best-effort IP network data link physical n -e nd unreliable, unordered delivery: UDP network data link physical le network data link physical ca gi lo congestion control flow control connection setup application transport network data link physical network data link physical application transport network data link physical delay guarantees bandwidth guarantees Transport Layer 3-12

13 Internet kuljetuskerroksen protokollat network data link physical network data link physical ca gi lo network data link physical network data link physical network data link physical rt po ns tra network data link physical d n -e nd le luotettava, toimitus järjestyksessä (TCP) ruuhkanhallinta vuon valvonta yhteyden muodostaminen epäluotettava, järjestyksetön toimitus: UDP ei yleensä laajennusta parhaan suorituskyvyn IP:lle ei-saatavat palvelut: takuut viiveelle takuut kaistanleveydelle application transport network data link physical network data link physical application transport network data link physical Transport Layer 3-13

14 Chapter 3 outline 3.1 transport-layer services 3.2 multiplexing and demultiplexing 3.3 connectionless transport: UDP 3.4 principles of reliable data transfer 3.5 connection-oriented transport: TCP segment structure reliable data transfer flow control connection management 3.6 principles of congestion control 3.7 TCP congestion control Transport Layer 3-14

15 Kpl 3 sisältö 3.1 kuljetuskerroksen palvelut 3.2 kanavointi ja monikanavointi 3.3 yhteydetön kuljetus: UDP 3.4 luotettavan datasiiron periaatteet 3.5 yhteyskeskeinen kuljetus: TCP segmenttirakenne luotettava datasiirto vuon valvonta yhteyden hallinta 3.6 ruuhkanhallinnan periaatteet 3.7 TCP ruuhkanhallinta Transport Layer 3-15

16 Multiplexing/demultiplexing multiplexing at sender: handle data from multiple sockets, add transport header (later used for demultiplexing) demultiplexing at receiver: use header info to deliver received segments to correct socket application application P1 P2 application P3 transport P4 transport network transport network link network link physical link physical socket process physical Transport Layer 3-16

17 Kanavointi/monikanavointi lähettäjälle kanavointi: monikanavointi vastaanottajalle:a käsittelee useiden kantojen dataa, lisää kuljetusotsikon (käytetään myöhemmin monikanavoinnissa) käyttää otsikon tietoja toimittaakseen vastaanotetut segmentit oikeaan kantaan application application P1 P2 application P3 transport P4 transport network transport network link network link physical link physical socket process physical Transport Layer 3-17

18 How demultiplexing works host receives IP datagrams each datagram has source IP address, destination IP address each datagram carries one transport-layer segment each segment has source, destination port number host uses IP addresses & port numbers to direct segment to appropriate socket 32 bits source port # dest port # other header fields application data (payload) TCP/UDP segment format Transport Layer 3-18

19 Miten monikanavointi toimii isäntä vastaanottaa IPdatagrammin jokaisella datagrammilla on lähde-ip-osoite ja kohde-iposoite jokainen datagrammi kantaa yhden kuljetuskerroksen segmentin jokaisella segmentilla on lähde ja kohde porttinumero isäntä käyttää IP-osoitetta & porttinumeroita ohjatessaan segmentin oikeaan kantaan 32 bits source port # dest port # other header fields application data (payload) TCP/UDP segment format Transport Layer 3-19

20 Connectionless demultiplexing recall: created socket has host-local port #: DatagramSocket mysocket1 = new DatagramSocket(12534); when host receives UDP segment: checks destination port # in segment directs UDP segment to socket with that port # recall: when creating datagram to send into UDP socket, must specify destination IP address destination port # IP datagrams with same dest. port #, but different source IP addresses and/or source port numbers will be directed to same socket at dest Transport Layer 3-20

21 Yhteydetön monikanavointi muista: luodulla kannalla on muista: kun luodaan isännän paikallinen portti#: datagrammia UPD DatagramSocket mysocket1 kanavaan, pitää määritellä = new DatagramSocket(12534); kohde-ip-osoite kohdeportti# kun isäntä vastaanottaa UDP-segmentin: tarkistaa kohdeportti#:n segmentille ohjaa UDP-segmentin portti#:n osoittamaan kanavaan IP-datagrammit samalla kohdeportti#:lla, mutta eri lähde-ip-osoitteilla ja/tai lähdeporttinumeroilla ohjataan kohteessa samaan kanavaan Transport Layer 3-21

22 Connectionless demux: example DatagramSocket mysocket2 = new DatagramSocket (9157); DatagramSocket serversocket = new DatagramSocket (6428); application application DatagramSocket mysocket1 = new DatagramSocket (5775); application P1 P3 P4 transport transport transport network network link network link physical link physical physical source port: 6428 dest port: 9157 source port: 9157 dest port: 6428 source port:? dest port:? source port:? dest port:? Transport Layer 3-22

23 Yhteydetön monikanav. esim: DatagramSocket mysocket2 = new DatagramSocket (9157); DatagramSocket serversocket = new DatagramSocket (6428); DatagramSocket mysocket1 = new DatagramSocket (5775); application application application P1 P3 P4 transport transport transport network network link network link physical link physical physical source port: 6428 dest port: 9157 source port: 9157 dest port: 6428 source port:? dest port:? source port:? dest port:? Transport Layer 3-23

24 Connection-oriented demux TCP socket identified by 4-tuple: source IP address source port number dest IP address dest port number demux: receiver uses all four values to direct segment to appropriate socket server host may support many simultaneous TCP sockets: each socket identified by its own 4-tuple web servers have different sockets for each connecting client non-persistent HTTP will have different socket for each request Transport Layer 3-24

25 Yhteydellinen monikanavointi: TCP kanta tunnistetaan nelikosta: lähde-ip-osoite lähdeporttinumero kohde-ip-osoite kohdeporttinumero monikanavointi: vastaanottaja käyttää nämä neljä arvoa ohjatessaan segmentin oikeaan kantaan isäntäserveri saattaa tukea useita TCPkantoja: jokainen kanta tunnistetaan sen neljästä numerosta verkkoservereillä on eri kannat jokaiselle yhdistävälle asiakkaalle ei-pysyvällä on eri kanta jokaiselle pyynnölle Transport Layer 3-25

26 Connection-oriented demux: example application application P4 P5 application P6 P3 P3 P2 transport network network link network link physical link physical host: IP address A transport transport server: IP address B source IP,port: B,80 dest IP,port: A,9157 source IP,port: A,9157 dest IP, port: B,80 three segments, all destined to IP address: B, dest port: 80 are demultiplexed to different sockets physical source IP,port: C,5775 dest IP,port: B,80 host: IP address C source IP,port: C,9157 dest IP,port: B,80 Transport Layer 3-26

27 Yhteydellinen monikanav. esim: application application P4 P5 application P6 P3 P3 P2 transport network network link network link physical link physical isäntä: IP osoite A transport transport server: IP address B source IP,port: B,80 dest IP,port: A,9157 source IP,port: A,9157 dest IP, port: B,80 physical source IP,port: C,5775 dest IP,port: B,80 isäntä: IP osoite C source IP,port: C,9157 dest IP,port: B,80 kolme segmenttiä, kaikki osoitettu IP-osoitteeseen: B, kohdeportti: 80, ovat monikanavoitu eri kantoihin Transport Layer 3-27

28 Connection-oriented demux: example threaded server application application P3 application P4 P3 P2 transport network network link network link physical link physical host: IP address A transport transport server: IP address B source IP,port: B,80 dest IP,port: A,9157 source IP,port: A,9157 dest IP, port: B,80 physical source IP,port: C,5775 dest IP,port: B,80 host: IP address C source IP,port: C,9157 dest IP,port: B,80 Transport Layer 3-28

29 Yhteydellinen monikanav. esim: kierteinen serveri application application P3 application P4 P3 P2 transport network network link network link physical link physical isäntä: IP osoite A transport transport server: IP address B source IP,port: B,80 dest IP,port: A,9157 source IP,port: A,9157 dest IP, port: B,80 physical source IP,port: C,5775 dest IP,port: B,80 isäntä: IP osoite C source IP,port: C,9157 dest IP,port: B,80 Transport Layer 3-29

30 Chapter 3 outline 3.1 transport-layer services 3.2 multiplexing and demultiplexing 3.3 connectionless transport: UDP 3.4 principles of reliable data transfer 3.5 connection-oriented transport: TCP segment structure reliable data transfer flow control connection management 3.6 principles of congestion control 3.7 TCP congestion control Transport Layer 3-30

31 Kpl 3 sisältö 3.1 kuljetuskerroksen palvelut 3.2 kanavointi ja monikanavointi 3.3 yhteydetön kuljetus: UDP 3.4 luotettavan datasiiron periaatteet 3.5 yhteyskeskeinen kuljetus: TCP segmenttirakenne luotettava datasiirto vuon valvonta yhteyden hallinta 3.6 ruuhkanhallinnan periaatteet 3.7 TCP ruuhkanhallinta Transport Layer 3-31

32 UDP: User Datagram Protocol [RFC 768] no frills, bare bones Internet transport protocol best effort service, UDP segments may be: lost delivered out-of-order to app connectionless: no handshaking between UDP sender, receiver each UDP segment handled independently of others UDP use: streaming multimedia apps (loss tolerant, rate sensitive) DNS SNMP reliable transfer over UDP: add reliability at application layer application-specific error recovery! Transport Layer 3-32

33 UDP: User Datagram Protocol [RFC 768] ei tavallinen karsittu Internet-kuljetusprotokolla paras mahdollinen palvelu, UDP-segmentit voivat: kadota toimitetaan sovellukselle epäjärjestyksessä yhteydetön: ei kättelyä UDPlähettäjän ja vastaanottajan välillä jokainen UDP-segmentti hoidetaan erillisenä muista UDP:n käyttö: multimediasovellusten streaming (kestää häviöitä, nopeudelle herkkiä) DNS SNMP luotettava siirto UDP:llä: lisää luotettavuutta sovelluskerroksella sovelluskohtainen virheenkorjaus! Transport Layer 3-33

34 UDP: segment header 32 bits source port # dest port # length checksum application data (payload) length, in bytes of UDP segment, including header UDP segment format why is there a UDP? no connection establishment (which can add delay) simple: no connection state at sender, receiver small header size no congestion control: UDP can blast away as fast as desired Transport Layer 3-34

35 UDP: segmentin otsikko 32 bits source port # dest port # length checksum application data (payload) UDP-segmentin muoto UPD-segmentin pituus, tavuina, sisältäen otsikon miksi UDP? ei yhteydenmuodostusta (voi lisätä viivettä) yksikertainen: yhteystilaa ei säilytetä lähettäjällä tai vastaanottajalla pieni otsikon koko ei ruuhkanhallintaa: UDP voi toimia niin nopeasti kuin halutaan Transport Layer 3-35

36 UDP checksum Goal: detect errors (e.g., flipped bits) in transmitted segment sender: treat segment contents, including header fields, as sequence of 16-bit integers checksum: addition (one s complement sum) of segment contents sender puts checksum value into UDP checksum field receiver: compute checksum of received segment check if computed checksum equals checksum field value: NO - error detected YES - no error detected. But maybe errors nonetheless? More later. Transport Layer 3-36

37 UDP tarkistuslukema Tavoite: havaita virheet (esim. kääntyneet bitit) lähetetyssä segmentisä lähettäjä: kohtelee segmentin sisältöä, sis. otsikko, 16bittisenä kokonaislukujen sarjana tarkistusluku: lisänä (yhden ryhmän summa) segmentin sisältöön lähettää lisää tarkistussumman arvon UDP checksum -kenttään vastaanottaja: laskee vastaanotetun segmenting tarkistussumman tarkistaa, ovatko summat kentissä yhtäsuuria: NO - virhe havaittu YES - ei virhettä havaittu. Ehkä sittenkin virheitä? Lisää myöhemmin. Transport Layer 3-37

38 Internet checksum: example example: add two 16-bit integers wraparound sum checksum Note: when adding numbers, a carryout from the most significant bit needs to be added to the result Transport Layer 3-38

39 Internet-tarkistuslukema, esim: esim.: lisätään kaksi 16-bittistä kokonaislukua wraparound sum checksum Huom: numeroita lisätessä, tärkeimmän bitin lopputulema pitää lisätä tulokseen Transport Layer 3-39

40 Chapter 3 outline 3.1 transport-layer services 3.2 multiplexing and demultiplexing 3.3 connectionless transport: UDP 3.4 principles of reliable data transfer 3.5 connection-oriented transport: TCP segment structure reliable data transfer flow control connection management 3.6 principles of congestion control 3.7 TCP congestion control Transport Layer 3-40

41 Principles of reliable data transfer important in application, transport, link layers top-10 list of important networking topics! characteristics of unreliable channel will determine complexity of reliable data transfer protocol (rdt) Transport Layer 3-41

42 Luotettavan datasiirron periaatteet tärkeää sovelluksessa, kuljetuksessa, linkkikerroksilla top-10 tärkeiden verkkoaiheiden listalla! epäluotettavan kanavan ominaisuudet määrittävät luotettavan tietonsiirtoprotokollan (rdt) monimutkaisuuden Transport Layer 3-42

43 Principles of reliable data transfer important in application, transport, link layers top-10 list of important networking topics! characteristics of unreliable channel will determine complexity of reliable data transfer protocol (rdt) Transport Layer 3-43

44 Luotettavan datasiirron periaatteet tärkeää sovelluksessa, kuljetuksessa, linkkikerroksilla top-10 tärkeiden verkkoaiheiden listalla! epäluotettavan kanavan ominaisuudet määrittävät luotettavan tietonsiirtoprotokollan (rdt) monimutkaisuuden Transport Layer 3-44

45 Principles of reliable data transfer important in application, transport, link layers top-10 list of important networking topics! characteristics of unreliable channel will determine complexity of reliable data transfer protocol (rdt) Transport Layer 3-45

46 Luotettavan datasiirron periaatteet tärkeää sovelluksessa, kuljetuksessa, linkkikerroksilla top-10 tärkeiden verkkoaiheiden listalla! epäluotettavan kanavan ominaisuudet määrittävät luotettavan tietonsiirtoprotokollan (rdt) monimutkaisuuden Transport Layer 3-46

47 Reliable data transfer: getting started rdt_send(): called from above, (e. g., by app.). Passed data to deliver to receiver upper layer send side udt_send(): called by rdt, to transfer packet over unreliable channel to receiver deliver_data(): called by rdt to deliver data to upper receive side rdt_rcv(): called when packet arrives on rcv-side of channel Transport Layer 3-47

48 Luotettava datasiirto: aloitetaan rdt_send(): pyyntö ylhäältä, (e.g., sovellus.). Siirtää datan toimitukseen a vastaanottajan ylemmälle kerrokselle lähetyspuoli udt_send(): pyyntö rdt:ltä, paketin toimitus epäluotettavalla kanavalla vastaanottajalle deliver_data(): pyyntö rdt: ltä, datan toimitus ylemmälle vastaanottopuoli rdt_rcv(): pyydetään, kun paketti saapuu kanavan rcv-puolelle Transport Layer 3-48

49 Reliable data transfer: getting started we ll: incrementally develop sender, receiver sides of reliable data transfer protocol (rdt) consider only unidirectional data transfer but control info will flow on both directions! use finite state machines (FSM) to specify sender, receiver event causing state transition actions taken on state transition state: when in this state next state uniquely determined by next event state 1 event actions state 2 Transport Layer 3-49

50 Luotettava datasiirto: aloitetaan tulemme tekemään: kehitämme vähitellen lähettäjä, vastaanottaja puolten protokollan, reliable data transfer (rdt) mietimme vain yksisuuntaista datasiirtoa ohjausinformaatio liikkuu molempiin suuntiin käyttää finite state machines, rajallisia tilakoneita (FSM) määrittääkseen lähettäjän, vastaanottajan tapahtuma, joka johtaa vaiheen vaihtumiseen vaiheen vaihtumisessa tehtävät toimenpiteet vaihe: tässä vaiheessa seuraava tapahtuma päättää uniikin seuraavan vaiheen vaihe 1 tapahtuma toimenpiteet vaihe 2 Transport Layer 3-50

51 rdt1.0: reliable transfer over a reliable channel underlying channel perfectly reliable no bit errors no loss of packets separate FSMs for sender, receiver: sender sends data into underlying channel receiver reads data from underlying channel Wait for call from above rdt_send(data) packet = make_pkt(data) udt_send(packet) sender Wait for call from below rdt_rcv(packet) extract (packet,data) deliver_data(data) receiver Transport Layer 3-51

52 rdt1.0: luotettava siirto luotettavalla kanavalla taustalla täydellisen luotettava kanava ei bittivirheitä ei pakettien menetystä erilliset FSM:t lähettäjälle, vastaanottajalle: lähettäjä lähettää datan taustan kanavaan vastaanottaja lukee datan taustan kanavasta Odota pyyntöä ylhäältä rdt_send(data) packet = make_pkt(data) udt_send(packet) lähettäjä Odota pyyntöä alhaalta rdt_rcv(packet) extract (packet,data) deliver_data(data) vastaanottaja Transport Layer 3-52

53 rdt2.0: channel with bit errors underlying channel may flip bits in packet checksum to detect bit errors the question: how to recover from errors: acknowledgements (ACKs): receiver explicitly tells sender that pkt received OK negative acknowledgements (NAKs): receiver explicitly tells sender that pkt had errors sender retransmits pkt on receipt of NAK How do humans recover from new mechanisms in rdt2.0 (beyond rdt1.0): errors error detection during conversation? receiver feedback: control msgs (ACK,NAK) rcvr>sender Transport Layer 3-53

54 rdt2.0: kanava bittivirheillä taustan kanava voi muuttaa paketin bittejä tarkistussumma löytää bittivirheet kysymys: miten toipua virheistä? kuittaukset (ACKs): vastaanottaja kertoo lähettäjälle, että paketti on vastaanotettu OK negatiiviset kuittaukset (NAKs): vastaanottaja kertoo lähettäjälle, että paketissa oli virheitä Miten ihmiset toipuvat keskustelun lähettäjä uudelleenlähettää paketin NAK-raportin lomassa tapahtuneista virheistä? vastaanoton jälkeen uudet mekanismit rdt2.0 (beyond rdt1.0): virheen havainnointi palaute: ohjausviestejä (ACK,NAK) vastaanottajalta lähettäjälle Transport Layer 3-54

55 rdt2.0: channel with bit errors underlying channel may flip bits in packet checksum to detect bit errors the question: how to recover from errors: acknowledgements (ACKs): receiver explicitly tells sender that pkt received OK negative acknowledgements (NAKs): receiver explicitly tells sender that pkt had errors sender retransmits pkt on receipt of NAK new mechanisms in rdt2.0 (beyond rdt1.0): error detection feedback: control msgs (ACK,NAK) from receiver to sender Transport Layer 3-55

56 rdt2.0: kanava bittivirheillä taustan kanava voi muuttaa paketin bittejä tarkistussumma löytää bittivirheet kysymys: miten toipua virheistä? kuittaukset (ACKs): vastaanottaja kertoo lähettäjälle, että paketti on vastaanotettu OK negatiiviset kuittaukset (NAKs): vastaanottaja kertoo lähettäjälle, että paketissa oli virheitä lähettäjä uudelleenlähettää paketin NAK-raportin vastaanoton jälkeen uudet mekanismit rdt2.0 (beyond rdt1.0): virheen havainnointi palaute: ohjausviestejä (ACK,NAK) vastaanottajalta lähettäjälle Transport Layer 3-56

57 rdt2.0: FSM specification rdt_send(data) sndpkt = make_pkt(data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && isnak(rcvpkt) Wait for Wait for call from ACK or udt_send(sndpkt) above NAK rdt_rcv(rcvpkt) && isack(rcvpkt) Λ sender receiver rdt_rcv(rcvpkt) && corrupt(rcvpkt) udt_send(nak) Wait for call from below rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ack) Transport Layer 3-57

58 rdt2.0: FSM määrittely rdt_send(data) sndpkt = make_pkt(data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && isnak(rcvpkt) Odota Odota pyyntöä ACK tai udt_send(sndpkt) ylhäältä NAK rdt_rcv(rcvpkt) && isack(rcvpkt) Λ lähettäjä vastaanottaja rdt_rcv(rcvpkt) && corrupt(rcvpkt) udt_send(nak) Odota pyyntöä alhaalta rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ack) Transport Layer 3-58

59 rdt2.0: operation with no errors rdt_send(data) snkpkt = make_pkt(data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && isnak(rcvpkt) Wait for Wait for call from ACK or udt_send(sndpkt) above NAK rdt_rcv(rcvpkt) && isack(rcvpkt) Λ rdt_rcv(rcvpkt) && corrupt(rcvpkt) udt_send(nak) Wait for call from below rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ack) Transport Layer 3-59

60 rdt2.0: toiminto ilman virheitä rdt_send(data) snkpkt = make_pkt(data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && isnak(rcvpkt) Odota Odota pyyntöä ACK tai udt_send(sndpkt) ylhäältä NAK rdt_rcv(rcvpkt) && isack(rcvpkt) Λ rdt_rcv(rcvpkt) && corrupt(rcvpkt) udt_send(nak) Odota pyyntöä alhaalta rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ack) Transport Layer 3-60

61 rdt2.0: error scenario rdt_send(data) snkpkt = make_pkt(data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && isnak(rcvpkt) Wait for Wait for call from ACK or udt_send(sndpkt) above NAK rdt_rcv(rcvpkt) && isack(rcvpkt) Λ rdt_rcv(rcvpkt) && corrupt(rcvpkt) udt_send(nak) Wait for call from below rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ack) Transport Layer 3-61

62 rdt2.0: virheskenaario rdt_send(data) snkpkt = make_pkt(data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && isnak(rcvpkt) Odota Odota pyyntöä ACK tai udt_send(sndpkt) alhaalta NAK rdt_rcv(rcvpkt) && isack(rcvpkt) Λ rdt_rcv(rcvpkt) && corrupt(rcvpkt) udt_send(nak) Odota pyyntöä alhaalta rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ack) Transport Layer 3-62

63 rdt2.0 has a fatal flaw! what happens if ACK/NAK corrupted? sender doesn t know what happened at receiver! can t just retransmit: possible duplicate handling duplicates: sender retransmits current pkt if ACK/NAK corrupted sender adds sequence number to each pkt receiver discards (doesn t deliver up) duplicate pkt stop and sender sends one wait packet, then waits for receiver response Transport Layer 3-63

64 rdt2.0:ssa on kohtalokas virhe! mitä tapahtuu jos ACK/NAK vioittuu? lähettäjä ei tiedä mitä vastaanottajan päässä tapahtui ei voi vain lähettää: mahdollinen tuplatiedosto tuplien käsittely: lähettää uudelleenlähettää nykyisen paketin, jos ACK/NAK vioittuu lähettäjä lisää järjestysnumeron jokaiseen pakettiin vastaanottaja hylkää (ei toimita ylös) tuplapakettia pysähdy ja odota lähettäjä lähettää yhden paketin, ja odottaa vastaanottajan vastausta Transport Layer 3-64

65 rdt2.1: sender, handles garbled ACK/NAKs rdt_send(data) sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && Wait for call 0 from above rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt) ( corrupt(rcvpkt) isnak(rcvpkt) ) udt_send(sndpkt) Wait for ACK or NAK 0 rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt) Λ rdt_rcv(rcvpkt) && ( corrupt(rcvpkt) isnak(rcvpkt) ) udt_send(sndpkt) Λ Wait for ACK or NAK 1 Wait for call 1 from above rdt_send(data) sndpkt = make_pkt(1, data, checksum) udt_send(sndpkt) Transport Layer 3-65

66 rdt2.1: lähettäjä, käsittelee sekavat ACK/NAK:t rdt_send(data) sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && Odota pyyntöä 0 ylhäältä ( corrupt(rcvpkt) isnak(rcvpkt) ) udt_send(sndpkt) Odota ACK tai NAK 0 rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt) rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt) Λ rdt_rcv(rcvpkt) && ( corrupt(rcvpkt) isnak(rcvpkt) ) udt_send(sndpkt) Λ Odota ACK tai NAK 1 Odota pyyntöä 1 ylhäältä rdt_send(data) sndpkt = make_pkt(1, data, checksum) udt_send(sndpkt) Transport Layer 3-66

67 rdt2.1: receiver, handles garbled ACK/NAKs rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && has_seq0(rcvpkt) rdt_rcv(rcvpkt) && (corrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && (corrupt(rcvpkt) sndpkt = make_pkt(nak, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && not corrupt(rcvpkt) && has_seq1(rcvpkt) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) sndpkt = make_pkt(nak, chksum) udt_send(sndpkt) Wait for 0 from below Wait for 1 from below rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && has_seq1(rcvpkt) rdt_rcv(rcvpkt) && not corrupt(rcvpkt) && has_seq0(rcvpkt) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) Transport Layer 3-67

68 rdt2.1: vastaanottaja, käsittelee sekavat ACK/NAK:t rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && has_seq0(rcvpkt) rdt_rcv(rcvpkt) && (corrupt(rcvpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && (corrupt(rcvpkt) sndpkt = make_pkt(nak, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && not corrupt(rcvpkt) && has_seq1(rcvpkt) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) sndpkt = make_pkt(nak, chksum) udt_send(sndpkt) Odota 0 alhaalta Odota 1 alhaalta rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && has_seq1(rcvpkt) rdt_rcv(rcvpkt) && not corrupt(rcvpkt) && has_seq0(rcvpkt) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ack, chksum) udt_send(sndpkt) Transport Layer 3-68

69 rdt2.1: discussion sender: seq # added to pkt two seq. # s (0,1) will suffice. Why? must check if received ACK/NAK corrupted twice as many states state must remember whether expected pkt should have seq # of 0 or 1 receiver: must check if received packet is duplicate state indicates whether 0 or 1 is expected pkt seq # note: receiver can not know if its last ACK/NAK received OK at sender Transport Layer 3-69

70 rdt2.1: keskustelu vastaanottaja: lähettäjä: pitää tarkistaa, jos sarja# lisätty pakettiin vastaanotettu paketti on 2 sarja-#:a (0,1) riittää. tuplatiedosto Miksi? vaihe kertoo, oliko pitää tarkistaa, oliko paketin sarja# 0 vai 1 vastaanotettu ACK/NAK huom: vastaanottaja ei voi viallinen tietää, saako lähettäjä 2 kertaa enemmän vaiheita viimeisen ACK/NAK vaiheen täytyy muistaa kuittauksen onko odotetulla pkt:lla sarja# 0 vai 1 Transport Layer 3-70

71 rdt2.2: a NAK-free protocol same functionality as rdt2.1, using ACKs only instead of NAK, receiver sends ACK for last pkt received OK receiver must explicitly include seq # of pkt being ACKed duplicate ACK at sender results in same action as NAK: retransmit current pkt Transport Layer 3-71

72 rdt2.2: NAK-vapaa protokolla samat toiminnot kuin rdt2.1:ssa, käyttää vain ACK: ta NAK:n sijaan, vastaanottaja lähettää ACK:n viimeisen paketin OK perilletulon jälkeen vastaanottajan täytyy nimenomaan sisällyttää ACK:n kohdepaketin sarja# tupla ACK lähettäjälle johtaa samaan toimintoon kuin NAK: nykyisen paketin uudelleenlähetykseen Transport Layer 3-72

73 rdt2.2: sender, receiver fragments rdt_send(data) sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && Wait for call 0 from above rdt_rcv(rcvpkt) && (corrupt(rcvpkt) has_seq1(rcvpkt)) udt_send(sndpkt) Wait for 0 from below ( corrupt(rcvpkt) isack(rcvpkt,1) ) udt_send(sndpkt) Wait for ACK 0 sender FSM fragment rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt,0) Λ receiver FSM fragment rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && has_seq1(rcvpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ack1, chksum) udt_send(sndpkt) Transport Layer 3-73

74 rdt2.2: lähettäjä, vastaanottaja osat rdt_send(data) sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) rdt_rcv(rcvpkt) && Wait for call 0 from above lähettäjän FSM osat rdt_rcv(rcvpkt) && (corrupt(rcvpkt) has_seq1(rcvpkt)) udt_send(sndpkt) Wait for 0 from below (corrupt(rcvpkt) isack(rcvpkt,1) ) udt_send(sndpkt) Wait for ACK 0 rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt,0) Λ vastaanottajan FSM osat rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && has_seq1(rcvpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ack1, chksum) udt_send(sndpkt) Transport Layer 3-74

75 rdt3.0: channels with errors and loss new assumption: underlying channel can also lose packets (data, ACKs) checksum, seq. #, ACKs, retransmissions will be of help but not enough approach: sender waits reasonable amount of time for ACK retransmits if no ACK received in this time if pkt (or ACK) just delayed (not lost): retransmission will be duplicate, but seq. # s already handles this receiver must specify seq # of pkt being ACKed requires countdown timer Transport Layer 3-75

76 rdt3.0: kanavat virheillä ja hävikillä uusi oletus: taustalla kanava voi myös menettää paketteja (data, ACKt) checksum, sarja#, ACKs, uudelleenlähetykset avuksi mutta ei tarpeeksi lähestyminen: lähettää odottaa järkevän ajan ACKta uudelleenlähettää, jos ei ole sillä välin saanut ACKta jos paketti (tai ACK) vain viivästyi (ei kadonnut): uudelleenlähetys on tuplatiedosto, mutta sarja# t hoitavat tämän vastaanottajan täytyy tarkentaa ACK:n kohteen sarja# vaatii ajastuksen Transport Layer 3-76

77 rdt3.0 sender rdt_send(data) sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) start_timer rdt_rcv(rcvpkt) Λ rdt_rcv(rcvpkt) && ( corrupt(rcvpkt) isack(rcvpkt,1) ) Λ Wait for ACK0 Wait for call 0from above rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt,1) timeout udt_send(sndpkt) start_timer rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt,0) stop_timer stop_timer timeout udt_send(sndpkt) start_timer rdt_rcv(rcvpkt) && ( corrupt(rcvpkt) isack(rcvpkt,0) ) Λ Wait for ACK1 Wait for call 1 from above rdt_send(data) rdt_rcv(rcvpkt) Λ sndpkt = make_pkt(1, data, checksum) udt_send(sndpkt) start_timer Transport Layer 3-77

78 rdt3.0 lähettäjä rdt_send(data) sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) start_timer rdt_rcv(rcvpkt) Λ rdt_rcv(rcvpkt) && ( corrupt(rcvpkt) isack(rcvpkt,1) ) Λ Wait for ACK0 Wait for call 0from above rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt,1) timeout udt_send(sndpkt) start_timer rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) && isack(rcvpkt,0) stop_timer stop_timer timeout udt_send(sndpkt) start_timer rdt_rcv(rcvpkt) && ( corrupt(rcvpkt) isack(rcvpkt,0) ) Λ Wait for ACK1 Wait for call 1 from above rdt_send(data) rdt_rcv(rcvpkt) Λ sndpkt = make_pkt(1, data, checksum) udt_send(sndpkt) start_timer Transport Layer 3-78

79 rdt3.0 in action receiver sender send pkt0 rcv ack0 send pkt1 rcv ack1 send pkt0 send pkt0 pkt0 ack0 rcv pkt0 send ack0 pkt1 ack1 rcv pkt1 send ack1 receiver sender rcv ack0 send pkt1 pkt0 ack0 rcv pkt0 send ack0 pkt1 X loss pkt0 ack0 rcv pkt0 send ack0 timeout resend pkt1 rcv ack1 send pkt0 (a) no loss pkt1 ack1 rcv pkt1 send ack1 pkt0 ack0 rcv pkt0 send ack0 (b) packet loss Transport Layer 3-79

80 rdt3.0 toiminnassa vastaanottaja lähettäjä send pkt0 rcv ack0 send pkt1 rcv ack1 send pkt0 send pkt0 pkt0 ack0 rcv pkt0 send ack0 pkt1 ack1 rcv pkt1 send ack1 vastaanottaja lähettäjä rcv ack0 send pkt1 pkt0 ack0 rcv pkt0 send ack0 pkt1 X loss pkt0 ack0 rcv pkt0 send ack0 timeout resend pkt1 rcv ack1 send pkt0 (a) ei häviötä pkt1 ack1 rcv pkt1 send ack1 pkt0 ack0 rcv pkt0 send ack0 (b) paketin menetys Transport Layer 3-80

81 rdt3.0 in action receiver sender send pkt0 send pkt0 pkt0 rcv ack0 send pkt1 ack0 rcv pkt0 send ack0 X rcv pkt1 send ack1 loss rcv ack1 send pkt0 rcv ack0 send pkt1 pkt0 rcv pkt0 send ack0 ack0 pkt1 rcv pkt1 send ack1 pkt1 ack1 timeout resend pkt1 receiver sender pkt1 ack1 rcv pkt1 (detect duplicate) send ack1 pkt0 ack0 (c) ACK loss rcv pkt0 send ack0 ack1 timeout resend pkt1 rcv ack1 send pkt0 rcv ack1 send pkt0 pkt1 rcv pkt1 pkt0 ack1 ack0 pkt0 (detect duplicate) ack0 (detect duplicate) send ack1 rcv pkt0 send ack0 rcv pkt0 send ack0 (d) premature timeout/ delayed ACK Transport Layer 3-81

82 rdt3.0 toiminnassa vastaanottaja lähettäjä send pkt0 rcv ack0 send pkt1 ack0 rcv pkt0 send ack0 rcv ack0 send pkt1 vastaanottaja pkt0 rcv pkt0 send ack0 ack0 pkt1 rcv pkt1 send ack1 pkt1 X rcv pkt1 send ack1 loss rcv ack1 send pkt0 send pkt0 pkt0 ack1 timeout resend pkt1 lähettäjä pkt1 ack1 rcv pkt1 (detect duplicate) send ack1 pkt0 ack0 (c) ACK häviö rcv pkt0 send ack0 ack1 timeout resend pkt1 rcv ack1 send pkt0 rcv ack1 send pkt0 pkt1 rcv pkt1 pkt0 ack1 ack0 pkt0 (detect duplicate) ack0 (detect duplicate) send ack1 rcv pkt0 send ack0 rcv pkt0 send ack0 (d) ennenaikainen timeout/ viivästynyt ACK Transport Layer 3-82

83 Performance of rdt3.0 rdt3.0 is correct, but performance stinks e.g.: 1 Gbps link, 15 ms prop. delay, 8000 bit packet: 8000 bits L Dtrans = R = 109 bits/sec = 8 microsecs U sender: utilization fraction of time sender busy sending if RTT=30 msec, 1KB pkt every 30 msec: 33kB/sec thruput over 1 Gbps link network protocol limits use of physical resources! Transport Layer 3-83

84 Suorituskyky rdt3.0 rdt3.0 toimii oikein, mutta suorituskyky on huono e.g.: 1 Gbps linkki, 15 ms oletettu viive, 8000 bit paketti: 8000 bits L Dtrans = R = 109 bits/sec = 8 microsecs U sender: hyödyntäminen ajanjakso, kun lähettäjä lähettää jos RTT=30 msec, 1KB pkt joka 30 msec: 33kB/sec läpimeno yli 1 Gbps linkillä verkkoprotokolla rajoittaa fyysisten resurssien käyttöä! Transport Layer 3-84

85 rdt3.0: stop-and-wait operation sender receiver first packet bit transmitted, t = 0 last packet bit transmitted, t = L / R RTT first packet bit arrives last packet bit arrives, send ACK ACK arrives, send next packet, t = RTT + L / R Transport Layer 3-85

86 rdt3.0: pysähdy ja odota -operaatio sender receiver 1. pakettibitti lähetetty, t = 0 viimeinen pakettibitti lähetetty, t = L / R RTT 1. pakettibitti saapuu viimeinen pakettibitti saapuu, lähetä ACK ACK saapuu, lähetä seuraava paketti, t = RTT + L/R Transport Layer 3-86

87 Pipelined protocols pipelining: sender allows multiple, in-flight, yetto-be-acknowledged pkts range of sequence numbers must be increased buffering at sender and/or receiver two generic forms of pipelined protocols: go-backn, selective repeat Transport Layer 3-87

88 Putkiprotokollat putkitus: lähettää sallii useiden, kohta ilmoitettujen pakettien lähetyksen lennossa sarjanumeroiden määrää täytyy kasvattaa puskurointi lähettäjällä ja/tai vastaanottajalla putkiprotokollien kaksi geneeristä muotoa: palaatakaisin-n (go-back-n), valikoiva toisto Transport Layer 3-88

89 Pipelining: increased utilization sender receiver first packet bit transmitted, t = 0 last bit transmitted, t = L / R RTT first packet bit arrives last packet bit arrives, send ACK last bit of 2nd packet arrives, send ACK last bit of 3rd packet arrives, send ACK ACK arrives, send next packet, t = RTT + L / R 3-packet pipelining increases utilization by a factor of 3! Transport Layer 3-89

90 Putkitus: lisääntynyt käyttö lähettäjä vastaanottaja 1. paketin bitti lähetetty, t = 0 viimeinen bitti lähetetty, t = L / R RTT first packet bit arrives last packet bit arrives, send ACK last bit of 2nd packet arrives, send ACK last bit of 3rd packet arrives, send ACK ACK arrives, send next packet, t = RTT + L / R 3-paketin putkitus lisää käyttöä 3-kertoimella! Transport Layer 3-90

91 Pipelined protocols: overview Go-back-N: sender can have up to N unacked packets in pipeline receiver only sends cumulative ack doesn t ack packet if there s a gap sender has timer for oldest unacked packet when timer expires, retransmit all unacked packets Selective Repeat: sender can have up to N unack ed packets in pipeline rcvr sends individual ack for each packet sender maintains timer for each unacked packet when timer expires, retransmit only that unacked packet Transport Layer 3-91

92 Putkitetut protokollat: yleiskuva Go-back-N: Valikoiva toisto: lähettäjällä voi olla N-määrä lähettäjällä on voi olla N-määrä ei kuitattuja paketteja ei-kuitattuja paketteja putkessa putkessa vastaanottaja lähettää vastaanottaja lähettää vain yksittäisen ack:n jokaisesta kootun ack:n paketista ei ack-kuittaa pakettia, jos lähettäjä pitää ajastinta siellä on väli jokaiselle ei-kuitatulle paketille lähettäjälle on ajastin kun aika loppuu, lähetetään vanhimmalle ei-kuitatulle uudelleen vain ei-kuitatut paketille paketit kun aika loppuu, lähetetään kaikki eikuitatut paketit uudelleen Transport Layer 3-92

93 Go-Back-N: sender k-bit seq # in pkt header window of up to N, consecutive unack ed pkts allowed ACK(n): ACKs all pkts up to, including seq # n - cumulative ACK may receive duplicate ACKs (see receiver) timer for oldest in-flight pkt timeout(n): retransmit packet n and all higher seq # pkts in window Transport Layer 3-93

94 Go-Back-N: lähettäjä k-bit sarja# paketin otsikossa ikkuna N-määrään asti, peräkkäiset ei-kuitatut paketit sallitaan ACK(n): kuittaa kaikki paketit, myös sarja# n:n kumulatiivinen ACK saattaa saada tupla ACKn (ks. vastaanottaja) ajastin vanhimmalle lähetetylle paketille timeout(n)/ kun aika loppuu: uudelleenlähettää paketin n ja korkeamman sarja#:n omaavat paketit ikkunassa Transport Layer 3-94

95 GBN: sender extended FSM rdt_send(data) Λ base=1 nextseqnum=1 if (nextseqnum < base+n) { sndpkt[nextseqnum] = make_pkt(nextseqnum,data,chksum) udt_send(sndpkt[nextseqnum]) if (base == nextseqnum) start_timer nextseqnum++ } else refuse_data(data) Wait rdt_rcv(rcvpkt) && corrupt(rcvpkt) timeout start_timer udt_send(sndpkt[base]) udt_send(sndpkt[base+1]) udt_send(sndpkt[nextseqnum-1]) rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) base = getacknum(rcvpkt)+1 If (base == nextseqnum) stop_timer else start_timer Transport Layer 3-95

96 GBN: lähettäjän laajennettu FSM (tilakone) rdt_send(data) Λ base=1 nextseqnum=1 if (nextseqnum < base+n) { sndpkt[nextseqnum] = make_pkt(nextseqnum,data,chksum) udt_send(sndpkt[nextseqnum]) if (base == nextseqnum) start_timer nextseqnum++ } else refuse_data(data) Odota rdt_rcv(rcvpkt) && corrupt(rcvpkt) timeout start_timer udt_send(sndpkt[base]) udt_send(sndpkt[base+1]) udt_send(sndpkt[nextseqnum-1]) rdt_rcv(rcvpkt) && notcorrupt(rcvpkt) base = getacknum(rcvpkt)+1 If (base == nextseqnum) stop_timer else start_timer Transport Layer 3-96

97 GBN: receiver extended FSM default udt_send(sndpkt) Λ Wait expectedseqnum=1 sndpkt = make_pkt(expectedseqnum,ack,chksum) rdt_rcv(rcvpkt) && notcurrupt(rcvpkt) && hasseqnum(rcvpkt,expectedseqnum) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(expectedseqnum,ack,chksum) udt_send(sndpkt) expectedseqnum++ ACK-only: always send ACK for correctly-received pkt with highest in-order seq # may generate duplicate ACKs need only remember expectedseqnum out-of-order pkt: discard (don t buffer): no receiver buffering! re-ack pkt with highest in-order seq # Transport Layer 3-97

98 GBN: vastaanottajan laajennettu FSM (tilakone) default udt_send(sndpkt) Λ Odota expectedseqnum=1 sndpkt = make_pkt(expectedseqnum,ack,chksum) rdt_rcv(rcvpkt) && notcurrupt(rcvpkt) && hasseqnum(rcvpkt,expectedseqnum) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(expectedseqnum,ack,chksum) udt_send(sndpkt) expectedseqnum++ Vain ACK: lähetä ACK aina vastaanotetusta paketista, jolla on järjestyksessä suurin sarja# saattaa luoda tupla ACK:ita tarvitsee muistaa vain expectedseqnum ei kunnossa oleva paketti: hylkää (älä puskuroi): ei vastaanottajan puskurointia! uudelleenvahvistus-ack paketille, jolla on korkein sarja# Transport Layer 3-98

99 GBN in action sender window (N=4) sender send pkt0 send pkt1 send pkt2 send pkt3 (wait) rcv ack0, send pkt4 rcv ack1, send pkt5 ignore duplicate ACK pkt 2 timeout send pkt2 send pkt3 send pkt4 send pkt5 receiver Xloss receive pkt0, send ack0 receive pkt1, send ack1 receive pkt3, discard, (re)send ack1 receive pkt4, discard, (re)send ack1 receive pkt5, discard, (re)send ack1 rcv rcv rcv rcv pkt2, pkt3, pkt4, pkt5, deliver, deliver, deliver, deliver, send send send send ack2 ack3 ack4 ack5 Transport Layer 3-99

100 GBN toiminnassa lähettäjän ikkuna (N=4) lähettäjä send pkt0 send pkt1 send pkt2 send pkt3 (wait) rcv ack0, send pkt4 rcv ack1, send pkt5 ignore duplicate ACK pkt 2 timeout send pkt2 send pkt3 send pkt4 send pkt5 vastaanottaja Xloss receive pkt0, send ack0 receive pkt1, send ack1 receive pkt3, discard, (re)send ack1 receive pkt4, discard, (re)send ack1 receive pkt5, discard, (re)send ack1 rcv rcv rcv rcv pkt2, pkt3, pkt4, pkt5, deliver, deliver, deliver, deliver, send send send send ack2 ack3 ack4 ack5 Transport Layer 3-100

101 Selective repeat receiver individually acknowledges all correctly received pkts buffers pkts, as needed, for eventual in-order delivery to upper layer sender only resends pkts for which ACK not received sender timer for each unacked pkt sender window N consecutive seq # s limits seq #s of sent, unacked pkts Transport Layer 3-101

102 Valikoiva toisto vastaanottaja kuittaa kaikki vastaanotetut paketit erikseen tarpeen mukaan puskuroi paketit, lähettääkseen ne järjestyksessä ylemmälle kerrokselle lähettäjä uudelleenlähettää vain paketit, joiden ACK:ta ei saatu lähettäjällä ajastin jokaiselle ei-vahvistetulle paketille lähettäjän ikkuna N peräkkäistä sarja-#:a rajoittaa lähetettyjen, ei-kuitattujen pakettien sarja#:t Transport Layer 3-102

103 Selective repeat: sender, receiver windows Transport Layer 3-103

104 Valikoiva toisto: lähettäjä, vastaanottaja ikkunat Transport Layer 3-104

105 Selective repeat sende datar from above: if next available seq # in window, send pkt timeout(n): resend pkt n, restart timer ACK(n) in [sendbase,sendbase+n]: mark pkt n as received if n smallest unacked pkt, advance window base to next unacked seq # receiver pkt n in [rcvbase, rcvbase+n-1] send ACK(n) out-of-order: buffer in-order: deliver (also deliver buffered, in-order pkts), advance window to next not-yet-received pkt pkt n in [rcvbase-n,rcvbase-1] ACK(n) otherwise: ignore Transport Layer 3-105

106 Valikoiva toisto lähettäjä data ylhäältä: jos seuraava vapaa sarja# on ikkunassa, lähetä paketti timeout(n): lähetä paketti n uudelleen, käynnistä ajastin uudelleen ACK(n) in [sendbase, sendbase+n]: merkitse paketti vastaanotetuksi jos n on pienin ei-kuitatuista paketeista, etukäteen ikkuna seuraavalle ei-kuitatulle sarja#: lle vastaanottaja pkt n in [rcvbase, rcvbase+n-1] lähetä ACK(n) vioittunut: puskuroi kunnossa: toimita (myös puskuroidut, kunnossa olevat paketit), etukäteen ikkuna seuraavalle ei-vielävastaanotetulle paketille pkt n in [rcvbase-n,rcvbase-1] ACK(n) muuten: jätä huomiotta Transport Layer 3-106

107 Selective repeat in action sender window (N=4) sender send pkt0 send pkt1 send pkt2 send pkt3 (wait) receiver Xloss rcv ack0, send pkt4 rcv ack1, send pkt5 record ack3 arrived pkt 2 timeout send pkt2 record ack4 arrived record ack5 arrived receive pkt0, send ack0 receive pkt1, send ack1 receive pkt3, buffer, send ack3 receive pkt4, buffer, send ack4 receive pkt5, buffer, send ack5 rcv pkt2; deliver pkt2, pkt3, pkt4, pkt5; send ack2 Q: what happens when ack2 arrives? Transport Layer 3-107

108 Valikoiva toisto käytännössä lähettäjän ikkuna (N=4) lähettäjä send pkt0 send pkt1 send pkt2 send pkt3 (wait) vastaanottaja Xloss rcv ack0, send pkt4 rcv ack1, send pkt5 record ack3 arrived pkt 2 timeout send pkt2 record ack4 arrived record ack5 arrived receive pkt0, send ack0 receive pkt1, send ack1 receive pkt3, buffer, send ack3 receive pkt4, buffer, send ack4 receive pkt5, buffer, send ack5 rcv pkt2; deliver pkt2, pkt3, pkt4, pkt5; send ack2 Q: mitä tapahtuu, kun ack2 saapuu? Transport Layer 3-108

109 Selective repeat: dilemma example: seq # s: 0, 1, 2, 3 window size=3 receiver sees no difference in two scenarios! duplicate data accepted as new in (b) Q: what relationship between seq # size and window size to avoid problem in (b)? receiver window (after receipt) sender window (after receipt) pkt pkt pkt pkt pkt0 (a) no problem X will accept packet with seq number 0 receiver can t see sender side. receiver behavior identical in both cases! something s (very) wrong! pkt pkt pkt X X timeout retransmit pkt0 X (b) oops! pkt0 will accept packet with seq number 0 Transport Layer 3-109

110 Valikoiva toisto: pulma esim: sarja# t: 0, 1, 2, 3 ikkunan koko=3 vastaanottajalle näissä ei ole mitään eroa tupladata hyväksytään uutena (b):ssä Q: mikä suhde sarja#:n ja ikkunan koon välillä välttää ongelman (b): ssä? receiver window (after receipt) sender window (after receipt) pkt pkt pkt pkt pkt0 (a) no problem X will accept packet with seq number 0 vastaanottaja ei näe lähettäjän puolta. vast.ottajan käytösä on sama molemmissa tapauksissa. jokin menee pahasti pieleen! pkt pkt pkt X X timeout retransmit pkt0 X (b) oops! pkt0 will accept packet with seq number 0 Transport Layer 3-110