Abstract
The VAX/VMS Lock Manager is a powerful, general purpose facility that provides various levels of granularity for concurrent access to shared resources. However, its support for the Ada language is limited, in that it cannot recognize situatio where Ada tasks (which are implemented as part of one process in VAX/VMS Ada) are competing for a resource. In such situations, t VAX/VMS Lock Manager is most likely to assume that there is a deadlock (within a process) on a resource.This paper presents a possible solution to this problem, developing, via stepwise refinement, a "Multi-Threaded Lock Package," which can be used by Ada programs using Ada tasks. The paper also presents some special problems when dealing with concurrency in general, and provides an example of how to use Ada tasks with families of entries.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
