sematics of SEND & WAIT

Article View: net.lang.mod2

Article #380

#380

From: Geoffrey Wyant
Date: Tue, 22 Apr 1986 13:30

10 lines
869 bytes

Does anyone out there know what the formal semantics 
of WAIT and SEND from the Processes module are ? Do
calls to them (and their associated SIGNAL) have to
be done within a monitor ?  Either way I can see 
problems.


                            Geoff Wyant
-------

Technical Details

Message-ID: <8604240040.AA13947@uw-beaver.arpa>

Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!ucbvax!apollo.UUCP!wyant

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!ucbvax!apollo.UUCP!wyant
From: wyant@apollo.UUCP (Geoffrey Wyant)
Newsgroups: net.lang.mod2
Subject: sematics of SEND & WAIT
Message-ID: <8604240040.AA13947@uw-beaver.arpa>
Date: Tue, 22-Apr-86 08:30:06 EST
Article-I.D.: uw-beave.8604240040.AA13947
Posted: Tue Apr 22 08:30:06 1986
Date-Received: Sat, 26-Apr-86 04:25:41 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 10