Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
Journal of the ACM (JACM)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
On deadlock in computer systems
On deadlock in computer systems
Cooperating Sequential Processes, Technical Report EWD-123
Cooperating Sequential Processes, Technical Report EWD-123
| Hi-index | 0.00 |
A rasterizer converts a document described in some page-description language into asequence of full-page bitmaps (pagemaps), which can then be printed or displayed. Thepage-parallel rasterizer harnesses multiple processors to work on the same document,thereby permitting cost-effective high-speed rasterization of complex documents. Anygiven page is processed by a single processor, hence the name. For performance reasons,it is desirable to permit out-of-order rasterization as well as to share memory andcomputation results among the processors. However, this can result in deadlock. Onlinealgorithms are presented for controlling the rasterizer so as to avoid deadlock withoutbeing overly restrictive. It is shown that previously proposed approaches for deadlockavoidance cannot be applied directly due to a special form of nonexclusive allocation ofshared resources. A solution is given, thereby extending the applicability of deadlockavoidance. The approach should be useful in a variety of similar situations that may occurin other applications.