GameCult/Muninn
Watch
9
0
Fork
You've already forked Muninn
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Leave the repair queue bounded by the repair budget alone

Browse source 
The extra room cap on queued repairs had no test and no owner beyond the
budget and the frame deadline, which already bound the queue.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-09-29 20:39:01 +02:00
commit ffc723c49f
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/muninn-daemon/src/media_send.rs
View file

@ -793,9 +793,8 @@ impl MediaSendCore {
now,
)?;
let requested = repairs.len();
let room = REPAIR_CACHE_CHUNKS.saturating_sub(self.repairs.len());
let allowed = self.repair_budget.take(
requested.min(REPAIR_MAX_CHUNKS_PER_POLL).min(room),
requested.min(REPAIR_MAX_CHUNKS_PER_POLL),
now,
self.stats.groups_lost(),
);
@ -806,7 +805,8 @@ impl MediaSendCore {
.saturating_add(requested.saturating_sub(allowed) as u64);
// Repairs are queued for the receiver that asked, not for
// everyone; the send step sends each one inside the
// deadline of its own frame, after any waiting audio.
// deadline of its own frame, after any waiting audio. The
// queue is bounded by the repair budget times the deadline.
self.repairs.extend(
repairs
.into_iter()