Bounds on the shared memory requirements for long-lived & adaptive objects (extended abstract)

  • Authors:
  • Yehuda Afek;Pazi Boxer;Dan Touitou

  • Affiliations:
  • Computer Science Dept., Tel-Aviv University and IDC, Herzliya, Israel 69978;Computer Science Dept., Tel-Aviv University, Israel 69978;IBM Research Lab in Haifa, Israel

  • Venue:
  • Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we prove: For any constant d there is a large enough n such that there is no long-lived adaptive implementation of collect or renaming in the read write model with n processes that uses d or less MWMR registers.In other words, there is no implementation of a long-lived and adaptive renaming or collect object in the atomic read/write model that uses O(1) multi-writer-multi-reader registers and any number of single-writer-multi-reader registers. In 1980 Burns and Lynch [1] proved that at least n multi-writer-multi-reader (MWMR) registers are necessary in any mutual exclusion algorithm that uses only MWMR registers (i.e., atomic registers). It is also relatively easy to see that any adaptive non-trivial algorithm uses at least one multi-writer-multi-reader (MWMR) register even when there are n single-writer-multi-reader (SWMR) registers. Here we extend the techniques of Burns and Lynch and prove that adaptive algorithms that use both SWMR and MWMR registers such as, collect and renaming, need in addition to the &OHgr;(n) SWMR registers a non-constant, F(n) number of MWMR registers.