From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Mon, 13 Dec 1999 18:31:00 +0100
From: FODEMESI Gergely fgergo@eik.bme.hu
Subject: [9fans] spin2000, correction
Topicbox-Message-UUID: 9c49e5e0-eac8-11e9-9e20-41e7f4b1d025
Message-ID: <19991213173100.0T7bEMHet6Or0MAgSPBo1OuPpPlU3gAI9thEM8ZVJsc@z>


My mistake. I asked for the source referred to in the paper mentioned
below: promela source for plan9 kernel scheduler validator.

  thank you: Gergo

On Mon, 13 Dec 1999, Gerard J. Holzmann wrote:

> sorry, 2nd url was incomplete, see:
>
>         http:/netlib.bell-labs.com/netlib/spin/whatispin.html
> 	http://ase.arc.nasa.gov/spin2000
>
> -gerard
>
>
> ------ forwarded message follows ------
>
> >From rob@achille.cs.bell-labs.com Mon Dec 13 11:37:16 1999
> Received: from plan9.cs.bell-labs.com (olive.cs.bell-labs.com [135.104.9.15])
> 	by nslocum.cs.bell-labs.com (8.9.3/8.9.3) with SMTP id LAA03693
> 	for <gerard@nslocum>; Mon, 13 Dec 1999 11:37:16 -0500 (EST)
> Message-Id: <199912131637.LAA03693@nslocum.cs.bell-labs.com>
> From: "rob" <rob@achille.cs.bell-labs.com>
> Date: Mon, 13 Dec 1999 11:37:12 -0500
> To: gerard@achille.cs.bell-labs.com
> MIME-Version: 1.0
> Content-Type: text/plain; charset="US-ASCII"
> Content-Transfer-Encoding: 7bit
>
> From: fgergo@eik.bme.hu
> Date: Mon Dec 13 11:23:22 EST 1999
> To: 9fans@cse.psu.edu
> Subject: [9fans] spin/trace source for plan9 scheduler
>
>
> There is a paper called:
>
> Process Sleep and Wakeup on a Shared-memory Multiprocessor
> Rob Pike, Dave Presotto, Ken Thompson, and Gerard Holzmann
>
> Is the spin/trace source still available? It would be a great help, I
> would need it for a summary on plan9 at the university.
>
>  thank you very much: Gergo
>
>