Determining Rendezvous Availability

[aleph@lime.ucsb.edu (Thomas McVittie)]

I am currently involved in a research program aimed towards measuring
the reliability of Ada programs.   Key to our understanding of these
programs is the development of a series of static and dynamic measures
of the programs themselves.  One area we are interested is in measuring
the number of rendezvous which are open (i.e. the task is willing and able
to accept a particular rendezvous) at a given time.  

I can use the predefined attribute 'CALLABLE to determine whether a task
is alive (not terminated, completed or abnormal), but don't seem to be
able to determine whether the rendezvous is available or not.  Obviously
I could use our VADS debugger and ask for a listing of tasks (lt).  But
the programs which we are analyzing make extensive use of the CLOCK 
function when scheduling events, so stopping and restarting the program
dramatically change the behavior of the program.

Any suggestions ?

------------------------------------------------------------------------
    Thomas McVittie               |  email : mcvittie@faulty.ucsb.edu
    Dependable Computing Center   |  phone : (805) 893-8356
------------------------------------------------------------------------

+----------------------------------------------------------------------+
|  Dependable Computing Lab       |  email  : mcvittie@faulty.ucsb.edu |
|  Engineering I - ECE  #31       |                                    |
|  University of California       |  telefax : (805) 961-3262          |