The Ada programming language is unique in its high-level concurrency facilities, supported by a secure and powerful set of programming constructs. Ada 95 now has additional capabilities, specifically the protected type construct.Although the Ada rendezvous is prone to deadlock, a careful discipline can ensure that this type of dead state does not occur. Restricting task communication assists in preventing deadlock, yet such restrictions may be too limiting and/or too inefficient for an application. Indeed, several researchers have suggested that deadlock should not be prevented, but monitored and corrected during testing and/or run time.This paper takes the position that deadlock should be prevented by following specific guidelines in the use of the rendezvous. We define deadlock, show how it can occur with Ada tasks, and outline mechanisms that are appropriate for its control.
End of preview. The entire article is 14 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/deadlock-control-with-ada95-n37p7evhd9
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Deadlock control with Ada95
Levine, Trudy
Follow ACM SIGAda Ada Letters
, Volume XVIII (2)
Association for Computing Machinery – Mar 1, 1998
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
