demikernel
demikernel copied to clipboard
[test] Regression Tests for TCP
Description
We should add the following regression tests for TCP:
- [ ] Deterministic hashmap
- [ ] Random number of clients, connecting and disconnecting from each other randomly
- [ ] Futzing for sending data, receiving data, half-closing, full-closing
- [ ] Delay, drop, reorder, and duplicate packets randomly
- [ ] Different MSS and TCP options
- [ ] Invariant checks around resources getting freed
- [ ] Resource limit scenarios
@ppenna , this may all be handled by the simulator now?
These can, but will require some work on the simulator:
- Futzing for sending data, receiving data, half-closing, full-closing
- Delay, drop, reorder, and duplicate packets randomly
- Different MSS and TCP options