Known TCP Implementation Problems

TCP Congestion Control

“…We also emphasize that this is a SHOULD, meaning that an implementor should indeed only deviate from this requirement after careful consideration of the implications. See the discussion of "Stretch ACK violation" in [PAD+98] and the references therein for a discussion of the possible performance problems with generating ACKs less frequently than every second full-sized segment.…”

Combining Model Learning and Model Checking to Analyze TCP Implementations

“…FreeBSD implementations are also non-compliant, as they always generate fin packets on a close, regardless if all data has been received. This would arguably fall under the list of common bugs [32], namely "Failure to send a RST after Half Duplex Close". The learned Linux models fully comply to these specifications.…”

“…It can output packets or timeout, in case the system does not respond with any packet. RFC 793 [35] and its extensions, most notably [9,32], specify the protocol.…”

Known HTTP Proxy/Caching Problems

“…We gratefully acknowledge RFC2525 [1] which helped define an initial format for this known problems list. The template format is summarized in the following table and described in more detail below.…”