From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=BAYES_05,INVALID_DATE, MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!watserv1!watmath!att!att!linac!pacific.mps.ohio-state.edu!zaphod.mps.ohio-state.edu!swrinde!ucsd!hub.ucsb.edu!lime!aleph From: aleph@lime.ucsb.edu (Thomas McVittie) Newsgroups: comp.lang.ada Subject: Determining Rendezvous Availability Message-ID: <7463@hub.ucsb.edu> Date: 28 Nov 90 22:27:09 GMT Sender: news@hub.ucsb.edu Reply-To: mcvittie@faulty.ucsb.edu (Thomas McVittie) Organization: University of California, Santa Barbara List-Id: 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 |