Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
Communicating sequential processes
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Operating system principles
Cooperating Sequential Processes, Technical Report EWD-123
Cooperating Sequential Processes, Technical Report EWD-123
| Hi-index | 0.00 |
This paper addresses the following questions regarding single-processor synchronization of the producer/consumer problem using semaphores, monitors, and the Ada rendezvous:• How does each synchronization method handle encapsulation and information hiding?• What task granualarity (size of protected code) is possible for each method during mutual exclusion?• When a process gets the processor, can it execute unimpeded to the end of its time quantum while it has work to do, or are unnecessary process switches required?Encapsulation and information hiding can be used to produce reliable code, while task granularity and process switching are performance considerations. Since large and complex programs such as operating systems need to be reliable, encapsulation and information hiding is desirable. However performance is an important consideration too, so task granularity must be as small as possible, and unnecessary process switching should be avoided.