In un test mi è stato chiesto:
What elements present in the general form of a rendezvous are not present in Ada language?
Ero un po 'inciampato perché pensavo che Ada sostenesse pienamente l'appuntamento. Ora sembra che non lo faccia. Qualcuno può dirmi quali sono questi elementi?
Il concetto di rendezvous di Ada si basa sul rendezvous CSP , quindi leggi CSP può essere utile.
Un rendezvous di Ada sembra fornire più di un appuntamento con CSP, quindi quello che veramente perdi è la possibilità di ragionare formalmente sul comportamento.
Per inciso, all'università ci è stato insegnato il CSP usando la sintassi Occam , poiché ci era stato insegnato l'Occam nel nostro primo anno Abbiamo anche insegnato la notazione Z insieme a Miranda (un linguaggio funzionale che è stato il precursore di Haskell ).
Insieme, questi hanno fornito una solida base nel ragionamento formale per i sistemi software, sia distribuiti che non distribuiti.
Non penso che esista una "forma generalizzata di rendez-vous". Penso che il termine sia nato con Ada. Le informazioni disponibili in natura su questa cosiddetta "forma generalizzata di rendez-vous" sono apparentemente inesistenti.
Vedi Limitazioni dei servizi di programmazione simultanea di Ada e questo link Synchronous Rendezvous su Wikipedia che reindirizza a Barrier (Computer Science) .
Leggi altre domande sui tag concurrency ada