Date: Wed, 14 Oct 2015 09:58:20 -0700 From: hiren panchasara <hiren@strugglingcoder.info> To: Peter Sewell <Peter.Sewell@cl.cam.ac.uk> Cc: George Neville-Neil <gnn@neville-neil.com>, transport@freebsd.org Subject: Re: Documents from Peter Sewell on TCP stack... Message-ID: <20151014165820.GM87252@strugglingcoder.info> In-Reply-To: <CAHWkzRTrsf3N%2BXo7F6Rg6DXkZHeGQTFHw_nLyK5BhHhfVKYQjw@mail.gmail.com> References: <F69FFAB6-036D-4804-B9BB-EFFF8F1DC607@neville-neil.com> <CAHWkzRTrsf3N%2BXo7F6Rg6DXkZHeGQTFHw_nLyK5BhHhfVKYQjw@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
--JLiXfqD9/Kt1b+Pq Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On 10/10/15 at 04:30P, Peter Sewell wrote: > On 10 October 2015 at 16:27, George Neville-Neil <gnn@neville-neil.com> > wrote: >=20 > > 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 --JLiXfqD9/Kt1b+Pq Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQF8BAABCgBmBQJWHompXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXRBNEUyMEZBMUQ4Nzg4RjNGMTdFNjZGMDI4 QjkyNTBFMTU2M0VERkU1AAoJEIuSUOFWPt/lC3YIAIG/oUvsTY5NVKbVIVs8d/aD hkNfgiLw7Ngm6DDwEfRMTIC6H/L7g2AluErCEBNsRTkmn9BxeSvDnwqdFPJi9UKb Ju+AUYSyW2VgjduKKO7A2A6y65ZcFtuFz4n3YYedHFN58l/kJydDBIJkUMarnTto DMRcdU4uEZ2x2LqgJpbnHH4i31aTPvgBaLGKJdWvacp9IMsc+TbhqSwoEoEBsVK/ 5vDMPHQhWIxgQhDmPZZg6JtU6yE7x8le4U036YygVnnVrjyQFRb3x0qo03CbGrBO HB1NFfJKdd+VPQ2aSluSyd3kyT+R4gfgT4IIOcNMGmHrHL6tagvjSBSh2M+AZ3c= =b0Fw -----END PGP SIGNATURE----- --JLiXfqD9/Kt1b+Pq--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20151014165820.GM87252>