Thumbnail
Access Restriction
Subscribed

Author Hansen, Per Brinch
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Concurrent processes ♦ Critical regions ♦ Operating systems ♦ Synchronizing events ♦ Mutual exclusion ♦ Process communication ♦ Structured multiprogramming ♦ Programming languages ♦ Shared data
Abstract This paper presents a proposal for structured representation of multiprogramming in a high level language. The notation used explicitly associates a data structure shared by concurrent processes with operations defined on it. This clarifies the meaning of programs and permits a large class of time-dependent errors to be caught at compile time. A combination of critical regions and event variables enables the programmer to control scheduling of resources among competing processes to any degree desired. These concepts are sufficiently safe to use not only within operating systems but also within user programs.
Description Affiliation: California Institute of Technology, Pasadena (Hansen, Per Brinch)
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 15
Issue Number 7
Page Count 5
Starting Page 574
Ending Page 578


Open content in new tab

   Open content in new tab
Source: ACM Digital Library