> 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
|