OLD | NEW |
| (Empty) |
1 // Copyright 2013 The Chromium Authors. All rights reserved. | |
2 // Use of this source code is governed by a BSD-style license that can be | |
3 // found in the LICENSE file. | |
4 | |
5 #include "net/quic/quic_received_packet_manager.h" | |
6 | |
7 #include <limits> | |
8 #include <utility> | |
9 | |
10 #include "base/logging.h" | |
11 #include "base/stl_util.h" | |
12 #include "base/strings/stringprintf.h" | |
13 #include "net/base/linked_hash_map.h" | |
14 #include "net/quic/crypto/crypto_protocol.h" | |
15 #include "net/quic/quic_bug_tracker.h" | |
16 #include "net/quic/quic_connection_stats.h" | |
17 #include "net/quic/quic_flags.h" | |
18 | |
19 using std::max; | |
20 using std::min; | |
21 using std::numeric_limits; | |
22 | |
23 namespace net { | |
24 | |
25 namespace { | |
26 | |
27 // The maximum number of packets to ack immediately after a missing packet for | |
28 // fast retransmission to kick in at the sender. This limit is created to | |
29 // reduce the number of acks sent that have no benefit for fast retransmission. | |
30 // Set to the number of nacks needed for fast retransmit plus one for protection | |
31 // against an ack loss | |
32 const size_t kMaxPacketsAfterNewMissing = 4; | |
33 } | |
34 | |
35 QuicReceivedPacketManager::EntropyTracker::EntropyTracker() | |
36 : packets_entropy_hash_(0), first_gap_(1), largest_observed_(0) {} | |
37 | |
38 QuicReceivedPacketManager::EntropyTracker::~EntropyTracker() {} | |
39 | |
40 QuicPacketEntropyHash QuicReceivedPacketManager::EntropyTracker::EntropyHash( | |
41 QuicPacketNumber packet_number) const { | |
42 DCHECK_LE(packet_number, largest_observed_); | |
43 if (packet_number == largest_observed_) { | |
44 return packets_entropy_hash_; | |
45 } | |
46 | |
47 DCHECK_GE(packet_number, first_gap_); | |
48 DCHECK_EQ(first_gap_ + packets_entropy_.size() - 1, largest_observed_); | |
49 QuicPacketEntropyHash hash = packets_entropy_hash_; | |
50 ReceivedEntropyHashes::const_reverse_iterator it = packets_entropy_.rbegin(); | |
51 for (QuicPacketNumber i = 0; i < (largest_observed_ - packet_number); | |
52 ++i, ++it) { | |
53 hash ^= it->first; | |
54 } | |
55 return hash; | |
56 } | |
57 | |
58 void QuicReceivedPacketManager::EntropyTracker::RecordPacketEntropyHash( | |
59 QuicPacketNumber packet_number, | |
60 QuicPacketEntropyHash entropy_hash) { | |
61 if (packet_number < first_gap_) { | |
62 DVLOG(1) << "Ignoring received packet entropy for packet_number:" | |
63 << packet_number | |
64 << " less than largest_peer_packet_number:" << first_gap_; | |
65 return; | |
66 } | |
67 // RecordPacketEntropyHash is only intended to be called once per packet. | |
68 DCHECK(packet_number > largest_observed_ || | |
69 !packets_entropy_[packet_number - first_gap_].second); | |
70 | |
71 packets_entropy_hash_ ^= entropy_hash; | |
72 | |
73 // Optimize the typical case of no gaps. | |
74 if (packet_number == largest_observed_ + 1 && packets_entropy_.empty()) { | |
75 ++first_gap_; | |
76 largest_observed_ = packet_number; | |
77 return; | |
78 } | |
79 if (packet_number > largest_observed_) { | |
80 for (QuicPacketNumber i = 0; i < (packet_number - largest_observed_ - 1); | |
81 ++i) { | |
82 packets_entropy_.push_back(std::make_pair(0, false)); | |
83 } | |
84 packets_entropy_.push_back(std::make_pair(entropy_hash, true)); | |
85 largest_observed_ = packet_number; | |
86 } else { | |
87 packets_entropy_[packet_number - first_gap_] = | |
88 std::make_pair(entropy_hash, true); | |
89 AdvanceFirstGapAndGarbageCollectEntropyMap(); | |
90 } | |
91 | |
92 DVLOG(2) << "setting cumulative received entropy hash to: " | |
93 << static_cast<int>(packets_entropy_hash_) | |
94 << " updated with packet number " << packet_number | |
95 << " entropy hash: " << static_cast<int>(entropy_hash); | |
96 } | |
97 | |
98 void QuicReceivedPacketManager::EntropyTracker::SetCumulativeEntropyUpTo( | |
99 QuicPacketNumber packet_number, | |
100 QuicPacketEntropyHash entropy_hash) { | |
101 DCHECK_LE(packet_number, largest_observed_); | |
102 if (packet_number < first_gap_) { | |
103 DVLOG(1) << "Ignoring set entropy at:" << packet_number | |
104 << " less than first_gap_:" << first_gap_; | |
105 return; | |
106 } | |
107 while (first_gap_ < packet_number) { | |
108 ++first_gap_; | |
109 if (!packets_entropy_.empty()) { | |
110 packets_entropy_.pop_front(); | |
111 } | |
112 } | |
113 // Compute the current entropy by XORing in all entropies received including | |
114 // and since packet_number. | |
115 packets_entropy_hash_ = entropy_hash; | |
116 for (ReceivedEntropyHashes::const_iterator it = packets_entropy_.begin(); | |
117 it != packets_entropy_.end(); ++it) { | |
118 packets_entropy_hash_ ^= it->first; | |
119 } | |
120 | |
121 // Garbage collect entries from the beginning of the map. | |
122 AdvanceFirstGapAndGarbageCollectEntropyMap(); | |
123 } | |
124 | |
125 void QuicReceivedPacketManager::EntropyTracker:: | |
126 AdvanceFirstGapAndGarbageCollectEntropyMap() { | |
127 while (!packets_entropy_.empty() && packets_entropy_.front().second) { | |
128 ++first_gap_; | |
129 packets_entropy_.pop_front(); | |
130 } | |
131 } | |
132 | |
133 QuicReceivedPacketManager::QuicReceivedPacketManager(QuicConnectionStats* stats) | |
134 : peer_least_packet_awaiting_ack_(0), | |
135 ack_frame_updated_(false), | |
136 time_largest_observed_(QuicTime::Zero()), | |
137 stats_(stats) { | |
138 ack_frame_.largest_observed = 0; | |
139 ack_frame_.entropy_hash = 0; | |
140 } | |
141 | |
142 QuicReceivedPacketManager::~QuicReceivedPacketManager() {} | |
143 | |
144 void QuicReceivedPacketManager::RecordPacketReceived( | |
145 QuicByteCount bytes, | |
146 const QuicPacketHeader& header, | |
147 QuicTime receipt_time) { | |
148 QuicPacketNumber packet_number = header.packet_number; | |
149 DCHECK(IsAwaitingPacket(packet_number)); | |
150 if (!ack_frame_updated_) { | |
151 ack_frame_.received_packet_times.clear(); | |
152 } | |
153 ack_frame_updated_ = true; | |
154 if (ack_frame_.missing) { | |
155 // Adds the range of packet numbers from max(largest observed + 1, least | |
156 // awaiting ack) up to packet_number not including packet_number. | |
157 ack_frame_.packets.Add( | |
158 max(ack_frame_.largest_observed + 1, peer_least_packet_awaiting_ack_), | |
159 packet_number); | |
160 } else { | |
161 ack_frame_.packets.Add(header.packet_number); | |
162 } | |
163 | |
164 if (ack_frame_.largest_observed > packet_number) { | |
165 if (ack_frame_.missing) { | |
166 // We've gotten one of the out of order packets - remove it from our | |
167 // "missing packets" list. | |
168 DVLOG(1) << "Removing " << packet_number << " from missing list"; | |
169 ack_frame_.packets.Remove(packet_number); | |
170 } | |
171 | |
172 // Record how out of order stats. | |
173 ++stats_->packets_reordered; | |
174 stats_->max_sequence_reordering = | |
175 max(stats_->max_sequence_reordering, | |
176 ack_frame_.largest_observed - packet_number); | |
177 int64_t reordering_time_us = | |
178 (receipt_time - time_largest_observed_).ToMicroseconds(); | |
179 stats_->max_time_reordering_us = | |
180 max(stats_->max_time_reordering_us, reordering_time_us); | |
181 } | |
182 if (packet_number > ack_frame_.largest_observed) { | |
183 ack_frame_.largest_observed = packet_number; | |
184 time_largest_observed_ = receipt_time; | |
185 } | |
186 if (ack_frame_.missing) { | |
187 entropy_tracker_.RecordPacketEntropyHash(packet_number, | |
188 header.entropy_hash); | |
189 } | |
190 | |
191 ack_frame_.received_packet_times.push_back( | |
192 std::make_pair(packet_number, receipt_time)); | |
193 } | |
194 | |
195 bool QuicReceivedPacketManager::IsMissing(QuicPacketNumber packet_number) { | |
196 if (ack_frame_.missing) { | |
197 return ack_frame_.packets.Contains(packet_number); | |
198 } | |
199 return packet_number < ack_frame_.largest_observed && | |
200 !ack_frame_.packets.Contains(packet_number); | |
201 } | |
202 | |
203 bool QuicReceivedPacketManager::IsAwaitingPacket( | |
204 QuicPacketNumber packet_number) { | |
205 return ::net::IsAwaitingPacket(ack_frame_, packet_number, | |
206 peer_least_packet_awaiting_ack_); | |
207 } | |
208 | |
209 namespace { | |
210 struct isTooLarge { | |
211 explicit isTooLarge(QuicPacketNumber n) : largest_observed_(n) {} | |
212 QuicPacketNumber largest_observed_; | |
213 | |
214 // Return true if the packet in p is too different from largest_observed_ | |
215 // to express. | |
216 bool operator()(const std::pair<QuicPacketNumber, QuicTime>& p) const { | |
217 return largest_observed_ - p.first >= numeric_limits<uint8_t>::max(); | |
218 } | |
219 }; | |
220 } // namespace | |
221 | |
222 const QuicFrame QuicReceivedPacketManager::GetUpdatedAckFrame( | |
223 QuicTime approximate_now) { | |
224 ack_frame_updated_ = false; | |
225 if (ack_frame_.missing) { | |
226 ack_frame_.entropy_hash = EntropyHash(ack_frame_.largest_observed); | |
227 } | |
228 | |
229 if (time_largest_observed_ == QuicTime::Zero()) { | |
230 // We have received no packets. | |
231 ack_frame_.ack_delay_time = QuicTime::Delta::Infinite(); | |
232 } else { | |
233 // Ensure the delta is zero if approximate now is "in the past". | |
234 ack_frame_.ack_delay_time = approximate_now < time_largest_observed_ | |
235 ? QuicTime::Delta::Zero() | |
236 : approximate_now - time_largest_observed_; | |
237 } | |
238 | |
239 // Clear all packet times if any are too far from largest observed. | |
240 // It's expected this is extremely rare. | |
241 for (PacketTimeVector::iterator it = ack_frame_.received_packet_times.begin(); | |
242 it != ack_frame_.received_packet_times.end();) { | |
243 if (ack_frame_.largest_observed - it->first >= | |
244 numeric_limits<uint8_t>::max()) { | |
245 it = ack_frame_.received_packet_times.erase(it); | |
246 } else { | |
247 ++it; | |
248 } | |
249 } | |
250 | |
251 return QuicFrame(&ack_frame_); | |
252 } | |
253 | |
254 QuicPacketEntropyHash QuicReceivedPacketManager::EntropyHash( | |
255 QuicPacketNumber packet_number) const { | |
256 return entropy_tracker_.EntropyHash(packet_number); | |
257 } | |
258 | |
259 bool QuicReceivedPacketManager::DontWaitForPacketsBefore( | |
260 QuicPacketNumber least_unacked) { | |
261 peer_least_packet_awaiting_ack_ = least_unacked; | |
262 return ack_frame_.packets.RemoveUpTo(least_unacked); | |
263 } | |
264 | |
265 void QuicReceivedPacketManager::UpdatePacketInformationSentByPeer( | |
266 const QuicStopWaitingFrame& stop_waiting) { | |
267 // ValidateAck() should fail if peer_least_packet_awaiting_ack shrinks. | |
268 DCHECK_LE(peer_least_packet_awaiting_ack_, stop_waiting.least_unacked); | |
269 if (stop_waiting.least_unacked > peer_least_packet_awaiting_ack_) { | |
270 bool packets_updated = DontWaitForPacketsBefore(stop_waiting.least_unacked); | |
271 if (packets_updated) { | |
272 if (ack_frame_.missing) { | |
273 DVLOG(1) << "Updating entropy hashed since we missed packets"; | |
274 // There were some missing packets that we won't ever get now. | |
275 // Recalculate the received entropy hash. | |
276 entropy_tracker_.SetCumulativeEntropyUpTo(stop_waiting.least_unacked, | |
277 stop_waiting.entropy_hash); | |
278 } | |
279 // Ack frame gets updated because packets set is updated because of stop | |
280 // waiting frame. | |
281 ack_frame_updated_ = true; | |
282 } | |
283 } | |
284 DCHECK(ack_frame_.packets.Empty() || | |
285 ack_frame_.packets.Min() >= peer_least_packet_awaiting_ack_); | |
286 } | |
287 | |
288 bool QuicReceivedPacketManager::HasMissingPackets() const { | |
289 if (ack_frame_.missing) { | |
290 return !ack_frame_.packets.Empty(); | |
291 } | |
292 | |
293 return ack_frame_.packets.NumIntervals() > 1 || | |
294 (!ack_frame_.packets.Empty() && | |
295 ack_frame_.packets.Min() > | |
296 max(QuicPacketNumber(1), peer_least_packet_awaiting_ack_)); | |
297 } | |
298 | |
299 bool QuicReceivedPacketManager::HasNewMissingPackets() const { | |
300 if (ack_frame_.missing) { | |
301 return !ack_frame_.packets.Empty() && | |
302 (ack_frame_.largest_observed - ack_frame_.packets.Max()) <= | |
303 kMaxPacketsAfterNewMissing; | |
304 } | |
305 | |
306 return HasMissingPackets() && | |
307 ack_frame_.packets.LastIntervalLength() <= kMaxPacketsAfterNewMissing; | |
308 } | |
309 | |
310 size_t QuicReceivedPacketManager::NumTrackedPackets() const { | |
311 return entropy_tracker_.size(); | |
312 } | |
313 | |
314 void QuicReceivedPacketManager::SetVersion(QuicVersion version) { | |
315 ack_frame_.missing = version <= QUIC_VERSION_33; | |
316 } | |
317 | |
318 bool QuicReceivedPacketManager::ack_frame_updated() const { | |
319 return ack_frame_updated_; | |
320 } | |
321 | |
322 QuicPacketNumber QuicReceivedPacketManager::GetLargestObserved() const { | |
323 return ack_frame_.largest_observed; | |
324 } | |
325 | |
326 } // namespace net | |
OLD | NEW |