Racket implementation of Dataspaces and Syndicate.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

885 B

Ideas on TCP unit testing: https://www.snellman.net/blog/archive/2015-07-09-unit-testing-a-tcp-stack/

Check behaviour around TCP zero-window probing. Is the correct behaviour already a consequence of the way send-outbound works?

Do something smarter with TCP timers and RTT estimation than the nothing that's already being done.

TCP options negotiation.

  • SACK
  • Window scaling

Check that we handle the situations in figs. 9, 10, 11, pp.33- of RFC 793.