Documents from Peter Sewell on TCP stack...

hiren panchasara hiren at
Wed Oct 14 16:58:22 UTC 2015

On 10/10/15 at 04:30P, Peter Sewell wrote:
> On 10 October 2015 at 16:27, George Neville-Neil <gnn at>
> wrote:
> > Howdy,
> >
> > These are a bit long but this is the work that Peter (who I think is now
> > on this list) and his group
> > did in 2005 on the FreeBSD TCP stack.
> >
> >
> >
> >
> > Much of the overview material including the "Quick Introduction" which I
> > recommend you read first,
> > is here

Thanks George.
> >
> >
> (probably the SIGCOMM paper []
> comes after that)

Thanks Peter for the link. I (very) briefly looked at it and have a few
questions (apologies if I missed something obvious):
1) It refers to FreeBSD 4.6-R. Have you tried any newer version?
2) How many total test-cases have you created for TCP? Section 5.
RESULTS mentions 1095 total traces and 1004 turned out good bases on
the test-cases. Where do I look at the test-cases in detail?
3) Section 6. IMPLEMENTATION ANOMALIES lists a bunch of bugs. It'd be
good to know if they are now fixed or not.

I think this is a great piece of work. I'd be interested in knowing
future plans wrt this project.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 603 bytes
Desc: not available
URL: <>

More information about the freebsd-transport mailing list