Documents from Peter Sewell on TCP stack...

[hiren panchasara]

On 10/10/15 at 04:30P, Peter Sewell wrote:
> On 10 October 2015 at 16:27, George Neville-Neil <gnn at neville-neil.com>
> 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.
> >
> > http://www.cl.cam.ac.uk/~pes20/Netsem/tr.pdf
> > http://www.cl.cam.ac.uk/~pes20/Netsem/alldoc.pdf
> >
> > Much of the overview material including the "Quick Introduction" which I
> > recommend you read first,
> > is here http://www.cl.cam.ac.uk/~pes20/Netsem/index.html

Thanks George.
> >
> >
> (probably the SIGCOMM paper [http://www.cl.cam.ac.uk/~pes20/Netsem/paper.ps]
> 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.

Cheers,
Hiren
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 603 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-transport/attachments/20151014/1276d7d6/attachment.bin>