9fans archive / 1999 / 12 / 12 /    prev next

From: FODEMESI Gergely fgergo@eik...
Subject: [9fans] spin2000, correction
Date: Mon, 13 Dec 1999 18:31:00 +0100 (MET)


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@ach... 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@nsl...>
> From: "rob" <rob@ach...>
> Date: Mon, 13 Dec 1999 11:37:12 -0500
> To: gerard@ach...
> MIME-Version: 1.0
> Content-Type: text/plain; charset="US-ASCII"
> Content-Transfer-Encoding: 7bit
> 
> From: fgergo@eik...
> Date: Mon Dec 13 11:23:22 EST 1999
> To: 9fans@cse...
> 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
> 
>