VP: a new operation for semaphores
ACM SIGOPS Operating Systems Review
Reduction: a method of proving properties of parallel programs
Communications of the ACM
Hi-index | 0.00 |
A new higher-level synchronization problem called Diwali Festival Problem (DFP) is presented. The problem captures the requirements for implementing the VP operation for semaphores outside the operating system kernel in presence of P and V operations, and shared variables with atomic reads and writes.