Modeling VP operation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Modeling VP operation: the Diwali Festival Problem

Full text

Pdf (292 KB)

Source

ACM SIGOPS Operating Systems Review archive
Volume 39 , Issue 2 (April 2005) table of contents

Pages: 51 - 53

Year of Publication: 2005

ISSN:0163-5980

Authors

Rushikesh K. Joshi	Indian Institute of Technology Bombay
Subash Rajaa	Indian Institute of Technology Bombay

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 51, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1055218.1055222 What is a DOI?

ABSTRACT

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	K. C. Tai , Richard H. Carver, VP: a new operation for semaphores, ACM SIGOPS Operating Systems Review, v.30 n.3, p.5-11, July 1996 [doi>10.1145/230908.250717]
	2	Richard J. Lipton, Reduction: a method of proving properties of parallel programs, Communications of the ACM, v.18 n.12, p.717-721, Dec. 1975 [doi>10.1145/361227.361234]