netdev
[Top] [All Lists]
<prev [Date] next>
[Advanced]
 <prev [Thread] next>

Re: [Fwd: Re: question: linux TCP/IP stack implementation]

from [John Haller] [Permanent Link][Original]
To: jab@xxxxxxxxxxxx
Subject: Re: [Fwd: Re: question: linux TCP/IP stack implementation]
From: John Haller <jhaller@xxxxxxxxxx>
Date: Fri, 10 Sep 2004 08:40:35 -0500
Cc: Francois Echantillac <francois.echantillac@xxxxxxxxxxx>, netdev <netdev@xxxxxxxxxxx>
In-reply-to: <1094807281.41416ef16a42e@mouette.ens-lyon.fr>
References: <1094714541.15115.23.camel@poulenc.cs.sun.ac.za> <1094807281.41416ef16a42e@mouette.ens-lyon.fr>
Sender: netdev-bounce@xxxxxxxxxxx
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.6) Gecko/20040113 
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@xxxxxxxxxx

[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date:  [PATCH 2.6 NET] Device name changing via rtnetlink, Thomas Graf
Next by Date:  Re: [PATCH 2.6 NET] Device name changing via rtnetlink, YOSHIFUJI Hideaki / 吉藤英明
Previous by Thread:  Re: [Fwd: Re: question: linux TCP/IP stack implementation], Francois Echantillac
Next by Thread:  2.6.9-rc1+bk: assertion tcp_get_pcount failed at net/ipv4/tcp_input.c, Alex Riesen
Indexes:  [Date] [Thread] [Top] [All Lists]