From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI,PP_MIME_FAKE_ASCII_TEXT autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,15410c804d3d9da2 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-06 12:36:54 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!fr.usenet-edu.net!usenet-edu.net!enst!enst.fr!not-for-mail From: Wilhelm.Spickermann@t-online.de (Wilhelm Spickermann) Newsgroups: comp.lang.ada Subject: Re: Can any one shed some light on this problem. Date: Mon, 06 Aug 2001 21:35:09 +0200 (CEST) Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit X-Trace: avanie.enst.fr 997126614 66933 137.194.161.2 (6 Aug 2001 19:36:54 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Mon, 6 Aug 2001 19:36:54 +0000 (UTC) To: comp.lang.ada@ada.eu.org Return-Path: X-Mailer: XFMail 1.4.0 on Linux X-Priority: 3 (Normal) In-Reply-To: <_NAa7.3833$tQ5.1459602@news2-win.server.ntlworld.com> X-Sender: 0211750756-0001@t-dialin.net Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.4 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , List-Archive: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:11409 Date: 2001-08-06T21:35:09+02:00 On 03-Aug-01 chris.danx wrote: > > "simon broadhead" wrote in message ... >> I have bean asked to examine the synchronization mechanism >> (rendez-vous) which is promoted by ADA and contrast this to the >> Dijkstra's (p/v) wait and signal mechanism. Read "Concepts and Notations for Concurrent Programming" from Gregory R. Andrews and Fred B. Schneider (Computing Surveys, Vol 15, No. 1, March 1983). It�s a very good and condensed overview of synchronization problems and the different approaches used in several programming languages and proposals to solve these. The article is from 1983 and contains only information about the old Ada standard. Ada today has the same rendezvous concept as in 83 -- but there is an additional synchronization concept in the present standard: the Protected Type. (It fits into the article at the place where Hoare�s "conditional wait" and "Kessels� proposal" are discussed.) Wilhelm