From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Mon, 18 Sep 2000 15:49:39 -0400 From: presotto@plan9.bell-labs.com To: 9fans@cse.psu.edu Subject: Re: [9fans] spin/trace source for plan9 scheduler MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="upas-dboubvqmoimlxjytnssjsadsky" Message-Id: <20000918194940.D2668199FF@mail> Topicbox-Message-UUID: 09045c06-eac9-11e9-9e20-41e7f4b1d025 This is a multi-part message in MIME format. --upas-dboubvqmoimlxjytnssjsadsky Content-Disposition: inline Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Funny you should ask, we're redoing the code and the spin analysis right now to deal with postnote. I'll forward you mail to Gerard who's doing it. --upas-dboubvqmoimlxjytnssjsadsky Content-Type: message/rfc822 Content-Disposition: inline Received: from plan9.cs.bell-labs.com ([135.104.9.2]) by plan9; Mon Sep 18 15:48:20 EDT 2000 Received: from mail ([130.203.4.6]) by plan9; Mon Sep 18 15:48:19 EDT 2000 Received: from psuvax1.cse.psu.edu (psuvax1.cse.psu.edu [130.203.4.6]) by mail (CSE Mail Server) with ESMTP id D5E2E199F4; Mon, 18 Sep 2000 15:48:06 -0400 (EDT) Received: from catriona.accs.on.ca (d226-120-38.home.cgocable.net [24.226.120.38]) by mail (CSE Mail Server) with ESMTP id 7F8BC199DE for <9fans@cse.psu.edu>; Mon, 18 Sep 2000 15:47:58 -0400 (EDT) Received: from eddy.local (eddy.local [192.168.87.1]) by catriona.accs.on.ca (8.9.2/8.8.6) with ESMTP id PAA00385 for <9fans@cse.psu.edu>; Mon, 18 Sep 2000 15:47:49 -0400 (EDT) Received: (from koma@localhost) by eddy.local (8.9.3/8.9.3) id PAA04058 for 9fans@cse.psu.edu; Mon, 18 Sep 2000 15:47:45 -0400 (EDT) (envelope-from koma) X-Mailer: XFMail 1.4.0 on FreeBSD X-Priority: 3 (Normal) X-Mozilla-Status2: 00000000 X-Mozilla-Status: 8001 Precedence: bulk Content-Type: TEXT/PLAIN; charset=US-ASCII MIME-Version: 1.0 Message-ID: X-Sender: fgergo@goliat Date: Mon, 18 Sep 2000 15:47:44 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by goliat.eik.bme.hu (Postfix) with ESMTP id C6DC72B118 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 17:01:24 +0100 (MET) Received: by goliat.eik.bme.hu (Postfix, from userid 455) id D96BB2E62D; Mon, 13 Dec 1999 17:01:24 +0100 (MET) Received: from goliat.eik.bme.hu (postfix@goliat.eik.bme.hu [152.66.250.2]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id LAA19738 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 11:01:30 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id LAA19744 for 9fans-outgoing; Mon, 13 Dec 1999 11:01:42 -0500 (EST) Received: by claven.cse.psu.edu (bulk_mailer v1.5); Mon, 13 Dec 1999 11:01:49 -0500 Received: from localhost (majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) with SMTP id LAA19768; Mon, 13 Dec 1999 11:01:50 -0500 (EST) Received: from cse.psu.edu (majordom@claven.cse.psu.edu [130.203.3.50]) by catriona.accs.on.ca (8.9.2/8.8.6) with ESMTP id LAA26916 for ; Mon, 13 Dec 1999 11:02:04 -0500 (EST) X-UIDL: 703e99d029b39d026f9050ba6e445fbd From: FODEMESI Gergely To: plan9 mailing list <9fans@cse.psu.edu> Subject: [9fans] spin/trace source for plan9 scheduler Sender: 9fans-admin@cse.psu.edu Errors-To: 9fans-admin@cse.psu.edu X-BeenThere: 9fans@cse.psu.edu X-Mailman-Version: 2.0beta4 Reply-To: 9fans@cse.psu.edu List-Id: Fans of the O/S Plan 9 from Bell Labs <9fans.cse.psu.edu> 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 --upas-dboubvqmoimlxjytnssjsadsky--