serialization (and other mumbo-jumbo)

[Andreas Hauser]

danial_thom wrote @ Fri, 2 Jun 2006 16:56:34 -0700 (PDT):

> > Danial Thom wrote:
> > > Just took a quick look at some ethernet
> > drivers
> > > in 1.5.3. Is there a write-up on how all this
> > > serialization stuff works?...
> > 
> > Does this help any?  (I don't pretend to
> > understand it...)

> > http://leaf.dragonflybsd.org/mailarchive/kernel/2004-04/msg00231.html

> It does help to some extent, but I was hoping
> there might be a formal, organized write up, or
> at least an outline of the main subsytems.

Although you are just trolling ...

I plan to write some formal proofs about the tokens in August, based on
http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8240
I will make sure you get a link to the paper then.

-- 
Andy