分布式实时应用RTC编程系统中的死锁预防

[1993] Proceedings. The 13th International Conference on Distributed Computing Systems Pub Date : 1993-05-25 DOI:10.1109/ICDCS.1993.287683

V. Wolfe, S. Davidson, Insup Lee

{"title":"分布式实时应用RTC编程系统中的死锁预防","authors":"V. Wolfe, S. Davidson, Insup Lee","doi":"10.1109/ICDCS.1993.287683","DOIUrl":null,"url":null,"abstract":"The RTC distributed real-time programming system was implemented using AND-OR locking of system resources to meet real-time and concurrency control requirements. Since RTC processes can hold locks while acquiring others, deadlock is possible and therefore a deadlock prevention technique was implemented for AND-OR locking in such systems. The authors briefly discuss the RTC programming system, illustrate the system's use in programming a timed version of the classic dining philosophers example, describe the deadlock prevention technique, and show how it is applied in the RTC dining philosophers example.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Deadlock prevention in the RTC programming system for distributed real-time applications\",\"authors\":\"V. Wolfe, S. Davidson, Insup Lee\",\"doi\":\"10.1109/ICDCS.1993.287683\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The RTC distributed real-time programming system was implemented using AND-OR locking of system resources to meet real-time and concurrency control requirements. Since RTC processes can hold locks while acquiring others, deadlock is possible and therefore a deadlock prevention technique was implemented for AND-OR locking in such systems. The authors briefly discuss the RTC programming system, illustrate the system's use in programming a timed version of the classic dining philosophers example, describe the deadlock prevention technique, and show how it is applied in the RTC dining philosophers example.<<ETX>>\",\"PeriodicalId\":249060,\"journal\":{\"name\":\"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems\",\"volume\":\"56 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICDCS.1993.287683\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICDCS.1993.287683","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

为满足实时性和并发性控制要求，采用系统资源的“与或”锁实现RTC分布式实时编程系统。由于RTC进程可以在获取其他进程的同时持有锁，因此可能会出现死锁，因此在此类系统中实现了用于and - or锁定的死锁预防技术。作者简要地讨论了RTC编程系统，说明了该系统在编程经典用餐哲学家示例的定时版本中的使用，描述了死锁预防技术，并展示了如何将其应用于RTC用餐哲学家示例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Deadlock prevention in the RTC programming system for distributed real-time applications

The RTC distributed real-time programming system was implemented using AND-OR locking of system resources to meet real-time and concurrency control requirements. Since RTC processes can hold locks while acquiring others, deadlock is possible and therefore a deadlock prevention technique was implemented for AND-OR locking in such systems. The authors briefly discuss the RTC programming system, illustrate the system's use in programming a timed version of the classic dining philosophers example, describe the deadlock prevention technique, and show how it is applied in the RTC dining philosophers example.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1993] Proceedings. The 13th International Conference on Distributed Computing Systems

自引率

0.00%

发文量