Take the 2-minute tour ×
Programmers Stack Exchange is a question and answer site for professional programmers interested in conceptual questions about software development. It's 100% free, no registration required.

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?

share|improve this question
1  
Have a look at this Google Book Search –  Robert Harvey Feb 14 '12 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 Mostacho Feb 14 '12 at 21:22
1  
It'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 Harvey Feb 14 '12 at 21:23
    
@Robert, well I definitely don't know my chops then :( –  Benjol Feb 15 '12 at 8:26

3 Answers 3

up vote 3 down vote accepted

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.

share|improve this answer

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).

share|improve this answer

http://www.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."

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.