Pedro Henrique Penna
Pedro Henrique Penna
Description ======== When creating memory pool for holding packet headers, the memory manager is assuming a wrong size for these structures: ``` let header_size: usize = ETHERNET2_HEADER_SIZE + IPV4_HEADER_DEFAULT_SIZE +...
Description ======== We should expose C bindings for `popfrom` operation.
Description ------------- We should sanity check return values of system calls in regression tests.
Description ======== We should add cleanup hooks to the initialization function of demikernel, so as to enable a more transparent environment cleanup experience. This function should for instance wait on...
Context -------- When processing incoming packets, we prioritize searching for a socket bound to a specific address rather than searching for a matching socket bound to the wildcard address `INADDR_ANY`:...
Description ======== Catnip uses the ~~`Ipv4Endpoint`~~ `SocketAddrV4` structure to refer to remote and local endpoints. While this is fine when supporting IPv4 addresses only, once we add support to IPv6...
Description ------------- In UDP, is currently packet oriented. That is, each slot in the receive queue is a UDP packet. https://github.com/demikernel/inetstack/blob/a7fa47d1d2f93c9475f5d6cbbb4dbf725cc4fdab/src/protocols/udp/peer.rs#L309-L333 Expected Behavior ------------------ The receive queue should be byte...
Context --------- We should have a unit test that exercises "listening on an in-use address/port pair" error condition. Proposed Solution --------------------- This unit test should be added to [`tests/tcp.rs#tcp_bad_listen`](https://github.com/demikernel/inetstack/blob/e841b2517d5af74874c464a9bc7d2025012ff88a/tests/tcp.rs#L332) Further...
Context --------- We currently miss a fast lookup mechanism to determine whether or not a given address/port pair is bound. Proposed Solution --------------------- We should introduce some structure that would...