Rob Jansen

FWIW, Finamp does a pretty good job of this for music (it has an “offline mode” toggle, which will filter content to only that which has been downloaded).

The dev team agrees that `gprof` has not been useful and `perf` is the go-to choice for profiling, so we should feel free to go ahead and remove the `--profile`...

I'm looking for the following in order to make progress on this issue: a. explain the expected behavior from the kernel on the issue linked above b. write a very...

We are aware of this issue, and plan to make adjustments as we clean up the code in future releases. Thanks!

We shouldn't close it yet. #1916 and #1919 perhaps made things a bit easier to handle tmp files, but is still currently only doing shared memory mappings so a bit...

Routing is done by running shortest path over the input network topology graph. Shadow does not currently simulate NAT. In order to do so, we would need to add a...

I _think_ the sender-side approach breaks in case you have a large number of senders sending packets to the same receiver socket all at the same instant. For UDP where...

We do model the upstream routers and upstream router buffering in `src/main/routing/router*`, separately from modeling the sender and receiver network rates in `shadow/src/main/host/network_interface.*`. I think the issue here is independent...

> I agree that it seems like network jitter would play a role here, and would maybe be a more realistic way of solving this. I agree that it would...

> I don't see how we could choose a value of p other than 1... It does seem to me that the minimum buffer size required to enable smooth sending...