Documents from Peter Sewell on TCP stack...
hiren at strugglingcoder.info
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 neville-neil.com>
> > 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
> (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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 603 bytes
Desc: not available
More information about the freebsd-transport