Conference paper
Debugging concurrent processes: A case study
Janice M. Stone
PLDI 1988
A multiple reservation approach allows atomic updates of multiple shared variables, and simplifies concurrent and nonblocking codes for managing shared data structures such as queues and linked lists. This method can be implemented as an extension to any cache protocol that grants write access to at most one processor at a time. © 1993 IEEE
Janice M. Stone
PLDI 1988
Paul Glasserman, Philip Heidelberger, et al.
IEEE TACON
Philip Heidelberger, Kishor S. Trivedi
IEEE TC
Chung-Sheng Li, Harold S. Stone
Journal of Lightwave Technology