A Discrete-Event Network Simulator
API
Loading...
Searching...
No Matches
tcp-loss-test.cc
Go to the documentation of this file.
1/*
2 * Copyright (c) 2020 Tom Henderson
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation;
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this program; if not, write to the Free Software
15 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
16 */
17
18#include "tcp-general-test.h"
19
20#include "ns3/error-model.h"
21#include "ns3/log.h"
22
23#include <list>
24
25using namespace ns3;
26
27NS_LOG_COMPONENT_DEFINE("TcpLossTestSuite");
28
29/**
30 * \ingroup internet-test
31 *
32 * \brief Check rollover of sequence number and how that affects loss recovery
33 *
34 * This test checks that fast recovery is entered correctly even if it has
35 * been a long time since the last recovery event. Merge request !156
36 * reported the error and fixed the issue with large transfers.
37 *
38 * The issue reported is that fast recovery detection relies on comparing
39 * the sequence number against the last recovery point, maintained by
40 * an 'm_recover' variable. The sequence number is a 32-bit value that
41 * wraps, so the comparison of 'is current sequence number > m_recover'
42 * will work for only about half of the 32-bit sequence space. This
43 * test confirms that the above inequality will correctly evaluate even if
44 * the current sequence number is greater than half of the sequence space
45 * above m_recover.
46 *
47 * The test configures a large bandwidth, long flow (to wrap the sequence
48 * space) and inserts two forced losses. In the first test case, the two
49 * sequence numbers are close in sequence; we expect to see the TCP
50 * implementation cycle between CA_OPEN->CA_DISORDER->CA_RECOVERY->CA_OPEN.
51 * We also check in the second case when the two sequence numbers are far
52 * apart (more than half) in the sequence space.
53 */
55{
56 public:
57 /**
58 * \brief Constructor
59 *
60 * \param firstLoss First packet number to force loss
61 * \param secondLoss Second packet number to force loss
62 * \param lastSegment Last packet number to transmit
63 * \param desc Description about the test
64 */
66 uint32_t secondLoss,
67 uint32_t lastSegment,
68 const std::string& desc);
69
70 protected:
71 void ConfigureProperties() override;
72 void ConfigureEnvironment() override;
73 void FinalChecks() override;
74 void Tx(const Ptr<const Packet> p, const TcpHeader& h, SocketWho who) override;
75 void Rx(const Ptr<const Packet> p, const TcpHeader& h, SocketWho who) override;
77 const TcpSocketState::TcpCongState_t newValue) override;
79
80 private:
81 uint32_t m_firstLoss; //!< First segment loss
82 uint32_t m_secondLoss; //!< Second segment loss
83 uint32_t m_sent{0}; //!< Number of segments sent
84 uint32_t m_received{0}; //!< Number of segments received
85 uint32_t m_lastSegment{0}; //!< Last received segment
86 std::list<int> m_expectedStates; //!< Expected TCP states
87};
88
90 uint32_t secondLoss,
91 uint32_t lastSegment,
92 const std::string& desc)
93 : TcpGeneralTest(desc),
94 m_firstLoss(firstLoss),
95 m_secondLoss(secondLoss),
96 m_lastSegment(lastSegment)
97{
98 NS_TEST_ASSERT_MSG_NE(m_lastSegment, 0, "Last segment should be > 0");
101 "Second segment number should be greater than first");
109}
110
111void
113 const TcpSocketState::TcpCongState_t newValue)
114{
115 int expectedOldState = m_expectedStates.front();
116 m_expectedStates.pop_front();
117 NS_TEST_ASSERT_MSG_EQ(oldValue, expectedOldState, "State transition wrong");
118 NS_TEST_ASSERT_MSG_EQ(newValue, m_expectedStates.front(), "State transition wrong");
119}
120
121void
123{
124 NS_LOG_FUNCTION(this);
126 SetPropagationDelay(MicroSeconds(1)); // Keep low to avoid window limit
128 SetAppPktSize(1000);
129 // Note: 4294967295 is the maximum TCP sequence number, so rollover will be
130 // on the 4294967th packet with a packet (segment) size of 1000 bytes
132 SetAppPktInterval(MicroSeconds(8)); // 1 Gb/s
133}
134
135void
137{
138 NS_LOG_FUNCTION(this);
140 SetSegmentSize(SENDER, 1000);
142}
143
146{
147 Ptr<ReceiveListErrorModel> rem = CreateObject<ReceiveListErrorModel>();
148 std::list<uint32_t> errorList;
149 errorList.push_back(m_firstLoss);
150 errorList.push_back(m_secondLoss);
151 rem->SetList(errorList);
152 return rem;
153}
154
155void
157{
158 m_sent++;
159}
160
161void
163{
164 m_received++;
165}
166
167void
169{
170 // The addition of 2 accounts for the two forcibly lost packets
172 (m_received + 2),
173 "Did not observe expected number of sent packets");
174}
175
176/**
177 * \ingroup internet-test
178 *
179 * Test various packet losses
180 */
182{
183 public:
185 : TestSuite("tcp-loss-test", Type::UNIT)
186 {
187 // For large transfer tests, the three sequence numbers passed in
188 // are the segment (i.e. not byte) number that should be dropped first,
189 // then the second drop, and then the last segment number to send
190 //
191 // If we force a loss at packet 1000 and then shortly after at 2000,
192 // the TCP logic should correctly pass this case (no sequence wrapping).
194 new TcpLargeTransferLossTest(1000, 2000, 2500, "large-transfer-loss-without-wrap"),
195 TestCase::Duration::EXTENSIVE);
196 // If we force a loss at packet 1000 and then much later at 3294967, the
197 // second sequence number will evaluate to less than 1000 considering
198 // the sequence space wrap, so check this case also.
200 new TcpLargeTransferLossTest(1000, 3294967, 3295100, "large-transfer-loss-with-wrap"),
201 TestCase::Duration::EXTENSIVE);
202 }
203};
204
205static TcpLossTestSuite g_tcpLossTest; //!< static var for test initialization
Check rollover of sequence number and how that affects loss recovery.
void FinalChecks() override
Performs the (eventual) final checks through test asserts.
TcpLargeTransferLossTest(uint32_t firstLoss, uint32_t secondLoss, uint32_t lastSegment, const std::string &desc)
Constructor.
void Rx(const Ptr< const Packet > p, const TcpHeader &h, SocketWho who) override
Packet received from IP layer.
uint32_t m_sent
Number of segments sent.
std::list< int > m_expectedStates
Expected TCP states.
void ConfigureEnvironment() override
Change the configuration of the environment.
uint32_t m_firstLoss
First segment loss.
void Tx(const Ptr< const Packet > p, const TcpHeader &h, SocketWho who) override
Packet transmitted down to IP layer.
uint32_t m_secondLoss
Second segment loss.
void CongStateTrace(const TcpSocketState::TcpCongState_t oldValue, const TcpSocketState::TcpCongState_t newValue) override
State on Ack state machine changes.
uint32_t m_received
Number of segments received.
uint32_t m_lastSegment
Last received segment.
void ConfigureProperties() override
Change the configuration of the socket properties.
Ptr< ErrorModel > CreateReceiverErrorModel() override
Create and return the error model to install in the receiver node.
Test various packet losses.
Smart pointer class similar to boost::intrusive_ptr.
Definition: ptr.h:77
General infrastructure for TCP testing.
void SetPropagationDelay(Time propDelay)
Propagation delay of the bottleneck link.
void SetAppPktCount(uint32_t pktCount)
Set app packet count.
SocketWho
Used as parameter of methods, specifies on what node the caller is interested (e.g.
@ RECEIVER
Receiver node.
void SetAppPktSize(uint32_t pktSize)
Set app packet size.
virtual void ConfigureProperties()
Change the configuration of the socket properties.
void SetAppPktInterval(Time pktInterval)
Interval between app-generated packet.
virtual void ConfigureEnvironment()
Change the configuration of the environment.
void SetTransmitStart(Time startTime)
Set the initial time at which the application sends the first data packet.
void SetSegmentSize(SocketWho who, uint32_t segmentSize)
Forcefully set the segment size.
Header for the Transmission Control Protocol.
Definition: tcp-header.h:47
TcpCongState_t
Definition of the Congestion state machine.
@ CA_RECOVERY
CWND was reduced, we are fast-retransmitting.
@ CA_DISORDER
In all the respects it is "Open", but requires a bit more attention.
@ CA_OPEN
Normal state, no dubious events.
void AddTestCase(TestCase *testCase, Duration duration=Duration::QUICK)
Add an individual child TestCase to this test suite.
Definition: test.cc:301
A suite of tests to run.
Definition: test.h:1268
Type
Type of test.
Definition: test.h:1275
static constexpr auto UNIT
Definition: test.h:1286
#define NS_LOG_COMPONENT_DEFINE(name)
Define a Log component with a specific name.
Definition: log.h:202
#define NS_LOG_FUNCTION(parameters)
If log level LOG_FUNCTION is enabled, this macro will output all input parameters separated by ",...
#define NS_TEST_ASSERT_MSG_EQ(actual, limit, msg)
Test that an actual and expected (limit) value are equal and report and abort if not.
Definition: test.h:145
#define NS_TEST_ASSERT_MSG_NE(actual, limit, msg)
Test that an actual and expected (limit) value are not equal and report and abort if not.
Definition: test.h:565
#define NS_TEST_ASSERT_MSG_GT(actual, limit, msg)
Test that an actual value is greater than a limit and report and abort if not.
Definition: test.h:875
Time MicroSeconds(uint64_t value)
Construct a Time in the indicated unit.
Definition: nstime.h:1343
Time Seconds(double value)
Construct a Time in the indicated unit.
Definition: nstime.h:1319
Every class exported by the ns3 library is enclosed in the ns3 namespace.
static TcpLossTestSuite g_tcpLossTest
static var for test initialization