In this paper we compare the power of the two most commonly used concurrent-write models of parallel computation, the COMMON PRAM and the PRIORITY PRAM. These models differ in the way they resolve write conflicts. If several processors want to write into the same shared memory cell at the same time, in the COMMON model they have to write the same value. In the PRIORITY model, they may attempt to write different values; the processor with smallest index succeeds.
We consider PRAM's with <italic>n</italic> processors, each having arbitrary computational power. We provide the first separation results between these two models in two extreme cases: when the size <italic>m</italic> of the shared memory is small (<italic>m</italic> ≤ <italic>n</italic><supscrpt>ε</supscrpt>, ε < 1), and when it is infinite.
In the case of small memory, the PRIORITY model can be faster than the COMMON model by a factor of &THgr;(log <italic>n</italic>), and this lower bound holds even if the COMMON model is probabilistic. In the case of infinite memory, the gap between the models can be a factor of &OHgr;(log log log <italic>n</italic>).
We develop new proof techniques to obtain these results. The technique used for the second lower bound is strong enough to establish the first tight time bounds for the PRIORITY model, which is the strongest parallel computation model. We show that finding the maximum of <italic>n</italic> numbers requires &THgr;(log log <italic>n</italic>) steps, generalizing a result of Valiant for parallel computation trees.
[1]
Ludek Kucera,et al.
Parallel Computation and Conflicts in Memory Access
,
1982,
Inf. Process. Lett..
[2]
Robert E. Tarjan,et al.
Finding Biconnected Components and Computing Tree Functions in Logarithmic Parallel Time (Extended Summary)
,
1984,
FOCS.
[3]
Uzi Vishkin,et al.
Finding the Maximum, Merging, and Sorting in a Parallel Computation Model
,
1981,
J. Algorithms.
[4]
Claude Berge,et al.
Graphs and Hypergraphs
,
2021,
Clustering.
[5]
Leslie M. Goldschlager,et al.
A universal interconnection pattern for parallel computers
,
1982,
JACM.
[6]
Steven Fortune,et al.
Parallelism in random access machines
,
1978,
STOC.
[7]
Stephen A. Cook,et al.
Bounds on the time for parallel RAM's to compute simple functions
,
1982,
STOC '82.
[8]
Zvi Galil,et al.
Optimal parallel algorithms for string matching
,
1984,
STOC '84.
[9]
Friedhelm Meyer auf der Heide,et al.
On the Limits to Speed Up Parallel Machines by Large Hardware and Unbounded Communication
,
1984,
FOCS.
[10]
Faith Ellen,et al.
Relations between concurrent-write models of parallel computation
,
1984,
PODC '84.