From owner-freebsd-transport@freebsd.org Sat Oct 10 15:30: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 C8733A10BFB for ; Sat, 10 Oct 2015 15:30:51 +0000 (UTC) (envelope-from p.m.sewell@googlemail.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 A75133B5 for ; Sat, 10 Oct 2015 15:30:51 +0000 (UTC) (envelope-from p.m.sewell@googlemail.com) Received: by mailman.ysv.freebsd.org (Postfix) id A6182A10BFA; Sat, 10 Oct 2015 15:30: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 8BE19A10BF9 for ; Sat, 10 Oct 2015 15:30:51 +0000 (UTC) (envelope-from p.m.sewell@googlemail.com) Received: from mail-io0-x234.google.com (mail-io0-x234.google.com [IPv6:2607:f8b0:4001:c06::234]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 570793B4 for ; Sat, 10 Oct 2015 15:30:51 +0000 (UTC) (envelope-from p.m.sewell@googlemail.com) Received: by iow1 with SMTP id 1so118409378iow.1 for ; Sat, 10 Oct 2015 08:30:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:reply-to:sender:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=0RIO8O5mj099V/RqJS1gcxmyKF200PFK+5/Y8PfcVYg=; b=Nx7IpAxCksM0WP6KzPsz4Md5r7Y0huWttyMyeKhfAY6dO97f4tFX8xpTplfUjBsQCk 1cKK30MKjJ8ruxHTSRbll+gy4eR479K5M9BdDSJyoFCP8SiWAeu9Siwc3v5CDZHHPDkT +DW+gu28gyN4cTQrlrxSqU1jLfZBnFjOjiAazFZhoBSkgOS6jMicHiPryez6YQSvHprM OZpYBj+iOA1mzD/TKM8cWcq4/DvBQBzcdPxoLXgun2Po+fB7prJGijVndGKQ4o9ZsUBp Kl50MGyvu/R6SHUwq1NroXnRNbZ7i/6frgFB0eJ5ZfsacCL1Ehm8ncwKLJdXiqL6F0Qb So1w== MIME-Version: 1.0 X-Received: by 10.107.46.101 with SMTP id i98mr20736350ioo.17.1444491050615; Sat, 10 Oct 2015 08:30:50 -0700 (PDT) Reply-To: Peter.Sewell@cl.cam.ac.uk Sender: p.m.sewell@googlemail.com Received: by 10.64.251.130 with HTTP; Sat, 10 Oct 2015 08:30:50 -0700 (PDT) In-Reply-To: References: Date: Sat, 10 Oct 2015 16:30:50 +0100 X-Google-Sender-Auth: WwuD9mpzRcJvPfXhOZF3WlqtaRo Message-ID: Subject: Re: Documents from Peter Sewell on TCP stack... From: Peter Sewell To: George Neville-Neil Cc: transport@freebsd.org Content-Type: text/plain; charset=UTF-8 X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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, 10 Oct 2015 15:30:51 -0000 On 10 October 2015 at 16:27, George Neville-Neil 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 > > (probably the SIGCOMM paper [http://www.cl.cam.ac.uk/~pes20/Netsem/paper.ps] comes after that) > Best, > George > _______________________________________________ > freebsd-transport@freebsd.org mailing list > https://lists.freebsd.org/mailman/listinfo/freebsd-transport > To unsubscribe, send any mail to " > freebsd-transport-unsubscribe@freebsd.org" >