A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Process synchronization without long-term interlock
1971
Proceedings of the third symposium on Operating systems principles - SOSP '71
A technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has been changed by another process. Four principles of operating system architecture (which have desirable effects on the intrinsic reliability of a system) are presented; implementation of a system adhering to these principles requires that long-term lockout be avoided.
doi:10.1145/800212.806505
dblp:conf/sosp/Easton71
fatcat:h5e5sjk4uzbfpezj6mlswlqwoe