// A simple server-side test that sends exactly an initial window (IW10)
// worth of packets.

--tolerance_usecs=50000

// Flush Hostcache
//0.0 `kldload cc_cubic`
0.0 `sysctl net.inet.tcp.cc.algorithm=newreno`
0.1 `sysctl net.inet.tcp.initcwnd_segments=10`
0.2 `sysctl net.inet.tcp.hostcache.purgenow=1`
0.3 `sync` // in case of crash

// Create a listening TCP socket.
 0.50 socket(..., SOCK_STREAM, IPPROTO_TCP) = 3
+0.005 setsockopt(3, SOL_SOCKET, SO_REUSEADDR, [1], 4) = 0
+0.005 setsockopt(3, SOL_SOCKET, SO_DEBUG, [1], 4) = 0
+0.005 setsockopt(3, SOL_SOCKET, SO_SNDBUF, [1048576], 4) = 0
+0.005 bind(3, ..., ...) = 0
+0.005 listen(3, 1) = 0

// Establish a TCP connection with ECN to explicitly track CWR

+0.035 < SEW  0:0(0) win 65535 <mss 1000, sackOK, wscale 10, eol, nop, nop>
+0.000 > SE. 0:0(0) ack 1 win 65535 <...>
+0.000 <  . 1:1(0) ack 1 win 65535
+0.000 accept(3, ..., ...) = 4

// First, send IW plus 1 segment, drop 2nd packet to pull ssthresh low
0.700 write(4, ..., 11000) = 11000
+0 > .       1:1001(1000) ack 1
+0 %{ print "initial window:\t\t cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) 
if (tcpi_snd_cwnd < 10000):
  print "Error - Initial Window smaller than 10 MSS!"
assert tcpi_snd_cwnd >= 10000
}%
+0 < .    1:1(0) ack 1001 win 64 
+0 > .    1001:2001(1000) ack 1
+0 > .    2001:3001(1000) ack 1
+0 < .    1:1(0) ack 3001 win 64
+0 > .    3001:4001(1000) ack 1
+0 > .    4001:5001(1000) ack 1
+0 < .    1:1(0) ack 5001 win 64
+0 > .    5001:6001(1000) ack 1
+0 > .    6001:7001(1000) ack 1
+0 < .    1:1(0) ack 7001 win 64
+0 > .    7001:8001(1000) ack 1
+0 > .    8001:9001(1000) ack 1
+0 < .    1:1(0) ack 9001 win 64
+0 > .   9001:10001(1000) ack 1
+0 > P.  10001:11001(1000) ack 1
+0 < . 1:1(0) ack 11001 win 64 
+0 %{ print "after initial window:\t cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%


// Next, send a few full windows to grow cwnd beyond initwin
+0 write(4, ..., 19000) = 19000
+0 > .    11001:12001(1000) ack 1
+0 < .    1:1(0) ack 12001 win 64
+0 > .    12001:13001(1000) ack 1
+0 < .    1:1(0) ack 13001 win 64
+0 > .    13001:14001(1000) ack 1
+0 < .    1:1(0) ack 14001 win 64
+0 > .    14001:15001(1000) ack 1
+0 < .    1:1(0) ack 15001 win 64
+0 > .    15001:16001(1000) ack 1
+0 < .    1:1(0) ack 16001 win 64
+0 > .    16001:17001(1000) ack 1
+0 < .    1:1(0) ack 17001 win 64
+0 > .    17001:18001(1000) ack 1
+0 < .    1:1(0) ack 18001 win 64
+0 > .    18001:19001(1000) ack 1
+0 < .    1:1(0) ack 19001 win 64
+0 > .    19001:20001(1000) ack 1
+0 < .    1:1(0) ack 20001 win 64

+0 write(4, ..., 20000) = 20000

+0 > .    20001:21001(1000) ack 1
+0 < .    1:1(0) ack 21001 win 64
+0 > .    21001:22001(1000) ack 1
+0 < .    1:1(0) ack 22001 win 64
+0 > .    22001:23001(1000) ack 1
+0 < .    1:1(0) ack 23001 win 64
+0 > .    23001:24001(1000) ack 1
+0 < .    1:1(0) ack 24001 win 64
+0 > .    24001:25001(1000) ack 1
+0 < .    1:1(0) ack 25001 win 64
+0 > .    25001:26001(1000) ack 1
+0 < .    1:1(0) ack 26001 win 64
+0 > .    26001:27001(1000) ack 1
+0 < .    1:1(0) ack 27001 win 64
+0 > .    27001:28001(1000) ack 1
+0 < .    1:1(0) ack 28001 win 64
+0 > .    28001:29001(1000) ack 1
+0 < .    1:1(0) ack 29001 win 64
+0 > P.    29001:30001(1000) ack 1
+0 < .    1:1(0) ack 30001 win 64

+0 > .    30001:31001(1000) ack 1
+0 < .    1:1(0) ack 31001 win 64
+0 > .    31001:32001(1000) ack 1
+0 < .    1:1(0) ack 32001 win 64
+0 > .    32001:33001(1000) ack 1
+0 < .    1:1(0) ack 33001 win 64
+0 > .    33001:34001(1000) ack 1
+0 < .    1:1(0) ack 34001 win 64
+0 > .    34001:35001(1000) ack 1
+0 < .    1:1(0) ack 35001 win 64
+0 > .    35001:36001(1000) ack 1
+0 < .    1:1(0) ack 36001 win 64
+0 > .    36001:37001(1000) ack 1
+0 < .    1:1(0) ack 37001 win 64
+0 > .    37001:38001(1000) ack 1
+0 < .    1:1(0) ack 38001 win 64
+0 > .    38001:39001(1000) ack 1
+0 < .    1:1(0) ack 39001 win 64
+0 > .    39001:40001(1000) ack 1
+0 < .    1:1(0) ack 40001 win 64
+0 > .    40001:41001(1000) ack 1
+0 < .    1:1(0) ack 41001 win 64
+0 > .    41001:42001(1000) ack 1
+0 < .    1:1(0) ack 42001 win 64
+0 > .    42001:43001(1000) ack 1
+0 < .    1:1(0) ack 43001 win 64
+0 > .    43001:44001(1000) ack 1
+0 < .    1:1(0) ack 44001 win 64
+0 > .    44001:45001(1000) ack 1
+0 < .    1:1(0) ack 45001 win 64
+0 > .    45001:46001(1000) ack 1
+0 < .    1:1(0) ack 46001 win 64
+0 > .    46001:47001(1000) ack 1
+0 < .    1:1(0) ack 47001 win 64
+0 > .    47001:48001(1000) ack 1
+0 < .    1:1(0) ack 48001 win 64
+0 > .    48001:49001(1000) ack 1
+0 < .    1:1(0) ack 49001 win 64
+0 > P.   49001:50001(1000) ack 1
+0 < .    1:1(0) ack 50001 win 64


+0 %{ print "second window:\t\t cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) 
if (tcpi_snd_cwnd < 10000):
  print "Error - congestion window not large enough for further testing"
assert tcpi_snd_cwnd >= 10000
}%



// Now, check if cwnd jumps to very high value after idle
+1 write(4, ..., 30000) = 30000
+0 > .    50001:51001(1000) ack 1
+0 %{ print "after-idle:\t\t cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) 
if (tcpi_snd_cwnd != 10000):
  print "Error - Restart Window not equal to Initial Window"
else:
  print "Test PASSED!"
assert tcpi_snd_cwnd == 10000
}%
+0 < .    1:1(0) ack 51001 win 64

+0 > .    51001:52001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 52001 win 64
+0 > .    52001:53001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 53001 win 64
+0 > .    53001:54001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 54001 win 64
+0 > .    54001:55001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 55001 win 64
+0 > .    55001:56001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 56001 win 64
+0 > .    56001:57001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 57001 win 64
+0 > .    57001:58001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 58001 win 64
+0 > .    58001:59001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 59001 win 64
+0 > .    59001:60001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 60001 win 64
+0 > .    60001:61001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 61001 win 64
+0 > .    61001:62001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 62001 win 64
+0 > .    62001:63001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 63001 win 64
+0 > .    63001:64001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 64001 win 64
+0 > .    64001:65001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 65001 win 64
+0 > .    65001:66001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 66001 win 64
+0 > .    66001:67001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 67001 win 64
+0 > .    67001:68001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 68001 win 64
+0 > .    68001:69001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 69001 win 64
+0 > .    69001:70001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 70001 win 64
+0 > .    70001:71001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 71001 win 64
+0 > .    71001:72001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 72001 win 64
+0 > .    72001:73001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 73001 win 64
+0 > .    73001:74001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 74001 win 64
+0 > .    74001:75001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 75001 win 64
+0 > .    75001:76001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 76001 win 64
+0 > .    76001:77001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 77001 win 64
+0 > .    77001:78001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 78001 win 64
+0 > .    78001:79001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 79001 win 64
+0 > P.   79001:80001(1000) ack 1
+0 %{ print "cwnd: {}  ssthresh: {}".format(tcpi_snd_cwnd, tcpi_snd_ssthresh) }%
+0 < .    1:1(0) ack 80001 win 64



+0.2 close(4) = 0
+0.01 < F. 1:1(0) ack 60002 win 65535