From mboxrd@z Thu Jan 1 00:00:00 1970 From: John Haller Subject: Re: [Fwd: Re: question: linux TCP/IP stack implementation] Date: Fri, 10 Sep 2004 08:40:35 -0500 Sender: netdev-bounce@oss.sgi.com Message-ID: <4141AED3.4080807@lucent.com> References: <1094714541.15115.23.camel@poulenc.cs.sun.ac.za> <1094807281.41416ef16a42e@mouette.ens-lyon.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Cc: Francois Echantillac , netdev Return-path: To: jab@cs.sun.ac.za In-Reply-To: <1094807281.41416ef16a42e@mouette.ens-lyon.fr> Errors-to: netdev-bounce@oss.sgi.com List-Id: netdev.vger.kernel.org >>Could you direct me to any good documentation on the implementation of >>the TCP/IP stack in the linux kernel. >> >>I'm a Msc sudent of the University of Stellenbosch, South Africa. >>As an experiment I wat to replace the linux TCP implementation with a >>model checked version. There is a new (June, 2004) book on the TCP/IP stack in Linux 2.6: The Linux TCP/IP Stack: Networking for Embedded Systems by Thomas Herbert, ISBN 1584502843, list price US$49.95, 586 pages While I haven't read this book, there was a positive review in this month's IEEE Computer Magazine. -- John Haller 630-979-6407 jhaller@lucent.com