aquatic/TODO.md

6.9 KiB

TODO

General

  • init logging in cli helper crate?

aquatic_http_load_test

  • opening new connections in current form causes macOS issues, why?
  • try creating sockets with different ports (and also local ips if setting enabled), then converting them to mio tcp streams

aquatic_http

  • upper limit on request read buffer
  • check if connection ValidUntil's are really updated when necessary. there are some connections dropped after a while when load testing
  • add tests
    • test response serialization (against data known to be good would be nice)
    • test request parsing with strange/bad inputs, with and without quickcheck
  • test torrent transfer with real clients
    • test tls
    • scrape: does it work (serialization etc), and with multiple hashes?
    • 'left' optional in magnet requests? Probably not. Transmission sends huge positive number.
  • compact=0 should result in error response
  • Connection.send_response: handle case when all bytes are not written: can write actually block here? And what action should be taken then?

aquatic_ws

  • test transfer again with changes made:
    • crossbeam-channel
    • ipv6/ipv4 mapping
    • tungstenite 0.11
  • is 'key' sent in announce request? if so, maybe handle it like in aquatic_http (including ip uniqueness part of peer map key)
  • tests
  • use enum as return type for handshake machine

aquatic_udp

  • mio: set oneshot for epoll and kqueue? otherwise, stop reregistering?
  • handle errors similarily to aquatic_ws, including errors in socket workers
  • More tests?
  • Protocol crate: converter functions should be trait functions

Not important

aquatic_http

aquatic_ws

  • copyless for vec pushes in request handler, instead of stack and then heap?
  • config
    • send/recv buffer size?
    • tcp backlog?
    • some config.network fields are actually used in handler. maybe they should be checked while parsing? not completely clear
  • "close connection" message from handler on peer_id and socket_addr mismatch? Probably not really necessary. If it is an honest mistake, peer will just keep announcing and after a few minutes, the peer in the map will be cleaned out and everything will start working
  • stack-allocated vectors for announce request offers and scrape request info hashes?
  • write new version of extract_response_peers which checks for equality with peer sending request? It could return an arrayvec or smallvec by the way (but then the size needs to be adjusted together with the corresponding config var, or the config var needs to be removed)

aquatic_udp

  • Does it really make sense to include peer address in peer map key? I have to think about why I included it in the first place.
  • if socket workers panic while binding, don't sit around and wait for them in privdrop function. Maybe wait some maximum amount of time?
  • No overflow on instant + duration arithmetic now, hopefully? Possibly, checked_add should be used.
  • extract_response_peers
    • Cleaner code
    • Stack-allocated vector?
  • Use log crate for errors
  • Performance
    • mialloc good?

aquatic_udp_protocol

  • Tests with good known byte sequences (requests and responses)
  • Avoid heap allocation in general if it can be avoided?
    • request from bytes for scrape: use arrayvec with some max size for torrents? With Vec, allocation takes quite a bit of CPU time
    • Optimize bytes to scrape request: Vec::with_capacity or other solution (SmallVec?)
  • Don't do endian conversion where unnecessary, such as for connection id and transaction id?

aquatic_cli_helpers

  • Include config field comments in exported toml (likely quite a bit of work)

Don't do

General - profile-guided optimization

Doesn't seem to improve performance, possibly because I only got it to compile with thin LTO which could have impacted performance. Running non-pgo version without AVX-512 seems to be the fastest, although the presence of a ctrl-c handler (meaning the addition of a thread) might have worsed performance in pgo version (unlikely).

Benchmarks of aquatic_udp with and without PGO. On hetzer 16x vCPU. 8 workers just like best results in last benchmark, multiple client ips=true:

target-cpu=native (probably with avx512 since such features are listed in /proc/cpuinfo), all with thin lto

  • With PGO on aquatic_udp: 370k, without 363k responses per second
  • With PGO on both aquatic_udp and aquatic_udp_load_test: 368k

with target-cpu=skylake, all with thin lto

  • with pgo on aquatic_udp: 400k
  • with no pgo: 394k

checkout master (no pgo, no thin lto, no ctrlc handler)

  • target-cpu=native: 394k
  • target-cpu=skylake: 439k
  • no target-cpu set: 388k

aquatic_http

  • request from path:
    • only urldecode peer_id and info_hash: doesn't really improve performance
    • deserialize 20 bytes: possibly rewrite (just check length of underlying bytes == 20 and then copy them), also maybe remove String from map for these cases too. doesn't really improve performance
    • crazy http parsing: check for newline with memchr, take slice until there. then iter over space newlines/just take relevant data. Not faster than httparse and a lot worse

aquatic_http / aquatic_ws

  • Shared state for HTTP with and without TLS. Peers who announce over TLS should be able to expect that someone snooping on the connection can't connect them to a info hash. If someone receives their IP in a response while announcing without TLS, this expectation would be broken.

aquatic_udp

  • Other HashMap hashers (such as SeaHash): seemingly not worthwhile, see https://github.com/tkaitchuck/aHash
  • sendmmsg: can't send to multiple socket addresses, so doesn't help
  • Config behind Arc in state: it is likely better to be able to pass it around without state
  • Responses: make vectors iterator references so we dont have run .collect(). Doesn't work since it means conversion to bytes must be done while holding readable reference to entry in torrent map, hurting concurrency.

aquatic_udp_protocol