Locking Policies for Multiprocessor Ada
A. Burns and.J. Wellings
Lock-based resource sharing protocols for single processor systems are well understood and supported in programming languages such as Ada. In contrast, multiprocessor resource sharing protocols are less well developed with no agreed best practice. In this paper we consider what the next version of Ada should support. Two proposals are considered, one requiring a minor change to the current language, another requiring a more substantial change.
BibTex Entry
@article{Wellings2013a,
author = {A. Burns and.J. Wellings},
journal = {Ada Letter, Proc. of IRTAW 16},
number = {2},
pages = {59-65},
title = {Locking Policies for Multiprocessor {Ada}},
volume = {XXXIII},
year = {2013}
}