论文信息 - Specification of highly parallel and distributed resource management

Specification of highly parallel and distributed resource management

A highly parallel strategy is described for the well known banker's problem. Efficiency is reached by distributing the tasks to be performed between a set of parallel activities and by avoiding whenever possible the time consuming conflict situations and choice problems, which otherwise could slow down the parallel processes.

Raymond R. Devillers | Peter E. Lauer | Piero R. Torrigiani | P. Lauer | P. Torrigiani

[1] Raymond R. Devillers,et al. Some Solutions for the Reader-Writer Problem: (ASM 31) , 1977 .

[2] Peter E. Lauer,et al. A Simplified Hyperfast Banker: (ASM 56) , 1979 .

[3] Roy H. Campbell. Path expressions : a technique for specifying process synchronization , 1976 .

[4] James W. Havender. Avoiding Deadlock in Multitasking Systems , 1968, IBM Syst. J..

[5] Peter E. Lauer,et al. The Hyperfast Banker: (ASM 55) , 1979 .

[6] Piero R. Torrigiani. Synchronic aspects of data types: construction of a non-algorithmic solution of the banker's problem , 1978, ECI.

[7] A. Nico Habermann,et al. Prevention of system deadlocks , 1969, CACM.

[8] Raymond R. Devillers,et al. A General Mechanism for the Local Control of Starvation : Application to the Dining Philosophers and to the Reader-Writer Problem: (ASM 32) , 1977 .

[9] A. Nico Haberman. A new approach to avoidance of system deadlocks , 1974 .

[10] M. W. Shields. Adequate Path Expressions , 1979, Semantics of Concurrent Computation.

[11] Peter E. Lauer,et al. On the Banker with Several Currencies: (ASM 57) , 1979 .

[12] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.