Merge pull request #100 from hirenp/master

Add 1) dupack triggered fast-retransmit 2) partial ack processing scr…

gtests/net/packetdrill/tests/bsd/tcp/ack_processing/tcp_dup_acks.pkt

+// Make sure fast-retransmit is triggered based on 3 dupacks
+
+// Create a listening TCP socket.
+ 0.000 socket(..., SOCK_STREAM, IPPROTO_TCP) = 3
++0.005 setsockopt(3, SOL_SOCKET, SO_REUSEADDR, [1], 4) = 0
++0.005 bind(3, ..., ...) = 0
++0.005 listen(3, 1) = 0
+// Establish a TCP connection.
++0.035 < S  0:0(0) win 65535 <mss 1000, sackOK, eol, eol>
++0.000 > S. 0:0(0) ack 1 win 65535 <...>
++0.000 <  . 1:1(0) ack 1 win 65535
++0.000 accept(3, ..., ...) = 4
++0.000 close(3) = 0
+// check that the cwnd is 10 MSS. If not you might want to set
+// net.inet.tcp.experimental.initcwnd10 to 1.
++0.000 %{ assert tcpi_snd_cwnd == 11000 }%
+// send 7 packets. It could be up to 10 without cwnd getting into the game.
++0.000 write(4, ..., 7000) = 7000
++0.000 >  .    1:1001(1000) ack 1
++0.000 >  . 1001:2001(1000) ack 1
++0.000 >  . 2001:3001(1000) ack 1
++0.000 >  . 3001:4001(1000) ack 1
++0.000 >  . 4001:5001(1000) ack 1
++0.000 >  . 5001:6001(1000) ack 1
++0.000 > P. 6001:7001(1000) ack 1
+// assume the second, third and fifth packet is lost. 
++0.000 <  . 1:1(0) ack 1001 win 65535
++0.000 <  . 1:1(0) ack 1001 win 65535 <sack 3001:4001, nop, nop>
++0.000 <  . 1:1(0) ack 1001 win 65535 <sack 3001:4001 5001:6001, nop, nop>
++0.000 <  . 1:1(0) ack 1001 win 65535 <sack 3001:4001 5001:7001, nop, nop>
+// fast retransmit the seond packet.
++0.000 >  . 1001:2001(1000) ack 1
++0.000 <  . 1:1(0) ack 2001 win 65535 <sack 3001:4001 5001:7001, nop, nop>
+// fast retransmit the third packet.
++0.000 >  . 2001:3001(1000) ack 1
++0.000 <  . 1:1(0) ack 4001 win 65535 <sack 5001:7001, nop, nop>
+// fast retransmit the fifth packet.
++0.000 >  . 4001:5001(1000) ack 1 
++0.000 <  . 1:1(0) ack 7001 win 65535 
+// Teardown the TCP connection.
++1.000 close(4) = 0 
++0.000 > F. 7001:7001(0) ack 1
++0.100 < F. 1:1(0) ack 7002 win 65535 
++0.000 >  . 7002:7002(0) ack 2

gtests/net/packetdrill/tests/bsd/tcp/ack_processing/tcp_partial_ack.pkt

+// Verify the behavior when partial ack is processed by sender.
+// XXXHP: This script is broken currently.
+
+// Create a listening TCP socket.
+ 0.000 socket(..., SOCK_STREAM, IPPROTO_TCP) = 3
++0.005 setsockopt(3, SOL_SOCKET, SO_REUSEADDR, [1], 4) = 0
++0.005 bind(3, ..., ...) = 0
++0.005 listen(3, 1) = 0
+// Establish a TCP connection.
++0.035 < S  0:0(0) win 65535 <mss 1000, sackOK, eol, eol>
++0.000 > S. 0:0(0) ack 1 win 65535 <...>
++0.000 <  . 1:1(0) ack 1 win 65535
++0.000 accept(3, ..., ...) = 4
++0.000 close(3) = 0
+// check that the cwnd is 10 MSS. If not you might want to set
+// net.inet.tcp.experimental.initcwnd10 to 1.
++0.000 %{ assert tcpi_snd_cwnd == 10000 }%
+// send 4 packets. It could be up to 10 without cwnd getting into the game.
++0.000 write(4, ..., 4000) = 4000
++0.000 >  .    1:1001(1000) ack 1
++0.000 >  . 1001:2001(1000) ack 1
++0.000 >  . 2001:3001(1000) ack 1
++0.000 > P. 3001:4001(1000) ack 1
+// ack the first two packets.
++0.000 <  . 1:1(0) ack 2001 win 65535
+// now ack only the first half of the third packet
++0.000 <  . 1:1(0) ack 2501 win 65535
+// not sure why the timer based retransmission happens at that time
++0.240 >  . 2501:3501(1000) ack 1
++0.000 <  . 1:1(0) ack 3501 win 65535
++0.000 > P. 3501:4001(500) ack 1
++0.000 <  . 1:1(0) ack 4001 win 65535 
+// Teardown the TCP connection.
++1.000 close(4) = 0 
++0.000 > F. 4001:4001(0) ack 1
++0.100 < F. 1:1(0) ack 4002 win 65535 
++0.000 >  . 4002:4002(0) ack 2