2023-08-19 22:37:55 +02:00
|
|
|
#include "./ledbat.hpp"
|
|
|
|
|
|
|
|
#include <algorithm>
|
|
|
|
#include <chrono>
|
|
|
|
#include <cmath>
|
|
|
|
#include <deque>
|
|
|
|
#include <cstdint>
|
|
|
|
#include <cassert>
|
2023-09-15 20:07:19 +02:00
|
|
|
#include <tuple>
|
2023-08-19 22:37:55 +02:00
|
|
|
|
|
|
|
#include <iomanip>
|
|
|
|
#include <iostream>
|
|
|
|
#include <limits>
|
|
|
|
|
|
|
|
// https://youtu.be/0HRwNSA-JYM
|
|
|
|
|
|
|
|
inline constexpr bool PLOTTING = false;
|
|
|
|
|
2023-08-23 13:04:54 +02:00
|
|
|
LEDBAT::LEDBAT(size_t maximum_segment_data_size) : CCAI(maximum_segment_data_size) {
|
2023-08-19 22:37:55 +02:00
|
|
|
_time_start_offset = clock::now();
|
|
|
|
}
|
|
|
|
|
2024-01-07 17:23:06 +01:00
|
|
|
int64_t LEDBAT::canSend(float time_delta) {
|
2023-08-19 22:37:55 +02:00
|
|
|
if (_in_flight.empty()) {
|
|
|
|
return MAXIMUM_SEGMENT_DATA_SIZE;
|
|
|
|
}
|
|
|
|
|
|
|
|
const int64_t cspace = _cwnd - _in_flight_bytes;
|
|
|
|
if (cspace < MAXIMUM_SEGMENT_DATA_SIZE) {
|
|
|
|
return 0u;
|
|
|
|
}
|
|
|
|
|
|
|
|
const int64_t fspace = _fwnd - _in_flight_bytes;
|
|
|
|
if (fspace < MAXIMUM_SEGMENT_DATA_SIZE) {
|
|
|
|
return 0u;
|
|
|
|
}
|
|
|
|
|
2023-09-01 17:34:05 +02:00
|
|
|
return std::ceil(std::min<float>(cspace, fspace) / MAXIMUM_SEGMENT_DATA_SIZE) * MAXIMUM_SEGMENT_DATA_SIZE;
|
2023-08-19 22:37:55 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<LEDBAT::SeqIDType> LEDBAT::getTimeouts(void) const {
|
|
|
|
std::vector<LEDBAT::SeqIDType> list;
|
|
|
|
|
|
|
|
// after 2 delays we trigger timeout
|
|
|
|
const auto now_adjusted = getTimeNow() - getCurrentDelay()*2.f;
|
|
|
|
|
|
|
|
for (const auto& [seq, time_stamp, size] : _in_flight) {
|
|
|
|
if (now_adjusted > time_stamp) {
|
|
|
|
list.push_back(seq);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return list;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LEDBAT::onSent(SeqIDType seq, size_t data_size) {
|
|
|
|
if (true) {
|
|
|
|
for (const auto& it : _in_flight) {
|
|
|
|
assert(std::get<0>(it) != seq);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_in_flight.push_back({seq, getTimeNow(), data_size + SEGMENT_OVERHEAD});
|
|
|
|
_in_flight_bytes += data_size + SEGMENT_OVERHEAD;
|
|
|
|
_recently_sent_bytes += data_size + SEGMENT_OVERHEAD;
|
|
|
|
}
|
|
|
|
|
|
|
|
void LEDBAT::onAck(std::vector<SeqIDType> seqs) {
|
2023-08-24 18:04:25 +02:00
|
|
|
if (seqs.empty()) {
|
|
|
|
assert(false && "got empty list of acks???");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2023-08-19 22:37:55 +02:00
|
|
|
// only take the smallest value
|
|
|
|
float most_recent {-std::numeric_limits<float>::infinity()};
|
|
|
|
|
|
|
|
int64_t acked_data {0};
|
|
|
|
|
|
|
|
const auto now {getTimeNow()};
|
|
|
|
|
2023-08-24 18:04:25 +02:00
|
|
|
{ // skip in ack is congestion event
|
|
|
|
// 1. look at primary ack of packet
|
|
|
|
auto it = std::find_if(_in_flight.begin(), _in_flight.end(), [seq = seqs.front()](const auto& v) -> bool {
|
|
|
|
return std::get<0>(v) == seq;
|
|
|
|
});
|
|
|
|
if (it != _in_flight.end()) {
|
|
|
|
if (isSkipSeqID(_last_ack_got, std::get<0>(*it))) {
|
|
|
|
if (getTimeNow() >= _last_congestion_event + _last_congestion_rtt) {
|
|
|
|
_recently_lost_data = true;
|
|
|
|
_last_congestion_event = getTimeNow();
|
|
|
|
_last_congestion_rtt = getCurrentDelay();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// TODO: only if newer, triggers double event otherwise (without a timer)
|
|
|
|
_last_ack_got = std::get<0>(*it);
|
|
|
|
}
|
|
|
|
}
|
2023-08-19 22:37:55 +02:00
|
|
|
for (const auto& seq : seqs) {
|
|
|
|
auto it = std::find_if(_in_flight.begin(), _in_flight.end(), [seq](const auto& v) -> bool {
|
|
|
|
return std::get<0>(v) == seq;
|
|
|
|
});
|
|
|
|
|
|
|
|
if (it == _in_flight.end()) {
|
|
|
|
continue; // not found, ignore
|
|
|
|
} else {
|
|
|
|
addRTT(now - std::get<1>(*it));
|
|
|
|
|
|
|
|
// TODO: remove
|
|
|
|
most_recent = std::max(most_recent, std::get<1>(*it));
|
|
|
|
_in_flight_bytes -= std::get<2>(*it);
|
|
|
|
_recently_acked_data += std::get<2>(*it);
|
|
|
|
assert(_in_flight_bytes >= 0); // TODO: this triggers
|
|
|
|
_in_flight.erase(it);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (most_recent == -std::numeric_limits<float>::infinity()) {
|
|
|
|
return; // not found, ignore
|
|
|
|
}
|
|
|
|
|
|
|
|
updateWindows();
|
|
|
|
}
|
|
|
|
|
|
|
|
void LEDBAT::onLoss(SeqIDType seq, bool discard) {
|
|
|
|
auto it = std::find_if(_in_flight.begin(), _in_flight.end(), [seq](const auto& v) -> bool {
|
|
|
|
assert(!std::isnan(std::get<1>(v)));
|
|
|
|
return std::get<0>(v) == seq;
|
|
|
|
});
|
|
|
|
|
|
|
|
if (it == _in_flight.end()) {
|
|
|
|
// error
|
|
|
|
return; // not found, ignore ??
|
|
|
|
}
|
|
|
|
|
|
|
|
if (PLOTTING) {
|
|
|
|
std::cerr << "CCA: onLoss: TIME: " << getTimeNow() << "\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
// TODO: "if data lost is not to be retransmitted"
|
|
|
|
if (discard) {
|
|
|
|
_in_flight_bytes -= std::get<2>(*it);
|
|
|
|
assert(_in_flight_bytes >= 0);
|
|
|
|
_in_flight.erase(it);
|
|
|
|
}
|
|
|
|
// TODO: reset timestamp?
|
|
|
|
|
2023-08-24 18:04:25 +02:00
|
|
|
#if 0 // temporarily disable ce for timeout
|
2023-08-24 01:28:13 +02:00
|
|
|
// at most once per rtt?
|
|
|
|
// TODO: use delay at event instead
|
|
|
|
if (getTimeNow() >= _last_congestion_event + _last_congestion_rtt) {
|
|
|
|
_recently_lost_data = true;
|
|
|
|
_last_congestion_event = getTimeNow();
|
|
|
|
_last_congestion_rtt = getCurrentDelay();
|
|
|
|
}
|
2023-08-24 18:04:25 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
updateWindows();
|
2023-08-19 22:37:55 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
float LEDBAT::getCurrentDelay(void) const {
|
|
|
|
float sum {0.f};
|
|
|
|
size_t count {0};
|
|
|
|
for (size_t i = 0; i < _tmp_rtt_buffer.size(); i++) {
|
|
|
|
//sum += _tmp_rtt_buffer.at(_tmp_rtt_buffer.size()-(1+i));
|
|
|
|
sum += _tmp_rtt_buffer.at(i);
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (count) {
|
|
|
|
return sum / count;
|
|
|
|
} else {
|
|
|
|
return std::numeric_limits<float>::infinity();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void LEDBAT::addRTT(float new_delay) {
|
|
|
|
auto now = getTimeNow();
|
|
|
|
|
|
|
|
_base_delay = std::min(_base_delay, new_delay);
|
|
|
|
// TODO: use fixed size instead? allocations can ruin perf
|
|
|
|
_rtt_buffer.push_back({now, new_delay});
|
|
|
|
|
|
|
|
_tmp_rtt_buffer.push_front(new_delay);
|
|
|
|
// HACKY
|
|
|
|
if (_tmp_rtt_buffer.size() > current_delay_filter_window) {
|
|
|
|
_tmp_rtt_buffer.resize(current_delay_filter_window);
|
|
|
|
}
|
|
|
|
|
|
|
|
// is it 1 minute yet
|
|
|
|
if (now - _rtt_buffer.front().first >= 30.f) {
|
|
|
|
|
|
|
|
float new_section_minimum = new_delay;
|
|
|
|
for (const auto it : _rtt_buffer) {
|
|
|
|
new_section_minimum = std::min(it.second, new_section_minimum);
|
|
|
|
}
|
|
|
|
|
|
|
|
_rtt_buffer_minutes.push_back(new_section_minimum);
|
|
|
|
|
|
|
|
_rtt_buffer.clear();
|
|
|
|
|
|
|
|
if (_rtt_buffer_minutes.size() > 20) {
|
|
|
|
_rtt_buffer_minutes.pop_front();
|
|
|
|
}
|
|
|
|
|
|
|
|
_base_delay = std::numeric_limits<float>::infinity();
|
|
|
|
for (const float it : _rtt_buffer_minutes) {
|
|
|
|
_base_delay = std::min(_base_delay, it);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void LEDBAT::updateWindows(void) {
|
|
|
|
const auto now {getTimeNow()};
|
|
|
|
|
|
|
|
const float current_delay {getCurrentDelay()};
|
|
|
|
|
|
|
|
if (now - _last_cwnd >= current_delay) {
|
|
|
|
const float queuing_delay {current_delay - _base_delay};
|
|
|
|
|
|
|
|
_fwnd = max_byterate_allowed * current_delay;
|
|
|
|
_fwnd *= 1.3f; // try do balance conservative algo a bit, current_delay
|
|
|
|
|
|
|
|
float gain {1.f / std::min(16.f, std::ceil(2.f*target_delay/_base_delay))};
|
|
|
|
//gain *= 400.f; // from packets to bytes ~
|
|
|
|
gain *= _recently_acked_data/5.f; // from packets to bytes ~
|
|
|
|
//gain *= 0.1f;
|
|
|
|
|
|
|
|
if (_recently_lost_data) {
|
|
|
|
_cwnd = std::clamp(
|
2023-08-24 18:04:25 +02:00
|
|
|
_cwnd * 0.7f,
|
2023-08-19 22:37:55 +02:00
|
|
|
//_cwnd / 1.6f,
|
|
|
|
2.f * MAXIMUM_SEGMENT_SIZE,
|
|
|
|
_cwnd
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
// LEDBAT++ (the Rethinking the LEDBAT Protocol paper)
|
|
|
|
// "Multiplicative decrease"
|
2023-08-24 18:04:25 +02:00
|
|
|
const float constant {1.f}; // spec recs 1
|
2023-08-19 22:37:55 +02:00
|
|
|
if (queuing_delay < target_delay) {
|
|
|
|
_cwnd = std::min(
|
|
|
|
_cwnd + gain,
|
|
|
|
_fwnd
|
|
|
|
);
|
|
|
|
} else if (queuing_delay > target_delay) {
|
|
|
|
_cwnd = std::clamp(
|
|
|
|
_cwnd + std::max(
|
|
|
|
gain - constant * _cwnd * (queuing_delay / target_delay - 1.f),
|
|
|
|
-_cwnd/2.f // at most halve
|
|
|
|
),
|
|
|
|
|
|
|
|
// never drop below 2 "packets" in flight
|
|
|
|
2.f * MAXIMUM_SEGMENT_SIZE,
|
|
|
|
|
|
|
|
// cap rate
|
|
|
|
_fwnd
|
|
|
|
);
|
|
|
|
} // no else, we on point. very unlikely with float
|
|
|
|
}
|
|
|
|
|
|
|
|
if (PLOTTING) { // plotting
|
|
|
|
std::cerr << std::fixed << "CCA: onAck: TIME: " << now << " cwnd: " << _cwnd << "\n";
|
|
|
|
std::cerr << std::fixed << "CCA: onAck: TIME: " << now << " fwnd: " << _fwnd << "\n";
|
|
|
|
std::cerr << std::fixed << "CCA: onAck: TIME: " << now << " current_delay: " << current_delay << "\n";
|
|
|
|
std::cerr << std::fixed << "CCA: onAck: TIME: " << now << " base_delay: " << _base_delay << "\n";
|
|
|
|
std::cerr << std::fixed << "CCA: onAck: TIME: " << now << " gain: " << gain << "\n";
|
|
|
|
std::cerr << std::fixed << "CCA: onAck: TIME: " << now << " speed: " << (_recently_sent_bytes / (now - _last_cwnd)) / (1024*1024) << "\n";
|
|
|
|
std::cerr << std::fixed << "CCA: onAck: TIME: " << now << " in_flight_bytes: " << _in_flight_bytes << "\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
_last_cwnd = now;
|
|
|
|
_recently_acked_data = 0;
|
|
|
|
_recently_lost_data = false;
|
|
|
|
_recently_sent_bytes = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|