From owner-freebsd-transport@freebsd.org Wed Oct 14 16:58:22 2015 Return-Path: Delivered-To: freebsd-transport@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id B29ECA13AEC for ; Wed, 14 Oct 2015 16:58:22 +0000 (UTC) (envelope-from hiren@strugglingcoder.info) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 9925C9D2 for ; Wed, 14 Oct 2015 16:58:22 +0000 (UTC) (envelope-from hiren@strugglingcoder.info) Received: by mailman.ysv.freebsd.org (Postfix) id 98350A13AEB; Wed, 14 Oct 2015 16:58:22 +0000 (UTC) Delivered-To: transport@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 97C89A13AE9 for ; Wed, 14 Oct 2015 16:58:22 +0000 (UTC) (envelope-from hiren@strugglingcoder.info) Received: from mail.strugglingcoder.info (strugglingcoder.info [65.19.130.35]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mail.strugglingcoder.info", Issuer "mail.strugglingcoder.info" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 841309D1 for ; Wed, 14 Oct 2015 16:58:22 +0000 (UTC) (envelope-from hiren@strugglingcoder.info) Received: from localhost (unknown [10.1.1.3]) (Authenticated sender: hiren@strugglingcoder.info) by mail.strugglingcoder.info (Postfix) with ESMTPA id EA42FC34AD; Wed, 14 Oct 2015 09:58:20 -0700 (PDT) Date: Wed, 14 Oct 2015 09:58:20 -0700 From: hiren panchasara To: Peter Sewell Cc: George Neville-Neil , transport@freebsd.org Subject: Re: Documents from Peter Sewell on TCP stack... Message-ID: <20151014165820.GM87252@strugglingcoder.info> References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="JLiXfqD9/Kt1b+Pq" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-BeenThere: freebsd-transport@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Discussions of transport level network protocols in FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 14 Oct 2015 16:58:22 -0000 --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 > 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--