From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
Subject: Re: [9fans] RDMA: DMA over TCP/IP at IETF
From: "rob pike" <rob@plan9.bell-labs.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Message-Id: <20011212134632.4659619A0B@mail.cse.psu.edu>
Date: Wed, 12 Dec 2001 08:46:30 -0500
Topicbox-Message-UUID: 33a64270-eaca-11e9-9e20-41e7f4b1d025


> IIRC the 'Multiprocessor sleep/wakeup' paper refers to a problem
> which was discovered when a new fast device was added to Plan 9.

If I recall correctly, "IIRC" is a shorthand for "if I recall correctly",
and either you don't or I don't.  The problem the paper addressed
was a general one introduced by, er, doing sleep/wakeup on a
multiprocessor.  The paper is also incomplete; when notes were
added to the system shortly after, it took years to get the code
to its current approximation of correctness.  The general approach
of using a tool to help was not abandoned, however; the system
just kept changing under the model.

Nowadays, Holzmann's stuff is applied directly to the kernel
sources, which helps a lot.

-rob