Thumbnail
Access Restriction
Subscribed

Author Parnas, D. L.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Operating systems ♦ Process synchronization primitives ♦ Co-operating processes
Abstract This report discusses a problem first introduced by Patil, who has claimed that the cigarette smoker's problem cannot be solved using the P and V operations introduced by Dijkstra unless conditional statements are used. An examination of Patil's proof shows that he has established this claim only under strong restrictions on the use of P and V. These restrictions eliminate programming techniques used by Dijkstra and others since the first introduction of the semaphore concept. This paper contains a solution to the problem. It also discusses the need for the generalized operators suggested by Patil.
Description Affiliation: Technische Hochschule Darmstadt, Darmstadt, West Germany (Parnas, D. L.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 18
Issue Number 3
Page Count 3
Starting Page 181
Ending Page 183


Open content in new tab

   Open content in new tab
Source: ACM Digital Library