1 files changed, 47 insertions, 0 deletions
diff --git a/test/packetdrill/tests/linux/sack/sack-shift-sacked-1-2-3-fack.pkt b/test/packetdrill/tests/linux/sack/sack-shift-sacked-1-2-3-fack.pkt
new file mode 100644
index 0000000..52b8cda
--- /dev/null
+++ b/test/packetdrill/tests/linux/sack/sack-shift-sacked-1-2-3-fack.pkt
@@ -0,0 +1,47 @@
+// Test shifting of newly-SACKed ranges onto the previous already-SACKed skb.
+// This variant SACKs segments 1, 2, and 3.
+
+// Establish a connection and send 10 MSS.
+0.000 socket(..., SOCK_STREAM, IPPROTO_TCP) = 3
+0.000 setsockopt(3, SOL_SOCKET, SO_REUSEADDR, [1], 4) = 0
+0.000 bind(3, ..., ...) = 0
+0.000 listen(3, 1) = 0
+
+0.100 < S 0:0(0) win 32792 <mss 1000,sackOK,nop,nop,nop,wscale 7>
+0.100 > S. 0:0(0) ack 1 <mss 1460,nop,nop,sackOK,nop,wscale 6>
+0.200 < . 1:1(0) ack 1 win 1024
+0.200 accept(3, ..., ...) = 4
+
+0.200 write(4, ..., 10000) = 10000
+0.200 > P. 1:10001(10000) ack 1
+0.200 %{
+assert tcpi_reordering == 3
+assert tcpi_unacked == 10
+assert tcpi_sacked ==  0
+}%
+
+0.300 < . 1:1(0) ack 1 win 257 <sack 1001:2001,nop,nop>
+0.300 %{
+assert tcpi_reordering == 3
+assert tcpi_unacked == 10
+assert tcpi_sacked ==  1
+}%
+
+// This SACK for an adjacent range causes the sender to
+// shift the newly-SACKed range onto the previous skb.
+0.310 < . 1:1(0) ack 1 win 257 <sack 1001:3001,nop,nop>
+0.310 %{
+assert tcpi_reordering == 3
+assert tcpi_unacked == 10
+assert tcpi_sacked ==  2
+}%
+
+// This SACK for an adjacent range causes the sender to
+// shift the newly-SACKed range onto the previous skb.
+0.320 < . 1:1(0) ack 1 win 257 <sack 1001:4001,nop,nop>
+0.320 %{
+assert tcpi_reordering == 3
+assert tcpi_unacked == 10
+assert tcpi_sacked ==  3
+assert tcpi_ca_state == TCP_CA_Recovery
+}%