Overview



TCP header fields



More TCP header fields



TCP connections



TCP Connection Establishment



TCP Connection Teardown



Retransmission Algorithms

For reliable transmission in the presence of packet loss, we need to: Another strategies would be forward error correction (e.g. CRC, RAID), used for real-time traffic and when retransmission is expensive.



Types of Acknowledgements



Alternating Bit protocol



Correctness of ABP

  1. if network is FIFO,
  2. any ack 1-s we receive is for the last packet
  3. any ack s we receive is for the current packet, and
  4. when we receive an ack s, there can be no ack 1-s left in the network.
  5. therefore, any future ack 1-s must be for future packets, and
  6. acks will be matched to packets
Step 4 does not hold with a non-FIFO network