In a test I was asked:
What elements present in the general form of a rendezvous are not present in Ada language?
I was a bit stumbled as I thought Ada fully supported rendezvous. Now it seems it doesn't. Can anyone tell me what are those elements?
-
1Have a look at this Google Book Search– Robert HarveyFeb 14, 2012 at 21:00
-
Although it is a useful link and clearly states ADA's limitations regarding concurrency, I can't find the answer to the question because there is not a comparison with rendezvous. Or probably I'm missing something– Mosty MostachoFeb 14, 2012 at 21:22
-
1It's a highly obscure test question that's designed to get you to think, and to see if you know your chops. Wikipedia doesn't even list "rendezvous" in the general form. Instead, it redirects to Barrier (Computer Science)– Robert HarveyFeb 14, 2012 at 21:23
-
@Robert, well I definitely don't know my chops then :(– BenjolFeb 15, 2012 at 8:26
-
engr.mun.ca/~theo/Courses/cp/pub/cp8-rendezvous.pdf here it says on slide 8 Rendezvous in Ada "Conditional acceptance can not depend on parameter values."– user56311Jun 10, 2012 at 7:39
Add a comment
|
2 Answers
The Ada rendezvous concept is based on the CSP rendezvous, so reading up on CSP may be a worthwhile.
An Ada rendezvous appears to provide more than a CSP rendezvous, so what you really lose out on is the ability to easily reason formally about the behaviour.
Incidentally, at university we were actually taught CSP using Occam syntax, since we had been taught Occam in our first year. We were also taught the Z notation along with Miranda (a functional language which was the precursor to Haskell).
Together, these provided a solid grounding in formal reasoning for software systems, both distributed and non-distributed.
answered Feb 15, 2012 at 15:42
I don't think there's such a thing as a "generalized form of rendezvous." I think the term originated with Ada. The information available in the wild about this so called "generalized form of rendezvous" is seemingly nonexistent.
See Limitations of Ada's Concurrent Programming Facilities, and this Synchronous Rendezvous link on Wikipedia which redirects to Barrier (Computer Science).
answered Feb 15, 2012 at 5:31
