Skip to main content Accessibility help
×
Hostname: page-component-848d4c4894-m9kch Total loading time: 0 Render date: 2024-06-03T15:38:50.633Z Has data issue: false hasContentIssue false

5 - Communication and synchronization based on direct interaction

Published online by Cambridge University Press:  01 June 2011

John W. McCormick
Affiliation:
University of Northern Iowa
Frank Singhoff
Affiliation:
Université de Bretagne Occidentale
Jérôme Hugues
Affiliation:
Institute for Space and Aeronautics Engineering (ISAE), Toulouse
Get access

Summary

In Chapter 4 we showed how protected objects can provide an indirect means for tasks to communicate and synchronize. Protected functions and procedures provide safe access to shared data while protected entries provide the means for tasks to synchronize their activities. In this chapter we look at direct communication between tasks through Ada's rendezvous.

The rendezvous

Rendezvous is a sixteenth century French word which literally translates to “present yourself.” To rendezvous is to come together at a prearranged meeting place. In Ada, the rendezvous is a mechanism for controlled direct interaction between two tasks. The rendezvous provides a second way to synchronize tasks and transfer data between them.

Ada's rendezvous is based on a client-server model. One task, called the server, declares one or more services that it can offer to other tasks, the clients. These services are defined as entries in the server task's specification. Task entries are similar to protected entries. In fact, we may requeue a protected entry call onto a task entry and vice versa. A client task requests a rendezvous with a server by making entry calls just as if the server was a protected object. Server tasks indicate a willingness to accept a rendezvous on an entry by executing an accept statement. The accept statement may include code to be executed during the rendezvous.

For the rendezvous to take place, both the client and the server must have issued their requests.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×