Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!zaphod.mps.ohio-state.edu!wuarchive!mit-eddie!uw-beaver!cornell!oravax!sanjiva
From: sanjiva@oravax.UUCP (Sanjiva Prasad)
Newsgroups: comp.lang.misc
Subject: Heuristics for scheduling and GC in Occam
Keywords: Scheduling Garbage Collection, channels,  Optimizations
Message-ID: <1721@oravax.UUCP>
Date: 16 Oct 90 20:36:09 GMT
Reply-To: sanjiva@oravax.UUCP (Sanjiva Prasad)
Organization: Odyssey Research Associates, Ithaca New York
Lines: 14

I am looking for references which describe the various strategies and rules 
of thumb used in multiprocessor Occam implementations for 
(1)  Scheduling processes;
(2) Garbage collection of processes and channels that are no longer useful.

Do these rules of thumb find explicit expression in the (denotational or)
operational semantics of Occam? What semantic rules are the bases for the
associated transformations ? How do these relate with the equivalences
in the theoretical setting of Milner, Walker and Parrow's \pi-calculus
(Mobile processes), where channels are first-class values that can be
communicated.

Thanks,
Sanjiva			(sanjiva%oravax@wrath.cs.cornell.edu)