* [Fwd: Re: question: linux TCP/IP stack implementation]
@ 2004-09-09 7:22 Hanno
2004-09-10 9:08 ` Francois Echantillac
0 siblings, 1 reply; 3+ messages in thread
From: Hanno @ 2004-09-09 7:22 UTC (permalink / raw)
To: netdev
Alan Cox refered me to here.
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.
Regards.
Hanno Bezuidenhout
-----Forwarded Message-----
From: Alan Cox <alan@lxorguk.ukuu.org.uk>
To: jab@cs.sun.ac.za
Subject: Re: question: linux TCP/IP stack implementation
Date: Wed, 08 Sep 2004 13:41:50 +0100
On Mer, 2004-09-08 at 13:21, Hanno wrote:
> The problem is this: I'm really strugling to find (relevant)
> documentation on the implementation of the TCP/IP stack in the linux
> kernel. Do any exist and if so where does one find it (links, etc).
Other than the code I'm not sure there is a really good document. Sadly
the late Richard Stevens never documented Linux TCP/IP as he did BSD.
Your best place to ask is netdev@oss.sgi.com
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Fwd: Re: question: linux TCP/IP stack implementation]
2004-09-09 7:22 [Fwd: Re: question: linux TCP/IP stack implementation] Hanno
@ 2004-09-10 9:08 ` Francois Echantillac
2004-09-10 13:40 ` John Haller
0 siblings, 1 reply; 3+ messages in thread
From: Francois Echantillac @ 2004-09-10 9:08 UTC (permalink / raw)
To: jab; +Cc: netdev
> 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.
May i suggest you http://datatag.web.cern.ch/datatag/papers/tr-datatag-2004-1.pdf
"In this technical report, we describe the structure and organization of the
networking code of Linux kernel 2.4.20. This release is the first of the 2.4
branch to support network interrupt mitigation via a mechanism known as NAPI. We
describe the main data structures, the sub-IP layer, the IP layer, and two
transport layers: TCP and UDP. This material is meant for people who are
familiar with operating systems but are not Linux kernel experts."
Included a lot of helpful figures.
Not sure it is what you are searching for.
Hope it will help.
Francois
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Fwd: Re: question: linux TCP/IP stack implementation]
2004-09-10 9:08 ` Francois Echantillac
@ 2004-09-10 13:40 ` John Haller
0 siblings, 0 replies; 3+ messages in thread
From: John Haller @ 2004-09-10 13:40 UTC (permalink / raw)
To: jab; +Cc: Francois Echantillac, netdev
>>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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2004-09-10 13:40 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2004-09-09 7:22 [Fwd: Re: question: linux TCP/IP stack implementation] Hanno
2004-09-10 9:08 ` Francois Echantillac
2004-09-10 13:40 ` John Haller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).