From owner-freebsd-transport@freebsd.org Thu Sep 24 17:33:05 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 5806DA08087 for ; Thu, 24 Sep 2015 17:33:05 +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 4188B13DC for ; Thu, 24 Sep 2015 17:33:05 +0000 (UTC) (envelope-from hiren@strugglingcoder.info) Received: by mailman.ysv.freebsd.org (Postfix) id 3F286A08082; Thu, 24 Sep 2015 17:33:05 +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 3EC16A08081 for ; Thu, 24 Sep 2015 17:33:05 +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 2F66613DB for ; Thu, 24 Sep 2015 17:33:01 +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 90917D1CB7 for ; Thu, 24 Sep 2015 10:32:55 -0700 (PDT) Date: Thu, 24 Sep 2015 10:32:55 -0700 From: hiren panchasara To: transport@FreeBSD.org Subject: Laminar TCP for FreeBSD Message-ID: <20150924173255.GG20616@strugglingcoder.info> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="4ndw/alBWmZEhfcZ" Content-Disposition: inline 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: Thu, 24 Sep 2015 17:33:05 -0000 --4ndw/alBWmZEhfcZ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline While trying to debug TCP's behavior on certain loss situations at $work we realized that even if we have this awesome modular congestion control mechanism mod_cc(4), boundary between what stack should do and what cc should do is not clear. For example, we currently have multiple ways at multiple places where we adjust/modify congestion window based on where we are in transfer and what RFCs we support. Downside it, it is really hard to debug/analyze TCP performance in certain situations. Not to mention the added complexity when trying to add a new feature or modify existing one related to congestion control. An interesting piece of work came out from Google that tries to address this and more: https://tools.ietf.org/html/draft-mathis-tcpm-tcp-laminar-00 "The new framework separate transmission scheduling, which determines precisely when data is sent, from Congestion Control, which determines the total amount of data sent in any given RTT." It'd be nice if we/FreeBSD can start looking into this as a long-term TCP stack improvement project. Cheers, Hiren --4ndw/alBWmZEhfcZ Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQF8BAABCgBmBQJWBDPDXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXRBNEUyMEZBMUQ4Nzg4RjNGMTdFNjZGMDI4 QjkyNTBFMTU2M0VERkU1AAoJEIuSUOFWPt/lDN0H/RpMLIJgprkSpDjmkQEnroof ovZgpjdWtlyn4PEwj3dT3eELHKb1G3r52xPx8GQjt0iPfzfKJZgC4uQ+bphQFaiG nKcZTCOnxZqTw0DmhqE08kpvmZKBh8bG2a2C0+2YciYGkLj0YOTW1WPLf4bUTorb KZL3NYAVk4mVE9AWr3EsQUEtDbvBcWUu00BN7nwcs+Xwo67BbsRcoZ6STgcupsHH jNgYjquOHkrwG4MGeuNSIRaidW84RjSfrdUwOmk/fOmSZ1Qp2DWbaAGA6fHPyEeX +dfz8CkfFljGyKJehs04d7rx+Tdw0D6F3nwMr7GhHJ77ZwpL3k6Tr8/yCAZW4oo= =RQZV -----END PGP SIGNATURE----- --4ndw/alBWmZEhfcZ-- From owner-freebsd-transport@freebsd.org Fri Sep 25 00:52:23 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 6E2F6A08600 for ; Fri, 25 Sep 2015 00:52:23 +0000 (UTC) (envelope-from gnn@neville-neil.com) 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 5526C1804 for ; Fri, 25 Sep 2015 00:52:23 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: by mailman.ysv.freebsd.org (Postfix) id 5249FA085FF; Fri, 25 Sep 2015 00:52:23 +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 51DB1A085FE for ; Fri, 25 Sep 2015 00:52:23 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: from smtp.hungerhost.com (smtp.hungerhost.com [216.38.53.177]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 2FC5E1803 for ; Fri, 25 Sep 2015 00:52:22 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: from pool-108-54-164-204.nycmny.fios.verizon.net ([108.54.164.204]:52261 helo=[192.168.1.11]) by vps2.hungerhost.com with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.85) (envelope-from ) id 1ZfHFO-0006Rs-2T for transport@freebsd.org; Thu, 24 Sep 2015 20:52:22 -0400 From: "George Neville-Neil" To: transport@freebsd.org Subject: Peter Sewell et al's formal TCP state machine code Date: Thu, 24 Sep 2015 20:52:20 -0400 Message-ID: <482ADD1B-54F3-44E3-BDEB-AB6E8BA21784@neville-neil.com> MIME-Version: 1.0 X-Mailer: MailMate (1.9.2r5107) X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - vps2.hungerhost.com X-AntiAbuse: Original Domain - freebsd.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - neville-neil.com X-Get-Message-Sender-Via: vps2.hungerhost.com: authenticated_id: gnn@neville-neil.com X-Source: X-Source-Args: X-Source-Dir: 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: Fri, 25 Sep 2015 00:52:23 -0000 Howdy, https://github.com/PeterSewell/netsem That's the formal spec stuff that Robert was talking about on the call today. Best, George From owner-freebsd-transport@freebsd.org Fri Sep 25 03:24:51 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 D0831A08C17 for ; Fri, 25 Sep 2015 03:24:51 +0000 (UTC) (envelope-from gnn@neville-neil.com) 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 B7A6010FC for ; Fri, 25 Sep 2015 03:24:51 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: by mailman.ysv.freebsd.org (Postfix) id B4DE6A08C16; Fri, 25 Sep 2015 03:24:51 +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 B4738A08C15 for ; Fri, 25 Sep 2015 03:24:51 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: from smtp.hungerhost.com (smtp.hungerhost.com [216.38.53.177]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 91FAE10FB for ; Fri, 25 Sep 2015 03:24:51 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: from pool-108-54-164-204.nycmny.fios.verizon.net ([108.54.164.204]:53663 helo=[192.168.1.11]) by vps2.hungerhost.com with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.85) (envelope-from ) id 1ZfJcw-0003J8-5S for transport@freebsd.org; Thu, 24 Sep 2015 23:24:50 -0400 From: "George Neville-Neil" To: transport@freebsd.org Subject: Completely rudimentary Transport page now on line Date: Thu, 24 Sep 2015 23:24:48 -0400 Message-ID: <68F5C493-B54C-44DB-A382-E99B6B88B788@neville-neil.com> MIME-Version: 1.0 X-Mailer: MailMate (1.9.2r5107) X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - vps2.hungerhost.com X-AntiAbuse: Original Domain - freebsd.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - neville-neil.com X-Get-Message-Sender-Via: vps2.hungerhost.com: authenticated_id: gnn@neville-neil.com X-Source: X-Source-Args: X-Source-Dir: 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: Fri, 25 Sep 2015 03:24:51 -0000 and with today's notes. https://wiki.freebsd.org/TransportProtocols Comments and updates welcome. Anyone who doesn't have a wiki login and wants one, let me know. Best, George From owner-freebsd-transport@freebsd.org Sat Sep 26 22:57:56 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 AC609A0A590 for ; Sat, 26 Sep 2015 22:57:56 +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 96433AB5 for ; Sat, 26 Sep 2015 22:57:56 +0000 (UTC) (envelope-from hiren@strugglingcoder.info) Received: by mailman.ysv.freebsd.org (Postfix) id 93A28A0A58F; Sat, 26 Sep 2015 22:57:56 +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 93397A0A58E for ; Sat, 26 Sep 2015 22:57:56 +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 82F00AB4 for ; Sat, 26 Sep 2015 22:57:56 +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 2E4C8D1BD5 for ; Sat, 26 Sep 2015 15:57:50 -0700 (PDT) Date: Sat, 26 Sep 2015 15:57:50 -0700 From: hiren panchasara To: transport@FreeBSD.org Subject: TCP rfc compliance Message-ID: <20150926225750.GE19325@strugglingcoder.info> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="oyqLL/JqMvClXZi1" Content-Disposition: inline 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: Sat, 26 Sep 2015 22:57:56 -0000 --oyqLL/JqMvClXZi1 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline As discussed in the transport group meeting (and because it's a good idea anyways), I've created a page to list what rfcs we do and don't support here: https://wiki.freebsd.org/TransportProtocols/tcp_rfc_compliance Treat it as just a starting point and please add/modify/edit as you see fit. Cheers, Hiren --oyqLL/JqMvClXZi1 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQF8BAABCgBmBQJWByLqXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXRBNEUyMEZBMUQ4Nzg4RjNGMTdFNjZGMDI4 QjkyNTBFMTU2M0VERkU1AAoJEIuSUOFWPt/lMqgIAJfmlptRNaT/1/45w6WzrUHF FlDjrCTstlikAyPFGurfjwy9nGNajPI1CfPITfcr8DQhRQTVrdWIuyFwFiXag0P9 F77TGxsFDcxN4Qdo+/Q8sohqz4pZSqikstrR+2yt0AjNCknthc9izGCv3r1JATTn PJmkz4qcYYbPEVY8I6QvR4AKTFKPXYqtLsJIeN93jVRqf2TCR38VcwXB//VDPjG0 Pm5Ju8S8tVIgC5JvyJMDoU4S5BraqzSM1cBvfcMEINcd/JQYldjlFGbfTbb6vZE2 yZbLHSi+46woJFRHhsm8bkDd1q1aXTIB7ac2ItfaUtRBv0Vr0E6Y08hIQ3axmMk= =BT0q -----END PGP SIGNATURE----- --oyqLL/JqMvClXZi1-- From owner-freebsd-transport@freebsd.org Sat Sep 26 23:39:51 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 62F2F9D0BB6 for ; Sat, 26 Sep 2015 23:39:51 +0000 (UTC) (envelope-from gnn@neville-neil.com) 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 45662B99 for ; Sat, 26 Sep 2015 23:39:51 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: by mailman.ysv.freebsd.org (Postfix) id 4284F9D0BB5; Sat, 26 Sep 2015 23:39:51 +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 421559D0BB4 for ; Sat, 26 Sep 2015 23:39:51 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: from smtp.hungerhost.com (smtp.hungerhost.com [216.38.53.177]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 1B385B98 for ; Sat, 26 Sep 2015 23:39:50 +0000 (UTC) (envelope-from gnn@neville-neil.com) Received: from ip59-175-64-186.ct.co.cr ([186.64.175.59]:44805 helo=[192.168.64.1]) by vps2.hungerhost.com with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.85) (envelope-from ) id 1Zfz48-000090-VX; Sat, 26 Sep 2015 19:39:41 -0400 From: "George Neville-Neil" To: "hiren panchasara" Cc: transport@FreeBSD.org Subject: Re: TCP rfc compliance Date: Sat, 26 Sep 2015 17:39:37 -0600 Message-ID: <391A3F4B-84B9-4681-8F5C-A68319C2E0D6@neville-neil.com> In-Reply-To: <20150926225750.GE19325@strugglingcoder.info> References: <20150926225750.GE19325@strugglingcoder.info> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=_MailMate_B646F6B9-90C6-4B3C-A033-4171FC3CB94D_="; micalg=pgp-sha1; protocol="application/pgp-signature" X-Mailer: MailMate (1.9.2r5107) X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - vps2.hungerhost.com X-AntiAbuse: Original Domain - freebsd.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - neville-neil.com X-Get-Message-Sender-Via: vps2.hungerhost.com: authenticated_id: gnn@neville-neil.com X-Source: X-Source-Args: X-Source-Dir: 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: Sat, 26 Sep 2015 23:39:51 -0000 This is an OpenPGP/MIME signed message (RFC 3156 and 4880). --=_MailMate_B646F6B9-90C6-4B3C-A033-4171FC3CB94D_= Content-Type: text/plain Excellent. Thanks! Best George On 26 Sep 2015, at 16:57, hiren panchasara wrote: > As discussed in the transport group meeting (and because it's a good > idea anyways), I've created a page to list what rfcs we do and don't > support here: > https://wiki.freebsd.org/TransportProtocols/tcp_rfc_compliance > > Treat it as just a starting point and please add/modify/edit as you see fit. > > Cheers, > Hiren --=_MailMate_B646F6B9-90C6-4B3C-A033-4171FC3CB94D_= Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iEYEARECAAYFAlYHLLkACgkQYdh2wUQKM9L1VwCfX7i8gwUAL9NYbaTszNVcSn8y zxwAoNP0ZAZ/gGnRmtLtNQ/F5+52gaun =6DFe -----END PGP SIGNATURE----- --=_MailMate_B646F6B9-90C6-4B3C-A033-4171FC3CB94D_=--