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@xxxxxxxxxxxxxxxxxxx>
To: jab@xxxxxxxxxxxx
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@xxxxxxxxxxx
|