On protocols for accessing protected objects on multiprocessors
Jorge Garrido, Juan Zamorano, Juan A. de la Puente · ACM SIGAda Ada Letters · 2018
This paper discusses different issues related to protected object access in Ada. In particular, the in uence of the different approaches on the implementation and analysis of real-time systems is addressed. Based on results from previous and on-going work, some issues are discussed and some proposals are made.