* [9fans] spin2000, correction
@ 1999-12-13 17:31 FODEMESI
0 siblings, 0 replies; 4+ messages in thread
From: FODEMESI @ 1999-12-13 17:31 UTC (permalink / raw)
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
>
>
^ permalink raw reply [flat|nested] 4+ messages in thread
* [9fans] spin2000, correction
@ 1999-12-13 18:41 FODEMESI
0 siblings, 0 replies; 4+ messages in thread
From: FODEMESI @ 1999-12-13 18:41 UTC (permalink / raw)
Yes, that was it...
Thanks anyway: gergo
On Mon, 13 Dec 1999, rob wrote:
> Do you mean the Promela program that described the
> scheduler? I believe that is long gone.
>
> -rob
>
>
^ permalink raw reply [flat|nested] 4+ messages in thread
* [9fans] spin2000, correction
@ 1999-12-13 18:18 rob
0 siblings, 0 replies; 4+ messages in thread
From: rob @ 1999-12-13 18:18 UTC (permalink / raw)
Do you mean the Promela program that described the
scheduler? I believe that is long gone.
-rob
^ permalink raw reply [flat|nested] 4+ messages in thread
* [9fans] spin2000, correction
@ 1999-12-13 17:08 Gerard
0 siblings, 0 replies; 4+ messages in thread
From: Gerard @ 1999-12-13 17:08 UTC (permalink / raw)
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 ------
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~1999-12-13 18:41 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-12-13 17:31 [9fans] spin2000, correction FODEMESI
-- strict thread matches above, loose matches on Subject: below --
1999-12-13 18:41 FODEMESI
1999-12-13 18:18 rob
1999-12-13 17:08 Gerard
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).